New Duke Study Finds Obesity Rises with Caloric Intake, Not Couch Time
trinity.duke.edu·21h·
Discuss: Hacker News
➡️Category Theory
Google develops AI tool that fills missing words in Roman inscriptions
theguardian.com·3h·
Discuss: Hacker News
✓Automated Theorem Proving
Mimo App Good or Bad?
play.google.com·1d·
Discuss: r/programming
🐫Embedded OCaml
Visualizing multi-dimensional data: score distributions in English football
blog.engora.com·1d·
Discuss: Hacker News
👁️System Observability
The Ultimate Guide to Git Branching Strategies (with diagrams + real-world use cases)
blog.prateekjain.dev·2h·
Discuss: r/devops, r/programming
🔄Reproducible Builds
Trying out the OrangePi RV2 and fixing a kernel bug
hydrogen18.com·7h·
Discuss: Hacker News
🍎XNU Internals
A curated directory for developers to discover and showcase tech products
devhub.best·2d·
Discuss: Hacker News
❄️Nixified Development
How to Migrate from OpenAI to Cerebrium for Cost-Predictable AI Inference
ritza.co·1d·
Discuss: Hacker News
📦Unikernel Systems
This Number System Beats Binary, But Most Computers Can't Use It
scientificamerican.com·5d·
Discuss: Hacker News
💻CS
Comparing the Glove80 and Maltron keyboards
tratt.net·1d·
Discuss: Lobsters, Hacker News, Hacker News
💾Retro Computing
Integration testing for Go applications using Testcontainers
devblogs.microsoft.com·1d·
Discuss: Hacker News
📦Unikernel Systems
8 Bit Mechanical Computer Built from Knex
hackaday.com·3d·
Discuss: Hacker News
💾Retro Computing
The Limits of Agency (Human or Otherwise): Free Will Is Overrated
medium.com·1d·
Discuss: Hacker News
🛡️seL4
Evaluating Text Style Transfer: A Nine-Language Benchmark for Text Detoxification
arxiv.org·1d
🐫Embedded OCaml
From Bias to Behavior: Learning Bull-Bear Market Dynamics with Contrastive Modeling
arxiv.org·1d
➡️Category Theory
Cognitive Castes: Artificial Intelligence, Epistemic Stratification, and the Dissolution of Democratic Discourse
arxiv.org·1d
💻CS
Monotone weak distributive laws over the lifted powerset monad in categories of algebras
arxiv.org·5d
➡️Category Theory
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·1d
✓Automated Theorem Proving
The Force: A Star Wars themed programming language
github.com·2d·
Discuss: Hacker News
🔬Static Analysis
Input-leap/input-leap: Open-source KVM software (barrier fork)
github.com·3d·
Discuss: Hacker News
🍎XNU Internals