's Avatar

@prozacchiwawa

Old programmer. Learning lean4 a bit at a time. ocaml and idris fan. I've posted a bit more about politics on bluesky, also post about gardening and baking and odd retrocomputing stuff.

529
Followers
745
Following
176
Posts
12.11.2023
Joined
Posts Following

Latest posts by @prozacchiwawa

Post image

"The trade was not that you were getting exposed to geopolitics when moving to Dubai."

02.03.2026 15:19 πŸ‘ 4039 πŸ” 668 πŸ’¬ 221 πŸ“Œ 559
Japanese people being silly.

Japanese people being silly.

Oh my

14.11.2025 21:50 πŸ‘ 1925 πŸ” 624 πŸ’¬ 80 πŸ“Œ 178
Why I'm Betting Against AI Agents in 2025 (Despite Building Them) I've built 12+ production AI agent systems across development, DevOps, and data operations. Here's why the current hype around autonomous agents is mathematically impossible and what actually works in...

Admittedly I would probably say this, but I thought this article was a very insightful analysis of the problems with building AI agents, based on real experience.

(Jury currently out on the _solutions_ but at least the problems seem clearly outlined.)

utkarshkanwat.com/writing/bett...

21.07.2025 15:27 πŸ‘ 19 πŸ” 11 πŸ’¬ 4 πŸ“Œ 8
Preview
GitHub - dlidstrom/Sprout: Sprout is a lightweight F# test DSL using a minimalist BDD-style syntax Sprout is a lightweight F# test DSL using a minimalist BDD-style syntax - dlidstrom/Sprout

🌱 Sprout: a BDD testing DSL in F#! Inspired by Jasmine + powered by computation expressions. Ready to declare your specs? Have you tried β€˜feature … scenario …’ in F# yet? #fsharp #BDD #testing @fsharp.bsky.online

07.07.2025 09:45 πŸ‘ 4 πŸ” 2 πŸ’¬ 0 πŸ“Œ 0

Just thinking of the Harvard computer women a century ago, who looked at images of the universe like this by eye to make discoveries. They revolutionized astronomy, and Rubin definitely will too!

Also, wow how excited would Henrietta Leavitt and Williamina Flemming be to see this! 🀩

πŸ”­πŸ§ͺ🎒

23.06.2025 15:38 πŸ‘ 294 πŸ” 52 πŸ’¬ 2 πŸ“Œ 1

damn yes needed this today

23.06.2025 15:57 πŸ‘ 141 πŸ” 7 πŸ’¬ 0 πŸ“Œ 0

why does ml actually work? i understand backpropagation but that's about it. are we "looking for a function"? why are these functions particularly "arrivable at" via ml and transformers or diffusion? what is it about nn? any compelling evidence it's "enough" or are there other structural approaches?

22.06.2025 00:29 πŸ‘ 29 πŸ” 2 πŸ’¬ 11 πŸ“Œ 0
Video thumbnail

"I don't want a Disney vacation of our history! I don't a whitewashed history, I don't want a homogenized history. Tell me the wretched truth about America, because that speaks to our greatness" -- 20 hours into his speech, Cory Booker is spitting absolute πŸ”₯

01.04.2025 19:47 πŸ‘ 64020 πŸ” 14506 πŸ’¬ 991 πŸ“Œ 1246

Wasn't expecting Cory @booker.senate.gov blocking senate business with an actual in fact standing filibuster to protest what the fuck is going on but I'll take it. @ossoff.bsky.social @ossoff.senate.gov @warnock.senate.gov @warren.senate.gov @sanders.senate.gov &c can ask questions to work in breaks

31.03.2025 23:37 πŸ‘ 599 πŸ” 89 πŸ’¬ 9 πŸ“Œ 3

Ooo, I know this one!

Doing An Internet.

02.04.2025 02:48 πŸ‘ 232 πŸ” 37 πŸ’¬ 1 πŸ“Œ 0

Well done fellow Wisconsinites!!!!! We can’t be bought! Congratulations @crawfordforwi.bsky.social !!

I feel this thing creeping back in…HOPE.

Thank you to EVERYONE who knocked doors, made calls, wrote postcards, etc. We did it!!! @WisDems πŸ’™

02.04.2025 02:43 πŸ‘ 340 πŸ” 41 πŸ’¬ 0 πŸ“Œ 0

"With this candidate's loss, the thread of prophecy is severed. Restore a saved game to restore the weave of fate, or persist in the doomed world you have created."

02.04.2025 03:01 πŸ‘ 1 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0

