ocschwar🇮🇱🇺🇲🇺🇦🦞 🇵🇸

@RadioFreeTom Not building ships has turned out to be a master stroke of Ukrainian naval strategy.

I was not a professor of war, I was a professor of national security studies at a war college, and the last ship I hoped didn't get built was the LCS, a mistake so costly that we turned it into a war college case study.

@pitsch @effectfully There are papers on exactly this showing up in Arxiv

you might care more for identity politics and entitlement, but.... Billions funneled into LLM scaling (Anthropic/OpenAI style) chase emergent general intelligence via brute compute — speculative, energy-profligate, safety as retrofit. The sharper play: automate formal verification + design languages with provability baked in. Vibe coding (Karpathy, Feb 2025): prompt → LLM spits codebase → iterate on failures. Fast, accessible, brittle as wet paper. Hallucinations + no deep review = security voids waiting to detonate. Auto-FV fixes the foundation: prove properties (no fund loss, no deadlock) hold. Manual FV stays elite and glacial; automation via LLMs + RL + verifiers (Lean/Coq/Dafny/Verus) already hits 65–96% on benchmarks in 2025–2026. Mainstream plausible by 2027. China leads applied effort — FICTION @ Zhejiang, SJTU verification lab, Move lang, quantum FV, state-backed Coq tooling for ZK/Web3 — centralized, strategic, ahead on safety-critical domains. ROI comparison stark: scaling LLMs → crowded diminishing returns, AGI mirage. FV automation → verifiable vibe coding at scale, bug annihilation in cars/finance/blockchain, defensible infrastructure moat. With billions, bet on the plumbing that makes AI-generated software not explode. Infrastructure wins revolutions; hype just sells tickets. Stop whining. Get going.

Responses were - People who understand the job: "Will they even fill this position?" - Americans: "I earned more selling lemonade as a kid in the ghetto." - Europeans: "You moron, my entire city has a GDP lower than that." - Third‑worlders: "You realize it's per _month_, right??"

@MichalSturc @effectfully Anywhere in the US and Canada.

@ocschwar @effectfully Where?

@MichalSturc @effectfully Don't get me wrong, I'd be happier with this job than with twice the salary in the US. But this skill set gets you 6-10 times the salary.

@effectfully - People who are not morons (you are sadly not one of them): "PPP and availability of public services is a thing".

@TShapedEngineer @effectfully Honestly, yes. For this salary, they could find someone with your level of experience with formal verification tools and have him learn on the job.

@effectfully I've translated a bit of Haskell example code to Scala (it was just for illustrative purposes) and I listen to The Clash. Am I qualified?

@samdotb @effectfully With the skillset in this listing, they can make 6 to 10 times as much in the US.

@effectfully €5k puts you in the top 10% of any country in europe, with healthcare and pension already paid, and 25 days of vacation also paid. You can be paid twice in the us and still end up with less money, its been proven countless times

The EU is not a real place.

@AM01853520 @effectfully That skillset lands you 6 times that salary in the US. That is more than enough to make up for the quality of life challenges that living in the US imposes. A few years of this stateside and you can retire to the EU and never have to work at all.

@effectfully Am I too European to understand what’s wrong with this XD

That painful moment that arrives for many Iranians has now arrived for me: I now personally know of someone who was killed in the protests in Iran this week

@Anonym945140551 @SwordOfSalomon @Bob_Hasbara Bien sûr. Lorsqu'un médecin musulman menace de nuire à des patients juifs, ce n'est pas une menace, car la vie des Juifs n'a aucune importance. Vous êtes transparent.

@ocschwar @SwordOfSalomon @Bob_Hasbara La menace c’est le lobby juif sur nos enfants non-juif !

