Memories of AOL
theworksofegan.net·7h
🕹️Retro Gaming
Rules for Python | Cursor Directory
cursor.directory·1d
🪟Awesome windows command-line
It’s a Cold Day in Developer Hell, So I Must Roll My Own Crypto
soatok.blog·1d
🌳Archive Merkle Trees
documentdb/documentdb
github.com·1d
🤖Archive Automation
Structural vs. Mathematical “Under” (2023)
dyalog.com·3d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
What Is Mojo?
harshal.is-cool.dev·17h·
Discuss: Hacker News
💧Liquid Types
Io_uring by Example
unixism.net·1d·
Discuss: Hacker News
🐚Shell Calculus
Show HN: Vectorless RAG
github.com·1d·
Discuss: Hacker News
📊Multi-vector RAG
Building Queryable Chatbots Using MCP Tools
dev.to·14h·
Discuss: DEV
🔗Constraint Handling
Understanding Tool-Integrated Reasoning
arxiv.org·2d
🔗Constraint Handling
AgentCoMa: A Compositional Benchmark Mixing Commonsense and Mathematical Reasoning in Real-World Scenarios
arxiv.org·1d
✓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·1d
🎯Threat Hunting
Poison Once, Refuse Forever: Weaponizing Alignment for Injecting Bias in LLMs
arxiv.org·1h
💻Local LLMs
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·2d·
Discuss: DEV
🔲Cellular Automata
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
Universal vulnerability in strong modular networks with various degree distributions between inequality and equality
arxiv.org·1h
🕸️Network Topology
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·1d
⚙️Proof Engineering
🌍 The Journey of Data: From Raw Logs to Insights
dev.to·13h·
Discuss: DEV
🔗Data Provenance
On systematic construction of correct logic programs
arxiv.org·3d
⚖️Hoare Logic