Hacker News: msully4321

New comment by msully4321 in "Tell HN: Docker pull fails in Spain due to football Cloudflare block"

msully4321 — Sun, 12 Apr 2026 21:44:07 +0000

I'm not sure where that number comes from but I don't think it's right, and I don't think that's how La Liga is structured anyway. It's governed by an association of all of the teams in the top two flights of spanish football.

New comment by msully4321 in "Show HN: A game where you build a GPU"

msully4321 — Sun, 05 Apr 2026 06:30:38 +0000

I am a huge sucker for games/lessons like this. I feel like I've played one every 5 years for the last almost 25 years.

New comment by msully4321 in "Claude Code Unpacked : A visual guide"

msully4321 — Wed, 01 Apr 2026 15:27:37 +0000

They have not! If I am scrolled up while more output is produced, the scrollback jumps to the top pretty consistently.

New comment by msully4321 in "EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages"

msully4321 — Sat, 21 Mar 2026 03:51:51 +0000

I took a look at the test bench, and the Unlambda interpreter used supports like a third of unlambda, not including input. Since 79/80 of the tests require input, it isn't really possible to solve them. The best anything did on them was 1.2%, which is 1 test.

I reported it https://github.com/Lossfunk/EsolangBench/issues/1 but haven't heard back yet

New comment by msully4321 in "EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages"

msully4321 — Fri, 20 Mar 2026 04:31:13 +0000

Doing something like that is basically the only way to write unlambda: you start with a lambda calculus (or scheme or whatever) and reduce the lambdas away mechanically. (This is in the unlambda docs!)

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Thu, 23 Jan 2025 19:08:53 +0000

I go through periods of loving em dashes--but I always just write them as two dashes! (And LaTeX at least does the right thing.)

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Thu, 23 Jan 2025 17:22:08 +0000

> Have people lost the ability to build and debug their code locally, without clouds and containers?

No, of course not, but it didn't crash on our machines!

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Wed, 22 Jan 2025 21:44:21 +0000

With a fixed implementation that leaks environments (like the one that just landed in glibc)?

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Wed, 22 Jan 2025 21:04:11 +0000

Yeah, the cows have certainly gotten out already.

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Wed, 22 Jan 2025 20:17:01 +0000

Because it can still race with C code using the standard library. getenv calls are common in C libraries; the call to getenv in this post was inside of strerror.

New comment by msully4321 in "C stdlib isn't threadsafe and even safe Rust didn't save us"

msully4321 — Wed, 22 Jan 2025 20:11:05 +0000

Yeah, setenv should probably just not exist, and environment variables should be only set when spawning new processes.

C stdlib isn't threadsafe and even safe Rust didn't save us

msully4321 — Wed, 22 Jan 2025 18:38:47 +0000

Article URL: https://www.edgedb.com/blog/c-stdlib-isn-t-threadsafe-and-even-safe-rust-didn-t-save-us

Comments URL: https://news.ycombinator.com/item?id=42796058

Points: 327

# Comments: 362

New comment by msully4321 in "Show HN: EdgeDB 1.0"

msully4321 — Fri, 11 Feb 2022 17:13:38 +0000

I talked a bit about this in my release day talk (https://www.youtube.com/watch?v=WRZ3o-NsU_4&t=8151s), but:

* Every edgedb type has a postgres table

* "single" properties and links are stored as columns in that table (links as the uuid of the target)

* "multi" properties/links are stored as a link table

So it's basically just translated to a relational database in normal form

New comment by msully4321 in "Show HN: EdgeDB 1.0"

msully4321 — Fri, 11 Feb 2022 01:47:45 +0000

What colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.

New comment by msully4321 in "EdgeDB: EdgeQL"

msully4321 — Wed, 14 Jul 2021 02:20:21 +0000

The most direct implementation of what you want would be:

  SELECT (Table1.id, Table1.name, Table2.level, Table2.table1_id)
  FILTER Table1.id = Table2.table1_id;

(This has a somewhat annoying extra output of table1_id, which could be projected away if necessary.)

If you want to use edgeql's shapes but still keep the essential join flavor, then something like:

  SELECT (Table1 { id, name }, Table2 { level })
  FILTER Table1.id = Table2.table1_id;

To make it a little more concrete, you can try this on the tutorial database (https://www.edgedb.com/tutorial)

  SELECT (Photo {uri}, User {name, email})
  FILTER Photo.author.id = User.id;

The tutorial database uses links, and so instead of having an author_id we have author.id, but having an author_id property would work just fine---except that then you'd have to do all the joins manually.