How To Structure Your Application Like An Artisan
blog.codeminer42.com·8h
🐚Shell Calculus
Python Namespace Packages are a pain
joshcannon.me·1d·
Discuss: Hacker News
📦Package Managers
Deep learning reveals antibiotics in the archaeal proteome
nature.com·1d·
Discuss: Hacker News
⚙️ABNF Mining
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Alpay Algebra: Solving the "Unsolvable" or Just Changing the Rules?
lightcapai.medium.com·1d·
Discuss: Hacker News
👑Isabelle
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·18h
⚙️Proof Engineering
Why I’m Against Claude Code’s Grep-Only Retrieval? It Just Burns Too Many Tokens
milvus.io·3d·
Discuss: Hacker News
🌳Incremental Parsing
Building Queryable Chatbots Using MCP Tools
dev.to·7h·
Discuss: DEV
🔗Constraint Handling
Understanding Tool-Integrated Reasoning
arxiv.org·1d
🔗Constraint Handling
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·18h
✓Automated Theorem Proving
Guessing Game: Haskell Style
entropicthoughts.com·3d·
Discuss: Lobsters, Hacker News
👑Dependent Haskell
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·18h
🎯Threat Hunting
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·18h
🧠Machine Learning
Put a ring on it: a lock-free MPMC ring buffer
h4x0r.org·2d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
⚡Hardware Transactional Memory
On systematic construction of correct logic programs
arxiv.org·2d
⚖️Hoare Logic
🌍 The Journey of Data: From Raw Logs to Insights
dev.to·6h·
Discuss: DEV
🔗Data Provenance
[R] ArchiFactory : Benchmark SLM architecture on consumer hardware, apples to apples
reddit.com·1d·
Discuss: r/MachineLearning
🌀Brotli Internals
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
The Lobster Programming Language
strlen.com·3d·
Discuss: Hacker News
🔗Concatenative Programming