🎯 Bit Vectors - abnv · Scour

Show HN: A sparse, compressed bitmap index in C. Better than Roaring Bitmaps? 💾Zero-Copy

codeberg.org·5d·Lobsters, Hacker News

Announcing Isabelle support for SAW 🏗️Calculus of Constructions

galois.com·2d·Lobsters

Bloom Filters, HyperLogLog, and Count-Min Sketch: the data structures powering approximate databases 🌸Bloom Filters

blog.gaborkoos.com·7h·r/compsci

The Third Bit: Setting the Standard 🎨DSL Design

third-bit.com·5d

Less-relevant results

Exercise is more effective for teens when it feels fun and social 💫Effect Systems

Part 2 🎯Ring Buffers

modular.com·4d

Under the Hood: Building a Real-Time Chord Recognizer 🔢Algebraic Datatypes

whatchord.earthmanmuons.com·5d·Lobsters, Hacker News

MaxPer2005/permyakov_code: Popcount-based universal code that strictly dominates Elias Omega 🎯Bit-Vector Algorithms

github.com·5d·r/rust

Constellations Sequencer V1.3.1 🌊Gradual Effects

Extending MySQL with VillageSQL 📋Row Typing

maxdemarzi.com·3d·Hacker News

Comptime evaluation takes forever ⚙️Zig Comptime

Are these two websites working together? 🔍Search Algorithms

sistrix.com·5d

This Titanium EDC Keychain Has 20 Tools Inside and Looks Exactly Like a Regular Key 🌐Portable Assembly

yankodesign.com·5d

How to exclude specific files within a directory inside Git repository 🌳Tree Diffing

sleeplessbeastie.eu·4d

File test operators 💻Terminal Control

Common Lisp names all sixteen binary logic gates 🔢Bit Manipulation

cs.cmu.edu·6d·Hacker News

Java Flip Bits Number Example 🔢Bit Manipulation

javacodegeeks.com·5d

Production Log Parsing Patterns That Break Real Kubernetes Clusters (and How to Fix Them) 🛡️Error Handling

buy.stripe.com·6d·DEV

Is cppreference.com compiler support up to date again? 🌉Language Bindings

en.cppreference.com·3d·r/cpp

brucehoult/k3_ai: Utility to start a program on the A100 "AI" cores on SpacemiT K3 machines. 🎯CPU Dispatch

github.com·4d·Hacker News

Log in to enable infinite scrolling