RT @BrianCAlbrecht: The Google Search remedies decision just dropped. The court rejected breakups, payment bans, and choice screens. But….

RT @LundukeJournal: The remedy ruling in USA v. Google has been published as of moments ago. Judge Mehta has ruled that the two most talke….

Join millions who have switched to Grok.

RT @pvldb: Vol:18 No:12 → Still Asking: How Good Are Query Optimizers, Really?

RT @algebraic_dev: Imagine using LEAN to build and optimize your Factorio factories. Konstantin Weitz just did it and posted it on the Lean….

RT @FPTalksAnnounce: Next FPTalks: Thu Aug 7 @ 9AM PT. Detecting and diagnosing FP exceptions in GPUs and CPUs.Baranowski & Gopalakrishnan….

RT @samth: Over the 10 days, I wrote a new Racket library for "expect testing", a style that @yminsky has advocated for in OCaml. https://t….

Today's the last day to register for FPTalks 2025:. Come for amazing numerics talks across hardware, software, and applications. Workshop is tomorrow over Zoom.

I use LLMs a lot, but I think the killer app is learning stuff fast. I am hoping LLMs make it possible to do much more creative research as a result.

RT @RanjitJhala: @pavpanchekha Yay finally arrived (!) Much excite !!!

Hi all! FPTalks @FPTalksAnnounce, our free annual workshop on floating-point and numerics, is in a week, on Thursday morning PDT. There's still time to register:.

RT @geoffreylitt: # better diff views for AI agents. 1 to the quoted post. To work well with AI agents, we need better diff views! your ab….

RT @FPTalksAnnounce: 🚨 FPTalks 2025 is coming July 10 🚨. Join online for the latest in floating-point and numerical computing from.speaker….

Incredibly exciting to write a microarchitecture simulator and have it match cycle counts on the actual machine, even under load.

RT @aarondfrancis: I think the appetite for software is nearly infinite. I've been using AI extensively to write code and yet the number….

RT @FPTalksAnnounce: 📢 Exciting FPTalks coming up!. 🗓️ Join us May 1st at 9:00am PT for David K. Zhang 's talk on Fast Branch-Free Algorith….

Especially impressive now that Ladybird is far from a one-man show. Establishing a a style is important, and @awesomekling obviously nailed it, but it's even more impressive to maintain a culture of clean code.

Every time I read the Ladybird codebase I am impressed by how clean it is. Great names, very well organized, the code is pretty much what I would write, if I knew what they knew. Super impressive.

Update: I used up my rate limit in a day. It was worth it!.

ChatGPT O3 one-shots or few-shots hard assignments for upper-level CS classes. Compilers, web browsers, these are custom assignments, I've tested and don't think it's recall. The solutions are what I expect. It is like a very strong undergrad.

RT @rickasaurus: the government just disappeared a computer science professor, I don't know much more than anyone else, but at face value t….