Richard Laughlin
@richardwlaughlin.com
Software Engineer & Researcher. Interested in automated translation of C/C++ to Rust, and taking Clang-based static analysis to a global scale 🌳✨
https://github.com/rcythr
https://github.com/rcythr
Pinned
Richard Laughlin
@richardwlaughlin.com
· Sep 13
Look Rust is great, but if they're going to accuse you of using an esoteric language anyway then you should claim as much territory as possible and write everything in LEAN.
Reposted by Richard Laughlin
As of this morning, Starbucks workers across the country are officially ON STRIKE. And we're prepared for this to become the biggest and longest ULP strike in Starbucks history.
Say #NoContractNoCoffee with us: DON'T BUY STARBUCKS for the duration of our open-ended ULP strike! $SBUX
Say #NoContractNoCoffee with us: DON'T BUY STARBUCKS for the duration of our open-ended ULP strike! $SBUX
November 13, 2025 at 11:33 AM
As of this morning, Starbucks workers across the country are officially ON STRIKE. And we're prepared for this to become the biggest and longest ULP strike in Starbucks history.
Say #NoContractNoCoffee with us: DON'T BUY STARBUCKS for the duration of our open-ended ULP strike! $SBUX
Say #NoContractNoCoffee with us: DON'T BUY STARBUCKS for the duration of our open-ended ULP strike! $SBUX
I can't wait to see what @edzitron.com thinks of anthropic publishing a paper that demonstrates coding LLMs (their main claim to fame) are a security nightmare.
www.anthropic.com/research/sma...
www.anthropic.com/research/sma...
A small number of samples can poison LLMs of any size
Anthropic research on data-poisoning attacks in large language models
www.anthropic.com
October 9, 2025 at 11:25 PM
I can't wait to see what @edzitron.com thinks of anthropic publishing a paper that demonstrates coding LLMs (their main claim to fame) are a security nightmare.
www.anthropic.com/research/sma...
www.anthropic.com/research/sma...
Look Rust is great, but if they're going to accuse you of using an esoteric language anyway then you should claim as much territory as possible and write everything in LEAN.
September 13, 2025 at 8:05 PM
Look Rust is great, but if they're going to accuse you of using an esoteric language anyway then you should claim as much territory as possible and write everything in LEAN.
It's interesting to see the ways 4o and o1 fail to implement a top down datalog in rust.
4o is totally broken. o1 seems far more plausible, but still not quite right.
Sadly I think it'll be faster to just start from scratch.
4o is totally broken. o1 seems far more plausible, but still not quite right.
Sadly I think it'll be faster to just start from scratch.
December 11, 2024 at 3:51 AM
It's interesting to see the ways 4o and o1 fail to implement a top down datalog in rust.
4o is totally broken. o1 seems far more plausible, but still not quite right.
Sadly I think it'll be faster to just start from scratch.
4o is totally broken. o1 seems far more plausible, but still not quite right.
Sadly I think it'll be faster to just start from scratch.
I feel like no matter where I go all the roads somehow lead me back to datalog 😅
December 10, 2024 at 5:01 PM
I feel like no matter where I go all the roads somehow lead me back to datalog 😅
Reposted by Richard Laughlin
Leetcode but for problems like "fix all of the typos in the CSV" or "scrape a website"
December 4, 2024 at 8:34 PM
Leetcode but for problems like "fix all of the typos in the CSV" or "scrape a website"
Reposted by Richard Laughlin
feels like a good time to remind everyone that the best and healthiest thing we could do for the internet is get as many people as possible hosting/running their own websites, even if they're simple and/or subdomains of a free service like neocities
in elon musks goal of making “x, the everything app” he is ruining what makes the internet great. an actual web of different pages, resources, customized personal spaces, and freedom. he is attempting to streamline that away in favor of having all content be native to x, which is disasterous
December 4, 2024 at 12:33 AM
feels like a good time to remind everyone that the best and healthiest thing we could do for the internet is get as many people as possible hosting/running their own websites, even if they're simple and/or subdomains of a free service like neocities
Reposted by Richard Laughlin
Newsletter: We're at peak AI - generative AI models have hit the wall where they won’t improve much further thanks to a lack of training data, killer apps or any kind of sustainable business model.
The results of a collapse could be catastrophic.
wheresyoured.at/godot-isnt-making-it
The results of a collapse could be catastrophic.
wheresyoured.at/godot-isnt-making-it
Godot Isn't Making it
Before we get going — please enjoy my speech from Web Summit, Why Are All Tech Products Now Shit? I didn’t write the title.
What if what we're seeing today isn't a glimpse of the future, but the new ...
wheresyoured.at
December 3, 2024 at 9:02 PM
Newsletter: We're at peak AI - generative AI models have hit the wall where they won’t improve much further thanks to a lack of training data, killer apps or any kind of sustainable business model.
The results of a collapse could be catastrophic.
wheresyoured.at/godot-isnt-making-it
The results of a collapse could be catastrophic.
wheresyoured.at/godot-isnt-making-it
Reposted by Richard Laughlin
const moose
December 1, 2024 at 8:35 PM
const moose
Reposted by Richard Laughlin
TIL "object safety" has been renamed "dyn compatibility"? This is so much better, good move on the Rust lang team imho
https://doc.rust-lang.org/nightly/reference/items/traits.html#dyn-compatibility
https://doc.rust-lang.org/nightly/reference/items/traits.html#dyn-compatibility
November 29, 2024 at 9:25 AM
TIL "object safety" has been renamed "dyn compatibility"? This is so much better, good move on the Rust lang team imho
https://doc.rust-lang.org/nightly/reference/items/traits.html#dyn-compatibility
https://doc.rust-lang.org/nightly/reference/items/traits.html#dyn-compatibility