The Golden Scale: Bling Libra and the Evolving Extortion Economy
unit42.paloaltonetworks.com·11h
🎫Kerberos Attacks
Let’s Make a Tic-Tac-Deal!
thefiddler.substack.com·20h·
Discuss: Substack
🎯Proof Tactics
CodeSOD: A JSON Serializer
thedailywtf.com·2d
📦Deflate
BQN "Macros" with •Decompose (2023)
saltysylvi.github.io·10h·
Discuss: Hacker News
🦀Rust Macros
Fast Matrix Multiply on an Apple GPU
percisely.xyz·3d·
Discuss: Hacker News, Hacker News
⚡SIMD Vectorization
Slip – A Lisp System in JavaScript
lisperator.net·18h·
Discuss: Hacker News
🔗Lisp
TRIM: Token-wise Attention-Derived Saliency for Data-Efficient Instruction Tuning
arxiv.org·2d
🔨Compilers
Evaluating Gemini 2.5 Deep Think's math capabilities
epoch.ai·19h·
Discuss: Hacker News
🎯Performance Proofs
Beating the L1 cache with value speculation (2021)
mazzo.li·4d·
Discuss: Lobsters, Hacker News
⚡CPU Microarchitecture
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·16h
🔗Hash Chains
Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·1d
🔗Graph Isomorphism
On some 2-binomial coefficients of binary words: geometrical interpretation, partitions of integers, and fair words
arxiv.org·2d
📜Manuscript Algebras
A Proof of the Riemann Hypothesis
dev.to·2d·
Discuss: DEV
⚔️Lean Theorem
Printing Petscii Faster
retrogamecoders.com·10h·
Discuss: Hacker News
📺VT100
A gentle introduction to Generative AI: Historical perspective
medium.com·7h·
Discuss: Hacker News
🧠Learned Codecs
MetaGraph: Scalable annotated de Bruijn graphs for DNA indexing and alignment
github.com·1d·
Discuss: Hacker News
🔄Burrows-Wheeler
Building the Reasoning Engine at Axiom
axiommath.ai·12h·
Discuss: Hacker News
⚔️Lean Tactics
Revisiting Karpathy's 'Unreasonable Effectiveness of Recurrent Neural Networks'
gilesthomas.com·7h·
Discuss: Hacker News
🎧Learned Audio
The Linus Method: How we simiplifed RFC reviews
devashish.me·15h·
Discuss: Hacker News
⚙️Proof Engineering
Fun with HyperLogLog and SIMD
vaktibabat.github.io·6d·
Discuss: Hacker News, r/rust
📊HyperLogLog