msully4321

6 ms·

1.
by msully4321 5mo 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 s
2.
by msully4321 6mo 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.
3.
by msully4321 6mo ago
They have not! If I am scrolled up while more output is produced, the scrollback jumps to the top pretty consistently.
4.
by msully4321 6mo 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
5.
by msully4321 6mo 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!)
6.
by msully4321 2y 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.)
7.
by msully4321 2y 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!
8.
by msully4321 2y ago
With a fixed implementation that leaks environments (like the one that just landed in glibc)?
9.
by msully4321 2y ago
Yeah, the cows have certainly gotten out already.
10.
by msully4321 2y 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.
11.
by msully4321 2y ago
Yeah, setenv should probably just not exist, and environment variables should be only set when spawning new processes.
12.
C stdlib isn't threadsafe and even safe Rust didn't save us(edgedb.com)
327 points by msully4321 2y ago|362 comments
13.
by msully4321 5y 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 th
14.
by msully4321 5y ago
What colin said, or (in every terminal emulator I've used), ctrl-d to send end of file, which will close it.
15.
by msully4321 5y 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; (This has a somewhat annoying extra output of table1_id, which could be