Sign in

prozacchiwawa.bsky.social

@prozacchiwawa.bsky.social
542 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
Justin Garrison @justingarrison.com · 07/10/2026
RIP
A silhouette of Margaret Hamilton
14714
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.
3228
Reposted by @prozacchiwawa.bsky.social
Shellraiser 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
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 14/03/2026
it seems like if one is used to one level of salt intake and then suddenly get more, it can cause muscle tightness and cramps due to an imbalance with potassium (i think it changes how one's nerves process signals temporarily).
110
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."
2144001649
Reposted by @prozacchiwawa.bsky.social
Todd Gill - Retro Frog @retrofrog.bsky.social · 14/11/2025
Oh my
Japanese people being silly.
781905613
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?
11282
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 🔥
9736361014387
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 💙
033841
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 02/04/2025
"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."
010
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 28/03/2025
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.
113810
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 @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
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 11/03/2025
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.
100
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 11/03/2025
read a few sections from the odyssey in high school but it was relatively brief (this would have been around 1990).
000
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
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 10/03/2025
X11 traditions die _hard_. it was common to configure everything with xfontsel strings well into the 2000s.
010
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 10/03/2025
back when this was getting written, everything was in pixels and even the worst scaling was expensive. Few displays had more than 256 colors so any kind of subpixel rendering wasn't feasible. Instead, X enabled you to specify your default font dpi (with standard ones being 75, 100 and 120).
100
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...
10672289
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
031
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
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 09/03/2025
the great "i like this kind but not as much" famine of 2025
120
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!
828224
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 09/03/2025
that generation gave us the war on drugs, which we're still doing and all the changes to the country that follow from "anyone could be possessing drugs and the most important thing is to stop them". boomer parents pushed us away from family formation and toward overeducation while defunding schools
010
prozacchiwawa.bsky.social @prozacchiwawa.bsky.social · 09/03/2025
maybe all the good ones. we're still in a world where saving money through corporate consolidation is always "good", where a business that works and is profitable is a shameful dinosaur and private equity target. where a house is more important for its financial performance than giving shelter.
110
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.
611220410