Laminar Flow Airfoil
aviation-history.com·2h·
Discuss: Hacker News
➡️Category Theory
If This Comet Is What We Think It Is, It’s Unlike Any Object Humanity Has Ever Seen
popularmechanics.com·1d·
Discuss: Hacker News
🐫OCaml
Show HN: TrueSift – AI-Powered Real-Time Fact-Checking Chrome Extension
truesift.dev·5h·
Discuss: Hacker News
✓Automated Theorem Proving
Godot Showcase: Dogwalk
godotengine.org·2d·
Discuss: Hacker News
🎮Verification Games
Measuring the latency that GIL introduces to Python applications
coroot.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
I was wrong about robots.txt
evgeniipendragon.com·1d·
Discuss: Lobsters, Hacker News
🛡️seL4
Show HN: VS Code extension revealed I only code 51% of my 'deep work' time
floustate.com·3d·
Discuss: Hacker News
👁️System Observability
Transforming Manual Testing from a Liability into a Strategic Asset
johngalt.id·3d·
Discuss: Hacker News
🧪Property-Based Testing
What Doesn’t Change
terriblesoftware.org·3d·
Discuss: r/compsci, r/programming
👁️System Observability
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·4d·
Discuss: Lobsters, Hacker News, r/programming
🔬Static Analysis
Multiplicative Modular Nim (MuM)
arxiv.org·2d
🐫OCaml
Show HN: Claude Memory Visualizer
github.com·4h·
Discuss: Hacker News
💾Retro Computing
Unpythonic: Supercharge your Python with parts of Lisp and Haskell
github.com·5d·
Discuss: Hacker News
🐫OCaml
Real-Time Bayesian Detection of Drift-Evasive GNSS Spoofing in Reinforcement Learning Based UAV Deconfliction
arxiv.org·1d
📡Network Protocol Design
Relative Entropy Pathwise Policy Optimization
arxiv.org·1d
🔠Type-Level Programming
HanjaBridge: Resolving Semantic Ambiguity in Korean LLMs via Hanja-Augmented Pre-Training
arxiv.org·1d
🎮Verification Games
Web-Browsing LLMs Can Access Social Media Profiles and Infer User Demographics
arxiv.org·22h
✓Automated Theorem Proving
A modular, LLM-agnostic fullstack agent framework
github.com·4d·
Discuss: Hacker News
🐫OCaml
From the Tensor to the Transformer: Building the AI stack from first principles
github.com·4d·
Discuss: Hacker News
🏹Effect Systems
A Feed-Forward Artificial Intelligence Pipeline for Sustainable Desalination under Climate Uncertainties: UAE Insights
arxiv.org·1d
✓Automated Theorem Proving