Week 28 – 2025
thisweekin4n6.com·10h
🏺Kerberos Archaeology
Rethinking Object-Oriented Programming in Java Education
max.xz.ax·2d·
Discuss: Hacker News, r/programming
💻Programming languages
Python Fundamentals: bounded typevar
dev.to·2d·
Discuss: DEV
⬆️Lambda Lifting
Swift is a more convenient Rust
lobste.rs·6h·
Discuss: Lobsters
🔒Type Safety
LZ4 Decompression on the 68000
bumbershootsoft.wordpress.com·1d
🗜️LZSS Variants
Rex: Closing the language-verifier gap with safe and usable kernel extensions
usenix.org·1d·
Discuss: Hacker News
🛡️eBPF Security
Fun with MCP - an "O RLY?" Book Generator MCP Tool
chrisfrew.in·1d
📝Concrete Syntax
Folly: IOBuf and Zero-Copy Networking
uvdn7.github.io·4h·
Discuss: Hacker News
📋Format Specification
Cactus Language • Stylistics 3
inquiryintoinquiry.com·2d
🔲Proof Irrelevance
Go is still not good
blog.habets.se·1d
🔧Binary Parsing
BSDCan 2025 Trip Report – Mark Johnston
freebsdfoundation.org·2d
🔌Operating system internals
I built a vector-value database in pure C: libvictor + victordb (daemon) — AMA / Feedback welcome
github.com·2d·
Discuss: r/programming
🗂️Vector Databases
Mill: A Better Build Tool for Java, Scala, & Kotlin
mill-build.org·19h·
Discuss: Hacker News
🔄Reproducible Builds
Introducing Rudy: A Toolchain for Rust Debuginfo
samjs.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Macros
Dearest C++, Let Me Count the Ways I Love/Hate Thee
hackaday.com·2d·
Discuss: Hacker News
🔩Systems Programming
Functional Programming in 40 Minutes • Russ Olsen • GOTO 2024
youtube.com·4d
🧬Functional Programming
Zig's new I/O: function coloring is inevitable?
blog.ivnj.org·5h·
Discuss: Hacker News
🔗Concatenative Programming
Semantically Separating Nominal Wyvern for Usability and Decidability
arxiv.org·5d
💻Programming languages
ML/AI Pipelines: The "So What" of Crypto Data Ecosystems
davanti-research.medium.com·23h·
Discuss: Hacker News
🌊Stream Processing
A deep dive into deeply recursive Go
mattermost.com·2d·
Discuss: Hacker News
⬆️Lambda Lifting