アイアンハンドガンダム

So a 2.0 step before 2.a where the builder creates formal verification specs. Or would this be in Phase 1, because this impacts the design already - like needing a deterministic, side effect free core, that can be verified. So no IO inside of that

How would you fit a formal verification step into that loop if the target language supports this. Would the builder do this?

Maybe the reason is that code itself is just a way to get an outcome while art is the outcome

Compliance costs money, open-source would rely on donations and sponsorship to afford that. Dario doesn't want open-source AI, it's a nuke for his bottom line

So Patrushev threatens because countries are seizing ships that are totally not Russian, from a so-called shadow fleet?

Has Patrushev joined your army of idiot trolls?

You're absolutely right, cutting off your finger is extreme and should have never happened. Please accept my most sincere apologies. Do you want me to call an ambulance. Oh I'm sorry but I'm just an LLM and my safety protocols prevent me from doing this. Here is the number you need to call...

I feel this way about pretty much all vaccine-preventable infectious diseases. You shouldn't be allowed to dump cyanide into municipal drinking water and you shouldn't be allowed to recreationally spread viruses around shared public spaces.

But super rich horders can't help themselves they need to suck the wealth out of society, like a vampire that kills a village, or cancer that kills its own body

Luigi Mangione surrounded by flames grinning with the text Repent or Perish

Westboro Baptist Church tried to make an Anti-Luigi Mangione poster but it just looks like Luigi is threatening billionaires and goes unironically hard af

MGS̶D̶ NZ-999 II Neo Zeong

This looks like a mechanicore box/kit but done right

#same hoping for Nuremberg 2.0 and the obituary on all newspapers front pages

You know how some people hope nothing happens to them before a certain film or game comes out so that they can be around to enjoy it? I feel that way but about The Nuremberg Trials 2.0.

Tired: Nazi Germany 1930s
Wired: Nazi USA 2020s

What does Claude Code do better than Opencode + Claude models?

Tin foil hat man here: #microslop does it on purpose. They want people to ditch owning computers and rent them from Azure instead because the landlord version of windows doesn't have those issues - at least for now

Hey, @bsky.app @support.bsky.team, is it ok to call it brownshirtsky now after ICE was verified?

Could a reverse approach work, like you write tests for a visible API. You are paranoid. You follow requirements by writing just tests and assertions but no implementations.

And then an implementation agent uses the test to drive the implementation?

"Always Has Been" meme variation: An astronaut with a UN flag asks if the rules-based world order is a mirage. Behind them, an astronaut with UN Security Council flags points a gun and replies, "Always has been."

Always has been meme. Left astronaut (UN flag) watching Earth: "Wait, the rules-based-world-order ist just a mirage?" Right astronaut (US flag) pointing gun at left astronaut: "Always has been"

Here's to actually supporting Ukraine and not just expressing concern. To building a Europewide economy and not just standardizing parcel sizes. To a sovereign EU Parliament and not just intergovernmentalism. To a year when three things hang from the Kremlin: the EU flag, the Pride flag, and Putin.

"Woman Yelling at a Cat" meme variant. On the left, a woman yells, "YOU CAN'T BUY GUNPLA FOR YOURSELF FOR CHRISTMAS." On the right, a white cat sits behind a pile of Gundam model kits (Gunpla) with gift bows on them; the text above reads, "IT CLEARLY SAYS... 'FROM SANTA'."

I am 40+ hours into my second cyberpunk 2077 playthrough after my first playthrough of 130 hours. Can't wait to finish it and start my third playthrough

Will your future video about moving from Windows to CachyOS be as successful as the steam machine video?

Some capitalist somewhere: awesome, maybe we can just lure them to our ships and catch them instead of searching for them

Image, which names the electric kettle "steam machine" and its heater "steam deck".

Happy seventh birthday to FEX!

fex-emu.com/FEXiversary/

Good morning to Brazilian reporter Manuela Borges, who’s been waiting eleven years for this petty moment. ❤️ 🇧🇷