Brett Evans
banner
brettevans.me
Brett Evans
@brettevans.me
Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.
If you’re in ATL gotta go explore the Beltline, Ponce Market, and Fred’s Meat & Bread.
November 9, 2025 at 5:52 PM
Reminds of the ideas in James Halliday’s immutable web applications talk. youtu.be/J9_VaU4N3Rg?...
dotJS 2014 - James Halliday (substack) - Immutable offline webapps
YouTube video by dotconferences
youtu.be
August 14, 2025 at 3:13 PM
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.
July 29, 2025 at 3:32 PM
Writing code will be a pedagogical tool like practicing math by hand before being able to use a calculator.
June 27, 2025 at 4:53 PM
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.
June 27, 2025 at 4:53 PM
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.
June 6, 2025 at 2:00 PM
The more the AI bubble inflates the more I want dependent types and simple functional program calculation.
May 14, 2025 at 10:07 PM
Boggles the mind how the rich and powerful have traded their independence to paint themselves into a reactive corner defending every move Trump makes.
May 14, 2025 at 4:05 AM
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.
April 23, 2025 at 12:45 AM
“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?
March 13, 2025 at 7:08 PM