From QED to Neovim

Article URL: https://www.quantamagazine.org/once-in-a-century-proof-settles-maths-kakeya-

Article URL: https://semgrep.dev/blog/2025/popular-github-action-tj-actionschanged-files-is-co

Article URL: https://chriscoyier.net/2025/03/14/google-being-forced-to-sell-chrome-is-not-g

Article URL: https://www.ycombinator.com/companies/optifye-ai/jobs/sDfGXkK-founding-engineer

Co

Hi, I'm the author of this little Web Audio toy which does physical modeling synthesis using a simple spring-mass system.

My current area of research is in sparse, event-based encodings of music

Article URL: https://open.nytimes.com/https-open-nytimes-com-the-new-york-times-as-

Large Language Models (LLMs) are powerful, but they’re limited by fixed context windows and outdated knowledge. What if your AI could access live search, structured data extraction, OCR, and more—