I'll be recruiting PhD students this cycle! If you're interested in working on program synthesis, type systems, program analysis, and in general ways to make programming better, please reach out. Here some things we are working on: RTs appreciated 🙏.

RT @akatsarakis: LAW: no crash-tolerant [linearizable + async + local] reads can ever exist. Cheat: almost-local [safe, cheap, high xput]….

Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.

RT @AlexKontorovich: In 2035, we’ll view unformalized 2025 math, where we don’t even name our hypotheses, in the same way that in 2025 we v….

RT @antirez: The Ruby language design.

RT @fchollet: We were able to reproduce the strong findings of the HRM paper on ARC-AGI-1. Further, we ran a series of ablation experiment….

RT @SoosMate: This preprint is super-cool, it convinced me that Floating Point is really viable for model counting. Randal Bryant is amazin….

RT @hmemcpy: monads are only free if your time is worthless.

RT @MorningBrew: AOL says it will discontinue dial-up internet on September 30. May this sound echo in eternity:.

RT @miike: New Galois blog: “Specifications Don’t Exist”. If we want to formally verify more systems, we need formal specifications, but mo….

AI will kill software engineering jobs.Meanwhile software at the AI company:

RT @SimonShaoleiDu: Can transformers analyze code efficiently?.✅ Yes. We prove transformers efficiently handle real compiler tasks (AST con….

RT @seanhn: Me, when some joker says AI is a waste of time because we have traditional static analysis.

RT @justintchiu: Are code agents good at software design, ie building general and reusable code?.We present Librarian, a new refactoring me….

AI first languages will get more value by making testing a first class citizen not formal verification.

RT @TheKenWeb: Don’t talk R&D, please, we are Indian industry.

I have been coming around to this. Program synthesis for software is equivalent to a higher-level language compiler for programmers. The real unlock enables domain experts (like scientists) to use computation to model phenomena, speed up analysis, interoperability.

RT @ellisk_kellis: New paper: World models + Program synthesis by @topwasu.1. World modeling on-the-fly by synthesizing programs w/ 4000+ l….

RT @awsTO: Here's a paper describing quantum computing using standard programming constructs, w/o linear algebra! . Goal: demystify quantu….

RT @harnidhish: We’re not poor. We’re scared. @sohamsankaran's piece was a gut punch and a provocation. I wrote this response from the PO….

Visiting BLR next week. Let me know if you are around and want to meet.

Something's cooking 🧑‍🍳