msully4321
Joined 5 years ago
Karma
153
Submissions
15
Member since
Jul 14
Recent submissions
Comment · 6 months ago
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.
Comment · 7 months ago
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.
Comment · 7 months ago
They have not! If I am scrolled up while more output is produced, the scrollback jumps to the top pretty consistently.
Comment · 7 months ago
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
Comment · 7 months ago
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!)
Comment · 1 year ago
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.)
Comment · 1 year ago
> 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!
Comment · 1 year ago
With a fixed implementation that leaks environments (like the one that just landed in glibc)?
Comment · 1 year ago
Yeah, the cows have certainly gotten out already.
Comment · 1 year ago
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.
Comment · 1 year ago
Yeah, setenv should probably just not exist, and environment variables should be only set when spawning new processes.
Comment · 4 years ago
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
Comment · 4 years ago
What colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.
Comment · 5 years ago
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;
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;
SELECT (Photo {uri}, User {name, email})
FILTER Photo.author.id = User.id;