Monotonic and Wall Clock Time in the Go time package
victoriametrics.com·2d·
Discuss: Hacker News
🍎XNU Internals
The Signal Protocol Explained #1: Implementing the Post-Quantum Extended Diffie-Hellman (PQXDH) protocol in Rust
kerkour.com·4d·
Discuss: Hacker News
🌐NetworkProtocols
[Seeking Collaborators] Building a Physics & Reality Simulation from First Principles - An Open Source "Matrixgame"
docs.google.com·4d·
Discuss: r/programming
🎮Verification Games
Simple Way to Find Co-Founders – Business Partner Finder App
findpartner.app·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hunting a Memory Leak
dolthub.com·3d·
Discuss: Hacker News
👁️System Observability
Gren 25S: Easier interop, concurrent tasks and zero-install packages
gren-lang.org·6d·
Discuss: Lobsters, Hacker News
🔄Reproducible Builds
Show HN: Generate mind maps from anything with AI
instantmind.ai·1d·
Discuss: Hacker News
🎮Verification Games
More Than Code
deadprogrammersociety.com·2d·
Discuss: Hacker News
🔬Static Analysis
Dwl: Dwm for Wayland
codeberg.org·2d·
Discuss: Hacker News
📦Unikernel Systems
I’ve had it with Microsoft
disconnect.blog·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
This Week in Security: Sharepoint, Initramfs, and More
hackaday.com·2d
🛡️seL4
FileMock - Client-side mock file generator
reddit.com·1d·
Discuss: r/programming
❄️Nixified Development
DeepMind and OpenAI models solve maths problems at level of top students
nature.com·3d·
Discuss: Hacker News
🎮Verification Games
Clarifying "AI First" – What It Means for Rsyslog
rsyslog.com·2d·
Discuss: Hacker News
👁️System Observability
Turn email into events – Scheduling straight from your inbox
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
The great AI delusion is falling apart
mikemcbrideonline.com·2d·
Discuss: Hacker News
💾Retro Computing
Two-Stage TSO-DSO Services Provision Framework for Electric Vehicle Coordination
arxiv.org·2d
📡Network Protocol Design
Audio-Vision Contrastive Learning for Phonological Class Recognition
arxiv.org·3d
💻CS
Logistic Regression Applied to Baseball Data
runningonnumbers.com·4d·
Discuss: Hacker News
✓Automated Theorem Proving
User Invariant Preference Learning for Multi-Behavior Recommendation
arxiv.org·5d
🔬Unikernels