Pierre-Loïc Garoche
@yeploc
Followers
142
Following
1K
Media
92
Statuses
937
Researcher interested in formal verification of numerical intensive (control) software : aircraft controllers, AOCS, trajectory planning, HPC, ... Compte perso
Btw Toulouse and Mountain View
Joined December 2011
RT @rohanpaul_ai: It’s a hefty 206-page research paper, and the findings are concerning. "LLM users consistently underperformed at neural,….
0
3K
0
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
511
970
4K
RT @evamirandag: I found her—right here in Stegemühlenweg! After weeks of searching, Emmy Noether’s plaque was just around the corner from….
0
119
0
RT @DiracGhost: I found ya, on the Internet Archive, another great little book (155 pages) by Kolmogorov and Fomin under the title '' Measu….
0
55
0
RT @fermatslibrary: Computer scientist Edsger Dijkstra on the frustration of debugging a program you wrote yourself
0
360
0
RT @greenTetra_: This is an optical illusion caused by the map projection you're using. On a globe, this is actually a straight line.
0
207
0
RT @textfiles: A small amount of the folks at @internetarchive thank you for standing with us.
0
275
0
RT @internetarchive: Update: is back online in a provisional, read-only manner. Learn more in our latest post: http….
0
3K
0
RT @larsblackmore: We hit the target! A huge amount of progress required to make this happen.
0
174
0
RT @brewster_kahle: Wayback Machine running strong (yippie!). Still working to bring items & other services online….
0
1K
0
RT @juicyMcJay: I know the booster landing was the main event. But massive shout to the heatshield team! 🥹❤️.When they asked us to swap the….
0
1K
0
RT @adigunturu: What if you could make physics diagrams come alive? At #UIST2024, we will be presenting our paper, Augmented Physics, an ML….
0
1K
0
