@lipsum.dev on Bluesky

JavaScript RequiredThis is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is. Learn more about Bluesky at bsky.social and atproto.com.

Post

Thomas🪴

lipsum.dev

did:plc:denld7ao24tcahogbclo3if3

BTW, cela ne semble pas dater d'hier les références (négatives) à Rocq de la part des gens de Lean : > This was in particular in formed by periodic news of unsoundnesses in Rocq due to complications of the many interacting features in the kernel. arxiv.org/abs/2403.14064 https://arxiv.org/abs/2403.14064

2026-04-14T05:17:40.784Z