QUIC! Jump to User Space!
hackaday.com·7h
🌐Network Protocols
How Calyx Is Solving The $100 Billion Problem That's Fragmenting DeFi Across 19 Blockchains
hackernoon.com·7h
🔗Hash Chains
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·13h
💎Information Crystallography
Can AI Co-Design Distributed Systems? Scaling from 1 GPU to 1k
harvard-edge.github.io·1h·
Discuss: Hacker News
🎯Performance Proofs
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·23h
🌊Streaming Systems
Build an Unbreakable EVM Read Stack in Python: Async Web3.py, ABIs, Proxies, and Decimals
dev.to·4h·
Discuss: DEV
🔌Interface Evolution
Experimenting with ACL2 and Claude Code
mikedodds.org·11h·
Discuss: Hacker News
👑Isabelle
Parameterized Complexity of s-Club Cluster Edge Deletion
arxiv.org·1d
🧮Kolmogorov Complexity
Linux SBCs for development + RE
zetier.com·1d
🎯Emulator Accuracy
Automated Anomaly Detection in Time-Series Statistical Spreadsheets via Hyperdimensional Vector Similarity
dev.to·2h·
Discuss: DEV
🔤Character Classification
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·6h·
Discuss: Hacker News
📐Linear Algebra
Dynamic Adaptive Redundancy Allocation via Hierarchical Bayesian Optimization
dev.to·4h·
Discuss: DEV
💾Storage Replication
Progress being made in porting AMD OpenSIL Turin PoC to Coreboot in a Gigabyte MZ33-AR1
blog.3mdeb.com·3h·
Discuss: Hacker News, r/hardware
🖥️Terminal Renaissance
CubicLog – A single-binary logging server with zero-config smart analytics
github.com·1d·
Discuss: Hacker News
📝Log Parsing
An enough week
blog.mitrichev.ch·1d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Nearest Neighbor CCP-Based Molecular Sequence Analysis
arxiv.org·19h
🔄Burrows-Wheeler
Slip – A Lisp System in JavaScript
lisperator.net·9h·
Discuss: Hacker News
🔗Lisp
I analyzed 70 Data Breaches. Three controls would have stopped 65% of them
securityblueprints.io·1d·
Discuss: Hacker News
🔐Capability Systems
Printing Petscii Faster
retrogamecoders.com·1h·
Discuss: Hacker News
📺VT100
Efficient and accurate search in petabase-scale sequence repositories
nature.com·2d·
Discuss: Hacker News
🔄Burrows-Wheeler