h-cobordism

4 ms·

1.
by h-cobordism 6y ago
I'm pretty sure you're right on all counts; I'm not even sure that shared immutable borrows would work under the very simple transform given in the README. Edit: Also, the user-facing language doesn't seem to have linear
2.
by h-cobordism 6y ago
> hey "ECMA script is portable and accessible"! So lets "browserify" all the things It's not because JavaScript is portable or accessible (it's definitely not portable, and if you wanted accessibility you co
3.
by h-cobordism 6y ago
I skimmed the Eloquent docs[0] but I couldn't see anything that sets it apart from other ORMs. What makes it special? [0]: https://laravel.com/docs/7.x/eloquent
4.
by h-cobordism 6y ago
(1) That sounds like a recipe to unintentionally miss a ton of concurrency. Having to put an `await` there is a great indicator that you're forcing an order of execution. (2) Can you give an example of an async and a non-async subrouti
5.
by h-cobordism 6y ago
> embarrassingly knotty around its ObjC bridging (there’s a basic impedance mismatch between those two worlds) I think they've done an incredible job with their ObjC interop, given said mismatch. But you're right — the person
6.
by h-cobordism 6y ago
Tangential: How would the function `first :: &(Vec a) -> Option &a` (which, given a non-exclusive reference to a vector, returns a non-exclusive reference to the first item of the vector, with the same lifetime) be typed using li
7.
by h-cobordism 6y ago
> - how much of the burden of writing the proof falls on me, and how much falls to the compiler? The compiler in Idris can do some magic, but usually the burden is mostly on you to write proofs. Idris (and similar languages) have assista
8.
by h-cobordism 6y ago
See this thread. https://news.ycombinator.com/item?id=23127741
9.
by h-cobordism 6y ago
There's nothing wrong if, as an interviewer, you get bored of interviewing candidate after candidate. The process is pretty repetitive by nature.
10.
by h-cobordism 6y ago
> Does such a thing exist at higher dimensions? Yes, everything in your first paragraph extends to any number of dimensions (replacing "quaternion" with "rotor"). > I vaguely recall something about having complex n
11.
by h-cobordism 6y ago
Luckily the WOFF2 itself is only around 18KB. It still seems like an inferior solution to just using SVG, but it's not insanely bulky.
12.
by h-cobordism 6y ago
> clearly other people do as well I don't think most people understand how the content they post to Reddit is licensed.
13.
by h-cobordism 6y ago
I assume most people run the code they compile on the very machine they compile it on, so how does preventing compile-time system calls help stop malware?
14.
by h-cobordism 6y ago
You're referring to raw string literals, right?
15.
by h-cobordism 6y ago
Does HTML5 even let you read a file without loading it all into memory? Edit: Looks like this is it. https://developer.mozilla.org/en-US/docs/Web/API/ReadableStr... Edit 2: And yes, this is using it. ht
16.
by h-cobordism 6y ago
And the cross product is used with vectors, which are either symbols like u or v, or written with an underscore / arrow on top, so there's zero risk of confusion. (Also, the cross product is always a less elegant alternative to th
17.
by h-cobordism 6y ago
And also make sure to distinguish between your pi's and your n's! I can't count the number of times I've mixed the two up while finding Fourier coefficients.
18.
by h-cobordism 6y ago
> There's no such thing as 'MIDI music'. MIDI is a communications protocol to transfer encoded performance data between electronic sources and sinks. Why can't I just as easily say that > There's no such thing
19.
by h-cobordism 6y ago
1. Isn't an infinite universe consistent with observations? 2. Yes, real numbers, much like complex numbers, were "invented". But complex numbers lay hidden, waiting to be discovered, as the algebraic closure of the reals, an
20.
by h-cobordism 6y ago
> It's silly to think that the sqaure root of negative one is something real to be discovered. As you said, the complex numbers are the unique (up to isomorphism) algebraic closure of R. Given that they arise as the unique solution
21.
by h-cobordism 6y ago
I think in your first paragraph you're confusing intuitionistic logic and linear logic --- intuitionistic logic still lets you "clone" and "delete" propositions freely. The second paragraph is somewhat true --- at i