destroying it _is_ success for doge. they want to "accidentally" break it in a way that congress won't be able to do the appropriations to fix.

28.03.2025 16:02 πŸ‘ 141 πŸ” 10 πŸ’¬ 1 πŸ“Œ 1

Premium Blue(Sky) content

28.03.2025 01:21 πŸ‘ 42 πŸ” 7 πŸ’¬ 2 πŸ“Œ 0

Ken Burns’ The Internet: A Series of Unfortunate Events

A slow pan over a blurry JPEG of a dancing baby, accompanied by a somber violin score.

A dramatic reading of a 1999 forum post.

26.03.2025 03:22 πŸ‘ 455 πŸ” 71 πŸ’¬ 18 πŸ“Œ 9

Laughing darkly to myself as John Roberts realizes that he’s not a leopard

26.03.2025 03:41 πŸ‘ 362 πŸ” 31 πŸ’¬ 8 πŸ“Œ 0

To be fair, you say "me" but it's actually Trump.

The school isn't being selfish here. Giving up an entire incoming class because they can't guarantee they won't be stranded, or worse, deported is a huge blow to their institution, as well.

13.03.2025 07:14 πŸ‘ 36 πŸ” 4 πŸ’¬ 3 πŸ“Œ 0

DOGE is like economizing on your car by not filling the motor with oil.

13.03.2025 14:31 πŸ‘ 21 πŸ” 3 πŸ’¬ 0 πŸ“Œ 0

Have you ever been so sick of a device you rage bought a competitor's? I have!

11.03.2025 18:10 πŸ‘ 8 πŸ” 2 πŸ’¬ 2 πŸ“Œ 0
Preview
Learning OCaml: Matching Anything or the Lack of Anything I’ve noticed that some newcomers to OCaml are a bit confused by code like the following: let () = print_endline "Hello, world" let _ = foo bar Both of those are forms of pattern matching, but one of them is a lot stricter than the other. In OCaml ()…
11.03.2025 18:34 πŸ‘ 3 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

Watching my 401K drop like a stone, as I’m sure many are, now is a perfect example why Social Security must be protected, and not privatized. It is also a great rebuttal against those who say people should just save on their own and invest in the market. How’d that work out in 1929?

11.03.2025 18:12 πŸ‘ 1879 πŸ” 561 πŸ’¬ 58 πŸ“Œ 20
Post image Post image Post image

The Trump-Musk fiasco is of a piece with our much larger slide into "clientelism" or "personalist" rule. Trump is now discovering it has a downside: He's corruptly giving Musk extraordinary power, but now Trump is yoked to Musk's epic failures.

h/t @jamellebouie.net

newrepublic.com/article/1926...

11.03.2025 18:07 πŸ‘ 300 πŸ” 62 πŸ’¬ 6 πŸ“Œ 0

me for real

11.03.2025 18:46 πŸ‘ 3 πŸ” 1 πŸ’¬ 0 πŸ“Œ 0

I am so tired of Republicans saying β€œthis is crazy” behind closed doors.

11.03.2025 16:33 πŸ‘ 351 πŸ” 66 πŸ’¬ 19 πŸ“Œ 2
Preview
OCaml Platform Newsletter | LinkedIn OCaml | Updates from the OCaml Platform projects.

publishing all the new editions of the OCaml Platform Newsletter as a LinkedIn Newsletter (in addition to existing distribution channels)

if you want to keep updated or promote reach of the newsletter, here's a link:

www.linkedin.com/newsletters/...

11.03.2025 18:13 πŸ‘ 5 πŸ” 1 πŸ’¬ 0 πŸ“Œ 1

Bernie’s current message is β€œMake your congressperson recognize they can either be scared of getting primaried by Musk or by their constituents, and they have more to fear from their constituents.”

Be brave, and be brave in numbers.

11.03.2025 18:15 πŸ‘ 250 πŸ” 69 πŸ’¬ 2 πŸ“Œ 0
Post image
11.03.2025 16:34 πŸ‘ 9 πŸ” 3 πŸ’¬ 1 πŸ“Œ 0

that's the sovereign citizen argument in a nutshell. people deciding neither to be protected by the us or subject to its laws, not "subject to us jurisdiction" in any way. would be hilarious for both arguments to land simultaneously.

11.03.2025 16:10 πŸ‘ 0 πŸ” 0 πŸ’¬ 1 πŸ“Œ 0

read a few sections from the odyssey in high school but it was relatively brief (this would have been around 1990).

11.03.2025 00:21 πŸ‘ 0 πŸ” 0 πŸ’¬ 0 πŸ“Œ 0