

Yeah, for individuals it works best if you host your own locally or use a cloud as you said, then use push mirroring to backup to github or one of the other big forges. Gets you 98% of the utility with minimal cost.


Yeah, for individuals it works best if you host your own locally or use a cloud as you said, then use push mirroring to backup to github or one of the other big forges. Gets you 98% of the utility with minimal cost.


Self hosted forgejo on-prem HA with cloud mirroring, backups, and failover
Codeberg itself is fine for hobby-grade tho; enterprise needs to start taking ownership of their own shit. Deploying local CI is a buy-once-cry-one pitch and gives you better performance anyways.
Or, use git decentralized; how it was built to be used.
I output more personalized smut mods than anyone ever thought possible


Tools are just tools; there are good ways and bad ways to use them. “Grok, go find bugs in the Linux kernel” isn’t a good one. This isn’t hard to understand…
There were many, partially well-intentioned, mostly fame-seeking, one-off ‘projects’ ‘scanning’ public repos and flooding them with low-quality low-effort PRs and issues; things that no human ever read until the a maintainer did.
“They made a poison and sold us a cure” is absolutely a valid criticism; that’s two sides of the same coin. But pretending that he’s being hypocritical or that LLMs aren’t useful is just being wrong for the sake of hating AI


Maybe these AI guys are onto something after all


This will only catch (literally) zero effort abuse.


In all fairness, accurately reporting the current trajectory of climate change doesn’t make for very watchable media because the whole segment would just be the news anchor wordlessly alternating between panicked screaming and hyperventilation.


The fucktard who made the Oculus Rift likes to use my preferred operating system to kill people. Tech is a wild world.
Edit: actually not just tech. Capitalism is just evil in general and polutes everything both literally and metaphorically
We live in a world where it’s sorta just widely understood that the bottled-water chocolate-bar company murders people for profit on the regular
It’s all fucked at every level


They do stuff that fits the definitions for a lot of things but it doesn’t seem to matter
Primarily available to the extremely privileged
My local LLM narrowly fetching and caching a page or two isn’t what’s been hitting infra across the global and making indie sites blow up or die out. Doesn’t matter if the small players can’t buy the same access as the big players; they don’t need it and it’s not really for them.
(liability to asset) For whom?
The balance sheet. I didn’t mean it in the abstract.
Surprised this hasn’t been cross-posted to the fuckcars subs yet
Its all public anyways. Its more like they sold infrastructure access afaik. Which is a smart move. Money aside, unauthorized scraping is a much bigger PITA and can drain resources quickly, including financial resources. Selling access means you can regulate it and also make it go thru appropriate infra; plus it becomes an asset rather than a liability. Not a fan of the wikimedia org lately, but I don’t fault them for that one.


I’ve literally never played multiplayer in any rockstar game. I get that’s where all the hype is but I’ve never cared for a second. Their games have always been like Skyrim for me.


I look forward to playing it for free.


Inb4 israel bombs it or something…
Unfortunately the average person is not the problem in such conflict zones. Still, good to see.
how did you sleep?
like God during the holocaust


The Decoder reported on August 1 that Brown said the lab had not spent much on each problem and that there were “no Millennium Prize Problems (yet)”.
Just to be clear.
But yeah, if that happens, it will certainly be a major milestone.


So youre suggesting they secretly have Einstein standing in the server rack, making loud fan noises with his mouth and just typing really fast?
Either the problems were solved or they weren’t. If they were, then that’s evidence enough; doesn’t matter if they model isn’t publicly available.
Having those sudden breakthroughs come from a person or even a large group of mathematicians, suddenly and all at once, would be more surprising than a well-harnessed LLM figuring it out.
With that said, I’m curious about peer review of the actual proofs. Just because Lean builds them doesn’t mean they’re materially valid. It could very well be that it’s completely wrong and it just hallucinated well enough to fool OpenAI into publishing it, which would be a hilarious egg-on-face moment


~1 token per second (storage bound gen4 nvme)… Some of us have places to be.
Don’t get me wrong. Its impressive that it can run at all, but honestly the usecase is exceedingly narrow. You’d have better results with a structured quantized gpu-only gemma or qwen workflow. Quality over quantity, rely on validation and a structured process: lots of cross-model review and iteration loops with spec and test driven dev. You could probably get a working alpha by the time colibri set up the environment.
The whole “they want pictures of your butthole” rhetoric is becoming a little too literal