Note
hsu.cy·14h
🔍Archive Semantics
Flag this post
Hacking the Color BASIC PRINT command – part 6
subethasoftware.com·19h
📺VT100
Flag this post
From Bottleneck to Breakthrough: AI in Chip Verification
spectrum.ieee.org·3h
🔧Hardware Verification
Flag this post
How Remote Procedure Call Works
⚡gRPC
Flag this post
I built an faster Notion in Rust
🦀Rust Macros
Flag this post
Aligning Large Language Models with Procedural Rules: An Autoregressive State-Tracking Prompting for In-Game Trading
arxiv.org·9h
💻Programming languages
Flag this post
"The Bug Hunt" blog post pattern
🦀Rusty Databases
Flag this post
Atexit() Is Broken
🐚Bash Monads
Flag this post
Splitting (Empty) Strings (2017)
🧠Lisp Dialects
Flag this post
Building AI Agents on the Frontend with Sam Bhagwat and Abhi Aiyer
softwareengineeringdaily.com·4h
⚡Proof Automation
Flag this post
CodeSOD: A Basic Mistake
thedailywtf.com·1d
🧪Binary Fuzzing
Flag this post
Will moving beyond Infrastructure as Code improve software delivery?
🧱Immutable Infrastructure
Flag this post
GHC: From Bug to Merge
🔤Type Theory
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
Fil-C: A memory-safe C implementation
🧠Separation Logic
Flag this post
A bestiary of single-file programming language implementations
🔗Concatenative Programming
Flag this post
Three Realisms and The Idea of Sheaves
youtube.com·52m
🧮Theoretical Computer Science
Flag this post
Loading...Loading more...