Reverse math shows why hard problems are hard

reverse-math-shows-why-hard-problems-are-hard

When it comes to hard problems, computer scientists seem to be stuck. Consider, for example, the notorious problem of finding the shortest round-trip route that passes through every city on a map exactly once. All known methods for solving this “traveling salesperson problem” are painfully slow on maps with many cities, and researchers suspect there’s […]

Notes on Bhutan

notes-on-bhutan

Small Himalayan Kingdom, Big Governance Experiments Hiking towards the famous Tiger Nest monastery. I missed my alarm and woke up at 3:05 am. The taxi was already waiting downstairs to leave for my 5 a.m. flight to Paro. I slept the whole way and mercifully missed the landing at one of the world’s most dangerous […]

Nimony (Nim 3.0) Design Principles

2025-05-03 Minor edits: 2025-05-10 Nimony is a new compiler for a variant of Nim which will become Nim 3.0, eventually. However, Nim is a big language so replicating what it does will take its time. While we wait for this to happen, it turns out Nimony implements a streamlined, beautiful language useful in its own […]

Around The World, Part 27: Planting trees

around-the-world,-part-27:-planting-trees

Fri, 28 Nov 2025 by Thomas ten Cate · Comments  Game Development, Around the World In the previous post, I determined what kind of vegetation should grow where in my procedurally generated world. Now it’s time to actually plant those plants! As I mentioned last week, I figured out a list of tree species that belong to […]

Arcee Trinity Mini: US-Trained Moe Model

arcee-trinity-mini:-us-trained-moe-model

Over the last year, anyone who cares about open weight language models has been watching Chinese labs. Qwen, DeepSeek and others now define a lot of what “state of the art open MoE” looks like. In the United States, most of the action has centered on polishing other people’s checkpoints. At Arcee AI we want […]

Anthropic: AI agents find $4.6M in blockchain smart contract exploits

anthropic:-ai-agents-find-$4.6m-in-blockchain-smart-contract-exploits

December 1, 2025 ANTHROPIC AI models are increasingly good at cyber tasks, as we’ve written about before. But what is the economic impact of these capabilities? In a recent MATS and Anthropic Fellows project, our scholars investigated this question by evaluating AI agents’ ability to exploit smart contracts on Smart CONtracts Exploitation benchmark (SCONE-bench)—a new benchmark they built comprising […]

Losing Confidence

Cast your mind back to when you learned to drive, ride a bike, speak a foreign language, perform a tracheostomy, or acquire any other skill. Wasn’t confidence the key to your success? Whatever we do in life, confidence is always critical. If you run a business, one of the metrics that are likely to be […]

Apple AI Chief Retiring After Siri Failure

apple-ai-chief-retiring-after-siri-failure

Apple AI chief John Giannandrea is stepping down from his position and retiring in spring 2026, Apple announced today. Giannandrea will serve as an advisor between now and 2026, with former Microsoft AI researcher Amar Subramanya set to take over as vice president of AI. Subramanya will report to Apple engineering chief Craig Federighi, and […]

Why Am I Paying $40k for the Birth of My Child?

why-am-i-paying-$40k-for-the-birth-of-my-child?

November 30, 2025 • 16 minutes to read Life Startups The healthcare market is taxing reproduction out of existence. I had never heard of Michael Green before his now-infamous essay “Part 1: My Life Is a Lie – How a Broken Benchmark Quietly Broke America” went extremely viral on X. Go read it. The short […]