🚨🩻🇧🇪 SIGNALEMENT : Le Dr. Qasim Arkawazy, radiologue d’origine irakienne 🇮🇶 exerçant à l’hôpital AZ Zeno dans la station balnéaire de Knokke-Heist, relaie des dizaines de contenus antisémites, islamistes chiites et antisionistes. 📌 Parmi ces publications : un montage ignoble présentant des juifs orthodoxes comme des vampires prêts à dévorer un bébé endormi 🩸, ainsi que plusieurs caricatures de propagande antisémite. ⚠️ Nous demandons à M. Patrice Buyck (directeur général) et M. Lieven Vandenberghe (président du CA) d’agir immédiatement et de procéder au licenciement de ce médecin dangereux. Un praticien qui diffuse ouvertement une telle haine antisémite et islamiste constitue une menace directe non seulement pour ses patients juifs, mais également pour les patients musulmans sunnites. 🥼❌ @ordremedecins @ordederartsen : vous devez le radier et lui interdire d’exercer en Belgique. Il piétine le serment d’Hippocrate et ternit la confiance dans tout le corps médical. cc @policefederale @JanJambon @BernardQuintin_ @belgiumbe @Assita_Kanko @Bart_DeWever @FranckenTheo

@Anonym945140551 @SwordOfSalomon @Bob_Hasbara Son comportement ne représente donc une menace que pour les enfants juifs, et non pour les musulmans sunnites. Bon, c'est un soulagement. Il devrait retourner travailler immédiatement. /s

@SwordOfSalomon @Bob_Hasbara Je suis musulmane sunnite et en rien les publications que vous avez mis sont contre le sunnisme! De deux lâchez ce pauvre monsieur qui fait que dénoncer la vérité concernant les juifs et les sionistes merci bonsoir les petits victimisateurs

@Anonym945140551 @bulbizar75 @SwordOfSalomon @Bob_Hasbara Alors...

@bulbizar75 @SwordOfSalomon @Bob_Hasbara Je connais très très bien le judaisme plus que toi idiote et ça va me faire plaisir d’en parler en long et en large.

Bro, did you write this? We all saw you. You tried to shrink in your chair. You looked at Trump like he was some crazy ass pops who was embarrassing you on your first date. Don’t bullshit us. Grow a pair.

@super64 @edgarrmcgregor I was not aware that you should support the current president in order to ask for help as an American. Sounds pretty un-American to me.

@edgarrmcgregor Then don’t ask for federal assistance.

Trump won't visit Altadena because we hate his guts and voted 5-1 against him.

@CostasSam4321 @Jerry__Grey @edgarrmcgregor All three are absolutely terrible about flood mitigation. Because flood mitigation means less pavement, and that counts as a "war on cars."

Jesus Christ, EURO. This was literally the most expensive natural disaster in U.S. history, beating KATRINA. You have got to be kidding me.

@edgarrmcgregor What are we looking at? A steep gradient that's about to hover over Los Angeles?

@edgarrmcgregor That's quite the beard you grow when you can't keep up. Stay safe.

Trash pickup day 1,993. #EarthCleanUp Catacylsm in Altadena, CA. But we're still here.

@houlemelina13 @edgarrmcgregor Lady, the people who told you that climate change is a lie are themselves liars. Wolves in sheep's clothing. Beware them.

Oh my. I meant no disrespect. I had no idea . I do like your content . But climate change is a lie . You have been indoctrinated. But you have a very very serious and important purpose. God is moving in your life! Let him speak to you. Blessing my friend. I truly had no idea I was not trying to attack you . You have been through so much

@Boenau Not Boston. No easily defined congestion zone. And I think the people responsible in city hall have reached their limit for underserved vitriol.

Which US city do you hope implements congestion pricing next? Some notoriously congested cities are: Los Angeles Houston Chicago Boston Atlanta Miami Philly DC

@callie7ann @Aetna So, is here a customer service bot for @Aetna that comes offering to help? Or is that only a @Cigna thing?

@wtf_yyj @Boenau Lowering the posted limit is not enough. You have to narrow the lanes as well.

@Boenau Good, 5mph reductions in posted limits just piss everyone off with no benefits.

A city will not save lives because residents don't want to slow down. Here's the justification for killing the road diet: “If our residents overwhelmingly oppose it — no matter how great it is — then in my opinion, we yield.” 🤦‍♂️