@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
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...
(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
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...
(Jury currently out on the _solutions_ but at least the problems seem clearly outlined.)
utkarshkanwat.com/writing/bett...
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
Would you happen to know of any open Elixir remote positions in a nice-to-work company?
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! 🤩
🔭🧪🎢
Also, wow how excited would Henrietta Leavitt and Williamina Flemming be to see this! 🤩
🔭🧪🎢
I just got an email saying the embargo is lifted, so here's the full @vrubinobs.bsky.social press release: noirlab.edu/public/news/...
Ever-changing Universe Revealed in First Imagery From NSF–DOE Vera C. Rubin Observatory - From distant stars and galaxies to asteroids whizzing through the Solar System, this next-generation facility ...
Ever-changing Universe Revealed in First Imagery From NSF–DOE Vera C. Rubin Observatory
noirlab.edu
June 23, 2025 at 3:38 PM
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! 🤩
🔭🧪🎢
Also, wow how excited would Henrietta Leavitt and Williamina Flemming be to see this! 🤩
🔭🧪🎢
Reposted
damn yes needed this today
June 23, 2025 at 3:57 PM
damn yes needed this today
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
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?
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
"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 🔥
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
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
Reposted
Ooo, I know this one!
Doing An Internet.
Doing An Internet.
April 2, 2025 at 2:48 AM
Ooo, I know this one!
Doing An Internet.
Doing An Internet.
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 💙
I feel this thing creeping back in…HOPE.
Thank you to EVERYONE who knocked doors, made calls, wrote postcards, etc. We did it!!! @WisDems 💙
April 2, 2025 at 2:43 AM
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 💙
I feel this thing creeping back in…HOPE.
Thank you to EVERYONE who knocked doors, made calls, wrote postcards, etc. We did it!!! @WisDems 💙
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)…
* 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
Premium Blue(Sky) content
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.
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
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.
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.
Reposted
Laughing darkly to myself as John Roberts realizes that he’s not a leopard
March 26, 2025 at 3:41 AM
Laughing darkly to myself as John Roberts realizes that he’s not a leopard
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.
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
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.
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.
Reposted
DOGE is like economizing on your car by not filling the motor with oil.
March 13, 2025 at 2:31 PM
DOGE is like economizing on your car by not filling the motor with oil.
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
Have you ever been so sick of a device you rage bought a competitor's? I have!
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
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?
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...
h/t @jamellebouie.net
newrepublic.com/article/1926...
March 11, 2025 at 6:07 PM
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...
h/t @jamellebouie.net
newrepublic.com/article/1926...
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.
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
me for real
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
I am so tired of Republicans saying “this is crazy” behind closed doors.
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/...
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
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/...
if you want to keep updated or promote reach of the newsletter, here's a link:
www.linkedin.com/newsletters/...
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.
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
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.
Be brave, and be brave in numbers.
Reposted
