Strict alternation of data and behaviour in Smalltalk
eighty-twenty.orgยท14h
๐Ÿ“žSession Types
Cactus Language โ€ข Syntax 12
inquiryintoinquiry.comยท8h
๐Ÿ“Concrete Syntax
Generative AI Exacerbates Software Supply Chain Risks
darkreading.comยท10h
๐Ÿ”’WASM Capabilities
My first experience with Formal Methods | ZipCPU
zipcpu.comยท6d
๐Ÿ”งHardware Verification
Learn โ€“ Computer-Aided Instruction on Unix
wolfram.schneider.orgยท43mยท
Discuss: Hacker News
๐Ÿ“ŸTerminal Typography
Machine Learning Fundamentals: accuracy with python
dev.toยท1dยท
Discuss: DEV
๐Ÿ‘๏ธObservatory Systems
Field Sensitive Escape Analysis in Golang?
reddit.comยท19hยท
Discuss: r/golang
๐Ÿง Lisp Dialects
Validating Mechanistic Interpretations: An Axiomatic Approach
arxiv.orgยท1d
โš–๏ธHoare Logic
Memory Safety in Web Rust System Zero Cost Secure๏ผˆ1750794401345600๏ผ‰
dev.toยท1dยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Agentic Workflows Are Just Code โ€“ Treat Them That Way
restate.devยท1dยท
Discuss: Hacker News
โš™๏ธTLA+
Lessons from LangChain and Slack and MCP Integration
medium.comยท1dยท
Discuss: Hacker News
๐Ÿ”—Topological Sorting
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท15hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals
Shane Kennedy - Software Engineer
shaneikennedy.xyzยท1d
๐Ÿฆ€Rust Macros
Reducing tool calling error rates for OpenAI, Anthropic, and Gemini models
mastra.aiยท3dยท
Discuss: Hacker News
โœ…Format Verification
Re-Evaluating Code LLM Benchmarks Under Semantic Mutation
arxiv.orgยท1d
๐Ÿ“Code Metrics
Programming Entry Level: how to interpreter
dev.toยท1dยท
Discuss: DEV
๐Ÿ”—Lisp
Why Agentic Flows Need Distributed-Systems Discipline
temporal.ioยท1dยท
Discuss: Hacker News
โš™๏ธTLA+
The collective waste caused by poor documentation
shanrauf.comยท22hยท
Discuss: Hacker News
๐Ÿ“ฆDeflate
Implementing Ray Tracing In One Weekend in F#
heftymouse.meยท3dยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
LR(1) parse-tables generator
github.comยท1dยท
Discuss: Lobsters, Hacker News
๐Ÿ”Z3 Parsing