nmeum / is on Nostr

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).

Last Notes

2024-11-08 17:24:40

- reply

@npub1c4q…rr22 or zk! https://github.com/zk-org/zk

2024-11-07 07:52:25

- reply

@npub1rcn…9y9s Der Patch ist ursprünglich von Asherah Connor und lag so ~3 Jahre auf tech@ rum ich habe den nur etwas aufgeräumt und die regression test suite gefixt.
Brauchte das Feature weil ich gerne xandikos (so ein CalDAV Server) auf meinem OpenBSD hosten wollte und xandikos selber keine Authentication macht und will das man dafür ein reverse proxy nutzt. Glaube ansonsten werde ich (hoffentlich) erstmal nichts weiter an relayd machen müssen.

2024-11-07 06:58:41

In -current #OpenBSD relayd now supports authentication via TLS client certificate which finally allows using it as a reverse proxy for applications which do not perform any authentication by themselves: https://github.com/openbsd/src/commit/92388deed9318960f925fb877fdd678869b3dcd1
Documentation: https://man.openbsd.org/relayd.conf.5#client

2024-10-15 17:03:43

- reply

@npub1h4z…wy8h ist tatsächlich sehr schick geworden! :3

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-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-05-05 15:02:48

I just released version 0.4.0 of creek, a dwm-like status bar for the River Wayland compositor. This is the first release to support Zig 0.12.0 and additionally includes improved multi-monitor support and several bug fixes: https://github.com/nmeum/creek/releases/tag/v0.4.0
#Wayland #Zig #riverwm

2024-04-07 08:02:56

The latest and greatest GHC version (9.8.2) is now available in the Alpine Linux Edge repositories and will be included in the upcoming 3.20 stable release.
#AlpineLinux #Haskell

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.

2024-02-27 07:16:57

- reply

2024-02-17 09:19:57

Go 1.22 has landed in Alpine Linux Edge. Took a bit longer than usual due to an upstream bug causing build failures on our armv7 builders: https://github.com/golang/go/issues/65601
#AlpineLinux

2024-02-16 20:03:46

The points @npub1cww…ny8k raises regarding non-free firmware on Guix really resonate with me: https://wingolog.org/archives/2024/02/16/guix-on-the-framework-13-amd I truly hope this policy is reconsidered at some point. As is, it's actively
disadvantageous for Guix as a project.
#Guix

2024-01-05 21:35:08

TIL: The Go repository includes a compiled version of BoringSSL as a binary blob https://github.com/golang/go/blob/master/src/crypto/internal/boring/syso/goboringcrypto_linux_amd64.syso
#GoLang