Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·1d
🪢Rope Data Structures
Rowhammer: TRR on DDR5 DRAM has been broken
comsec.ethz.ch·23h·
🏷️Memory Tagging
From Theory to the Field: Why Side-Channel Protection Defines Post-Quantum Security
design-reuse.com·1d
🏰Capability Machines
Construction of Kochen-Specker Sets from Mutually Unbiased Bases
arxiv.org·5d
🎯Bit Vectors
Quantum Algorithm Zoo
quantumalgorithmzoo.org·5d·
Discuss: Hacker News
🎯Bit Vectors
A (Nearly) Branchless RESP Request Parser
kevinmontrose.com·1d
🔧Error Recovery
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·1d·
🧩Constraint Solvers
Is IP fragmentation still considered vulnerable?
blog.apnic.net·14h
📡Protocol Stacks
Weighted random generation in Python (2010)
eli.thegreenplace.net·1d·
Discuss: Hacker News
⏭️Skip Lists
The Unseen Variable: Why Your LLM Gives Different Answers (and How We Can Fix It)
hackernoon.com·7h
🗺️Region Inference
Basic Guide to Einsum
ajcr.net·1d·
Discuss: Hacker News
🔄Loop Optimization
Enhanced Genome Sequencing Accuracy via Adaptive Hyperdimensional Neural Networks (AHNNs)
dev.to·4h·
Discuss: DEV
📋JSON Parsing
Be Engineering Insights: Adventures in Graphics Drivers
haiku-os.org·2h·
Discuss: Hacker News
💾Register Pressure
Jim Henry | Wards Auto
wardsauto.com·23h
🔢Algebraic Datatypes
utf-8-history.txt
cl.cam.ac.uk·10h
🔢Binary Formats
You can't test if quantum uses complex numbers
algassert.com·1d·
Discuss: Hacker News
Control Synthesis
AI hardware reimagined for lower energy use
techxplore.com·1d
🔌Microcontrollers
Learning Rust and a bit unclear about an exercise on Exercism
exercism.org·3h·
Discuss: r/rust
🦀Rust Macros