ngruhn

19 ms·

301.
by ngruhn 2y ago
Don’t you have to register protests in the US? So if there registered the police already knows about them, right? And if not they are illegal, no?
302.
by ngruhn 2y ago
he's basically squidward
303.
by ngruhn 2y ago
Wait, it's the same Cook who proved that SAT is NP-complete somewhere during the cold war? I had no idea this guy was still around doing research.
304.
by ngruhn 2y ago
Prolog also has constraints! You need to import a library called CLP(FD) / CLP(Z) (depending on the Prolog system) and instead of =, <, =<, etc. you need to use #=, #<, #=<, etc. :- use_module(library(clpfd)). mi
305.
by ngruhn 2y ago
I first heard about interaction nets from HVM [1]. It sounds very interesting but I can't say I get it. [1] https://higherorderco.com/
306.
by ngruhn 2y ago
As far as I understand, if you look at a number between 0 and 1 with a truly random infinite decimal expansion: 0.22134967842153005356... then there is absolutely no pattern in the digits, so a program that wants to compute it can
307.
by ngruhn 2y ago
you should call it `trex` :D
308.
by ngruhn 2y ago
Although this is terrible, the irony is a bit funny.
309.
by ngruhn 2y ago
that sounds very interesting
310.
by ngruhn 2y ago
I mean the error rate in the bible is already quite high. I'm sure LLMs won't do more damage than hundreds of years of oral transmission.
311.
by ngruhn 2y ago
I also think universal quantifiers ("for all ...") are a key distinguishing feature of specs. For example, a spec for a shortest path algorithm can be much simpler than any actual algorithm, largely because we can quantify over a
312.
by ngruhn 2y ago
Well said
313.
by ngruhn 2y ago
I’m definitely one of these people. Maybe I should give .NET a chance.
314.
by ngruhn 2y ago
I‘ve heard that knots only exist in 3 dimensions. In 2D you can’t entangle anything and in 4D+ you can always untangle everything.
315.
by ngruhn 2y ago
Very cool!
316.
by ngruhn 2y ago
> There will never be enough computing power to create AGI using machine learning that can do the same [as the human brain], because we’d run out of natural resources long before we'd even get close I don’t understand how people can
317.
by ngruhn 2y ago
I’ve heard, shipping a lot of garbage to China was quite common until the Chinese banned it. That was economically viable because China exports so much and many container ships would otherwise return empty to China.
318.
by ngruhn 2y ago
Hmm, because of automatic caching/parallelization I guess. Also, aren’t shell scripts even weirder?
319.
by ngruhn 2y ago
Even guaranteed payment on layoff?
320.
TypeScript Sudoku(github.com)
1 points by ngruhn 2y ago|1 comments
321.
by ngruhn 2y ago
Playing Sudoku in TypeScript while the type checker complains about mistakes.
322.
by ngruhn 2y ago
Also, surprisingly handsome ^^
323.
by ngruhn 2y ago
I think using more descriptive type parameter names (instead of just T, K, F, …) already goes half way reducing the complexity.
324.
by ngruhn 2y ago
I agree. Next question: Can they consent to gender reassignment surgery?
325.
by ngruhn 2y ago
I have a different theory. There are tons of wars and conflicts in the Middle East. Saudi Arabia vs Yemen, Iran vs Irak, Pakistan vs India, civil war in Syria, civil war in Somalia, civil war in Sudan, and everybody else is fighting ISIS. I
326.
by ngruhn 2y ago
Very cool
327.
by ngruhn 2y ago
I haven’t heard anyone make sane case against the doomsday argument. Only attacks.
328.
by ngruhn 2y ago
I encountered another pitfall when using `new URL` to check if a text contains urls. It accepts strings like ”example:”, “next:", etc. as valid urls because it interprets the string before the colon as a custom protocol. This is a real
329.
by ngruhn 2y ago
What does "unsound method" mean in this context? Doesn’t that mean, if it finds a bug that this may not actually be a bug? I.e. it may give false positives?
330.
by ngruhn 2y ago
But do algebraic effects preserve referential transparency? It’s hard for me to see that they do.

More ›