HNHacker News
TopNewBestAskShowJobs

msully4321

153 karma · joined July 14, 2021

submissionscomments
msully4321··on Tell HN: Docker pull fails in Spain due to football Cloudflare block
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.
msully4321··on Show HN: A game where you build a GPU
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.
msully4321··on Claude Code Unpacked : A visual guide
They have not! If I am scrolled up while more output is produced, the scrollback jumps to the top pretty consistently.
msully4321··on EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages
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

msully4321··on EsoLang-Bench: Evaluating Genuine Reasoning in LLMs via Esoteric Languages
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!)
msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
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.)
msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
> 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!

msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
With a fixed implementation that leaks environments (like the one that just landed in glibc)?
msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
Yeah, the cows have certainly gotten out already.
msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
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.
msully4321··on C stdlib isn't threadsafe and even safe Rust didn't save us
Yeah, setenv should probably just not exist, and environment variables should be only set when spawning new processes.
msully4321··on Show HN: EdgeDB 1.0
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

msully4321··on Show HN: EdgeDB 1.0
What colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.
msully4321··on EdgeDB: EdgeQL
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.