July 8, 2025

Tech / Daily - 2025.07.08

I used o3 to profile myself from my saved Pocket links _{//noperator.dev comments→}

My first verified imperative program _{//markushimmel.de comments→}

Adding a feature because ChatGPT incorrectly thinks it exists _{//holovaty.com comments→}

Deno 2.4 _{//deno.com comments→}

Trying to find meaning in owning an old Mac _{//blog.decryption.net.au comments→}

The era of exploration _{//yidingjiang.github.io comments→}

Show HN: NYC Subway Simulator and Route Designer _{//buildmytransit.nyc comments→}

Mercury: Ultra-fast language models based on diffusion _{//arxiv.org comments→}

Ask HN: Any resources for finding non-smart appliances? _{//news.ycombinator.com comments→}

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge _{//businessinsider.com comments→}