Light exposure at night predicts incidence of cardiovascular diseases
medrxiv.org·1d·
Discuss: Hacker News
🔠Type-Level Programming
Full QuickJS Support for Nginx
blog.nginx.org·3d·
Discuss: Hacker News
🌐NetworkProtocols
Bringing granular updates to React, the Clojure way
romanliutikov.com·5d·
Discuss: r/programming, r/reactjs
🧱Immutable Infrastructure
Eye blink frequency variation and executive function enhancement from exercise
jphysiolanthropol.biomedcentral.com·2d·
Discuss: Hacker News
🍎Apple
The Nuclear Mirage
theenergymix.com·1d·
Discuss: Hacker News
🔬Unikernels
New Software from 'Ruđer' for Faster Supercomputer Simulations
irb.hr·3d·
Discuss: Hacker News
📦Unikernel Systems
Perplexity's Comet AI browser, I like where it's going (but it's not there yet)
zdnet.com·1h·
Discuss: Hacker News
📦Unikernel Systems
A chatbot coined a phrase I really like. Am I allowed to use it?
jessesingal.substack.com·1d·
Discuss: Substack
✓Automated Theorem Proving
Realbasic (2000)
joelonsoftware.com·3d·
Discuss: Hacker News
💾Retro Computing
Deterministic Simulation Testing in Rust: A Theater Of State Machines
polarsignals.com·6d·
Discuss: Lobsters, Hacker News
🧪Property-Based Testing
Trace LLM workflows at your app's semantic level, not at the OpenAI API boundary
engineeringideas.substack.com·3d·
Discuss: Substack
🔍Formal Verification
The Impact of Automatic Speech Transcription on Speaker Attribution
arxiv.org·16h
✓Automated Theorem Proving
Understanding Chain-of-Thought in LLMs through Information Theory
arxiv.org·3d
✓Automated Theorem Proving
Truth-value judgment in language models: 'truth directions' are context sensitive
arxiv.org·3d
✓Automated Theorem Proving
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·3d·
Discuss: r/programming
🐫OCaml
"Amazing, They All Lean Left" -- Analyzing the Political Temperaments of Current LLMs
arxiv.org·16h
🐫OCaml
2039.js – The web framework that runs in the future (literally)
news.ycombinator.com·1d·
Discuss: Hacker News
🔄Finite State Machines
Ask HN: How do you handle charging users for AI usage?
news.ycombinator.com·21h·
Discuss: Hacker News
✓Automated Theorem Proving
scE$^2$TM: Toward Interpretable Single-Cell Embedding via Topic Modeling
arxiv.org·16h
➡️Category Theory
Homelabbing... where to start?
reddit.com·53m·
Discuss: r/homelab
🏠HomeLab