Sign in

Richard Laughlin

@richardwlaughlin.com
88 followers 134 following 246 posts

Software Engineer & Researcher. Interested in automated translation of C/C++ to Rust, and taking Clang-based static analysis to a global scale 🌳✨ github.com/rcythr

PostsRepliesMedia
Reposted by Richard Laughlin
SE Gyges @segyges.bsky.social · 13/06/2026
shamelessly stolen
554365
Richard Laughlin @richardwlaughlin.com · 29/05/2026
The economy is doing great, you're just pessimistic about it because you haven't seen my beautiful numbers. Look with your special eyes at my beautiful charts. See? It's a vibecession. Now we can go back to sleep. No need for fundamental reforms at all, everything is on track.
100
Reposted by Richard Laughlin
Nick Rheinwald-Jones @spybrunch.com · 17/05/2026
(rolls up sleeves) all right. Let’s get started
1457852
Richard Laughlin @richardwlaughlin.com · 09/05/2026
Now that we're on a daily release cadence, I'm really excited to see which Linux kernel extension is involved in today's critical zero day vulnerability release.
000
Reposted by Richard Laughlin
Xe @xeiaso.net · 07/05/2026
Maybe you shouldn't install new software for a bit xeiaso.net/blog/2026/abstain-from-i…
xeiaso.net
Maybe you shouldn't install new software for a bit
The newest post on Xe Iaso's blog
58925
Reposted by Richard Laughlin
enantiodromeda.bsky.social @enantiodromeda.bsky.social · 07/04/2026
It's a SaaS that companies can license in order to implement the Stanford Prison Experiment on their employees, typically for software development teams.
2235
Reposted by Richard Laughlin
Starbucks Workers United @sbworkersunited.org · 13/11/2025
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
Don't Buy Starbucks! At any location, today and beyond, while workers are on ULP strike!
2141579015
Richard Laughlin @richardwlaughlin.com · 10/10/2025
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...
anthropic.com
A small number of samples can poison LLMs of any size
Anthropic research on data-poisoning attacks in large language models
010
Richard Laughlin @richardwlaughlin.com · 13/09/2025
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.
120
Richard Laughlin @richardwlaughlin.com · 11/12/2024
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.
010
Richard Laughlin @richardwlaughlin.com · 10/12/2024
I feel like no matter where I go all the roads somehow lead me back to datalog 😅
010
Reposted by Richard Laughlin
Hillel @hillelwayne.com · 04/12/2024
Leetcode but for problems like "fix all of the typos in the CSV" or "scrape a website"
10799
Reposted by Richard Laughlin
lumberjack wharfie @lumberjackwharfie.bsky.social · 04/12/2024
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
1224
Reposted by Richard Laughlin
Ed Zitron @edzitron.com · 03/12/2024
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
wheresyoured.at
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 ...
1443217902
Reposted by Richard Laughlin
David Buchanan @retr0.id · 01/12/2024
const moose
1329627
Reposted by Richard Laughlin
amos @fasterthanlime.hachyderm.io.ap.brid.gy · 29/11/2024
TIL "object safety" has been renamed "dyn compatibility"? This is so much better, good move on the Rust lang team imho doc.rust-lang.org/nightly/reference…
Dyn Compatibility
This trait is not dyn compatible.
In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.
036