Trending
Richard Laughlin's Avatar

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

70
Followers
122
Following
160
Posts
16.11.2024
Joined
Posts Following

Latest posts by Richard Laughlin @richardwlaughlin.com

I ignore games entirely until 6mo+ after release.

There's no point in getting excited only to be forced to wait or endure launch bugs. Plus it might be on sale ๐Ÿคท

05.03.2026 20:29 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

I bought a pack of 100 for $7 on Amazon

03.03.2026 16:21 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Hard pass.

02.03.2026 01:39 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Preview
a close up of a dog with a loading bar on its face ALT: a close up of a dog with a loading bar on its face
27.02.2026 05:15 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Can someone translate this into American? Is this Woke 2?

27.02.2026 04:56 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 1

Banning TV ads for junk food probably isn't even constitutional, so it's a useless concession to extract from a nominee.

Even if it were, no one who is obese is that way because of TV ads. It's a combination of biology, mental health, social factors, etc.

Vote No. Find someone qualified instead.

27.02.2026 04:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Once the competition is fully out of business they will raise prices.

26.02.2026 13:12 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Obviously an LLM

25.02.2026 03:12 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

He didn't?

He announced his candidacy on Sept 9th and she announced hers on Dec 8th.

22.02.2026 23:17 ๐Ÿ‘ 8 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

You're in luck, it's the year of the Linux desktop

16.02.2026 18:00 ๐Ÿ‘ 4 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Have you heard about our Lord and savior, Linux?

16.02.2026 18:00 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

iTs NoT a DeMoCrAcY iTs A rEpUbLiC

07.02.2026 03:59 ๐Ÿ‘ 8 ๐Ÿ” 1 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

We tried the new deal, they broke it. This time the contract will require greater concessions.

02.02.2026 19:48 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

And that's before we talk about what it means to have an ordered list with a hole ๐Ÿ˜‚

23.01.2026 04:59 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Consider the ordered list:

(list_id INT NOT NULL, value TEXT NOT NULL, idx INT NOT NULL)

I think most applications would want this to be {int -> [String]}, but that's really an indexable query on the table's true underlying type.

23.01.2026 04:59 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

It definitely does, but the type may not map nicely to a convenient type in another type system. This mapping is why we're often stuck dealing with ORM libraries.

23.01.2026 04:46 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Right, but they're hoping you've heard of AlphaFold and don't think too hard about whether their LLMs are the same thing as AlphaFold.

20.01.2026 12:52 ๐Ÿ‘ 3 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

We need to see the data from last year to eliminate the possibility that this is normal seasonal fluctuation.

Hypothesis: If most traffic were people doing work at work, then the holidays would cause a temporary, yearly dip in traffic.

08.01.2026 12:15 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0
Don't Buy Starbucks! At any location, today and beyond, while workers are on ULP strike!

Don't Buy Starbucks! At any location, today and beyond, while workers are on ULP strike!

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

13.11.2025 11:33 ๐Ÿ‘ 14274 ๐Ÿ” 9121 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 887

These people are just dumb and wrong. Don't they know that they are living better than a king 3000 years ago?

If we just keep saying how great everything is they'll stop worrying about losing their job and their shelter.

Why do they keep saying they suffer?

12.11.2025 21:35 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Voting for a candidate who does the opposite of what they said they would do is the Democratic primary voters fault.

In this Democratic party, we prefer candidates who adopt Republican positions directly and tell us that nothing better is possible.

This inspirational message is how we win!

12.11.2025 01:05 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Right, it was the left flank that blew 2024 and not the moderate wing of the party pushing their awful candidates on us again.

We wouldn't be fighting over payoffs for the insurance industry if the "Democrats" had not adopted Heritage Foundation healthcare policy to begin with.

12.11.2025 00:42 ๐Ÿ‘ 5 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Agreed. The message needs to be delivered. It isn't relevant if they got permission from leadership to vote No to cover their ass.

We need Dem leadership to understand the cost of betrayal.

10.11.2025 13:19 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

What is the point of calling him?

If there was a way to recall a senator he wouldn't even be there right now. He has to be aware of this already.

I'll be there for the primary in 2028 to fill in any bubble that's not him. And then again in the general if that's what it takes.

10.11.2025 04:23 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

We'll show them the graphs and stats and tell them they're wrong about their own lives.

It's a winning political strategy, no doubt.

Hey! Where are you going? Come back! We were just about to cheer you up by explaining how much better off you are than a bronze age king!

10.11.2025 03:58 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

You own this. Voting No won't work.

10.11.2025 02:33 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 0 ๐Ÿ“Œ 0

Using .zip or .mov at all is suspect. I suggest everyone map these TLDs to localhost because their only value is as a malicious domain.

09.11.2025 17:41 ๐Ÿ‘ 1 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

Please elaborate on how web applications are a bubble. I don't understand what you mean.

In my experience, most users gravitate to consumption devices like phones and ipads. Web removes all need to install or configure anything.

02.11.2025 02:05 ๐Ÿ‘ 0 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0

Desktop is a shrinking minority of computer usage, though. So arguing that windows is somehow necessary is just false unless you ignore servers and phones which are the majority of computers by wide margin.

I guess you can do it, but it seems dishonest.

02.11.2025 02:05 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 2 ๐Ÿ“Œ 0

Please read en.wikipedia.org/wiki/Usage_s...

It's ok if you like Windows, but Linux is "majority of computers" at this point.

02.11.2025 01:43 ๐Ÿ‘ 2 ๐Ÿ” 0 ๐Ÿ’ฌ 1 ๐Ÿ“Œ 0