Tetris in a Single Line of Code
survex.com·3d·
Discuss: Hacker News
🎮Verification Games
Instrumenting Next.js with runtime secret injection
phase.dev·6d·
Discuss: Hacker News, r/webdev
🌐NetworkProtocols
Raspberry Pi RP2350 A4 stepping fixes E9 GPIO Erratum, glitching bugs, introduces 2MB flash variants
cnx-software.com·4d·
Discuss: Lobsters, Hacker News
📦Unikernel Systems
You might not need tmux
bower.sh·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/neovim
💾Retro Computing
CISA open-sources Thorium platform for malware, forensic analysis
bleepingcomputer.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
OpenAI-Challenger Manus Preps Big Upgrade to Main Agent Platform
bloomberg.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Writing memory efficient structs in C
tomscheers.github.io·4d·
Discuss: Lobsters, Hacker News, r/C_Programming, r/programming
🐫Embedded OCaml
I designed my own ridiculously fast game streaming video codec
themaister.net·5d·
Discuss: Lobsters, Hacker News
📡Network Protocol Design
Want AI agents to work together? The Linux Foundation has a plan
zdnet.com·4d·
Discuss: Hacker News
🛡️seL4
Subliminal Learning: Language models transmit behavioral traits via hidden
arxiviq.substack.com·4d·
Discuss: Substack
🧪Property-Based Testing
A Vaccine for Anthropomorphism of AI
commoncog.com·3d·
Discuss: Hacker News
✓Automated Theorem Proving
A Dual-Feature Extractor Framework for Accurate Back Depth and Spine Morphology Estimation from Monocular RGB Images
arxiv.org·2d
➡️Category Theory
Decentralized Modeling of Vehicular Maneuvers and Interactions at Urban Junctions
arxiv.org·3d
🔄Finite State Machines
ARR stack networking question
reddit.com·20h·
Discuss: r/homelab
🏠HomeLab
Show HN: SQLite-vector – Vector search extension for SQLite (no index, 30MB RAM)
github.com·5d·
Discuss: Hacker News
🔬Unikernels
Adaptive Learned Belief Propagation for Decoding Error-Correcting Codes
arxiv.org·4d
🐫Embedded OCaml
SWIFT: A General Sensitive Weight Identification Framework for Fast Sensor-Transfer Pansharpening
arxiv.org·4d
🔠Type-Level Programming
SCORPION: Addressing Scanner-Induced Variability in Histopathology
arxiv.org·4d
🐫OCaml
HJB-based online safety-embedded critic learning for uncertain systems with self-triggered mechanism
arxiv.org·4d
🔄Finite State Machines
Clean numerical simulation (CNS) of three-dimensional turbulent Kolmogorov flow
arxiv.org·4d
💻CS