📦 Succinct Data Structures - ghosh.debasish · Scour

Automating Bitvector and Finite Field Equivalence Proofs in Lean 🔧SMT Solvers

Common Lisp names all sixteen binary logic gates 🔤PLT

cs.cmu.edu·2d·Hacker News

brucehoult/k3_ai: Utility to start a program on the A100 "AI" cores on SpacemiT K3 machines. 🖥️Systems Programming

github.com·8h·Hacker News

Show HN: A sparse, compressed bitmap index in C. Better than Roaring Bitmaps? 🖥️Systems Programming

codeberg.org·1d·Lobsters, Hacker News

Programming Z3 🔧SMT Solvers

z3prover.github.io·5d·Hacker News

Production Log Parsing Patterns That Break Real Kubernetes Clusters (and How to Fix Them) 📝Write-Ahead Log

buy.stripe.com·2d·DEV

Less-relevant results

Safely Dropping Columns in Rails 🛢️Database Internals

writesoftwarewell.com·10h

On the Unreasonable Effectiveness of Property-Based Testing for Validating Formal Specifications 🧪Property-based Testing

proofsandintuitions.net·3d·Lobsters, Hacker News

Managing Permissions Directly via SQL in BigQuery 🛢️Database Internals

·1d

Are these two websites working together? 🏃Online Algorithms

sistrix.com·1d

Apple backs Google after EU orders Android be opened up to AI rivals 📜Constitutional AI

engadget.com·6d

SEO or GEO audits fail without these 3 essentials ⚡Query Optimization

searchengineland.com·2d

A hidden ClickHouse bottleneck slowed Cloudflare billing pipeline 💾Storage Engines

blog.cloudflare.com·6d·Hacker News

I built Rivetz, a productized service that fixes broken Lovable apps. Sharing the 5 issues I keep finding. 🧪Property-based Testing

rivetzco.com·2d·r/SideProject

I built Ranktrack to stop checking App Store rankings by hand 🏃Online Algorithms

useranktrack.com·5d·r/SideProject

OpenAI Confirms Breach 🤖, 18-Year NGINX Rift RCE 🌐, Two New Windows 0-Days 🪟 📝Write-Ahead Log

MaxPer2005/permyakov_code: Popcount-based universal code that strictly dominates Elias Omega 🧮Cache-Oblivious Algorithms

github.com·1d·r/rust

More efficient PBWT prefix-array access via batching 🌊Streaming Algorithms

umairabid/lazysql: A minimal, Vim-friendly TUI for PostgreSQL — clean three-pane UI, full Vim query editor, and a shell-command credential mode for rotating secrets. 🛢️Database Internals

github.com·4d·r/PostgreSQL

Intelligent-Internet/psql_bm25s: PostgreSQL BM25S extension 💾Storage Engines

Log in to enable infinite scrolling