What is Algebraic about Algebraic Effects?
interjectedfuture.comยท14h
๐Ÿ’ซEffect Systems
Swift 6.2 Released
swift.orgยท20h
๐Ÿฆ‰Swift Interpreters
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.chยท13hยท
๐Ÿท๏ธMemory Tagging
Choosing Rust for LLM-generated code
runmat.orgยท3dยท
Discuss: Hacker News
๐Ÿš‚Cranelift IR
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.toยท20hยท
Discuss: DEV
๐Ÿ’พCache Algorithms
What Happens When You Decide to Reinvent the Wheel?
blog.kalilarosa.xyzยท2dยท
๐Ÿ“ฆMonorepos
Automating Data Documentation with AI: How 7-Eleven Bridged the Metadata Gap
databricks.comยท5h
๐Ÿ”„Incremental Lexing
15 Best Practices for Building MCP Servers in Production
thenewstack.ioยท14h
๐Ÿ“กNetwork Serialization
Launch HN: Trigger.dev (YC W23) โ€“ Open-source platform to build reliable AI apps
news.ycombinator.comยท14hยท
Discuss: Hacker News
โšกLive Coding
why is rust not being utilized to its full potential?
reddit.comยท1hยท
Discuss: r/rust
โš™๏ธTOML Parsers
I Asked Kiro to Understand My Verilog Codebase โ€” It Built Me an AI-Powered EDA Assistant
dev.toยท1dยท
Discuss: DEV
๐ŸฉบCompiler Diagnostics
how fast is go? simulating millions of particles on a smart tv
dgerrells.comยท2dยท
๐Ÿ“กChannels
Reasoned Safety Alignment: Ensuring Jailbreak Defense via Answer-Then-Check
arxiv.orgยท2h
๐ŸชœRecursive Descent
Cap'n Proto - structured data serialziation format
capnproto.orgยท12h
๐Ÿ“ฆMessage Serialization
How Coding Agents Actually Work: Inside Opencode
cefboud.comยท5hยท
Discuss: r/programming
๐ŸŽฎLanguage Ergonomics
Beyond the Hype: Why Your AI Assistant Might Be Sabotaging Your Architecture
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ›ก๏ธError Ergonomics
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.comยท21h
๐ŸชขRope Data Structures
A simple way to automate RHEL VM creation
marcin.juszkiewicz.com.plยท1d
๐Ÿ›ก๏ธCapability VMs
Rustlantis: Randomized Differential Testing of the Rust Compiler
plf.inf.ethz.chยท9hยท
Discuss: Hacker News
๐Ÿ—๏ธCranelift
Timing Attacks and Their Remedies โ€” an in-depth guide
dev.toยท3dยท
Discuss: DEV
๐Ÿ”—Hash Algorithms