alipang

6 ms·

1.
by alipang 2y ago
I wouldn't really buy this in the first place for $20, maybe on sale, but in addition you can get it for free on mobile if you have a netflix subscription, so I'd have to imagine that many people do what I did and played it for a
2.
by alipang 2y ago
Even Javascript has a similar syntax, though `yield` / `await` only works for certain "monads" (promises seem close enough)
3.
by alipang 3y ago
Well, why would it be taken as a given that programming should mimic the hardware? Pure functions are easier to reason about (there may be exceptions of course), that's why they're interesting. This paper is not related to side-ef
4.
by alipang 3y ago
The idea that anyone who's opposed to narrow government regulations is somehow brainwashed by the Kochs is just an unsufferably smug attitude towards people you disagree with. It's like the "funded by George Soros therefore b
5.
by alipang 3y ago
If you check out the linked paper you'll see the title is "One-shot Algebraic Effects as Coroutines" - the keyword being "one-shot". In general every Monad can be expressed "interpreting" the free monad. T
6.
by alipang 3y ago
No? https://www.computerweekly.com/news/366537312/Chat-control-E...
7.
by alipang 3y ago
You don't have to memorize that log(5) = 0.7 if you know log(2) = 0.3 since log(5) = log(10 / 2) = log(10) - log(2) = 1 - 0.3 = 0.7. Also log(8) = 0.9 because log(2^3) = 3 log(2) = 0.3 3 = 0.9
8.
by alipang 4y ago
What, the anal beads is not a sensible theory? /s
9.
by alipang 4y ago
This is a really intuitive way of thinking about it. The best way I could work this out was to start with the special case of pure scaling in a single direction. For instance when scaling by "a" in the x direction M = (a 0; 0 1)
10.
by alipang 5y ago
I'd imagine you can use a keyboard shortcut as well to open this menu, but based on the text cursor, rather than the mouse one. I do this a lot is vscode to auto-fix issues and automatically add imports for the identifier under the car
11.
by alipang 5y ago
if (!memory[s1.id]) { memory[s1.id] = 'harvest' } ought to do it.
12.
by alipang 6y ago
Yeah, the main coherent point I take out of this is that it makes sense to provide capabilities rather than to check them, i.e. if you have access to a certain API then you're by construction allowed to use it. It seems this is somethi
13.
by alipang 6y ago
Not having it funded by the tax payer is not the same as outlawing it. This all comes down to whether critical race theory is truly an unacceptable set of ideas, like e.g frenology, or not, that should be legitimately banned. Should be easy
14.
by alipang 6y ago
It’s hardly authoritarian to disallow certain ideas being funded by the tax payer. We wouldn’t be upset if frenology wasn’t allowed in government agencies. I think the idea behind the ban is that critical race theory delivers a certain left
15.
by alipang 6y ago
Found the guy who completely missed Kotlin, TypeScript and Scala.
16.
by alipang 6y ago
Monads are among the simplest abstractions you can find in computing. Compared to almost anything you need to understand in software development (how the hell do I make webpack do the thing I need?) they're ridiculously easy. The fact
17.
Bulgaria to Declare State of Emergency over Coronavirus(nytimes.com)
2 points by alipang 7y ago|0 comments
18.
by alipang 7y ago
I've heard the objection about complex number not being real many times. I think the sensible answer is to argue that the natural numbers don't "actually exist" either. They're an abstraction just like the complex n
19.
by alipang 7y ago
Sure, well aware that Babel and Webpack are not the same thing. SWC has a Webpack plugin, whereas ESBuild seems to aim to replace both Webpack and Babel. Correct me if I'm wrong. This is a big reason why I think SWC is more likely to s
20.
by alipang 7y ago
I believe something like this project is inevitable. You're probably thinking "Where's the Rust version of this?". I'll save you a roundtrip to Google that'll find you SWC. [1] SWC is already more mature, at
21.
by alipang 7y ago
It's almost a meme at this point, but the solution, of course, is algebraic effects. Among other things they let us implement checked exceptions, but in a sane way that's safe without requiring the annotation of every single funct
22.
by alipang 7y ago
As a westerner who's lived and worked many years in Poland, the factor that seems to explain a lot of this is that wages in Poland remain extremely low compared to most of western Europe. The result of this is that people can't af
23.
by alipang 7y ago
"MegaCorps" in any kind of healthy market will still compete on price, so simply stating that they will "pocket the rest" of AI-related productivity improvements is ridiculous. The more likely outcome is that prices on a
24.
by alipang 7y ago
Algebraic effect handlers no doubt seem to be the future of getting side-effects under control in programming languages, much like in the way of what immutability has done for data. My (admittedly little) experience with Unison though is th
25.
by alipang 7y ago
Nor is it monoid composition.
26.
by alipang 7y ago
Great incremental release. Typescript really isn't the most exciting language, but it's very very helpful. Compared to regular javascript it saves me a lot of time, and so many pains and headaches every day.
27.
by alipang 7y ago
There's been an unfortunate trend in the JS world where a lot of frameworks are created, but without any real meaningful sense of progress, resulting in a sense of going around in cycles in various "reskins" with different sy
28.
by alipang 7y ago
The React core team has done a wonderful job incorporating actual CS concepts like algebraic effects into their framework. I understand that it's only an approximation of the real thing, but they're clearly managing to at least ge
29.
by alipang 7y ago
There are some ways in which Haskell's type system actually makes it significantly better at Elm's core job than Elm itself. Type classes could certainly be argued to be one of those things, but also just existential types makes &
30.
by alipang 7y ago
There's definitely some hoops you may have to jump through, and as I mentioned I'm recommending this for digital nomads, not some random tax evasion scheme if you actually live permanently in some other location. This is probabl

More ›