@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.
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?
@da_667 me to my cat when it tries to sniff my food
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
@stacithekitten.bsky.social do iiiit
@ellyxir I'm absolutely basking in it's warmth like a fat lizard on a rock
Occult Enby that's making local-first software with peer to peer protocols, mesh networks, and the web.
Yap with me and send me cool links relating to my interests. 👍