Loading...

Tag trends are in beta. Feedback? Thoughts? Email me at [email protected]

Rust's Type System is All You Need

Microservices can work for low-latency workloads

100% GPU Utilization, 39% of Rated FP16

Building a Mini Lean 4 from Scratch: Implementing an Interactive Theorem Prover in Rust

I Dislike Pull Requests (2020)

The Scarlet Letter for the Honest: A Short Pamphlet on the New Witch Hunt

A 90% Chance of AI Saving Humanity

Bypassing the AVX2 Tax,Part 4:ONNX CPU EP on Ryzen 7430U(Vs OpenVINO,DirectML)

AI Made Me Homeless

Applying DDD with Jakarta EE: Strategic and Tactical Design with Jakarta Data

How To Fix All Your PWA Issues Once And For All

I miss the part of programming where I figure it out myself

Free TLS for internal services on AWS

Stop Reaching for WebSockets by Default: WebSockets vs. SSE vs. Long Polling

There is no "now" in distributed systems

Proving Rust Web Application Correctness with Lean 4

Hardware-Aware Programming in Rust

How we slashed the size of our search cache by 74%

New Open-Source Cybersecurity Platform Uses AI Agents to Hunt Threats

I Tried to Verify Rust OSS with Lean 4 and Found Many Bugs

Background Passive FTP with No GUI Control Survives Apple Store DFU

I raised my price from $99 to $500 a month. Paying customers went from 2 to 6

How to effectively debug when you no longer understand the code

What we've learned 3 years into harness engineering

Confidence Is Not a Code Review

Oracle Triggered the Implosion of the AI Bubble

Akhetonics Photonic Computing: 1,000x Faster CPUs

The Revolution of Vertical Drama Is Happening Behind the Camera

Smart contracts: Ship the parachute in v1

Calculate your p[DOOM], An interactive article to think critically about AI risk

More →