Time to dust off the old Explorapedia
05.02.2026 15:29
👍 1
🔁 0
💬 0
📌 0
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.
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.
"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...
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.
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.
Excited to see more on the Containerization Framework from Apple. developer.apple.com/videos/play/...
@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.
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.
Love the characters from @nytimes.com Cooking! www.youtube.com/watch?v=cled...
Vibe coding is just the new Stacksort. gkoberger.github.io/stacksort/
“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?
