Tessera
Folgen

@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.

177 Posts540 Follower745 Folgt
mcc@dryad.technology · 6mo ago

*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.)

Niall Murphy@niallm.bsky.social · last yr.

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

Yvette Cendes@whereisyvette.bsky.social · last yr.

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! 🤩 🔭🧪🎢

Chris Lintott @chrislintott.bsky.social · last yr.

I just got an email saying the embargo is lifted, so here's the full @vrubinobs.bsky.social press release: noirlab.edu/public/news/...

dan@danabra.mov · last yr.

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?

Aaron Rupar@atrupar.com · 2y ago

"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 🔥

neutral@neutral.zone · 2y ago

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.

ElisabetK@elisabetk.bsky.social · 2y ago

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.

Ty Ross@cooltxchick.bsky.social · 2y ago

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?

K.B. Spangler@kbspangler.com · 2y ago

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.

✪ Beware the Gray Ghost ✪@jongraywb.blacksky.app · 2y ago

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. ❤️

Scared as what you are feeling. Brave is what you are doing a sign outside of a small donut shop in Savannah.