📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·14h·
Discuss: r/programming
🎭Program Synthesis
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
Building a highly-available web service without a database
screenshotbot.io·12h·
Discuss: r/programming
🦀Rust
Flag this post
I've created a leetcode-like platform for system design
systemstudio.app·7h·
Discuss: DEV
🎨Design Systems
Flag this post
A security model for systemd
lwn.net·4h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Run LLMs Locally
ikangai.com·2h·
Discuss: Hacker News
🚀Performance
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·10h·
Discuss: Lobsters, Hacker News, r/Zig, r/programming
🔓Binary Exploitation
Flag this post
Why Workflows Fail: The Indeterministic Business Problem
blog.dragonscale.ai·14h·
Discuss: Hacker News
👁️Observability
Flag this post
Using Coding Agents to Decompile Nintendo 64 Games
blog.chrislewis.au·8h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·9h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
The state of SIMD in Rust in 2025
shnatsel.medium.com·5h·
Discuss: Hacker News, r/rust
🔀SIMD Programming
Flag this post
Text to SQL: Local, Secure, and Smarter
exasol.com·9h·
Discuss: Hacker News
🔥DataFusion
Flag this post
A brief guide for those who slept (on AI) the last two years
dev.to·5h·
Discuss: DEV
💬Prompt Engineering
Flag this post
Implementing JWT Authentication in Rust using Axum
dev.to·1d·
Discuss: DEV
🌐Axum
Flag this post
Efficiency vs. Alignment: Investigating Safety and Fairness Risks in Parameter-Efficient Fine-Tuning of LLMs
arxiv.org·1d
📊Profile-Guided Optimization
Flag this post
Computation as a Game
arxiv.org·1d
🔢Homomorphic Encryption
Flag this post
Cutting LLM Batch Inference Time in Half: Dynamic Prefix Bucketing at Scale
daft.ai·1d·
Discuss: Hacker News
🎴TAO
Flag this post
Understanding multi GPU Parallelism paradigms
datta0.github.io·2h·
Discuss: Hacker News
🔀SIMD Programming
Flag this post
Detailed Technical Documentation on AI Implementation Logic (Taking Large Language Models as an Example )
nbtab.com·1d·
Discuss: DEV
📱Edge AI
Flag this post
flowengineR: A Modular and Extensible Framework for Fair and Reproducible Workflow Design in R
arxiv.org·1d
🔧Data Engineering
Flag this post