TempleOS
en.wikipedia.org·1d·
Discuss: Hacker News
🔌Operating system internals
Nullable vs. Nullable in C#
einarwh.no·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Format Verification
Explaining Fully Homomorphic Encryption to My Mom
olshansky.medium.com·2d·
Discuss: Hacker News
🔐Homomorphic Encryption
Implementing Forth in Go and C
eli.thegreenplace.net·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
🔗Concatenative Programming
A Model for all Ranges
qt.io·2d·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Epistemic Trade-Off: An Analysis of the Operational Breakdown and Ontological Limits of "Certainty-Scope" in AI
arxiv.org·11h
⚙️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·32m·
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·11h
✓Automated Theorem Proving
Guessing Game: Haskell Style
entropicthoughts.com·2d·
Discuss: Lobsters, Hacker News
👑Dependent Haskell
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·11h
🎯Threat Hunting
On Continuous Test Improvement
dsyme.net·7h·
Discuss: Hacker News
📏Code Metrics
Go Struct Alignment: a Practical Guide
medium.com·20h·
Discuss: r/golang
🔧Binary Parsers
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·4d
🔗Functional Compilers
The Next Layer: Augmenting Foundation Models with Structure-Preserving and Attention-Guided Learning for Local Patches to Global Context Awareness in Computatio...
arxiv.org·11h
🧠Machine Learning
LLMs for Software Developers (notes from my talk at NWRUG)
theartandscienceofruby.com·1d·
Discuss: Lobsters, Hacker News
⚔️Lean Tactics
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 Lobster Programming Language
strlen.com·2d·
Discuss: Hacker News
🔗Concatenative Programming