RTL generation for custom CPU Mrav
popovicu.com·2d
⚙️Modern Assembly
Certificate Transparency - Part 3 - Operations
ipng.ch·1d
🔒Hardware Attestation
FLINT: Fast Library for Number Theory
flintlib.org·6h
🧮Algebraic Datatypes
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·6h·
Discuss: Hacker News
🔱Galois Cryptography
Debugging the Instant Macropad
hackaday.com·7h
📺VT100
Quality Precision
lesswrong.com·6h·
Discuss: Hacker News
✅FLAC Verification
Some recent project milestones
markjgsmith.com·1d
🔌Interface Evolution
A Bitcoin Core Code Analysis
binaryigor.com·9h·
Discuss: Hacker News
🧬Bitstream Evolution
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·8h·
Discuss: Hacker News
🔐Archive Encryption
Some anecdotes from vibe-coding a Sublime Text plugin
willett.io·1d·
Discuss: Hacker News
🔗Concatenative Languages
Manuel M T Chakravarty: Functional data structures in Swift
justtesting.org·2d
🧬Functional Programming
Building Swift Tech Now: a behind-the-scenes look at creating a modern tech blog with Python and C++
dev.to·15h·
Discuss: DEV
🔄Reproducible Builds
Do What? Teaching Vision-Language-Action Models to Reject the Impossible
arxiv.org·20h
⚖️RISC-V Formal
Barking Up The Ratchet Tree – MLS Is Neither Royal Nor Nude
soatok.blog·10h·
Discuss: Lobsters, Hacker News, r/programming
🔑Cryptographic Protocols
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·8h·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Getting Started with Quectel EC200U 4G LTE Cat 1 IoT board using the QNavigator and the QuecOpen SDK
cnx-software.com·1d
📺VT100 Emulation
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
blog.yosyshq.com·2d·
Discuss: Lobsters, Hacker News
🔍FPGA Verification
A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Functional Compilers
Uncertain< T >: A First-Order Type for Uncertain Data (2014)
microsoft.com·1d·
Discuss: Hacker News
🧪Binary Fuzzing
My Current AI Dev Workflow
steipete.me·15h
⚡Proof Automation