💾 LMDB

Memory-Mapped Database, B+ Trees, ACID Transactions, Embedded DB

Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Upbeat Technology's RISC-V MCU Takes Flight with Near-Threshold Computing
allaboutcircuits.com·8h·
Discuss: Hacker News
🖥️Emulation
Flag this post
Reforging the ReScript Build System
rescript-lang.org·1d·
Discuss: Lobsters, Hacker News
🔨Incremental Compilation
Flag this post
A security model for systemd
lwn.net·10h·
Discuss: Hacker News
🔐Capability Systems
Flag this post
Your ORM is Lying to You About SQL (CTEs Explained)
buttondown.com·2d·
Discuss: DEV
🔍Query Optimization
Flag this post
Creating Lisp Systems
renato.athaydes.com·18h·
Discuss: Hacker News
🏭Code Generation
Flag this post
Managing long contexts in agentic coding systems
cto.new·9h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Absurd Workflows: Durable Execution With Just Postgres
lucumr.pocoo.org·3d·
Discuss: Lobsters, Hacker News
💰TigerBeetle
Flag this post
Autark: Rethinking build systems – Integrate, Don’t Outsource
dev.to·18h·
Discuss: DEV
🏗️Build Systems
Flag this post
Why Space and Time's Mainnet v2 Could Change How Banks Handle Tokenized Assets
hackernoon.com·11h
💰TigerBeetle
Flag this post
How to get the GOT address from a PLT stub using GDB
rafaelbeirigo.github.io·3d·
Discuss: Hacker News
🔎Valgrind
Flag this post
A Short Survey of Compiler Backends
abhinavsarkar.net·14h·
Discuss: Lobsters, Hacker News
🔨Compilers
Flag this post
Sprout by Edera: UEFI Bootloader in Rust
github.com·1d·
Discuss: Hacker News
🔧Embedded Rust
Flag this post
The Ghost in the Machine Is Finally Allowed to See: A Beginner's Guide to MCP
danielkliewer.com·10h·
Discuss: Hacker News
⌨️CLI Development
Flag this post
Cj: a tiny no-deps JIT in C for x86-64 and ARM64
reddit.com·7h·
Discuss: r/programming
⚙️JIT Compilation
Flag this post
Quantum-Resistant Federated Learning: Implementing Post-Quantum Cryptography for Secure Model Aggregation in Cross-Silo Envir...
dev.to·16h·
Discuss: DEV
🔢Homomorphic Encryption
Flag this post
Optimizing filtered vector queries from tens of seconds to single-digit milliseconds in PostgreSQL
reddit.com·17h·
Discuss: r/programming
🗄️Database Internals
Flag this post
Unlocking Simplicity: Skeletonizing Boolean Networks for Enhanced Performance by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
⏭️Skip Lists
Flag this post
📚Enterprise Design Patterns: Table Module with Python Example
dev.to·8h·
Discuss: DEV
🎨API Design
Flag this post
Optional Is Not Optional in C++ (and Definitely Not a Pointer)
dev.to·8h·
Discuss: DEV
🦀Rust Lifetimes
Flag this post