nmeum

Computer scientist pursuing a PhD degree with a focus on automated testing of software for embedded systems using symbolic execution. In my spare time, I am also a regular contributor to Alpine Linux. Additional interests include functional programming (mostly Scheme and Haskell), software security, operating systems (Alpine Linux, OpenBSD, Guix, RIOT), and computer architecture (mainly RISC-V).

Public Key

npub1h0xqz4e4rkcu89hxkja42c0n3gnca8ff7kujvhcsq7j39h6wyzwsdr3ehd

NIP-05 Address

nmeum_at_chaos.social@mostr.pub

Profile Code

nprofile1qqsthnqp2u63mvwrjmntfw64v8ec5fuwn55ltwfxtugq0fgjma8zp8gpz4mhxue69uhhyetvv9ujumt0wd68ytnsw43qzxrhwden5te0wfjkccte9ehx7umhdpjhyefwvdhk6u9cvx8

Publishing to

relay.mostr.pub

relay.noswhere.com

relay.shitforce.one

Author Public Key

npub1h0xqz4e4rkcu89hxkja42c0n3gnca8ff7kujvhcsq7j39h6wyzwsdr3ehd

Show more details

Last Notes

2024-07-10 15:24:25

Published my first Hackage package today: A Haskell library which provides a formal, executable specification of the RISC-V architecture and can be used to build custom interpreters for RISC-V machine code: https://hackage.haskell.org/package/libriscv
#Haskell #RISCV

2024-05-09 15:11:39

Daily reminder that -Wimplicit-function-declaration warnings are by no means cosmetic and can actually affect code generation: https://git.alpinelinux.org/aports/commit/?id=35ee7e31648f

2024-02-27 07:16:57

- reply

@npub19am…qjn6 Thanks for the release, it's great to see upstream catching up on libgit2 compatibility! Just one minor nitpick I noticed while upgrading the Alpine guile-git package: I think it would be beneficial if check-abi would be run before the unit tests. Otherwise, in the case of ABI incompatibilities, one can end up with hard to debug test failures.