The Medieval World Revealed
worldhistory.substack.com·3h·
Discuss: Substack
➡️Category Theory
Pharmacopsychiatry: Gut microbiome effect on psychotropic drugs&bipolar disorder
microbiologyresearch.org·19h·
Discuss: Hacker News
🐫OCaml
AI Gets Plugged into Managing California's Electric Grid
insider.govtech.com·1d·
Discuss: Hacker News
🤖Program Synthesis
Clever Cloud: The New Linux, Static, and V runtimes
clever-cloud.com·5d·
Discuss: r/programming
🔬Unikernels
Game of Trees Hub
gothub.org·5d·
Discuss: Lobsters, Hacker News
🖥️Self-hosted Infrastructure
Aoostar WTR Pro 24TB drives?
aoostar.com·2d·
Discuss: r/homelab
🏠HomeLab
The FIPS 140-3 Go Cryptographic Module
go.dev·5d·
Discuss: Lobsters, Hacker News, r/golang, r/programming
🛡️seL4
Lessons from Launching My First Product
shloked.substack.com·3d·
Discuss: Substack
🖥️Self-hosted Infrastructure
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·5d·
Discuss: Hacker News, r/programming
🧪Property-Based Testing
Life Finds A Way: Emergence of Cooperative Structures in Adaptive Threshold Networks
arxiv.org·2d
➡️Category Theory
Ask HN: How do you validate a product idea before building?
news.ycombinator.com·7h·
Discuss: Hacker News
🛡️seL4
Homelab upgrade advice
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
QuestA: Expanding Reasoning Capacity in LLMs via Question Augmentation
arxiv.org·2d
✓Automated Theorem Proving
API Simulation Reduces MCP Server, Microservices Overload
thenewstack.io·3d
👁️System Observability
Time for Britain's CMA to strike hard – or risk losing the cloud competition fight
theregister.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·1d·
Discuss: Hacker News
🌐NetworkProtocols
Show HN: I built a video meet app integrated with AI voice and avatar agents
github.com·22h·
Discuss: Hacker News
🍎Apple
Show HN: Metaexodus – utility to migrate production Metabase to local Postgres
github.com·1d·
Discuss: Hacker News
🔄Reproducible Builds
Multi-Class-Token Transformer for Multitask Self-supervised Music Information Retrieval
arxiv.org·2d
🍎Apple
Vertex-Guided Redundant Constraints Identification for Unit Commitment
arxiv.org·5d
🤖Program Synthesis