AI can write code, but it can’t build real software. Software engineering remains human work because AI can code, not engineer.

Adventures in solving regex crosswords using the SMT solver, Z3. Further adventures and misadventures in making the solver fast, in which I learn about far more Z3 features than I knew existed. Some reflections on Z3 and SMT solvers more broadly.

Explore Erdos, an AI-native IDE that helps data scientists edit notebooks, inspect plots, and access documentation faster.

In late October, President Donald Trump pardoned crypto billionaire Changpeng Zhao, one of the industry’s most powerful men, after he mounted a months-long bid for clemency.

Since 2009, the Go language has been a first-class citizen for concurrent applications. Today, it ascends to a new level with "ro", the reactive programming package.

Dithering is still a surprisingly applicable technique, not just for practical reasons (such as preparing a full-color image for output on a non-color printer), but for artistic reasons as well. Dithering also has applications in web design, where it is a…

Learn about the new features in the new blobs API

OpenAI released data on just how many of ChatGPT's users are facing mental health challenges, and how it's addressing them.

Genetically modified crops are finding a foothold in the Global South, producing some unlikely leaders in agritech.

After years of running, my heart finally told me to slow down. This is the story of how a heart condition, burnout, and a year of loss helped me find a new rhythm.

Decentralized github alternative over Nostr

Code and files for to the Ready? Z80 Youtube channel - bchiha/Ready-Z80

The fastest way to build and start training your own LLM. CLI tool that scaffolds production-ready PyTorch training projects in seconds. Like create-next-app but for language models. - theaniketgir...

Bill Gates explains why the world’s climate change strategy should focus on human welfare—even more than temperatures or greenhouse gas emissions.

Data centres were billed as a boon to Virginia’s economy. Now, residents are concerned about their impact on real estate and electricity costs.

I needed to choose a framework for a mobile-first app at work. I started comparing Next.js, SolidStart, and SvelteKit, then expanded to 10 frameworks. The measurements revealed dramatic differences in bundle sizes, performance, and the real cost of framework…

No historical figure better fits the definition of “Renaissance man” than Leonardo da Vinci, but that term has become so overused as to become misleading. We use it to express mild surprise that one person could use both their left and right hemispheres equally…

A week-long showdown where AI models play Texas Hold'em 24/7. Starts October 27.