The problem with unfinished business is that sometimes it calls you back.

the holy grail is formal verification for all code currently code has tests (a lossy proxy for the behavior of the code) in reality, code should be more like math. in order for code to flourish, we need ways to formally verify any program

JUST IN: Canadian man wins city council election after telling voters he has no idea what he's doing, doesn't enjoy politics, & is unqualified for office.

they've been non stop trying to attack our systems for the past 48 hours a side effect is everything is getting hardened but damn we basically need agents going 24/7 because that's what they have

I'm confident we can reach the frontier here too

Feeling great. Time for a big week

How to effectively debug with agents when you no longer read or understand the code In this post, I propose a debugging framework for agents that doesn’t rely on human knowledge of code to get to the right “root cause” The TL;DR are the screenshots. Link to post in the reply.

my updated AI stack to run a $35M ARR startup with 130 employees: > Claude: open on my desktop at all times. for almost every question, I go straight to Claude > MCP connectors: Claude has access to our docs, Slack, code, database, finances, inbox, and calendar (context is king) > Fellow: joins every meeting and saves every transcript > Unblocked: lives in Slack and has a full 360 of the business > Linear: we barely use the web app anymore. tickets get created in Slack & analysis runs through Claude > Claude skills: analyze 100+ dashboards and cross-reference our database and Slack to surface emerging risks and opportunities > scheduled tasks: automate dozens of recurring items and nudge employees to submit their weekly priorities (petty, I know) > Claude Code + Figma Slides: literally creates the most beautiful decks you've ever seen > Wispr Flow: I verbally talk to my computer in plain English and it makes edits instantly I've also started testing Muse personally to source candidates for a new role + handle some upcoming travel logistics I'm far from the most AI-pilled person on your feed.. but if Tyler from 12 months ago saw what Tyler today was doing, he'd have thought it was 2030 for those that are more AI-pilled, what do I need to add?

JUST IN: 16-year-old has to be rescued from British Columbia’s “Widowmaker” mountain after reportedly letting Claude map out the hike, leading him off trail.