Relative Completeness of Incorrectness Separation Logic
arxiv.org·1h
🌸Bloom Filters
In Support Of Shitty Types
lucumr.pocoo.org·10h·
Discuss: Lobsters, Hacker News
📘Typescript
I wrote a free book on keeping systems flexible and safe as they grow — sharing it here
github.com·15h·
Discuss: r/programming
⚙️Language Runtimes
Hessian analysis with JAX: a platform-agnostic, high-performance approach
lesswrong.com·25m
🕯️Candle
LeetCode #70: Climbing Stairs
anmoltomer.bearblog.dev·1h
🧮SMT Solvers
The Generativity Pattern in Rust
arhan.sh·11h·
Discuss: Lobsters, Hacker News, r/programming
🦀Rust Compiler Internals
I Built a Custom MCP Server in Golang To Make Claude Smarter—Here's How
hackernoon.com·19h
📋MCP
Depth=2
tristanpemble.com·10h·
Discuss: Hacker News
⚙️Language Runtimes
Who Am I in the Eye of AI?
lightcapai.medium.com·11h·
Discuss: Hacker News
🎭Claude
When Truth Is Overridden: Uncovering the Internal Origins of Sycophancy in Large Language Models
arxiv.org·1h
🧩Types
9 habits of the highly ineffective vibe coder
infoworld.com·20h
👨‍💻AI Coding
A Formal Framework for the Definition of 'State': Hierarchical Representation and Meta-Universe Interpretation
arxiv.org·1h
📋MCP
Come Try Out Piglet
arnebrasseur.net·15h·
Discuss: Hacker News
🔎Tantivy
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·1h
🌸Bloom Filters
A Methodological Framework for LLM-Based Mining of Software Repositories
arxiv.org·1h
👨‍💻Software development practices
A Gentle Introduction To Fortran
hackaday.com·12h·
Discuss: Lobsters, Hacker News
🪄Prompt Engineering
Taming Eventual Consistency—Applying Principles of Structured Concurrency to Distributed Systems
reddit.com·13h·
Discuss: r/SoftwareEngineering
🌐Distributed systems
Some thoughts on journals, refereeing, and the P vs NP problem
blog.computationalcomplexity.org·12h·
Discuss: blog.computationalcomplexity.org, Hacker News
🧮SMT Solvers
C++ coroutines prone to code-reuse attack despite control flow integrity
techxplore.com·12h
🕳LLM Vulnerabilities
Show HN: Using DSPy to enrich a dataset of the Nobel laureate network
blog.kuzudb.com·4h·
Discuss: Hacker News
📇Vector Indexing