Stories by c-w

Verification was never just about certification

OCaml's module language is the perfect fit for agentic programming

Primal Solver

GoatCode – open-source terminal AI agent with provider failover

Show HN: High-Performance Rust Implementation of Optuna

Show HN: Deterministic Jitter Suppression for Jax/XLA Pipelines

Where this hype is going?

Meta agrees to major changes in settlement over teen addiction for up to $17B

Meta agrees multi-billion settlement to claims that its platforms harm children

Show HN: Safe TensorBoard Trace Reducer(90%+ Footprint Cut) with Fail-Safe Guide

I'm excited for Intel after testing the XPS 13

Reactivating TensorBoard: Why treat an oscilloscope like a photo frame?

The Enterprise Gap: From "Vibe Coding" to Executable Architecture

How the words we teach English language learners changed

Show HN: Deterministic Memory Reduction (90%+) for Jax/XLA Profiling

The Pull Request Is Dead

Code is Temporary. Architecture is Executable

I Did Not Kill Stanley Lieber: How to Draw (With 9front)

Show HN: Sdlc factory built on pi.dev:intent->DDD->architecture->tested code

Show HN: Coding agent that compiles intent into deterministic DAG before running

1 2 3 4 5 6 7 8 9 10