Sabitlenmiş Tweet
isaiah
1.7K posts

isaiah
@99imrn
I'm him. I've been him. I'll continue to be him.
France Katılım Ağustos 2024
138 Takip Edilen271 Takipçiler

@ludwigABAP I’m halfway through it, I started in the plane and need to spare some time to finish it
English

as is probably known at this point, I loved Scott Aaronson's Why Every Philosopher should care about Computational Complexity Theory
If i had magic wand I would have these two exist also:
- Why Every Philosopher should care about Homotopy Type Theory
- Why Every Philosopher should care about about Sheaves and Categorical Optics
English

no no no wait wait wait
OpenAI Newsroom@OpenAINewsroom
We've reached an agreement to acquire Astral. After we close, OpenAI plans for @astral_sh to join our Codex team, with a continued focus on building great tools and advancing the shared mission of making developers more productive. openai.com/index/openai-t…
English

Italy being 40%+ lactose intolerant 🐮💩
Vintage Maps@vintagemapstore
Lactose intolerance in Europe.
English

@scheminglunatic incredible timing, I was told to look into formally proving some of the stuff in my work
English

😡utiliser lean4 alors que rocq existe:😡
😡c'est une trahison de la patrie. 😡
😡j'espère que vous allez perdre😡
😡tout l'oseille de la bpi.,..,,.,,,,,,,,😡
🫵🫵🫵🫵🫵🫵🫵🫵
🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷🇫🇷
🐓🐓🐓🐓🐓🐓🐓🐓
Mistral AI for Developers@MistralDevs
🧮 Today, we release Leanstral - the first open-source code agent for Lean 4, an efficient proof assistant capable of expressing complex mathematical objects and software specifications.
Français

@blelbach @dss_gabriel @NVIDIAGTC There is a project goal for (llvm based) GPU offload in Rust.
From what I remember reading: the idea is to have an unsafe "mapping" function which makes the link between array and exact elements.
the kernel is then called with array, and expressed with individual elements
English

@dss_gabriel @NVIDIAGTC What if you had a GPU kernel programming model that was memory safe by construction?
Perhaps some sort of array-oriented model where you don't explicitly program threads or do inter-thread communication.
English

What three languages are joining cuTile Python?
Find out Monday at 4PM at @NVIDIAGTC 2026.
nvidia.com/gtc/session-ca…

English

I personally caused this outcome in my past life; and yet have even a single one of you said "thank you"?

Crémieux@cremieuxrecueil
Europe had a Dark Age, and it was incredibly dark.
English
















