Viewing profile — h-cobordism

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-fac…

> 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 …

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 y…

> 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…

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 …

> - 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…

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 recal…

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…

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 …

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…

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 discover…

> 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…

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 …