Elektrine
EN
Log in Register
Paige Chat Timeline Communities Gallery Videos Email DNS VPN Uptime Kairo
Back to Timeline
Remote

nmeum

@nmeum@chaos.social
mastodon 4.5.15
  • 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

Posts

Open post
nmeum
nmeum @nmeum@chaos.social · Jul 20, 2026
nmeum
@nmeum@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.

chaos.social
Replying to @nmeum@chaos.social
The sildes and the files required to play around with the live demo are available separately via https://github.com/nmeum/symex-intro
0
0
0
0
Open post
nmeum
nmeum @nmeum@chaos.social · Jul 20, 2026
nmeum
@nmeum@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.

chaos.social
At this year's @hackover@chaos.social, I did a small presentation in which I gave a basic intro to symbolic execution, a software testing technique that facilitates constraint solvers to automate test input generation. https://media.ccc.de/v/ho26-146-an-introduction-to-automated-software-testing-using-symbolic-execution
1
1
0
0
Open post
nmeum
nmeum @nmeum@chaos.social · Apr 29, 2026
nmeum
@nmeum@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.

chaos.social
Hier wird gerade Club Mate hergestellt 😋
384
18
168
1
Open post
nmeum
nmeum @nmeum@chaos.social · Feb 28, 2026
nmeum
@nmeum@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.

chaos.social

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

23
3
14
0

Remote instance

chaos.social
Open on original server

Media

313k7r1n3
Elektrine

Tor hidden service

elekhj7afj4qnrr4yd3bkzslsyo5jgfxw3orgjkhlcxifueodybyiiad.onion

Platform

  • Email
  • Chat
  • Timeline
  • Communities
  • VPN
  • DNS

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • Warrant Canary
  • Lite (no JS)
  • VPN Policy
  • Source code

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: 20:49:20 UTC