Feeds to Scour
SubscribedAll
Keep Effects at the Edges
agentultra.com·1d·
Discuss: Hacker News
Effect Handlers
Preview
Report Post
Ignore Prior Instructions: AI Still Befuddled by Basic Reasoning
thenewstack.io·2h
Proof Automation
Preview
Report Post
Formally Verifying Advent of Code Using Dijkstra's Program Construction
haripm.com·3d·
Discuss: Hacker News
⚔️Lean Tactics
Preview
Report Post
Issue 501
haskellweekly.news·3d
🔗Functional Compilers
Preview
Report Post
You Gotta Push If You Wanna Pull
morling.dev·6h
🗄️Database Internals
Preview
Report Post
Rust Code Delivers Better Security, Also Streamlines DevOps
darkreading.com·1d
🦀Embedded Rust
Preview
Report Post
Pillage Village: Desperate Times
bluerenga.blog·13h
⚖️Game Preservation Ethics
Preview
Report Post
Thoughts on Go vs. Rust vs. Zig
sinclairtarget.com·2d·
Discuss: Hacker News
🦀Rust Borrowing
Preview
Report Post
The Unexpected Effectiveness of One-Shot Decompilation with Claude
simonwillison.net·21h
🎮Game Decompilation
Preview
Report Post
Formalization of Erdős problems
xenaproject.wordpress.com·2d
🎯Performance Proofs
Preview
Report Post
Mechanical Habits
matklad.github.io·1d
🔩Systems Programming
Preview
Report Post
Notes on Distributed Systems for Young Bloods (2013)
somethingsimilar.com·20h·
Discuss: Hacker News
🤝Distributed Consensus
Preview
Report Post
In defense of lock poisoning in Rust
sunshowers.io·4d·
Discuss: Lobsters
🦀Rust Verification
Preview
Report Post
Perplexity's BrowseSafe tries to patch the gaping security holes inherent in AI browser agents
the-decoder.com·6h
🔍BitFunnel
Preview
Report Post
Weekly Bookmarks
inkdroid.org·11h
🌀Brotli Internals
Preview
Report Post
New Prompt Injection Attack Vectors Through MCP Sampling
unit42.paloaltonetworks.com·1d
gRPC
Preview
Report Post
Using AI To Modernize The Ubuntu Error Tracker Produced Some Code That Was "Plain Wrong"
phoronix.com·4h
📏Code Metrics
Preview
Report Post
Building a Bayesian Spam Classifier from First Principles
journal.hexmos.com·58m·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Mathematical "Urban Legends" (2011)
mathoverflow.net·1h·
Discuss: Hacker News
🔲Proof Irrelevance
Preview
Report Post
Solving a snaky math problem with Mathematica
leancrew.com·23h
📐Interval Arithmetic
Preview
Report Post