alephaleph

6 ms·

1.
Polly Wants a Better Argument(verysane.ai)
1 points by alephaleph 6mo ago|0 comments
2.
by alephaleph 2y ago
Reminds me of Omar Rizwan's TabFS < https://omar.website/tabfs/ >
3.
by alephaleph 2y ago
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 effect (in this sense) is a function which can ask a handle
4.
by alephaleph 3y ago
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 sets something to opt in mode.
5.
by alephaleph 3y ago
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. In the console the only error is `Uncaught ReferenceError: t
6.
by alephaleph 3y ago
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 many of the reasons people like spreadsheets. Spreadsheets
7.
by alephaleph 3y ago
The defining feature of a SLAPP is that it is a means of shutting up critics — not just any frivolous lawsuit is a SLAPP.
8.
by alephaleph 3y ago
because it’s fun
9.
by alephaleph 3y ago
(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 guess usually meaningful nominal types will ensure that
10.
by alephaleph 3y ago
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?
11.
by alephaleph 3y ago
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 programming in a nondeterministic style, you&
12.
by alephaleph 3y ago
At a fundamental level Prolog works the same way that Python library works -- guessing and backtracking.
13.
by alephaleph 3y ago
fwiw Amazon tried doing that (and maybe they're still trying?)
14.
by alephaleph 3y ago
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 email but it’s weird and clunky and they still ask too to “sign
15.
Zig May Pass Anything by Reference(1a-insec.net)
3 points by alephaleph 3y ago|0 comments
16.
by alephaleph 3y ago
If you just want the projector and the camera stuff there's https://paperprograms.org/
17.
by alephaleph 3y ago
Saw a thorough debunking of this on twitter by a crop scientist: https://twitter.com/sarahtaber_bww/status/142301601013164851...
18.
by alephaleph 3y ago
Apparently it’s bc it uses websockets to live update vote counts or smth
19.
by alephaleph 3y ago
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.
20.
by alephaleph 3y ago
/r/me_irl is doing that, they’re going to permanently go private if the changes aren’t reversed.
21.
by alephaleph 3y ago
I think they’re referring to aria-labels, not visible text.
22.
Frogans(frogans.org)
1 points by alephaleph 3y ago|0 comments
23.
by alephaleph 3y ago
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 which you first write what you want the main output to be,
24.
by alephaleph 3y ago
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.unison-lang.org/learn/the-big-idea&#x
25.
by alephaleph 3y ago
still one million times better than what came before.
26.
by alephaleph 3y ago
FWIW I was unaware of the Philip Cross thing, but after digging into it it appears that Wikipedia's arbitration committee imposed an indefinite ban on him from editing any page regarding modern British politics [1] and that after he wa
27.
by alephaleph 3y ago
I really don't understand the world you're describing. Are you saying that no one will be able to enjoy art anymore because art won't be impressive?
28.
by alephaleph 3y ago
This perspective seems insane to me. I'm undecided, but if I were to put forward an argument that AI art will be bad for culture regardless of economic model, it would be something like "AI art will always be worse (in some way) t
29.
by alephaleph 3y ago
mathematician-writable.
30.
by alephaleph 3y ago
Sounds a lot like Lisp-y stuff, but done with a significantly lower level c-like language.

More ›