Agentic Engineering Patterns - Simon Willison's Weblog

math.inc

Completing the formal proof of higher-dimensional sphere packing — Math, Inc.

Dedicated to verified superintelligence via autoformalization.

justin.poehnelt.com

Just a moment...

terriblesoftware.org

Nobody Gets Promoted for Simplicity – Terrible Software

We reward complexity and ignore simplicity. In interviews, design reviews, and promotions. Here's how to fix it.

poppy-connection-keeper.netlify.app

Poppy — Connection Keeper

Poppy turns your contacts into a living garden. Gentle reminders, zero guilt. Available on iOS.

news.hada.io

HN 토론을 아티클 옆에 붙여봤습니다 | GeekNews

긱뉴스나 해커뉴스 보면 토론 내용이랑 본문이 다른 페이지로 분리된게 불편하더라고요. 사람들이 어떤 문단을 얘기하는 건지 기사랑 댓글창을 왔다갔다하는 게 항상 불편했습니다.그래서 아무 웹페이지에나 Google Docs…

github.com

phart/docs/GHM-LATEX.md at main · scottvr/phart · GitHub

PHART: Python Hierarchical ASCII Rendering Tool - A Pure Python library and console CLI tool that renders graphs (Netwo…