Brett Evans

Building a software factory is the new yak shave.

LLM prompts with “make no mistakes” is the funniest copium and should disqualify anyone using it from prognosticating on the ability of current AI.

With Mythos decreasing the cost of exploits, formal verification will move from “nice-to-have” but too expensive to the new minimum standard.

There needs to be an alternative teaching of computer science. One where the semantics of a language and construction thereof is taught before its syntax and parsing. One where algorithms is algebra and only later do you learn about representation, memory, and performance.

I have had the same thoughts while working with Agda. Use LLMs for proof search. I've been revisiting Bird and Meertens' work with this new lens.

"Code reviewing coworkers are rapidly losing their minds as they come to the crushing realization that they are now the first layer of quality control instead of one of the last." — @hojberg.xyz hojberg.xyz/the-programm...

A great observation that can help discern who’s selling you snake oil.

Worth a watch: Head of Signal, Meredith Whittaker, on so-called "agentic AI" and the difference between how it's described in the marketing and what access and control it would actually require to work as advertised.

Universe is telling me to pack it in for the day with these Google Cloud and Cloudflare outages.

Excited to see more on the Containerization Framework from Apple. developer.apple.com/videos/play/...

@stevekrouse.com has a great take on vibe coding. www.youtube.com/watch?v=1WC8...

Currently in Atlanta, have been pleasantly surprised with the tree coverage, neighborhoods, and bikeability of the Eastside via the Beltline.

Calculate your compiler… futhark-lang.org/blog/2025-05...

Love the characters from @nytimes.com Cooking! www.youtube.com/watch?v=cled...

For all the vibe coders. www.youtube.com/live/tsSDvfl...

Vibe coding is just the new Stacksort. gkoberger.github.io/stacksort/

Swift Enums conforming to Codable without conforming to Int or String should throw a compiler error.

Great knowing VCs purchased their way into the GOP to gut the CFPB and SEC, and create a federal crypto reserve so the American public can bail them out of their crypto investments.

What's the point of being rich if you can't afford to do the right thing.

Fuzzy feeling knowing that billionaires believe the wealth they’ve accumulated is evidence of their great capital allocation skill and is deserved.

Add this to your feed reader.

A very heartwarming video by @nytimes.com. youtu.be/DwFxPA0JHKs?...

So now that tech bros have captured the U.S. government we are now subject to learning why federal agencies exist from “first principles” instead of, you know, reading about it.

I just realized you can subscribe to YouTube channels in NetNewsWire. It’s quickly becoming my main way to consume content on my terms.

In a society where access to higher education isn’t guaranteed the lie-to-children teaching method really rears its ugly head in political discourse. It’s frustrating to have to confront beliefs built upon elementary knowledge without also sowing distrust in experts.

Went to the National Western Stock Show Parade. Disappointed they didn’t have the cattle drive.

Broncos really need to make the throwback uniforms and throwback endzones the default.

Apple’s Live Scoring widget is surprisingly bad for NFL games. Showing the wrong times, sometimes attributing points to the wrong team.

PDX’s Main Terminal is refreshing.

Refreshing to be on a social network that doesn’t villainize linking. The amount of friction elsewhere is user hostile.

Unsubscribe from email flows are truly a product backwater. With all the edge cases and lack of motive to support you’re lucky if you ever get unsubscribed succesfully.

Bluesky got me rethinking my own consumption of the internet. I stepped back into using @netnewswire.com, and it's been refreshing! Add @cassidoo.co's feed to catch her Blogvent!

End of an era. Delicious Library and the Delicious Generation of indie developers had a profound impact on me. mastodon.social/@wjs/1135393...

I really like the lack of both auto-scroll and an internal browser of Bluesky. Feels like that much more of a polished product.