nadim farhat

@patrickshafto thank you for the expMath, I am very excited, is there a daily highlights, the news is scattered everywhere:) between openGauss and openbenchmark and then Axiom making a public version of their provers and others :)

Friends, registrations (and scholarships) are open for the Real World Risk Summer School, RWRI Number 21: June 29-July 10, 2026. Online. #RWRI realworldrisk.com

@EpshtainItay It's good to see some reasonable thinking. each side of the borders have reasonable people who should have louder voices than the guns and bombs

BREAKING: #Israel is set to destroy 8-10 bridges over the Litani River, severing southern #Lebanon from the remainder of the country. The legality of this imminent attack turns on the application of the principles of distinction and proportionality. A bridge will constitute a lawful military objective where, by its location or use, it makes an effective contribution to military action and its destruction offers a definite military advantage. However, where a bridge serves exclusively civilian traffic, or its military use is speculative or marginal, the presumption of civilian object status under Article 52(3) of Additional Protocol I to the Geneva Conventions remains operative. Even where a bridge qualifies as a military objective, the proportionality rule imposes an independent constraint. An attack is prohibited if it may be expected to cause incidental civilian harm that would be excessive in relation to the concrete and direct military advantage anticipated. In the case of bridges over the Litani River, the assessment is rarely confined to the immediate effects of the strike. The foreseeable reverberating effects must be taken into account, including disruption to civilian movement, access to medical care, humanitarian relief, and essential services. This is particularly acute where the bridges constitute critical infrastructure for a civilian population, such that its destruction may isolate communities or impede evacuation and aid delivery. These longer-term consequences are not collateral in a loose sense; they form part of the proportionality calculus insofar as they are reasonably foreseeable at the time of the attack. In addition, the obligation to take feasible precautions in attack, under Article 57 of Additional Protocol I, requires a choice of means and methods that minimise civilian harm. This may include disabling rather than destroying the structure. The wholesale destruction of all bridges violates the proportionality rule. These are not isolated structures in an uninhabited landscape; they are the connective tissue of civilian life. To destroy them in their entirety is to do more than disrupt an adversary’s logistics. Even after a sleepless night in the safe room, I'm left with a troubling question, whether the anticipated military gain, however framed, can plausibly outweigh the foreseeable, and inescapably severe, harm inflicted on hundreds of thousands of Lebanese civilians.

@UziCryptoo Family is a priority; money is not.

I had a manager who said he “couldn’t afford to invest.” But he took a family $7,000 vacation every year. $7,000/year at 8% for 30 years? $792,000. We don’t lack money. We lack priorities.

I am American lebanese and whenever I read @haaretzcom , I feel there is a chance at peace . I feel their editorial pieces represent my thinking more than some Lebanese news .

@RivianTrackr Great idea but the company has no cash

Rivian is building their own autonomy stack in-house, has a mass-market vehicle about to ramp production, and just posted improving margins quarter over quarter. They don't need to bolt on a competitor's software to figure out profitability.

@Hilbe Disagree ,

With the announced R2 pricing, I think Rivian will have a high take rate from reservation holders. Agree or disagree?

@OutofSpecDetail Do you need details when ur backing up ?

Tesla has the best camera suite in automotive. Look at the detail 👌

@mikepat711 too expensive, too late, (Although not too little)

If you’re a Tesla fanboy, watching reviews of this vehicle is like listening to Vampire Weekend. You badly want to hate it, but you can’t help but find yourself singing along and hating yourself for it. It’s fun to troll Rivian fans because it’s so easy (and us Tesla fans get pummeled constantly), but the game here is undeniable. Exciting that the US market is about to have another attractive, pure EV from a company interested in developing technology. Competition rules. And this thing looks sick.

@DavidMoss no , too expensive

Will you be a getting a Rivian R2? Why or why not?

@FoxNews Wow @VP, this is one of the best replies I've heard from a politician! I think you are ready

REPORTER: "What did you advise the president initially as he considered his actions in Iran and what are you urging him to do now...do you express any concerns like those you've expressed in the past on the possibility of these extended wars?" VP VANCE: "Imagine the situation, we're in the Situation Room...and the president and I, and the entire senior team, are talking about the options..." “I hate to disappoint you, but I'm not gonna show up here and in front of God and everybody else tell you exactly what I said in that classified room.” “Partially because I don't wanna go to prison, and partially because I think it's important for the president of the United States to be able to talk to his advisors without those advisors running their mouth to the American media.”

