FeedCity

Theatre du Vaudeville #edouardcortes #cortes

Trump: We have a conflict with Iran and that's working out very, very well

Rosetta Stone Sapphire combines over 30 years of language-learning expertise with immersive technology designed to help you speak naturally and confidently in real-world situations. Trusted by millions of learners worldwide, Sapphire brings together structured lessons, pronunciation coaching, conversation practice, flashcards, and personalized learning tools in one complete platform. Built around Rosetta Stone’s proven Dynamic Immersion […]

Discovered: Aug 3, 2026 16:36 (UTC) Evgenia Karunus:: All Lean Books And Where To Find Them <–Super good list! Doesn’t have Kevin Hartnett’s ‘The Proof is in the Code’

Discovered: Aug 3, 2026 16:25 (UTC) LambdaClass:: Lean raises the bar: it converts logical errors into compilation errors. …. If It Compiles, It Is Correct: A Practical Introduction to Lean 4 for Engineers My only concern is that it is written in terrible and unsafe lang...

Discovered: Aug 3, 2026 16:04 (UTC) ME:: Surprisingly I loved a non fiction book! First one I’ve finished in at least 6 months! Maybe because I love the idea of software that is provable and always have since the 1980s and my painful forays into Lisp and Prolog at Waterloo ;...

I wonder how many people know they’ve committed to a 10 hour build when buying a $700 kitchenette

via b3ta #

Wall Street Journal: “Iranian Foreign Ministry spokesman Esmail Baghaei rejected Trump’s suggestion that talks were under way, noting that Iran hadn’t sent any delegations or negotiators to take part in any discussions. He said all of Iran’s negotiators were still in the country, with the exception of Foreign Minister Abbas Araghchi, who was visiting a […]

“An FBI counterintelligence agent has been charged with amassing about $1 million worth of cryptocurrency, largely by making unauthorized withdrawals from a criminal target overseas, according to court papers,” the New York Times reports.

Could anything save Republicans in the House? Plus, previewing tomorrow’s Michigan primary. And our midterms model is coming soon!

Hyundai is preparing to open orders for the IONIQ 3 throughout the second half of 2026. With mass production set to begin in Mid-August, Hyundai plans to sell over 40,000 next year.

New York City just had its safest first 7 months of a year in recorded history.

Major crime plunged 12.7% citywide in July.