zarakshR

4 ms·

1.
RFC 1958: Architectural Principles of the Internet(rfc-editor.org)
1 points by zarakshR 2mo ago|0 comments
2.
by zarakshR 5mo ago
I don't see how: Racket: > (define (fact n) (if (= n 1) 1 (* n (fact (- n 1))))) > (fact 6) 720 OCaml: # let rec fact = function | 1 -> 1 | n when n > 1 -> n * (fact (
3.
by zarakshR 1y ago
This is not relevant since this de-sugaring cannot be performed if `name` is recursive (i.e., if `term` refers to `name`), which `Y` is. So the author's derivation is still required in the pure lambda calculus.
4.
by zarakshR 2y ago
> because PHP and Javascript will implicitly convert back and forth If you can provide (valid!) methods `T -> U` and `U -> T` for two types, why wouldn't `T = U` hold? (Atleast for types where `=` makes sense) This is the defi
5.
by zarakshR 2y ago
> The point is you can't simply treat non-nullable as a subtype of nullable in general, because this case exists. But surely, you can still use subtyping in other cases -- when it is already unboxed -- right? Like so: `T <: T?` f
6.
by zarakshR 2y ago
> The language can just have an implicit conversion rule for convenience the presence of an implicit conversion rule `T -> T?` amounts to the observation that `T <: T?`, where <: is the subtyping relation > make an unboxed in
7.
by zarakshR 3y ago
Similarly, I was shocked to learn that models of aeroplanes don't even account for the possibility of the plane being blown up mid-flight by a stray anti-air missile. It seems aerospace engineers are just like priests and counselors in
8.
Taxonomy and Genealogy of Programming Languages(hopl.info)
1 points by zarakshR 3y ago|0 comments
9.
by zarakshR 3y ago
Continuation-passing style?
10.
by zarakshR 3y ago
> If I am in my normal raw intellect, I will begin going deep on some topic thats outside the range of normal human discourse. It will be hard for me to stop, because of my interest. Alcohol removes that to a large degree. Peak HN.
11.
Systems Software Research is Irrelevant (2000) [pdf](doc.cat-v.org)
62 points by zarakshR 4y ago|38 comments
12.
The Nexus Ecosystem: Better (Research) Data Management(bluebrainnexus.io)
1 points by zarakshR 5y ago|0 comments
13.
by zarakshR 5y ago
How would that even work if git was released in 2005? Am I missing something?
14.
by zarakshR 5y ago
And EB Garamond[0] if you want a free font. [0] - https://fonts.adobe.com/fonts/eb-garamond
15.
Windows File Manager (WinFile)(github.com)
7 points by zarakshR 5y ago|0 comments
16.
by zarakshR 5y ago
I can't wait for this comment to show up on n-gate.com
17.
by zarakshR 5y ago
Wow, this is really helpful. Thank you!
18.
Ask HN: Quick and high-level tutorials for Python – or any other language?
2 points by zarakshR 5y ago|3 comments
19.
by zarakshR 5y ago
Under the description of The Co-Op it says "Players pay a membership fee to access resources like food, lodging, clean water, etc." Did anybody think this through more than once?
20.
by zarakshR 5y ago
This is such a poorly made website. I love it!
21.
by zarakshR 5y ago
>It's a lousy argument to suggest that Chinese products are bad because Chinese culture does not promote attention to detail... I would just like to point out that the GP did mention, >...not culturally specific to Chinese...
22.
by zarakshR 5y ago
The selection does not disapper if it ends on a parenthesis or whitespace. Odd