De Bruijn Numerals
text.marvinborner.de·14h·
Discuss: Hacker News
🗜️Vector Compression
Flag this post
Pseudo-Knowledge Graphs for Better RAG
pub.towardsai.net·12h
🔄LLM RAG Pipelines
Flag this post
Advances In Formal Verification Technology
semiengineering.com·21h
🧮SMT Solvers
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·16h
🧩Types
Flag this post
Place Capability Graphs: A General-Purpose Model of Rust's Ownership & Borrowing
dl.acm.org·23h·
🦀Rust Compiler Internals
Flag this post
How I solved nutrition aligned to diet problem using vector database
medium.com·14h·
Discuss: r/programming
🐘pgvector
Flag this post
Policy, privacy and post-quantum: anonymous credentials for everyone
blog.cloudflare.com·15h
🔐Cryptography
Flag this post
No Cap, This Memory Slaps: Breaking Through the OLTP Memory Wall
danglingpointers.substack.com·12h·
Discuss: Substack
🧠Memory Management
Flag this post
JSON Was Killing Our Redis Memory. Switching Serialization Made It 7× Smaller.
hackernoon.com·22h
📦Binary Serialization
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·10h·
Discuss: Hacker News
🔎Tantivy
Flag this post
My Wishlist for PHP in 2026
stitcher.io·19h·
Discuss: Hacker News
🔌API Design Theory
Flag this post
Google adds tiered storage to NoSQL Bigtable to reduce complexity, costs
infoworld.com·21h
💚Neon
Flag this post
Migrating Schema from Oracle to YugabyteDB
hexacluster.ai·8h·
Discuss: Hacker News
💾Databases
Flag this post
Vulnerabilities in LUKS2 disk encryption for confidential VMs
blog.trailofbits.com·17h
🔐Hardware Security
Flag this post
Any advice on what I should be doing?
reddit.com·17h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Flag this post
Mind of a Mathematician (2019)
paw.princeton.edu·17h·
Discuss: Hacker News
🧮SMT Solvers
Flag this post
Schema changes are a people problem, not a tooling problem
motherduck.com·13h·
Discuss: Hacker News
👨‍💻Software development practices
Flag this post
How Global Payments built a resilient architecture for scale with Cloud SQL
cloud.google.com·12h
💾Databases
Flag this post
RRAM-based analog computing system rapidly solves matrix equations with high precision
techxplore.com·17h
Hardware Acceleration
Flag this post