IO is special
blog.ploeh.dk·19h
🧬Functional Programming
The Margins of Cybernetics (1963)
blog.outlandish.claims·10h·
Discuss: Hacker News
🇩🇪German Computing
I made a transformer by hand (no training)
vgel.me·4d·
Discuss: Hacker News
🤖Grammar Induction
The Compensation Principle
news.ycombinator.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Prompt Engineering
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Experimenting with local LLMs on macOS
blog.6nok.org·12h·
Discuss: Lobsters, Hacker News
💻Local LLMs
Behavioral Fingerprinting of Large Language Models
arxiv.org·21h
💻Local LLMs
Writing Code Is Easy. Reading It Isn't
idiallo.com·12h·
Discuss: Hacker News, r/programming
📏Code Metrics
Recognition-based Interactive Greeting System
hackster.io·13h
⚡Homebrew CPUs
Epigenetic Memory Stabilization via Causal Graph Reinforcement Learning in DNA Replication
dev.to·5h·
Discuss: DEV
🔲Cellular Automata
Artificially Fluent: Swahili AI Performance Benchmarks Between English-Trained and Natively-Trained Datasets
arxiv.org·21h
🎙️Whisper
NPM debug and chalk packages compromised
aikido.dev·9h·
Discuss: Hacker News, r/linux, r/node, r/webdev
🏺ZIP Archaeology
The End-to-End Data Scientist’s Prompt Playbook
towardsdatascience.com·9h
⚡Proof Automation
Emergent Social Dynamics of LLM Agents in the El Farol Bar Problem
arxiv.org·21h
🔲Cellular Automata
Knowledge and memory
robinsloan.com·2d·
Discuss: Hacker News
🔢Denotational Semantics
Adaptive Parameter Modulation via Hybrid Reinforcement Learning & Spectral Analysis for Efficient System Control
dev.to·15h·
Discuss: DEV
📡Tape Modulation
False Confidence
theaiunderwriter.substack.com·7h·
Discuss: Substack
💻Local LLMs
A Resolution-Based Interactive Proof System for UNSAT
arxiv.org·4d
🎯Performance Proofs
Evaluating NL2SQL via SQL2NL
arxiv.org·21h
🧠Query Planners
The canonical agent architecture: A while loop with tools
braintrust.dev·1d·
Discuss: Hacker News
⚙️TLA+