Footnotes, Gödel exercises, Purcell
logicmatters.net·1d
👑Isabelle
Various and Sundry
math.columbia.edu·1d
🧮Theoretical Computer Science
Gradle 9.0.0
docs.gradle.org·1d·
Discuss: Hacker News
🌀Brotli Internals
Ergonomic keyboarding with the Svalboard: a half-year retrospective
twey.io·17h·
Discuss: Hacker News
⌨️Mechanical Keyboards
Free Security Audits for Erlang and Elixir open source projects
erlang-solutions.com·17h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Three Months with Cursor: A Developer's Summer 2025 Retrospective
tvedeane.bearblog.dev·1d·
Discuss: Hacker News
🎯Gradual Typing
Ultrasmall optical devices rewrite the rules of light manipulation
news.mit.edu·17h
🔬Optical Physics
The web isn't URL-shaped anymore
jonoalderson.com·2d·
Discuss: Hacker News
📰Content Curation
Categorising My Daily Todo List with Deepseek-R1
bentasker.co.uk·2d·
Discuss: Hacker News
🌳Incremental Parsing
Cogito V2 Preview
deepcogito.com·1d·
Discuss: Hacker News
🧮Z3 Solver
Working on GPT-powered semantic monitoring with YAML templates & CLI tools
dev.to·1d·
Discuss: DEV
🌀Brotli Internals
Unlocking Business Growth with AI/ML Development Services
dev.to·1d·
Discuss: DEV
🏠Homelab Orchestration
AI research journal with sham board, metrics holds researcher’s paper hostage
retractionwatch.com·1d
🔍Vector Forensics
From Python to ML: A Challenge-Based Learning Journey
dev.to·17h·
Discuss: DEV
🧠Machine Learning
A sustainable biotechnology approach for mineral separation
phys.org·1d
🧪Cassette Chemistry
Where to show Demos in Your Prompt: A Positional Bias of In-Context Learning
arxiv.org·2d
💻Programming languages
Show HN: List of Clojure-Like projects
github.com·13h·
Discuss: Hacker News
🧠Lisp Dialects
Show HN: Synapse – Multi-model AI combining LLMs and humans for marketing output
news.ycombinator.com·1d·
Discuss: Hacker News
📊Feed Optimization
Show HN: Term – Rust-based data validation with OpenTelemetry
github.com·2d·
Discuss: Hacker News
✅Archive Validation
Countering the Forgetting of Novel Health Information with 'Social Boosting'
arxiv.org·1d
📡RSS Readers