Building Seamless User Journeys: Your Guide to React Onboarding with OnboardJS
onboardjs.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Micro Common Lisp
t3x.org·5d·
Discuss: Lobsters, Hacker News
🐫Embedded OCaml
Orca Build System
orca-app.dev·1d·
Discuss: Lobsters, Hacker News, r/programming
📦Unikernel Systems
Void, the Bluesky bot that remembers everyone
cameron.pfiffer.org·8h·
Discuss: Hacker News
🎮Verification Games
AI Models for Pokemon Games
kevinlu.ai·2d·
Discuss: Hacker News
🎮Verification Games
Talking Postgres with Shireesh Thota, Microsoft CVP
talkingpostgres.com·5h·
Discuss: Hacker News
🔄Reproducible Builds
I'm more proud of these 128 kilobytes than anything I've built since
medium.com·5h·
Discuss: Hacker News
🔬Unikernels
How to Write Rust Code Like a Rustacean
thenewstack.io·2d·
Discuss: Hacker News
🔬Static Analysis
Ezno (TypeScript type checker written in Rust) 2025 update
kaleidawave.github.io·6d·
Discuss: Hacker News
🐫OCaml
Data Science Weekly – Issue 607
datascienceweekly.substack.com·22h·
Discuss: Substack
👁️System Observability
Consistent and Asymptotically Efficient Localization from Bearing-only Measurements
arxiv.org·21h
💻CS
Measuring how changes in code readability attributes affect code quality evaluation by Large Language Models
arxiv.org·2d
🔬Static Analysis
Constraint Hypergraphs as a Unifying Framework for Digital Twins
arxiv.org·2d
🏹Effect Systems
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
arxiv.org·2d
🔍Formal Verification
CLI-RAG: A Retrieval-Augmented Framework for Clinically Structured and Context Aware Text Generation with LLMs
arxiv.org·1d
🔬Static Analysis
Foundation Model Self-Play: Open-Ended Strategy Innovation via Foundation Models
arxiv.org·1d
🛡️seL4
An order-theoretic circuit syntax and characterisation of the concept lattice
arxiv.org·2d
➡️Category Theory
Features are fate: a theory of transfer learning in high-dimensional regression
arxiv.org·2d
➡️Category Theory
A Machine Learning Framework for Breast Cancer Treatment Classification Using a Novel Dataset
arxiv.org·1d
✓Automated Theorem Proving
Humans overrely on overconfident language models, across languages
arxiv.org·1d·
Discuss: Hacker News
✓Automated Theorem Proving