📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

[Talk] Improving the Incremental System in the Rust Compiler
blog.goose.love·17h
🔨Incremental Compilation
Flag this post
Building a highly-available web service without a database
screenshotbot.io·4h·
Discuss: r/programming
🦀Rust
Flag this post
Creating Lisp Systems
renato.athaydes.com·6h·
Discuss: Hacker News
🏭Code Generation
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·1d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Inferring multiple helper Dafny assertions with LLMs
arxiv.org·1d
💎Refinement Types
Flag this post
Famed software engineer DJB tries Fil-C and likes what he sees
theregister.com·2h·
Discuss: Hacker News
🐛Fuzzing
Flag this post
Parallel achieves 70% accuracy on SEAL, benchmark for hard web research
parallel.ai·18h·
Discuss: Hacker News
🚀Performance
Flag this post
Show HN: Polyglot standard library HTTP client C/C++/Rust/Python and benchmarks
github.com·1d·
Discuss: Hacker News
🛡️Error Handling
Flag this post
Personal Standard Library - Generic and Type-Safe Containers
reddit.com·16h·
Discuss: r/C_Programming
📏Linear Types
Flag this post
Sherlock: Reliable and Efficient Agentic Workflow Execution
arxiv.org·1d
🏗️Cranelift
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·6h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
Writing an LLM from scratch, part 27 – what's left, and what's next?
gilesthomas.com·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·17h·
Discuss: DEV
🤖Automation
Flag this post
Automate Slack workflows with LangGraph
scalekit.com·55m·
Discuss: DEV
☁️Cloudflare Workers
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·7h·
Discuss: Hacker News
👁️Observability
Flag this post
Going From Reactive to Predictive Incident Response with AIOps
hackernoon.com·16h
⚡Performance Engineering
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·3h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·1h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
We built a collaboration platform on Claude Code. Here's what we learned.
gbase.ai·13h·
Discuss: r/ClaudeAI
🤖Automation
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·1h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post