Sign in

prozacchiwawa.bsky.social

@prozacchiwawa.bsky.social
540 followers 745 following 177 posts

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.

PostsRepliesMedia
Reposted by @prozacchiwawa.bsky.social
mcc @dryad.technology · 08/04/2026
*rubbing eyes* This thread is my best effort to put solid cites on the contents of the Iranian "10 point proposal", which various news articles over the last couple days have referenced, and which versions of are currently floating around Bluesky. (This is attempt 2, for me. I deleted attempt 1.)
17618
Reposted by @prozacchiwawa.bsky.social
Thomas Gazagnaire @gazagnaire.org · 02/04/2026
I've finally managed to write why I'm doing a bit more regularly. Hint: it took a while because I had first to rewrite the world in #OCaml ... gazagnaire.org/blog/2026-04...
gazagnaire.org
Thomas Gazagnaire :: A CSS Engine in OCaml
A typed CSS parser covering Level 3 through 5, a structural diff tool, and an optimiser. With a live browser demo via js_of_ocaml.
2218
Reposted by @prozacchiwawa.bsky.social
Hierophant Shelley B Woke - Living Saint of Purity🏳️‍⚧️🖤💜🤍 💛 @shelleybwoke.bsky.social · 03/04/2026
🙄 Once you see it, you can't unsee it
Mx. Shelley B Woke - Living Saint of Victory 🏳️‍⚧️🖤💜🤍 💛
‪@shelleybwoke.bsky.social‬
When the postmortems are written on the American experiment, I hope someone will take a good, hard, critical look at how "______ says it has done ___BLATANT LIE___, but experts disagree" framing was instrumental in our downfall.
February 19, 2025 at 7:19 AM
52395650
Reposted by @prozacchiwawa.bsky.social
Emma Yeomans @yeomans.bsky.social · 02/03/2026
"The trade was not that you were getting exposed to geopolitics when moving to Dubai."
2164003650
Reposted by @prozacchiwawa.bsky.social
Todd Gill - Retro Frog @retrofrog.bsky.social · 14/11/2025
Oh my
Japanese people being silly.
781906613
Reposted by @prozacchiwawa.bsky.social
Niall Murphy @niallm.bsky.social · 21/07/2025
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...
utkarshkanwat.com
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...
41911
Reposted by @prozacchiwawa.bsky.social
Compositional IT @handle.invalid · 07/07/2025
🌱 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.com
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
042
Reposted by @prozacchiwawa.bsky.social
Yvette Cendes @whereisyvette.bsky.social · 23/06/2025
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! 🤩 🔭🧪🎢
229149
Reposted by @prozacchiwawa.bsky.social
the Mountain Goats @themountaingoats.bsky.social · 23/06/2025
damn yes needed this today
01417
Reposted by @prozacchiwawa.bsky.social
dan @danabra.mov · 22/06/2025
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?
11292
Reposted by @prozacchiwawa.bsky.social
Aaron Rupar @atrupar.com · 01/04/2025
"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 🔥
9736363014390
Reposted by @prozacchiwawa.bsky.social
Dr. Damien P. Williams, dread portent down from a mountain cave @wolven.blacksky.app · 01/04/2025
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
959689
Reposted by @prozacchiwawa.bsky.social
Iron Spike @ironspike.bsky.social · 02/04/2025
Ooo, I know this one! Doing An Internet.
media.tenor.com
a cartoon character with a rainbow behind him and the words whoaaa aa aa aa aa aa
ALT: a cartoon character with a rainbow behind him and the words whoaaa aa aa aa aa aa
123237
Reposted by @prozacchiwawa.bsky.social
nursesarah18.bsky.social @nursesarah18.bsky.social · 02/04/2025
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 💙
033941
Reposted by @prozacchiwawa.bsky.social
Dr Neil & Mr Price @drneil.bsky.social · 28/03/2025
Premium Blue(Sky) content
2427
Reposted by @prozacchiwawa.bsky.social
neutral @neutral.zone · 26/03/2025
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.
1845070
Reposted by @prozacchiwawa.bsky.social
Kaitlin Is Just Getting Started @gothamgirlblue.com · 26/03/2025
Laughing darkly to myself as John Roberts realizes that he’s not a leopard
836131
Reposted by @prozacchiwawa.bsky.social
ElisabetK @elisabetk.bsky.social · 13/03/2025
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.
3364
Reposted by @prozacchiwawa.bsky.social
Leo Bebb @leobebb.bsky.social · 13/03/2025
DOGE is like economizing on your car by not filling the motor with oil.
0213
Reposted by @prozacchiwawa.bsky.social
Rat Fascal @mrpsb.uk · 11/03/2025
Have you ever been so sick of a device you rage bought a competitor's? I have!
282
Reposted by @prozacchiwawa.bsky.social
OCaml @ocaml.org · 11/03/2025
dlvr.it
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 ()…
031
Reposted by @prozacchiwawa.bsky.social
Ty Ross @cooltxchick.bsky.social · 11/03/2025
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?
571870558
Reposted by @prozacchiwawa.bsky.social
Greg Sargent @gregsargent.bsky.social · 11/03/2025
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...
629762
Reposted by @prozacchiwawa.bsky.social
Alexander Bandukwala ✈️ Oakland, CA @bandukwala.me · 11/03/2025
me for real
031
Reposted by @prozacchiwawa.bsky.social
Patrick Chovanec @prchovanec.bsky.social · 11/03/2025
I am so tired of Republicans saying “this is crazy” behind closed doors.
1835067
Reposted by @prozacchiwawa.bsky.social
sabine 🐫🦀 / "use ocaml"; @sabine.sh · 11/03/2025
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/...
linkedin.com
OCaml Platform Newsletter | LinkedIn
OCaml | Updates from the OCaml Platform projects.
051
Reposted by @prozacchiwawa.bsky.social
K.B. Spangler @kbspangler.com · 11/03/2025
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.
225069
Reposted by @prozacchiwawa.bsky.social
Tim Ottinger @agile-otter.bsky.social · 11/03/2025
193
Reposted by @prozacchiwawa.bsky.social
Sharon 🪳🌹 @sharonk.bsky.social · 11/03/2025
Want to genuinely test something: Followers, were you taught about Homer in K-12 education?
5202847
Reposted by @prozacchiwawa.bsky.social
Fati Iseni @fiseni.com · 11/03/2025
I really dislike XML comments. It's way too much noise, and it's hard to reason about the code. We need a better mechanism to document APIs. #dotnet #csharp
141
Reposted by @prozacchiwawa.bsky.social
Delilah S. Dawson @delilahsdawson.bsky.social · 10/03/2025
So here's my big announcement, regarding filling some very big shoes of a very dear friend...
10772490
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 09/03/2025
apropos of another thread, this is a pretty good watch: www.youtube.com/watch?v=gqtr...
youtube.com
You Are Witnessing the Death of American Capitalism
YouTube video by Benn Jordan
021
Reposted by @prozacchiwawa.bsky.social
Sygnin @sygnin.com · 09/03/2025
It’s pretty cool what you can accomplish with some ethanol, water, a PHD and a gazillion hours of cleaning (Seriously though, that’s some amazing work they did to clean & restore the colors & art in the temple)
archaeology.org
Features - An Egyptian Temple Reborn - Archaeology Magazine - March/April 2025
By removing centuries of soot, researchers have uncovered the stunning decoration of a sanctuary dedicated to the heavens
116245
Reposted by @prozacchiwawa.bsky.social
kate conger @kateconger.com · 09/03/2025
I know I’ve said this on here before, but it’s really remarkable and humbling to see our book resonate with people who want to understand DOGE. Thank y’all so, so, much for reading. It’s really special to me and @rmac.bsky.social. Hope to see some of you at the Tucson Festival of Books this week!
828324
Reposted by @prozacchiwawa.bsky.social
Hallie Bateman @halliebateman.bsky.social · 09/03/2025
Anyone in Brooklyn have a part-time job for (no joke) my very sweet 90-year-old friend? She was just laid off from an office job of 25 years. She thought about applying to be a greeter at a hospital but you need to be able to physically do CPR on someone, which she can't.
1516976
Reposted by @prozacchiwawa.bsky.social
Phil Lewis @phillewis.bsky.social · 07/03/2025
D’Wayne Wiggins, founding member of Tony! Toni! Toné!, has died, according to family
With broken hearts, we share with you that our beloved D’Wayne passed away this morning surrounded by family and loved ones. Over the past year, he has been privately and courageously battling bladder cancer. Through this fight, he remained committed and present for his family, his music, his fans and his community.

