iiinova — where your digital self keeps evolving

Brett Evans @brettevans.me · 30/07/2026

Building a software factory is the new yak shave.

Brett Evans @brettevans.me · 08/05/2026

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

040

Brett Evans @brettevans.me · 21/04/2026

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

020

Brett Evans @brettevans.me · 04/02/2026

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.

110

Brett Evans @brettevans.me · 08/12/2025

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.

000

Brett Evans @brettevans.me · 08/10/2025

"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...

hojberg.xyz

The Programmer Identity Crisis ❈ Simon Højberg ❈ Principal Frontend Engineer

On AI, Creativity, and Craft

021

Reposted by Brett Evans

Keith Fitzgerald @keithfitzgerald.bsky.social · 26/06/2025

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.

204109324360

Brett Evans @brettevans.me · 12/06/2025

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

020

Brett Evans @brettevans.me · 27/05/2025

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

010

Brett Evans @brettevans.me · 20/03/2025

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

gkoberger.github.io

stacksort

010

Brett Evans @brettevans.me · 05/03/2025

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

010

Brett Evans @brettevans.me · 04/03/2025

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.

010

Reposted by Brett Evans

Kelsey Hightower @kelseyhightower.com · 13/01/2025

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

729272774109

Brett Evans @brettevans.me · 18/02/2025

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

031

Brett Evans @brettevans.me · 14/02/2025

Add this to your feed reader.

010

Brett Evans @brettevans.me · 30/01/2025

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.

010

Brett Evans @brettevans.me · 26/01/2025

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

130

Brett Evans @brettevans.me · 23/01/2025

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.

000

Brett Evans @brettevans.me · 10/01/2025

Having industry dictate curriculum is shortsighted. Students need understanding of fundamental principles, mathematical reasoning, and the practice of specification. The shelf life of any currently in vogue tool is only getting shorter. huntnewsnu.com/82511/editor...

huntnewsnu.com

Op-ed: Northeastern’s redesign of the Khoury curriculum abandons the fundamentals of computer science

On a university level, what makes for a good computer science curriculum? One of the most common career paths for a computer science major is as a software developer. An effective university curriculu...

240

Brett Evans @brettevans.me · 09/01/2025

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

000

Brett Evans @brettevans.me · 05/01/2025

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

030

Brett Evans @brettevans.me · 05/01/2025

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

010

Brett Evans @brettevans.me · 29/12/2024

PDX’s Main Terminal is refreshing.

Inside Portland International Airport’s Main Terminal after renovation with regionally sourced mass timber.

040

Brett Evans @brettevans.me · 29/12/2024

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

000

Brett Evans @brettevans.me · 06/12/2024

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.

010

Brett Evans @brettevans.me · 06/12/2024

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!

140

Brett Evans @brettevans.me · 13/11/2024

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

090