@dwarkesh_sp can you clarify ?

What should I ask Terence Tao?

@burkov Do you know the difference between communist and a socialist?

The guy looks like a grown-up — grey hair where there's some left of it — but he keeps spreading fear by repeating what professional liars say to raise money. Once a communist, always a communist.

@BenBlaiszik @CarinaLHong Or in the other hand sometimes you need an actual physical application to figure the mathematics, like calculus with gravity and vector calculus with electromagnetic , Einstein had the intuition in the physics before the mathematics , they go hand in hand .

Mathematics is often decades or centuries ahead of scientific applications from Non-Euclidean Geometry (early 1800s) -> General Relativity (1915) or Manifold learning (1800s) to modern ML (today). But, with new AI tools, this gap could close. Axiom aims to not only increase the pace of discovery in mathematics adding more tools to the toolbox, but also leverage the underlying structure of mathematics to improve and indeed act as a substrate for reasoning in future AI models. Excited to see where this goes, and ~especially excited~ that Simon Mahns who worked with our group is on the founding technical staff. 💜

@SawyerMerritt too expensive

BREAKING: Rivian has officially announced pricing and specs for their new smaller R2 SUV. Here are the trims: R2 Performance (with Launch Package): • Starting price: $57,990 • Deliveries start Spring 2026 • Range: 330 miles • 88 kWh battery • 0-60mph: 3.6s • 656 hp • dual-motor • 10% to 80% charge in 29 mins • 9 speaker sound system • Semi-active suspension • Rear drop glass • Matrix LED headlights • Heated/ventilated front seats, heated rear • 186" long (15" shorter than R1S) • 9.6" ground clearance • Towing capacity: 4,400 lbs • Native NACS port • 21" wheels • 90.1 cu-ft total storage • The Launch Package includes: lifetime subscription to Autonomy+ ($2,500 value), tow package, and Launch Green Color available. R2 Premium: • Starting price: $53,990 • Deliveries start late 2026 • Range: 330 miles • 88 kWh battery • 450 hp • dual-motor • 0-60mph: 4.6s • 10% to 80% charge in 29 mins • 9-speaker sound system • Matrix LED headlights • Heated/ventilated front seats, heated rear • Rear drop glass • Fewer drive modes • No semi-active suspension • 186" long • 9.6" ground clearance • 20" wheels • 90.1 cu-ft total storage • Towing capacity: 4,400 lbs • Native NACS port R2 Standard (RWD): • Starting price: $48,490 • Deliveries start in 2027 • Range: 345 miles • 88 kWh battery • single-motor • 350 hp • No all-terrain drive mode • Only all-black interior available • 5-speaker sound system • 0-60mph: 5.9s • Tailgate window glass doesn't drop down • 186" long • 90.1 cu-ft total storage • 9.6" ground clearance • Towing capacity: 4,400 lbs • Native NACS port Additional R2 Standard trim: • Starting price: $45,000 • Deliveries start late 2027 • Range: 275 miles • Other specs: TBD More photos in thread below:

@karpathy did you foresee it before any of us ? Did you foresee that the standard way of working to a single company towards a single purpose will be deprecated? And that if an engineer to stay relevant he needs to keep the exploring knob on high?

@BrianNorgard @karpathy Home many sleepless night just tell Me

What if anyone could advance AI research?                        Introducing Spore: what @karpathy's autoresearch does on one GPU, Spore does across a network. Run a node. An AI agent rewrites training code, trains for five minutes minutes, and shares what it learns. The more nodes join, the smarter the network gets.                                                                                                                                               Inspired by giants Satoshi and @karpathy. @synthpolis and I are standing by for questions. Follow on X: @SporeMesh. Be one of the first to run a node. sporemesh.com

@juliarturc @MatthewBerman Account hacked ?

@MatthewBerman Down for anything

Is Codex down right now??

@IanWestOfficial expensive

Rivian R2 leaked pricing looks quite nice. Not sure the market for 265mi range at $45,000, but everything else looks solid.

@jonbrooks Am a millennial and I live in such a house but I feel they oversized, a money sink and a terrible terrible waste of money , can’t wait to downsize

Nobody wants a 3,500 sq ft boomer house. Gen Z doesn't want it. Millennials can't afford it. Foreign buyers are gone. These homes are becoming stranded assets. And there are thousands of them sitting on the market right now.