banner
prozacchiwawa.bsky.social
@prozacchiwawa.bsky.social
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.
Reposted
Oh my
November 14, 2025 at 9:50 PM
Reposted
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...
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...
utkarshkanwat.com
July 21, 2025 at 3:27 PM
Reposted
🌱 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
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
github.com
July 7, 2025 at 9:45 AM
Reposted
Would you happen to know of any open Elixir remote positions in a nice-to-work company?
July 1, 2025 at 5:22 PM
Reposted
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! 🤩

🔭🧪🎢
June 23, 2025 at 3:38 PM
Reposted
damn yes needed this today
Reminder.
June 23, 2025 at 3:57 PM
Reposted
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?
June 22, 2025 at 12:29 AM
Reposted
"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 🔥
April 1, 2025 at 7:47 PM
Reposted
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
March 31, 2025 at 11:37 PM
Reposted
Ooo, I know this one!

Doing An Internet.
April 2, 2025 at 2:48 AM
Reposted
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 💙
🎉 Congratulations @crawfordforwi.bsky.social on a hard-won victory!
April 2, 2025 at 2:43 AM
Reposted
Premium Blue(Sky) content
A Lithuanian equivalent to “there’s no such thing as a free lunch” is nemokamas sūris tik pelėkautuose. It means “the only free cheese is in a mousetrap”

* read on for more international cheese phrases (this thread may not turn out grate, but hopefully it will be gouda ‘nuff)…
March 28, 2025 at 1:21 AM
Reposted
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.
March 26, 2025 at 3:22 AM
Reposted
Laughing darkly to myself as John Roberts realizes that he’s not a leopard
March 26, 2025 at 3:41 AM
Reposted
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.
March 13, 2025 at 7:14 AM
Reposted
DOGE is like economizing on your car by not filling the motor with oil.
March 13, 2025 at 2:31 PM
Reposted
Have you ever been so sick of a device you rage bought a competitor's? I have!
March 11, 2025 at 6:10 PM
Reposted
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?
March 11, 2025 at 6:12 PM
Reposted
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...
March 11, 2025 at 6:07 PM
Reposted
me for real
MY JOINTS: If you DON'T move me around, I'll stop working properly

MY JOINTS: If you DO move me around, I'll stop working properly

MY JOINTS: Haha. Fuck you.
March 11, 2025 at 6:46 PM
Reposted
I am so tired of Republicans saying “this is crazy” behind closed doors.
Doug Ford: "It's not even the Republicans I speak to. Behind closed doors, all of them are saying, 'This is crazy, what's he doing.' CEOs of the largest Fortune 500 companies are telling him, 'This does not work. Protectionism doesn't work.'"
March 11, 2025 at 4:33 PM
Reposted
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/...
OCaml Platform Newsletter | LinkedIn
OCaml | Updates from the OCaml Platform projects.
www.linkedin.com
March 11, 2025 at 6:13 PM
Reposted
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.
Its hard. It always is. But don’t ever give up and don’t ever give in. That’s what they want you to do. Live truly and loudly for yourself in spite of them. Try your best to have a decent day. ❤️
March 11, 2025 at 6:15 PM
Reposted
March 11, 2025 at 4:34 PM