Nouveau: The Rule Based Language Family https://lobste.rs/s/xy1rk1 #compsci #programming
https://nouveau.community/
Nouveau: The Rule Based Language Family https://lobste.rs/s/xy1rk1 #compsci #programming
https://nouveau.community/
How Discord Indexes Trillions of Messages
https://discord.com/blog/how-discord-indexes-trillions-of-messages
Discussions: https://discu.eu/q/https://discord.com/blog/how-discord-indexes-trillions-of-messages
Chain Replication for Supporting High Throughput and Availability [2004]
By: R. V. Renesse, F. Schneider
https://github.com/papers-we-love/papers-we-love/blob/master/distributed_systems/chain-replication-for-supporting-high-throughput-and-availability.pdf
https://www.semanticscholar.org/paper/9a091dacf855c1b6a0cd4361194e238fe6e1ff11
Ask HN: Share your AI prompt that stumps every model
I wrote a small RISC-V (rv32i) emulator
https://github.com/PhilippRados/ruscv
Discussions: https://discu.eu/q/https://github.com/PhilippRados/ruscv
Launch HN: Cua (YC X25) – Open-Source Docker Container for Computer-Use Agents
Discussions: https://discu.eu/q/https://github.com/trycua/cua
A New Form of Verification on Bluesky
https://bsky.social/about/blog/04-21-2025-verification
Discussions: https://discu.eu/q/https://bsky.social/about/blog/04-21-2025-verification
Just finished my CHIP-8 emulator built with C++ and WinAPI
https://github.com/IlanVinograd/CHIP-8
Discussions: https://discu.eu/q/https://github.com/IlanVinograd/CHIP-8
Let's give PRO/VENIX a barely adequate, pre-C89 TCP/IP stack (featuring Slirp-CK)
http://oldvcr.blogspot.com/2025/04/lets-give-provenix-barely-adequate-pre.html
Discussions: https://discu.eu/q/http://oldvcr.blogspot.com/2025/04/lets-give-provenix-barely-adequate-pre.html
On the cruelty of really teaching computing science (1988) https://lobste.rs/s/x1izrz #compsci #philosophy #practices
https://www.cs.utexas.edu/~EWD/transcriptions/EWD10xx/EWD1036.html
Things Zig comptime Won't Do
https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html
Discussions: https://discu.eu/q/https://matklad.github.io/2025/04/19/things-zig-comptime-wont-do.html
arXiv moving from Cornell servers to Google Cloud
https://info.arxiv.org/hiring/index.html
Discussions: https://discu.eu/q/https://info.arxiv.org/hiring/index.html
Logicism and the Meanings of Logical Constants [2016]
By: P. J. Young
https://github.com/papers-we-love/papers-we-love/blob/master/logic_and_programming/on-the-meanings-of-the-logical-constants.pdf
https://www.semanticscholar.org/paper/54b4a4cd2343daa9cb820f78c8d45bec2f863481
Mastodon Exit Interview
https://v.cx/2025/04/mastodon-exit-interview
Discussions: https://discu.eu/q/https://v.cx/2025/04/mastodon-exit-interview
[R] Beyond-NanoGPT: Go From LLM Noob to AI Researcher!
https://github.com/tanishqkumar/beyond-nanogpt
Discussions: https://discu.eu/q/https://github.com/tanishqkumar/beyond-nanogpt