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…
> 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 could do much…
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
(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…
> 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…
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…
> - 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…
See this thread. https://news.ycombinator.com/item?id=23127741
There's nothing wrong if, as an interviewer, you get bored of interviewing candidate after candidate. The process is pretty repetitive by nature.
> 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…
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.
> clearly other people do as well I don't think most people understand how the content they post to Reddit is licensed.
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?
You're referring to raw string literals, right?
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.…
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…
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.
> 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 as 'sheet…
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…
> 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…
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 its…
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…
> 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 could do much…
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
(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…
> 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…
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…
> - 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…
See this thread. https://news.ycombinator.com/item?id=23127741
There's nothing wrong if, as an interviewer, you get bored of interviewing candidate after candidate. The process is pretty repetitive by nature.
> 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…
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.
> clearly other people do as well I don't think most people understand how the content they post to Reddit is licensed.
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?
You're referring to raw string literals, right?
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.…
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…
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.
> 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 as 'sheet…
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…
> 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…
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 its…