🎯 Bit-Vector Algorithms - abnv · Scour

The Representational Geometry of Number

arxiv.org·1d

🎯Bit Vectors

The Condensate Theorem: Transformers are O(n), Not $O(n^2)$

arxiv.org·1d

🔍ML Language

Sparse Sum‑of‑Squares Certification for High‑Dimensional Stochastic Control Systems — ### Abstract High‑dimensional stochastic control systems—such as ...

freederia.com·3d

⚡Control Synthesis

isledb: An embedded key-value engine built on object storage in Go

reddit.com·1d·

Discuss: r/golang

🐹Go Internals

**Pulse‑Sequence Tuning for Fault‑Tolerant Exponentiation in Shor’s Algorithm on Transmon Qubits**

dev.to·2d·

Discuss: DEV

Your VCL App: 4x to 11x Faster Math Performance with Elements

blogs.remobjects.com·17h·

Discuss: Hacker News

💬REPL Design

amirouche/seed: Adding `vau` with an immutable dynamic environment to Chez Scheme

github.com·15h·

Discuss: Hacker News

🔧Scheme Macros

About the Information System on Graph Classes and their Inclusions

graphclasses.org·18h

🔗Graph Rewriting

Mathematicians discover new ways to make round shapes

scientificamerican.com

·19h

🧮Combinator Calculus

Operations on a B+-Tree: How the Search Works

dev.to·1d·

Discuss: DEV

Lazy-pulling containers: 65x faster pulls, but 20x slower readiness

blog.zmalik.dev·1d·

Discuss: Hacker News

Lean 4 and the Curry–Howard correspondence

wildonblog.wordpress.com·12h

📜Proof Languages

Human-like Search for Modern Applications

anvitra.ai·2d·

Discuss: Hacker News

🔍Search Algorithms

Implementing vector

accu.org·1d·

Discuss: r/cpp

🏷️Symbol Mangling

Constrained parallel tempering in traveling-salesman problems with circular neighborhoods

link.aps.org·2d

⏭️Skip Lists

Oatmeal - Constraint propagation for fun

eli.li·2d·

Discuss: Lobsters, Hacker News

🧩Constraint Solvers

MicroBlaze MCS Seven-Segment Counter on Basys 3 FPGA

hackster.io·2d

🤖Embedded Go

The End of IPFS: Centralized Pinning Single Points of Failure, Cryptographic Hash Backdoors, DDoS Exploitation, and Gossip-Based Distributed Node Eradication

zenodo.org·1d·

Discuss: Hacker News

🎯Ring Buffers

Heterogeneous Processing: A Strategy for Augmenting Moore's Law (2006)

linuxjournal.com·1d·

Discuss: Hacker News

🔀SIMD Programming

Early History of a Perfect Join Algorithm

remy.wang·2d

📈Query Optimization

Loading more...