Don’t estimate during meetings with pushy clients — pause instead
read.perspectiveship.com·5h·
Discuss: r/programming
👁️System Observability
What MBA students reveal about inequality in America
promarket.org·4h·
Discuss: Hacker News
✓Automated Theorem Proving
A generic non-invasive neuromotor interface for human-computer interaction
nature.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Zine Printing Tips From a Solopreneur
hackaday.com·3h
🔬Unikernels
Why Java Is Still Worth Learning in 2025: A Developer's 25-Year Journey
empatheticdeveloper.wordpress.com·4d·
Discuss: Hacker News
🔄Reproducible Builds
Zero Knowledge Proof
en.wikipedia.org·3d·
Discuss: Hacker News
🎮Verification Games
MirrorVM: Compiling WebAssembly using Reflection
sbox.game·5d·
Discuss: r/programming
🐫Embedded OCaml
Three HTTP versions later, forms are still a mess
yorickpeterse.com·20h·
Discuss: Lobsters, Hacker News, r/programming
🌐NetworkProtocols
My Two Lives as a Programmer
maxmynter.com·3d·
Discuss: Hacker News
🔬Static Analysis
Built an open-source AI legal document analyzer with Llama 3 + React (technical deep dive & repo)
reddit.com·2d·
Discuss: r/programming
🐫OCaml
NASA Is Testing AI to Make Earth-Observing Satellites Smarter
jpl.nasa.gov·17h·
Discuss: Hacker News
🤖Program Synthesis
Learning to Gridize: Segment Physical World by Wireless Communication Channel
arxiv.org·3d
💻CS
Recommendations for GPU for local LLM with voice
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
Can External Validation Tools Improve Annotation Quality for LLM-as-a-Judge?
arxiv.org·1d
🔍Formal Verification
Bob's Confetti: Phonetic Memorization Attacks in Music and Video Generation
arxiv.org·22h
🐫OCaml
HuggingGraph: Understanding the Supply Chain of LLM Ecosystem
arxiv.org·3d
🛡️seL4
LPTR-AFLNet: Lightweight Integrated Chinese License Plate Rectification and Recognition Network
arxiv.org·2d
🔬Static Analysis
Cross-domain Multi-step Thinking: Zero-shot Fine-grained Traffic Sign Recognition in the Wild
arxiv.org·1d
🐫Embedded OCaml
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·6d·
Discuss: r/homelab
🔬Unikernels
Arbitrage Tactics in the Local Markets via Hierarchical Multi-agent Reinforcement Learning
arxiv.org·2d
⚙️PL Implementation