10000
jro.sg·18h
📦Executable Size
Flag this post
Unlocking Speed: Certified Symmetry Breaking with Auxiliary Variables
dev.to·1d·
Discuss: DEV
🧮Combinator Calculus
Flag this post
A forthcoming problem with bitvm - Supertestnet interrogates Citrea's protocol
telegra.ph·1d
📡Binary Protocols
Flag this post
Making SLH-DSA 10x-100x Faster
conduition.io·6h
🔗Hash Algorithms
Flag this post
Rust Smart Pointers: Safe Memory Management Without Garbage Collection
dev.to·16h·
Discuss: DEV
🔒Rust Borrowing
Flag this post
<p>**Abstract:** This paper introduces a novel approach to constructing minimal polynomials for matrices within numerical linear algebra using reinforcement lea...
freederia.com·23h
🧩Constraint Solvers
Flag this post
Playing with cryptography
voboda.bearblog.dev·1d
🔗Hash Functions
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·13h·
Discuss: Lobsters, Hacker News, Hacker News
📊Register Machines
Flag this post
Question from notation in "Hacker's Delight" by Warren
reddit.com·6h·
Discuss: r/C_Programming
∫Mathematical DSLs
Flag this post
Anthropics Latest Research on Alignment Faking
anthropic.com·11h·
Discuss: r/ClaudeAI
✨Effect Inference
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
✅Type Checking
Flag this post
Windows ARM64 Internals: Deconstructing Pointer Authentication
preludesecurity.com·8h·
Discuss: Lobsters, Hacker News
🏷️Memory Tagging
Flag this post
On Thread Synchronization : Part 1 - A deep dive into mutexes
sayujya-apte.github.io·20h·
Discuss: r/programming
🔗Concurrency Primitives
Flag this post
Recipe 8.6. Picking a Random Line from a File (Perl Cookbook)
csg.sph.umich.edu·12h
📝Rope Editors
Flag this post
Refined Linear Approximations for ARX Ciphers and Their Application to ChaCha
eprint.iacr.org·1d
🔗Hash Functions
Flag this post
Evolution Strategies at the Hyperscale
eshyperscale.github.io·2d·
Discuss: Hacker News
💬Interactive REPLs
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·9h·
Discuss: Hacker News
🔶Lattice Theory
Flag this post
Weekly Bookmarks
inkdroid.org·1h
🪢Rope Data Structures
Flag this post
Perennial Technical Reading List
parallelprogrammer.substack.com·3d·
Discuss: Substack
📱Bytecode Design
Flag this post
Nearly $19M Raised Before V1 Protocol Launch, This New Crypto May Be The Safest 2026 Investment
hackernoon.com·10h
🛡️Parser Security
Flag this post