Temporary tattoo could detect an unwanted drug in your drink
acs.org·5h·
Discuss: Hacker News
🧪Property-Based Testing
Day War, Part II: Iran's Missile Force Performance
horsdoeuvresofbattle.blog·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Show HN: Palworld Breeding Calculator – Breeding Tree and Combination Visualizer
palworldbreedingcalculator.org·1h·
Discuss: Hacker News
✓Automated Theorem Proving
The Medieval World Revealed
worldhistory.substack.com·3d·
Discuss: Substack
🍎Apple
It's a Beelink, baby
world.hey.com·5h·
Discuss: Hacker News
💾Retro Computing
Memory Efficiency in iOS: Reducing footprint and beyond
antongubarenko.substack.com·2d·
Discuss: Substack
🍎Apple
Hydrolix Handles Late-Arriving Data
hydrolix.io·5h·
Discuss: Hacker News
👁️System Observability
Building Telemetry Pipelines with the OpenTelemetry Collector
dash0.com·9h·
Discuss: Hacker News, r/programming
👁️System Observability
Mapping Out the Library of Babel
carlnewton.github.io·4d·
Discuss: Hacker News
🎮Verification Games
Former Y Combinator, a16z experts hold invite-only summit for founders
techcrunch.com·6h·
Discuss: Hacker News
🎮Verification Games
How I Made My Online Game Work Without JavaScript and Why You Probably Shouldn't
bejofo.com·1d·
Discuss: Hacker News
🧱Immutable Infrastructure
"I think about this often" (2023)
dejavucoder.substack.com·5d·
Discuss: Substack
🎮Verification Games
I am a Rust compiler engineer looking for a new job
nnethercote.github.io·5d·
Discuss: Hacker News
❄️Nixified Development
How to break the 'AI hype cycle'
mitsloan.mit.edu·2d·
Discuss: Hacker News
🐫Embedded OCaml
Adaptive Inventory Strategies using Deep Reinforcement Learning for Dynamic Agri-Food Supply Chains
arxiv.org·19h
🔄Reproducible Builds
Show HN: How Claude Code Improved My Dev Workflow
news.ycombinator.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Help Choosing Hardware for My Homelab Staging Sites & Learning Stack
reddit.com·7h·
Discuss: r/homelab
🏠HomeLab
I built a simple Discord music bot (Docker-ready) because I couldn't find a bloat-free selfhosted option
reddit.com·2d·
Discuss: r/homelab
⎈Kubernetes
8 Bit Mechanical Computer Built from Knex
hackaday.com·3d·
Discuss: Hacker News
💾Retro Computing
On the Limitations of Large Language Models (LLMs): False Attribution
arxiv.org·5d
🔠Type-Level Programming