The Easiest Way to Build a Type Checker
jimmyhmiller.com·12h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
Learning AI From Scratch: Streaming Output, the Secret Sauce Behind Real-Time LLMs
dev.to·6h·
Discuss: DEV
🌊Stream Processing
Flag this post
How Do We Effectively Communicate Architecture?
blog.scottlogic.com·2d
📟CLI Design
Flag this post
Undo, Redo, and the Command Pattern
esveo.com·1d·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Flag this post
Distance Measurement Using Basys3
hackster.io·1d
🕹️Hardware Emulation
Flag this post
Verifying and testing timeliness constraints of Haskell programs
well-typed.com·2d·
Discuss: Hacker News
🔍Concolic Testing
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·6h
🌀Brotli Internals
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·21h·
Discuss: Substack
🔩Systems Programming
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Cyber-Resilient Data-Driven Event-Triggered Secure Control for Autonomous Vehicles Under False Data Injection Attacks
arxiv.org·2d
🦾ARM Cortex-M
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·21h·
Discuss: Substack
💻Programming languages
Flag this post
Unusual circuits in the Intel 386's standard cell logic
righto.com·14h·
Discuss: www.blogger.com
⚡Circuit Archaeology
Flag this post
Using Fuzzy Logic for Decision Making
loufranco.com·2d
🔗Constraint Handling
Flag this post
eBPF and Go in Production: Network Monitoring and Security
skoredin.pro·1d·
Discuss: Hacker News
🛡️eBPF Programs
Flag this post
A dream of AI DLC A peek into the future based on tools and tech that we have
magistr.me·10h·
Discuss: Hacker News
⚙️Proof Engineering
Flag this post
A New Bridge Links the Strange Math of Infinity to Computer Science
quantamagazine.org·1d·
Discuss: Hacker News, r/compsci
📐Mathematical Art
Flag this post
Building an impossible Tic-Tac-Toe with Minimax and LemonadeJS
dev.to·11h·
Discuss: DEV
⚔️Lean Tactics
Flag this post
Silent Signals: Hiding Red Team Operations in AI Noise by Arvind Sundararajan
dev.to·1h·
Discuss: DEV
🎯Threat Hunting
Flag this post
How Wipro PARI accelerates PLC code generation using Amazon Bedrock
aws.amazon.com·1d
⚙️PL Implementation
Flag this post
Show HN: Use any LLM in Go with stable, minimal API
github.com·1d·
Discuss: Hacker News
🧠Lisp Dialects
Flag this post