Arduino GPS Clock With Menu
hackster.io·1d
📱QR Archaeology
Anthropic says Claude is like a 'brilliant but very new employee (with amnesia)'
businessinsider.com·14h
⚡Proof Automation
Simply Plural Web App
app.apparyllis.com·3d
🌀Brotli Dictionary
PySimpleGUI Shutdown
pysimplegui.com·4h·
Discuss: Hacker News
🔓Open Source Software
GHC will start maintaining an LTS release/branch in the near future
blog.haskell.org·2d·
Discuss: Hacker News
🔒Linear Types
Chess Llama - Training a tiny Llama model to play chess
lazy-guy.github.io·20h·
Discuss: Hacker News, r/LocalLLaMA, r/programming
👑Coq Tactics
AI Coding Tools Underperform in Field Study with Experienced Developers
infoq.com·14h·
Discuss: Hacker News
📏Code Metrics
Bad Apple!! CD+G on a karaoke machine
gashlin.net·12h·
Discuss: Lobsters, Hacker News
🔬Floppy imaging
Connecting legibility to theory building in programming
ashwinsundar.com·5d·
Discuss: Hacker News
💻Programming languages
Acoustic Index: A Novel AI-Driven Parameter for Cardiac Disease Risk Stratification Using Echocardiography
arxiv.org·8h
🎵Acoustic Fingerprinting
Show HN: DOMTranslator package to translate text nodes in DOM
github.com·1d·
Discuss: Hacker News
📝Text Compression
🚀 Building a Shopify App Backend in a Weekend with Gadget
dev.to·18h·
Discuss: DEV
🚀Indie Hacking
Can AI Rely on the Systematicity of Truth? The Challenge of Modelling Normative Domains
arxiv.org·6d
💻Programming languages
Understanding Derivatives: The Slope of Change
dev.to·2d·
Discuss: DEV
🌀Differential Geometry
Introducing Phantom AI
dev.to·1d·
Discuss: DEV
🎙️Whisper
Expansive Natural Neural Gradient Flows for Energy Minimization
arxiv.org·8h
🌀Riemannian Computing
The Real Problem with AI Agents (and How We Built the Fix)
dev.to·2d·
Discuss: DEV
⚡Proof Automation
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·3d
🔲Cellular Automata
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·4d
🛡️Proof-Carrying Archives
I built a self-hosted Telegram AI assistant to keep my Gemini API key private. It's now open-source for everyone.
dev.to·1d·
Discuss: DEV
⚡gRPC