frabert

21 ms·

211.
by frabert 6y ago
Do not confuse nondeterministic Turing machines with nondeterministic (finite) state machines/automata. The latter are proven to be equivalent to their deterministic counterparts, the former are not.
212.
by frabert 6y ago
Unfortunately this only works if the load device is compatible with the full voltage supplied. This is not the case for USB devices, for instance.
213.
by frabert 6y ago
Nothing says you support open source causes like suing them
214.
by frabert 6y ago
Well it's not true if you decide to ignore the fact that this does address the situations in which centering is a pain in the ass. If you exclude all the factors this takes into account, it obviously becomes trivial.
215.
by frabert 6y ago
Weird, I would consider lua to be _more_ expressive than JS, thanks to its optional syntax for function calls and the metatables which allow stuff like operator overloading.
216.
by frabert 6y ago
This has been done for ages in the audio production space, it's called "convolution reverb". It's quite nice, but it doesn't allow you to tune it very much, besides basic filtering and stretching/cutting.
217.
by frabert 6y ago
That's the Nvidia branding for it
218.
by frabert 7y ago
Would this be susceptible to tracking issues? E.g. place a hidden picture that loads WebP or PNG otherwise, to track which users support it and which don't
219.
by frabert 7y ago
I don't really buy into the fact that enterprise apps are written in C++ because gamedev uses it
220.
by frabert 7y ago
I'm more interested in applications to abstract interpretation, so number theory stuff does not interest me.
221.
by frabert 7y ago
Given the name, I expected more focus on stuff like lattices, instead it seems mostly numerical stuff. Still neat, though!
222.
by frabert 7y ago
ccls works even better than clangd, in my experience.
223.
by frabert 7y ago
To be fair, my phone operates at the photon level tol, when using the radio...
224.
by frabert 7y ago
I think it could be easily attributed to the fact that most non-native speakers learn English at school by studying its grammar in written form, where the two words are distinct. Native speakers, instead, learn English as their spoken langu
225.
by frabert 7y ago
I have no sources for this, but I've heard that actually 70% is the optimal concentration, and that above that the alcohol is less effective. Something to do with not having enough water content to dissolve stuff, or something.
226.
by frabert 7y ago
Do it! You will find that it's very easy, but the result will either be extermely verbose or just like regex. Since most regexes (at least for me) are meant as one-time-use, the extra verboseness has no added benefit. If you have compl
227.
by frabert 7y ago
I had this feature enabled on my old phone, on which I had flashed LineageOS. Unfortunately the new phone's stock ROM doesn't have that, but it also features a fingerprint sensor, so I don't really type my passcode that frequ
228.
by frabert 7y ago
> "Fast native graphics through para-virtualization thanks to SPICE" I'm assuming the SPICE referred to here is not the SPICE I know, unless they've gone the full video circuit emulation route, which I don't imag
229.
by frabert 7y ago
Reminds me of when I started programming WinForms apps in C#, and one tutorial was about "building a web browser". Sounded super cool! Except the first step was "drag WebBrowser into the form". Yeah, that's not a ne
230.
by frabert 7y ago
Incredibly similar to my story. I did not even know how to program, but the mere idea of something that took code in and spit executables out was completely magic to me. I absolutely had to know how they worked.
231.
by frabert 7y ago
Not having seen the movie, I'm guessing there are scenes where Crowe needs to write some math, and it just looked more convicing by letting an actual mathematician do it for him.
232.
by frabert 7y ago
You can add tags to files instead of putting them in folders, I believe
233.
by frabert 7y ago
Wow, we're getting close to the amount of cores/threads that Xeon Phis boasted, but with actual per-core performance. And on an (almost) mainstream platform!
234.
by frabert 7y ago
That the code is provably free of C undefined behavior
235.
by frabert 7y ago
Rust's lexical macros look even more interesting: https://github.com/bodil/typed-html
236.
by frabert 7y ago
It's actually a smart card with a chip in it. It also has a magnetic stripe, I guess for legacy purposes. Here is a sample: https://www.sanita.puglia.it/documents/20182/134679/TSCNS+fr...
237.
by frabert 7y ago
Every medical interaction is recorded on a nationwide network - at least here in Italy. Every time I go to my doctor and they prescribe me something / they give me a shot / vaccine, it gets recorded and every other doctor can acce
238.
by frabert 7y ago
Seeing as how their website is run from a low-power device, maybe your IP (range?) was submitting too many requests and they decided to ban it.
239.
by frabert 7y ago
You can find here https://www.felixcloutier.com/x86/ a machine-read conversion of the intel reference manual. Maybe you could ask him how he did!
240.
by frabert 7y ago
This fact makes me suspicious that it might be an instance of comb filtering going on, which is often caused by the interference of a signal being summed with itself with a small delay. It is subtle and may cause the sensation described abo

More ›