Type Checking with Symbolic Execution
bullno1.com·1h·
Discuss: Hacker News
🧮Algebraic Datatypes
Using LLVM To Supercharge AI Model Execution On Edge Devices
hackernoon.com·2d
🏭Compiler Backends
Booting EDK2 (UEFI Reference Implmentation) on Hardkernel Odroid M2
blog.3mdeb.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Crafting a dependent typechecker, part 1
blueberrywren.dev·18h
🔗Functional Compilers
Firmware Vulnerabilities Continue to Plague Supply Chain
darkreading.com·1d
🔒Secure Boot
Proof-theoretic Semantics for First-order Logic
arxiv.org·1d
🏗️Constructive Logic
Nearly 2 million people watched this spellbinding video of a mini PC being built from a slab of aluminium to a complete computer
techradar.com·1h
🇩🇪German Computers
MIPS
thechipletter.substack.com·9h·
Discuss: Substack
🧩RISC-V
Optimizing CI/CD with RAM Target Applications
mcuoneclipse.com·1h
🏷️Memory Tagging
Need help with Software solution and checking if I made a mistake or oversight in my build
reddit.com·6h·
Discuss: r/homelab
🔌Operating system internals
Computer Architecture: A quantitative approach
ikerexxe.github.io·5d
🖥️Hardware Architecture
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
The case of the invalid instruction exception on an instruction that should never have executed
devblogs.microsoft.com·1d
🧪Hardware Fuzzing
H-Nets – The Future
goombalab.github.io·1d·
Discuss: Hacker News
📼Cassette Combinators
[$] How to write Rust in the kernel: part 3
lwn.net·1d
🔩Systems Programming
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·23h·
Discuss: Hacker News
🧪Protocol Fuzzing
From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·2d·
Discuss: Hacker News
🤝Distributed Consensus
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·3d
🔧RISC-V Assembler
Cryptography for the Everyday Developer: Understanding DES - The Data Encryption Standard
sookocheff.com·1d
🔐Cryptographic Archaeology
VCF 9.0 Hardware BOM for Silicon Valley VMUG
williamlam.com·20h
🏠HomeLab