iiinova — where your digital self keeps evolving

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

Building a software factory is the new yak shave.

020

Brett Evans @brettevans.me · 13/06/2026

As kids we dressed up as Street Sharks and trick-or-treated at the Monterey Bay Aquarium. Awesome place.

020

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 · 21/04/2026

Agreed! Gender segregation should be up to the sport’s governing body and hopefully using more rational and evidence based heuristics than is typical of the political posturing mess we have now. I despise the current endangering of trans people for a political red-herring.

130

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

Time to dust off the old Explorapedia

010

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

Spammers are using publicly exposed emails and running them through Captcha-less signup and ticket request forms.

010

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

I’ve always wanted a lightboard.info

110

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

Yeah I really think with AI tools for synthesis the old dogma that formal methods are to expensive and cumbersome can be revisited.

110

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

I’ll take a look! I’ve been going through Algebra of Programming and the JFP Pearls and it shows how nice FP can be. Structural recursion and program calculation has been refreshing.

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 · 21/01/2026

We will be reduced to requirements engineering.

030

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

I found Sandy Maguire's Certainty by Construction to be a good introduction. leanpub.com/certainty-by...

leanpub.com

Certainty by Construction

010

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 · 09/11/2025

If you’re in ATL gotta go explore the Beltline, Ponce Market, and Fred’s Meat & Bread.

010

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

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

Reminds of the ideas in James Halliday’s immutable web applications talk. youtu.be/J9_VaU4N3Rg?...

youtu.be

dotJS 2014 - James Halliday (substack) - Immutable offline webapps

YouTube video by dotconferences

010

Brett Evans @brettevans.me · 29/07/2025

City doomerism is the regurgitation of social media algorithms optimized for rage bait. A decent indicator that they have stopped critically consuming media and their other opinions are equally shallow and worthless.

030

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.

204109314360

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

Writing code will be a pedagogical tool like practicing math by hand before being able to use a calculator.

010

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

Writing code can be a bottleneck, but it also builds understanding and develops taste. I'm hopeful both can be had with tooling that will become table stakes to handle the influx of infinite monkeys coding. Such tools will be equally helpful with legacy code.

110

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 · 06/06/2025

He and the other tech-right oligarchs need the truce because it’s hard to be a mouthpiece when your opinions are sourced from two differing sides.

000

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 · 14/05/2025

The more the AI bubble inflates the more I want dependent types and simple functional program calculation.

010

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

Boggles the mind how the rich and powerful have traded their independence to paint themselves into a reactive corner defending every move Trump makes.

080

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

I’ve found it to be a great personal litmus test when engaging with someone. Why are we punishing children for things out of their control? Peer stigma of having subsidized lunch vs. normal hot lunches. Improvements in focus and test scores. Expand to breakfast. Provide access during holidays.

020

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 · 13/03/2025

“a number of weeks” is doing a lot of work here. What about the jobs that are only run once a quarter or once a year?

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 · 30/01/2025

Point-Free as a resource stands out as one of the best practical tutorials of functional concepts available. The active choice to refrain from the use of theoretical terms is commendable.

241

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

Yeah, my “never got around to” is doing similar heavy lifting.

120

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

I’ve just started some classics that I never got around to. Definitely enjoying critical editions that give extra context to the works.

110

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

Calcified contrarianism. They start spewing contrarian bull for the sake of it and because of their wealth they get celebrated for it. Seems to me wealth and social media algorithms have similar ratcheting mechanisms with no real release valve.

000

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