A Slice of Bread as a Yogurt Starter? (2022)
wildfermentation.com·2d·
Discuss: Hacker News
🔬Unikernels
Ethical imperatives in the commercialization of brain-computer interfaces
papers.ssrn.com·2d·
Discuss: Hacker News
🏹Effect Systems
Exploring Windows XP on macOS ARM64
milen.me·1d·
Discuss: Hacker News
💾Retro Computing
The Rising Cost of Child and Pet Day Care
marginalrevolution.com·12h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Why ‘Mankeeping’ Is Turning Women Off
nytimes.com·14h·
Discuss: Hacker News
➡️Category Theory
Show HN: I built ReplyFast an AI powered tool to write faster and better emails
replyfast.net·4d·
Discuss: Hacker News
✓Automated Theorem Proving
Using GitHub Spark to reverse engineer GitHub Spark
simonwillison.net·4d·
Discuss: Hacker News
🔄Reproducible Builds
Show HN: Fundatio – Free macOS App to Structure Project Folders
apps.apple.com·3d·
Discuss: Hacker News
🍎Apple
Show HN: Zest – AI Agents for Slack
customer-d547k9rahyss1dfy.cloudflarestream.com·4d·
Discuss: Hacker News
🎮Verification Games
Open-Source LLM Helps Safeguard Text Generation Prompts and Responses
corp.roblox.com·5d·
Discuss: Hacker News
🛡️seL4
ramalama/mesa : benchmarks on my hardware and open source vs proprietary
airlied.blogspot.com·4d·
Discuss: airlied.blogspot.com, Hacker News
🔬Unikernels
How We Migrated the Parse API From Ruby to Golang (Resurrected)
charity.wtf·4d·
Discuss: Hacker News
🔄Reproducible Builds
Robots That Learn to Fear Like Humans Survive Better
spectrum.ieee.org·2d·
Discuss: Hacker News
🔄Finite State Machines
Context Management UI in AI Products
lukew.com·3d·
Discuss: Hacker News
🎮Verification Games
Efficient Story Point Estimation With Comparative Learning
arxiv.org·6d
🎮Verification Games
Remix 3 and the End of React-Centric Architectures
thenewstack.io·5d
🧱Immutable Infrastructure
AI Coding Stack That Isn't Complete Garbage: VSCode, Roocode, Augment (May 2025)
medium.com·5d·
Discuss: Hacker News
🔄Reproducible Builds
Novel Multi-Agent Action Masked Deep Reinforcement Learning for General Industrial Assembly Lines Balancing Problems
arxiv.org·5d
🤖Program Synthesis
The Risk in AI Products: Fragmented Enterprise Knowledge
medium.com·5d·
Discuss: Hacker News
✓Automated Theorem Proving
Small LLMs Do Not Learn a Generalizable Theory of Mind via Reinforcement Learning
arxiv.org·6d
✓Automated Theorem Proving