Elektrine
Log in Register
Paige Chat Timeline Gallery Friends Email Drive DNS Private DNS Domains VPN Kairo Nerve
Remote

nmeum

@nmeum@chaos.social
mastodon 4.6.9
  • Open on chaos.social

Contributor to an open source project near you (Alpine Linux, Guix, ...). Passionate about functional programming (mostly Scheme and Haskell), software security, and operating systems. Day job in computer science, currently doing a postdoc in systems research.

0 Followers
0 Following
4 Posts
Joined August 24, 2023
Website:
https://notes.8pit.net
ERFA:
CCCH
Languages:
German, English
Pronouns:
he / him
Open post
nmeum @nmeum@chaos.social
· 5mo ago
Hier wird gerade Club Mate hergestellt 😋
384
18
168
1
Open post
nmeum @nmeum@chaos.social
· 7mo ago

There is a fun footgun related to compile-time code generation using procedural macros in Rust: if the macro has non-deterministic behavior, then the build process of any crate using it is not reproducible.

Here's a little write-up explaining how I uncovered such an issue in the hashify crate while trying to package Rust software for Guix: https://notes.8pit.net/notes/iqfs.html

#Guix #Rust #reproducibility #ReproducibleBuilds

notes.8pit.net

Debugging Reproducibility Issues in Rust Software

23
3
14
0
Open post
nmeum @nmeum@chaos.social
· 2mo ago
Replying to
The sildes and the files required to play around with the live demo are available separately via https://github.com/nmeum/symex-intro
GitHub

GitHub - nmeum/symex-intro: Material for an introductory presentation for symbolic execution.

Material for an introductory presentation for symbolic execution. - nmeum/symex-intro

1
0
1
0
Back
313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

I2P eepsite

j6b6cyk6gjmepjih7jjadxgxvvf3lzzujljuu2v4biemzpg3naya.b32.i2p

Platform

  • Email
  • Chat
  • Timeline
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ
  • Lite (no JS)

Legal

  • Terms of Service
  • Privacy Policy
  • Transparency Report
  • Report Abuse
  • Warrant Canary
  • VPN Policy

Support

  • support@elektrine.com
  • Report Security Issue
Mail client setup IMAP mail.elektrine.com:993 POP3 mail.elektrine.com:995 SMTP mail.elektrine.com:465
© 2026 Elektrine. All rights reserved. Server: 14:56:25 UTC