Stories by -J

Specification and Formal Verification of Hardware–Software Contracts

Challenge.gov – Medicare Fraud

Cursor: 1.5x Faster Moe Training on Blackwell with MXFP8 Kernels

The Costs of Coding with Generative AI

DBQuacks: An interactive SQL tutorial powered by DuckDB

Dissecting CPU-GPU Unified Physical Memory on AMD MI300A APUs

How to Think About GPUs

$36.5M in Emergency Funding to Protect Public Media in Vulnerable Communities

IEA: Renewables Will Be Top Power Source "By 2026"

DeepSeek v3.1 just dropped – and it might be the most powerful open AI yet

Research suggests doctors might quickly become dependent on AI

The forgotten meaning of "jerk"

James Brown's Mastodon feed is the hackiest thing on the internet

Send Harvard's Chinese Students Home

How to quickly test your code with Pytest

Databricks is raising a Series K Investment at >$100B valuation

How Flu Shots Prevent Heart Attacks