A Light-Driven Closed-Loop Chemical Recycling System for Polypinacols
advanced.onlinelibrary.wiley.com·1d·
Discuss: Hacker News
🐫OCaml
sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·1d·
Discuss: Hacker News
🔍Formal Verification
ProWorks Job Management Software
proworks.app·1d·
Discuss: Hacker News
🍎Apple
The Salesloft-Drift Breach: Analyzing the Biggest SaaS Breach of 2025
reco.ai·3h·
Discuss: Hacker News
👁️System Observability
Evelyn – Early Prototype of a Local-First AI Voice Assistant
news.ycombinator.com·2h·
Discuss: Hacker News
🍎Apple
Relaunching Yakread: an algorithmic reading app
biffweb.com·7h·
Discuss: Hacker News
🧮Lambda Calculus
Managing Multiple Claude Code Sessions Without Worktrees
gitbutler.ghost.io·1d·
Discuss: Hacker News
🔄Reproducible Builds
MonadBFT: Fast, Responsive, Fork-Resistant Streamlined Consensus
category.xyz·3d·
Discuss: Hacker News
🔄Reproducible Builds
NVIDIA Dynamo LLM Inference Framework
multimodalai.substack.com·1d·
Discuss: Substack
🔧Unikernel Development
Writing a C compiler in 500 lines of Python
vgel.me·3d·
Discuss: Hacker News, r/programming
🐫OCaml
Show HN: CLI constraints as types via parser combinators in TypeScript
optique.dev·2d·
Discuss: Hacker News
💎Refinement Types
We Hacked Burger King: How Auth Bypass Led to Drive-Thru Audio Surveillance
bobdahacker.com·7h·
Discuss: Hacker News
🍎Apple
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·3d·
Discuss: Hacker News
🎮Verification Games
Identifiability and minimality bounds of quantum and post-quantum models of classical stochastic processes
arxiv.org·2d
🏹Effect Systems
Follow up experiments on preventative steering
lesswrong.com·15h
🧩Separation Logic
How Causal Reasoning Addresses the Limitations of LLMs in Observability
infoq.com·4d·
Discuss: Hacker News
🩹Self-Healing Systems
GLM 4.5 with Claude Code is a killer combination
docs.z.ai·19h·
Discuss: Hacker News
🐫OCaml
The State of AI Browser Agents in 2025
fillapp.ai·11h·
Discuss: Hacker News
✓Automated Theorem Proving
StealthEval: A Probe-Rewrite-Evaluate Workflow for Reliable Benchmarks
arxiv.org·3d
🔄Reproducible Builds
Multilinear and Linear Programs for Partially Identifiable Queries in Quasi-Markovian Structural Causal Models
arxiv.org·1d
🧠Automated Reasoning