WTF

Time to dust off the old Explorapedia

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

I’ve always wanted a lightboard.info

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

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.

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.

We will be reduced to requirements engineering.

Certainty by Construction

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

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.

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

The Programmer Identity Crisis ❈ Simon Højberg ❈ Principal Frontend Engineer On AI, Creativity, and Craft

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

dotJS 2014 - James Halliday (substack) - Immutable offline webapps YouTube video by dotconferences

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

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.

How the universe stores information Simulating a better system.

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.

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

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.

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

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

The Role of the Human Brain in Programming YouTube video by Val Town

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

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.

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

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

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

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

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.

The Local Legend Behind NYC Chinatown’s Favorite Sponge Cakes | Secret’s Out | NYT Cooking YouTube video by NYT Cooking

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

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

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