Viewing profile — alephaleph

Reminds me of Omar Rizwan's TabFS https://omar.website/tabfs/ >

A coroutine is a computation that can `yield`, suspending itself and passing control back up to the caller. It can then be resumed at the caller's leisure. An function with an effe…

Checked on a private window; it happens only when I say no to inessential cookies. Being in California might also have something to do with it, because according to the logs that s…

Not sure why but everything below the hero section on your homepage is displaying as just grey background to me on Firefox, even with enhanced tracking protection and adblock off. …

I have to say that I was a little disappointed by this article. It doesn’t really demonstrate Kap as solving any of the issues that spreadsheets have, and it doesn’t really address…

The defining feature of a SLAPP is that it is a means of shutting up critics — not just any frivolous lawsuit is a SLAPP.

because it’s fun

(Sorry for replying late to this but) that seems kind of inconvenient! And what if I'm using two libraries which happen to export functions with identical ASTs, and one updates? I …

What happens if you have two terms that are incidentally equivalent: A = "Hello " B = "Hello " C = A ++ "world" D = B ++ "world" and then you update the definition of A but not B?

It's roughly the same, no? It emulates a non-deterministic Turing machine and gives the same results, just taking much longer. But runtime isn't everything! I think that if you're …

At a fundamental level Prolog works the same way that Python library works -- guessing and backtracking.

fwiw Amazon tried doing that (and maybe they're still trying?)

Assumed that this was like a modern Pidgin or something but it needs its own account, which is supposed to be a cryptocurrency wallet for some reason (they let you sign up with ema…

If you just want the projector and the camera stuff there's https://paperprograms.org/

Saw a thorough debunking of this on twitter by a crop scientist: https://twitter.com/sarahtaber_bww/status/142301601013164851...

Apparently it’s bc it uses websockets to live update vote counts or smth

We know the costs and they’re ridiculous. Under the new pricing the average user of one third party app (Apollo) uses $2.50 worth of requests per month.

/r/me_irl is doing that, they’re going to permanently go private if the changes aren’t reversed.

I think they’re referring to aria-labels, not visible text.

I'm pretty sure that this is demonstrating that you can (have to?) write your definitions after the main expression, then suggesting that this encourages a development style in whi…

You might want to look into the way Unison does things: [1], they've got a lot of similar ideas and IIRC the way their hash system works avoids that ambiguity. [1]: https://www.uni…

still one million times better than what came before.