📐 TLA+

Formal Methods, Distributed Algorithms, Model Checking, Correctness

🗺️ Engineering for Emergencies: How to Build a Real-Time Disaster Route Finder with Open Source Mapping
shalinibhavi525-sudo.github.io·1d·
Discuss: DEV
🗺️OpenStreetMap
Flag this post
The Swift AWS Lambda Runtime moves to AWSLabs
aws.amazon.com·1d·
Discuss: Hacker News
⚡FastAPI
Flag this post
LoRA Model – LoRA-focused image generation hub that reduces "choice friction"
loramodel.org·2h·
Discuss: Hacker News
🦙Ollama
Flag this post
Linux To Gain ML-DSA/Dilithium Post-Quantum Cryptography For Module Signing
phoronix.com·20h
🐧Linux
Flag this post
How to handle secrets on the command line
smallstep.com·12h·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Satisfying Bazel'€™s relative paths requirement in C++ toolchains
pigweed.dev·1d·
Discuss: Hacker News, r/cpp
📦Serde
Flag this post
I built 10k robots simulation with collision avoidance in WebGPU (HTML)
physical-ai.ghost.io·1d·
Discuss: Hacker News, Hacker News
🎮WebGPU
Flag this post
Claude Code Custom Commands: 3 Practical Examples and When to (Not) Use Them
aiengineering.report·16h·
Discuss: Hacker News
🌳Git Internals
Flag this post
Enforcing Architecture in an Agent-Driven Codebase
phoebe.work·4d·
Discuss: Hacker News
🏗️Build Systems
Flag this post
Reasoning with Sampling: Your Base Model Is Smarter Than You Think
aakaran.github.io·1d·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
This Week in UnrealDev.nvim: Major Cache Overhaul & Smarter Builds!
github.com·1d·
Discuss: DEV
📝Neovim
Flag this post
Gemini Deep Research and the New Era of Google Workspace AI Workflows
scalevise.com·1d·
Discuss: DEV
🤖Automation
Flag this post
My query languages library pivot
dev.to·1d·
Discuss: DEV
🔥DataFusion
Flag this post
EDL - a JIT-compiled scripting language for certain performance critical workloads with high compatibility with Rust; written in Rust
reddit.com·4d·
Discuss: r/rust
🦀Rust Macros
Flag this post
Building an AI News Digest Agent with Mastra and Telex.im
dev.to·11h·
Discuss: DEV
🦙Ollama
Flag this post
The JVM’s Greatest Irony: Brilliant Engineering, Painful Scripting
dev.to·7h·
Discuss: DEV
🏗️Cranelift
Flag this post
Active Noise Control Method Using Time Domain Neural Networks for Path Decoupling
arxiv.org·2d
📡Signal Processing
Flag this post
How Serde Transforms Rust Data Serialization: Complete Performance and Safety Guide
dev.to·3d·
Discuss: DEV
📦Serde
Flag this post
Algorithmic Alchemy: Transmuting Dynamic Programming with Gradients by Arvind Sundararajan
dev.to·3d·
Discuss: DEV
📊Dynamic Programming
Flag this post
Unveiling Deep Semantic Uncertainty Perception for Language-Anchored Multi-modal Vision-Brain Alignment
arxiv.org·1d
👁️Computer Vision
Flag this post