Why did the Babylonians use a base 60 number system?
galileo-unbound.blog·8h·
Discuss: Hacker News
⚡Process Calculi
Aligning those who align AI, one satirical website at a time
theverge.com·3h·
Discuss: Hacker News
🎮Verification Games
The (Dubios) Value of Taking Notes
foolsconfession.blogspot.com·8h·
Discuss: Hacker News
🎮Verification Games
HiTex: A spam factory for AI-generated books
laurent.le-brun.eu·1d·
Discuss: Hacker News
🐫OCaml
A Short Introduction to Tor
spec.torproject.org·2d·
Discuss: Hacker News
🌐NetworkProtocols
Improving state machine code generation
trifectatech.org·2d·
Discuss: Hacker News, r/rust
🐫Embedded OCaml
Rewriting Dataframes for MicroHaskell
mchav.github.io·3d·
Discuss: Hacker News, r/programming
🧮Lambda Calculus
When and How to Trust the Experts
capitalgains.thediff.co·7h·
Discuss: Hacker News
🧠Automated Reasoning
Scaffolding for production vibe coding
interjectedfuture.com·2d·
Discuss: Hacker News
🔬Static Analysis
LAMDAS: LLM as an Implicit Classifier for Domain-specific Data Selection
arxiv.org·2d
🐫OCaml
Shape Checking for Annotated Tensor Names
github.com·1d·
Discuss: Hacker News
🐫OCaml
Using Linters to Direct Agents
factory.ai·2d·
Discuss: Hacker News
🔄Reproducible Builds
Acceptability of AI Assistants for Privacy: Perceptions of Experts and Users on Personalized Privacy Assistants
arxiv.org·19h
🖥️Self-hosted Infrastructure
Alloyed agents: combining LLMs to improve AI code generation
enginelabs.ai·3d·
Discuss: Hacker News
💎Refinement Types
Show HN: Oboe, a generalized AI-powered learning platform
news.ycombinator.com·1d·
Discuss: Hacker News
🎮Verification Games
FreeCAD Foray: Good Practices
hackaday.com·9h
🔬Unikernels
Agents of Discovery
arxiv.org·19h
🧩Parser Combinators
Mitigating Spurious Correlations Between Question and Answer via Chain-of-Thought Correctness Perception Distillation
arxiv.org·2d
🧩Parser Combinators
Tensor Forms of Derivatives of Matrices and their applications in the Solutions to Differential Equations
arxiv.org·19h
🐫OCaml
ESP32-based boundary wire signal generator for Robomow RX/RT mowers
github.com·20h·
Discuss: Hacker News
🐫Embedded OCaml