Show newer

@feliks It's neat that math is a domain where you can fact check things automatically without needing to have "out of system" knowledge. I've been looking at software for math proofs and it looks pretty straightforward. Unexpected that language models are that good at using provers already.

Imagining if we set aside .1% of all the money being spent to make AIs that write bad software to compensate all the open-source developers who write good software

"Please sir, can you spare some thousands of chat rooms across 7 platforms?" 🥺👉👈

Show thread

My matrix server is down and so are its bridges. Now I have to access my chats app by app like some sort of peasant. 😿

I’m curious about the ground reality here.
How much person-to-person recruiting to Mastodon is actually happening?
No judgment in this — I’m just trying to understand the landscape a bit better. Boosts help widen the sample. Ran out of room for more options... Perhaps one option should be for anyone who encourages folks to leave this space, not just to join it (in pursuit of the small is beautiful concept, perhaps). #BuildTheFediverse

Question: How many people have you brought into Mastodon?

@DiverDoc @Nerdfest some folks feel pain in their joints during strong pressure fluctuations. 🥲 Among other symptoms. If you get random pains try correlating them. I hope you never do though!

I see google’s new agentic AI coding platform is going well.

Woof. That baromatric pressure drop has some kick to it.

Same thing with LLMs. This is just the information equivalent of leaded gasoline. You can get ahead locally by generating some plausible bullshit that convinces someone to send funds your way, and then when the truth slaps down the ideas, someone else faces the consequences.

The solution is to end bosses and hierarchy and make decision making and benefits and consequences matter

I honestly thing I could handle glimpses at cosmic horrors without going more mad.

@ellyxir I'm absolutely basking in it's warmth like a fat lizard on a rock

Re purple'd my hair. Also tried to do a green streak, but probs gotta redo it

I haven't been doing random tinkering as much since moving in with my partners and on one hand I'm less "productive" but on the other hand I'm not sitting alone in the dark in front of the computer all day/night.

For everyone who asked, here’s the full section from the syllabus.

Show thread
Show older
Mauvestodon

Escape ship from centralized social media run by Mauve.