🎯 Bit-Vector Algorithms - abnv · Scour

Nearly-Linear Time Seeded Extractors with Short Seeds

arxiv.org·2d

🌲Deforestation

Random Access in Grammar-Compressed Strings: Optimal Trade-Offs in Almost All Parameter Regimes

arxiv.org·8h

📐Succinct Data Structures

Camera based true random number generator Beta

news.ycombinator.com·35m·

Discuss: Hacker News

🔍Lens Libraries

anulum/sc-neurocore: Verified Rust-based Neuromorphic Compiler. 512x Real-Time Speed. Bit-True FPGA Equivalence. (AGPLv3 / Commercial)

github.com·2h·

Discuss: Hacker News

🌱Forth Kernels

Wahba’s Problem and SO(3) Optimization: Rotation Learning in Geometric ML

hackernoon.com·22h

🧩Constraint Solvers

Usage of Mixed Integer Linear Programming in Cryptanalysis of Block Ciphers

eprint.iacr.org·1d

🧩SAT Solvers

mradermacher/Qwen3-Coder-Next-REAM-GGUF

huggingface.co·4h·

Discuss: r/LocalLLaMA

📋JSON Parsing

How ‘effectively zero-knowledge’ proofs could transform cryptography

scientificamerican.com

·1d

🔗Hash Functions

[TUHS] bare m4 (was BTL summmer employees)

tuhs.org·21h·

Discuss: Lobsters

🔀Control Structures

Digital Signal Processing With Audio Data

m.youtube.com·23h

📦Compression Algorithms

🛌 Beginner-Friendly Guide 'Longest Balanced Substring I' - Leetcode Problem 3713 (C++, Python, JavaScript)

dev.to·9h·

Discuss: DEV

🪢Rope Algorithms

CodeSOD: Consistently Transactional

thedailywtf.com·7h

Scaling llama.cpp On Neoverse N2: Solving Cross-NUMA Performance Issues

semiengineering.com·5h

Recent OP_RETURN output statistics

delvingbitcoin.org·16h

🗑️Stack Scanning GC

Show HN: A header-only C++ benchmark for predictive models on raw binary streams

github.com·5h·

Discuss: Hacker News

💓Live Variable Analysis

Main Content || Math ∩ Programming

jeremykun.com·3d

🔢Algebraic Datatypes

Bulk Spacetime Encoding via Boundary Ambiguities

link.aps.org·51m

🔗Lexical Scoping

DFlash: Block Diffusion for Flash Speculative Decoding

z-lab.ai·2d·

Discuss: Hacker News

🗺️Region Inference

Rule Variant Restrictions for the Tamarin Prover

eprint.iacr.org·1d

🔍Type Inference

Bitsum. Real-time CPU Optimization and Automation

bitsum.com·15h

🎯CPU Dispatch

Loading more...