D’Wayne’s life was incomparable, and his music and service impacted millions around the world, including in his hometown of Oakland, California. He was a guitarist, producer, composer, philanthropist, mentor and founding member of Tony! Toni! Tone! He was deeply passionate about providing artist development and mentorship to emerging young musicians, helping to shape the early careers of many.

For now, we ask that you continue to respect our privacy. We mourn with you, and are deeply grateful for your love and support.

In Solidarity,
The Wiggins Family

Rest in Power. Party don’t cryPhoto of D'Wayne Wiggins, wearing a black and gold outfit behind a green guitar.
611221410
Reposted by @prozacchiwawa.bsky.social
Jana H-S (she, like a knife) @jana-aych-ess.bsky.social · 26/02/2025
a screenshot of a submission to the new yorker cartoon caption contest. the cartoon depicts three people standing in the two-dimensional floorplan of an apartment. one of the people is speaking to the other two. the caption reads:

my favorite thing about this one is that it's built to the same floorplan as the apartment of the first girl who broke my heart. I cannot see it as a place. it is the reflection of a faded memory. a concept. a wound. so you get tons of natural light
333452
Reposted by @prozacchiwawa.bsky.social
Deno @deno.land · 06/03/2025
Big shoutout to @nodejs.org for adding TypeScript 🎉 But how is it different than Deno's "first class" TypeScript support? Here's an overview of what you can (and can't) do with TypeScript in Node and Deno. deno.com/blog/typescr...
deno.com
Node just added TypeScript support. What does that mean for Deno?
Node's experimental TypeScript support will be stabilized in 23.6. Here's what Node's TypeScript integration looks like and how it compares to Deno.
3745
Reposted by @prozacchiwawa.bsky.social
DEEP_DAB @dirtyclinch.bsky.social · 05/03/2025
YES SIR!!!
5289942805
Reposted by @prozacchiwawa.bsky.social
Max Nichols @maxnichols.bsky.social · 04/03/2025
I'm not sure which of you need to hear this, but: If you push yourself to your limits and burn out for a company, you are trading years of your future productivity for minor gains in the present. Burning out will _fuck you up_, it's like brain fog or depression, and it takes years to recover
13069372028
Reposted by @prozacchiwawa.bsky.social
Senator Ron Wyden @wyden.senate.gov · 04/03/2025
Reminder that instead of attending Donald Trump's first address to Congress tonight I'll be hosting an open-to-all town hall on Facebook live at 6 PM PT. You don't need a Facebook account – or to be an Oregonian – to tune in. Look forward to seeing you all soon.
facebook.com
Oregon Statewide Town Hall with Senator Wyden
Event by People's Town Hall and Senator Ron Wyden on Tuesday, March 4 2025 with 2.5K people interested and 1.7K people going. 51 posts in the discussion.
31185001522
Reposted by @prozacchiwawa.bsky.social
Robin @ 8-Bit Show And Tell @8bitshowandtell.bsky.social · 04/03/2025
New video about 6510/VIC-II timing, $D020, and C64 stuff like that. youtu.be/-f8CsHj8z4U
youtu.be
One Giant Pixel? Exploring $D020 and VIC-II/6510 Timing
YouTube video by 8-Bit Show And Tell
1249
Reposted by @prozacchiwawa.bsky.social
President Barbie @presidentbarbie.bsky.social · 03/03/2025
The Army deleted my “Why I served” video where I talked about how I decided I wanted to attend West Point/join the Army after one of the cadets my family used to sponsor died in combat. Probably deleted because she was the first black woman to be CSM at West Point.
16479552066
Reposted by @prozacchiwawa.bsky.social
Alan Cunningham @cadetcunningham.bsky.social · 04/03/2025
After Brown v. Board it’ll be Virginia v. Loving; mark my words
241
Reposted by @prozacchiwawa.bsky.social
Patrick Johanneson 🚀👻 🇨🇦 @patrickjohanneson.com · 03/03/2025
@missingthept.bsky.social put it best, I think
The Washington Post's new slogan: Hello Darkness My Old Friend
0334
Reposted by @prozacchiwawa.bsky.social
caitlin rose boyle @caitlinroseboyle.com · 23/10/2024
I’m looking for work! 👁️👁️ I’m looking for storyboarding or revisionist positions, but I’m also open to work in games! I’m available immediately - I’m fast, funny, and friendly, & I’d love to work with you! Help me feed my cats, they won’t stop screaming!
A little cartoon drawing of me saying “Caitlin Rose Boyle is looking for work! Storyboards and revisions! Six+ years of experience at Nickelodeon, Netflix, and DTVA, with freelance for Titmouse, Cartoon Network, and Pixar.” My cats are drawn off to the side screaming “We’re so HUNGRY!”
11234514