rrobukef

20 ms·

211.
by rrobukef 6y ago
For AC, they move back as well. Thus electrons move less than 4µm from their original place (excluding Brownian movement, I assume)
212.
by rrobukef 6y ago
It is the beginning of remote-learning science. Anecdotes allow estimations of impact and the creation of hypotheses. If nobody talks about a problem, does it exist?
213.
by rrobukef 6y ago
The recent mobile Firefox is worse in every way that matters to me: ° Breaking recent add-ons (for the few add-ons that exist). I added a close-tab icon to compensate for the bad tab-ui. It's gone now. ° URL-bar hiding is wonkey.
214.
by rrobukef 6y ago
It seems like the team wanted it torpedoed as well. Every higher up was aware but tied in bureaucracy. The team basically washed their hands and tried to deliver in order to pass the buck. Messing with things codified in federal law seems l
215.
by rrobukef 6y ago
There are two solutions for this. 1) The halting problem is decidable (but untractable) for bounded machines. 2) Instead of deciding when to halt inside the machine, do it outside with continuations. Encrypted computing will always enforce
216.
by rrobukef 6y ago
Parys' quasi-polynomial algorithm for solving parity games, https://arxiv.org/pdf/1904.12446.pdf Note, another implementation doesn't have this behaviour for the family of inputs I use. It's an implement
217.
by rrobukef 6y ago
I re-implemented a quasi-polynomial algorithm. Experimentally, it shows exponential behaviour. Back-of-the-envelope calculation shows this behaviour can continue until the input size is >>10^21 before the asymptotic bound asserts itse
218.
by rrobukef 6y ago
My computer is not Turing complete, yet it can do arbitrary computations. FHE is bounded-memory Turing complete, the same as every computer on the planet.
219.
by rrobukef 6y ago
You get bounded-Turing completeness. This is sufficient for all practical applications as we live in a finite universe.
220.
by rrobukef 6y ago
Adapting and liking are two different things. Adapting to change by devising ways to keep your routine needs a minimum of intelligence. Though I make no statement on any relative or absolute scale.
221.
by rrobukef 6y ago
Most hobbies cost money and have almost zero return.
222.
by rrobukef 6y ago
It seems to me that all your examples involve people with less chances in life. However, the primary drive for criminality and prostitution is poverty. Less poverty means the supply of dealers, prostitutes shrinks, with rising demand price
223.
by rrobukef 6y ago
How often have you seen the words: "Including but not limited to ..."? This is not an impossible problem.
224.
by rrobukef 6y ago
Doesn't this still leak information? "A person known by these 5 people was in contact with the suicide hotline."
225.
by rrobukef 6y ago
Here you go: https://www.youtube.com/watch?v=ttMuvmspa8o
226.
by rrobukef 6y ago
I know `nano` does this.
227.
by rrobukef 6y ago
The CycleGAN datasets [1] all have less than 10k images. The two largest have 10,345 images and 5,129 images, the rest (like the famous horses2zebras) have less than 3k. [1] https://github.com/junyanz/CycleGAN#datasets
228.
by rrobukef 6y ago
WPA2 is a formally verified protocol. It lasted 14 years: https://www.krackattacks.com/ . Now it's partially formally verified.
229.
by rrobukef 6y ago
Since there are no if's (except at the end), every line is executed. Since all if's at the end can be placed on a single line, you have 100% line coverage. I don't think this language is very serious.
230.
by rrobukef 6y ago
And one day, tokio or some other Future-library will be needed as a solution and I'll need to read a state-of-the-art codebase with all the newest features.
231.
by rrobukef 6y ago
Personally: Prolog in addition to Haskell and SCIP.
232.
by rrobukef 6y ago
I gave up during the switch to the 2018 edition. Today, I still write 2015 code because I couldn't bother to decipher how paths and `extern crate` had changed. The documentation on the differences was too sparse to relearn it (maybe th
233.
by rrobukef 7y ago
The Japanese say you have three faces. The first face, you show to the world. The second face, you show to your close friends, and your family. The third face, you never show anyone. It is the truest reflection of who you are.
234.
by rrobukef 7y ago
That's actually great! But what will the actual terms and conditions be? Some existing examples: a maximum number of psych visits, (medical) dental work up to xxx$ per year (if you had a checkup last year), limited coverage for experim
235.
by rrobukef 7y ago
Why? It just raises the bar for the unions: negociating co-pay, dental plan... Plenty of healthcare things will not be covered by Medicare. Unions will negociate about this.
236.
by rrobukef 7y ago
The "STEM" in Blaze and the Monster Wheels annoys me much more than Paw Patrol. The errors in explaining friction (pushing does not slow things down until enough force is applied), cancelling sound by shouting louder, a general la
237.
by rrobukef 7y ago
The memories of not hearing the voice of professor Farnsworth when reading the meme (from before I watched Futurama) feel very weird.
238.
by rrobukef 7y ago
I think Ihave control over how I think. An internal monologue is great for remembering in order. But I rebuild as an image of keywords which is great for connecting but the words blur. I rebuild as a map to navigate with a mental car. I reb
239.
by rrobukef 7y ago
A compiler error if the code cannot be eliminated during optimization. Kind-of hacky, but it could be valuable as a new function.
240.
by rrobukef 7y ago
Then the steam-button shouldn't say "Buy" but "Rent".

More ›