Brett Evans's Avatar

Brett Evans

@brettevans.me.bsky.social

Functional programming, dependent types, denotational semantics, category theory, cooking, snowboarding, rugby.

336 Followers  |  2,117 Following  |  46 Posts  |  Joined: 12.11.2024  |  2.4175

Latest posts by brettevans.me on Bluesky

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.

29.07.2025 15:32 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
How the universe stores information Simulating a better system.

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

25.07.2025 17:00 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Video thumbnail

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.

26.06.2025 16:28 β€” πŸ‘ 11148    πŸ” 4481    πŸ’¬ 215    πŸ“Œ 740

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

27.06.2025 16:53 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

27.06.2025 16:53 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

12.06.2025 19:00 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Meet Containerization - WWDC25 - Videos - Apple Developer Meet Containerization, an open source project written in Swift to create and run Linux containers on your Mac. Learn how Containerization...

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

09.06.2025 19:57 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
The Role of the Human Brain in Programming
YouTube video by Val Town The Role of the Human Brain in Programming

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

07.06.2025 23:52 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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.

06.06.2025 14:00 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

27.05.2025 21:52 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

14.05.2025 22:07 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

14.05.2025 04:05 β€” πŸ‘ 9    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Implement your language twice A high-performance and high-level purely functional data-parallel array programming language that can execute on the GPU and CPU.

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

08.05.2025 14:54 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

23.04.2025 00:45 β€” πŸ‘ 4    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
The Local Legend Behind NYC Chinatown’s Favorite Sponge Cakes | Secret’s Out | NYT Cooking
YouTube video by NYT Cooking The Local Legend Behind NYC Chinatown’s Favorite Sponge Cakes | Secret’s Out | NYT Cooking

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

05.04.2025 01:26 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
Preview
Coding isn't Programming - Closing Keynote with Leslie Lamport - SCaLE 22x YouTube video by Southern California Linux Expo

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

27.03.2025 02:37 β€” πŸ‘ 3    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
stacksort

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

20.03.2025 16:36 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

β€œ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?

13.03.2025 19:08 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

05.03.2025 22:06 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

04.03.2025 19:29 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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

13.01.2025 16:29 β€” πŸ‘ 27700    πŸ” 4194    πŸ’¬ 745    πŸ“Œ 242

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

18.02.2025 15:00 β€” πŸ‘ 3    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Add this to your feed reader.

14.02.2025 02:14 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0
What Is Hospital Food Really Like? Feeding Hundreds of Patients a Day | On the Job | NYT Cooking
YouTube video by NYT Cooking What Is Hospital Food Really Like? Feeding Hundreds of Patients a Day | On the Job | NYT Cooking

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

08.02.2025 17:11 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 0    πŸ“Œ 0

Hell yeah! πŸ™Œ

04.02.2025 01:02 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

30.01.2025 17:40 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

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.

30.01.2025 03:26 β€” πŸ‘ 4    πŸ” 1    πŸ’¬ 2    πŸ“Œ 0

Yeah, my β€œnever got around to” is doing similar heavy lifting.

29.01.2025 04:08 β€” πŸ‘ 2    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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

29.01.2025 03:46 β€” πŸ‘ 1    πŸ” 0    πŸ’¬ 1    πŸ“Œ 0

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.

26.01.2025 16:27 β€” πŸ‘ 0    πŸ” 0    πŸ’¬ 0    πŸ“Œ 0

@brettevans.me is following 20 prominent accounts