Final tweaks to the 1130 core memory replacement (MRAM) board
rescue1130.blogspot.com·23h·
Discuss: rescue1130.blogspot.com
🔧Hardware Verification
Modelling Exactly-Once Delivery Using TLA+
medium.com·1d·
Discuss: Hacker News
⚙️TLA+
Coding of Visual Memory in Hippocampal Neurons Revealed by Interpretable Model
advanced.onlinelibrary.wiley.com·9h·
Discuss: Hacker News
🔲Cellular Automata
Ask HN: What is the most effective way to unblur a QR code?
news.ycombinator.com·21h·
Discuss: Hacker News
⚛️Quantum Codecs
Encoding and Reasoning About Arrays in Set Theory
arxiv.org·1d
💻Programming languages
Not all overvoltage tolerant GPIOs are the same
monthly-pulse.com·10h·
Discuss: Hacker News
🔧Hardware Verification
Debian Preseed Notes - Classes
blog.raymond.burkholder.net·2d
🔌Operating system internals
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·1d
🎯Gradual Typing
All Paths to Happiness (2013)
physicsnapkins.wordpress.com·9h·
Discuss: Hacker News
🔓Hacking
Accelerated Vulcanization Prediction via Multi-Modal Hypervector Analysis
dev.to·17h·
Discuss: DEV
🔍Vector Forensics
Vanilla JavaScript scroll restoration for overflowing elements
restore-scroll.js.org·11h·
Discuss: Hacker News
🖋Typography
LUKS In-Place Conversion Tool
johannes-bauer.com·21h
🏺ZIP Archaeology
How to model the world? Introduction to Laplace Neuron
abibulic.github.io·6h·
Discuss: Hacker News
🔲Cellular Automata
Show HN: Small.im v2 – Powerful Bulk Image Compression Tool
small.im·9h·
Discuss: Hacker News
📸PNG Optimization
Show HN: Python file streaming 237MB/s on $8M droplet in 507 lines of stdlib
bellone.com·6h·
Discuss: Hacker News
🌊Streaming Systems
Necro-Reaper: Pruning Away Dead Memory Traffic in Warehouse-Scale Computers
danglingpointers.substack.com·3h·
Discuss: Substack
🔩Systems Programming
Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
arxiv.org·16h
🔍Vector Forensics
Beware the false false-positive: how to distinguish HTTP pipelining from request smuggling
portswigger.net·6h
🛣️BGP Hijacking
CRDT: Text Buffer by Evan Wallace
madebyevan.com·1h·
Discuss: Hacker News
🔀CRDT
Cooperative Sensing-Assisted Predictive Beam Tracking for MIMO-OFDM Networked ISAC Systems
arxiv.org·16h
⚽Sphere Packing