ulber

9 ms·

31.
by ulber 5y ago
It's really about the speed here. I have one that takes ~6 seconds to stabilize, which is by no means bad but is still a noticeable pause. The Thermapen is rated at 3 seconds, which I imagine feels much better when you quickly want to
32.
by ulber 6y ago
This post got me into looking up what Google's privacy sandbox actually is. One proposal I found quite interesting was TURTLEDOVE, which proposes to move ad bidding onto the user device [1]. The current proposal of course uses bidding
33.
by ulber 6y ago
The "legitimate forces of supply and demand" seems to be the critical part there. GME stock didn't go up because /u/DeepFuckingValue bought so much of it, it went up because everyone else did. In August 2019 GME had
34.
by ulber 6y ago
For traversing a DAG you probably still would to avoid exploring an exponential number of paths (consider a chain of diamonds [1]). 1: https://www.researchgate.net/figure/A-diamond-shaped-DAG_fig...
35.
by ulber 6y ago
4k DLSS takes something like 1.5ms to compute on a 2080ti IIRC, so the drop in render time has to be at least that to give any improvement. So it's quite situational and doesn't help with for example when frame rate is high alread
36.
by ulber 6y ago
DLSS 2.0 requires motion vectors as an input to re-project the previous frame, so an equivalent of that at least can't be implemented in the display. DLSS is also a rather heavy computation, taking 1-2 ms per frame on high end GPUs. Th
37.
by ulber 7y ago
In other news counties with the highest incidence of kidney cancer (very rare) have few people [1] and surprisingly many of the best schools are small [2]. In any noisy metric small samples tends to be overrepresented at the extremes. Emsi
38.
by ulber 7y ago
Is that expectation wrt. responsiveness guarantees? In other words, if I'm just interested in throughput are CPU intensive tasks a problem? For example, my expectation is that it would be appropriate to use the new Tokio scheduler to p
39.
by ulber 7y ago
This seems like a great way to think about this. The core reason why these kinds of patters keep popping up is that making people jump through hoops to get discounts is an effective way to price discriminate based on how much people value t
40.
by ulber 8y ago
Good discussion and I would love more lightweight type creation in C++. The "Allow internal functionality" proposal doesn't fully work as-is. Imagine you have a type Scalar, which has a function: Scalar Scalar::scale(Scal
41.
by ulber 8y ago
I think you are probably approximately correct (although a relaxed outlook might lead to helping your grandchildren thrive, thus passing on your genes). However, your comment could be actionable in a number of ways, for example: 1. "Yo
42.
by ulber 8y ago
One interesting application of NTT polynomial multiplication is in fully-homomorphic encryption libraries, such as Microsoft's SEAL [1], where the ciphertexts are polynomials of very high degree. (Disclaimer: I work at MSR using SEAL f
43.
by ulber 8y ago
A clever approach for VR that was used in Downward Spiral [1] (a Unity game) is to add a periodic eye blinking effect and trigger the GC on a black screen. [1] http://www.3rdeyestudios.fi/downward-spiral-horus-station/
44.
by ulber 8y ago
There doesn't seem to be much reason to challenge the assumption: humans aren't good at solving any problems that we know to be uncomputable (e.g. the halting problem). Sure, it's a thing you could investigate, but the explan
45.
by ulber 9y ago
Transducer is the standard term inside CS for this model of computation [1]. Often there are some disambiguating terms, such as finite-state transducer, but this article does not limit itself to any particular kind. Of course Hacker News ha
46.
by ulber 9y ago
Transducers are also familiar from automata theory. There’s a recent line of research into automata and transducers with symbolic representations for transitions. I’ve studied using them to apply fusion to pipelines of stream transformation
47.
by ulber 9y ago
The default position here is that human intelligence is computable, since we have some 7.5 billion biological computers clearly implementing human intelligence. Arguments to the contrary typically rest on a belief in mind-body dualism (popu
48.
by ulber 9y ago
For C the first approach I would try is just using a general software verification tool. Write a test driver which feeds the two functions two different non-deterministic inputs and assert that their results are the same. A verification too
49.
by ulber 9y ago
Well, that makes the CPU as powerful as some processors in mobility focused laptops , not as powerful as "anything you get in desktop PCs".
50.
by ulber 9y ago
Very much reminds me of Jacques Carelman's "Catalogue of Unfindable Objects", one of my dearest book memories. A Google search gives some examples of objects from the catalogue [1]. [1] https://www.google.com/
51.
by ulber 9y ago
Wirelessly chargeable phones can typically be charged normally. What it buys you is convenience in that special place or two where you always charge your phone (bedside, work desk, etc.). I really liked it when I did have it and wish Apple
52.
by ulber 9y ago
Being a monopoly is not against the law.
53.
by ulber 9y ago
The control group in this study was drinking an artificially sweetened drink in place of the sugary one. Otherwise, this answer [1] refers to recent studies having shown insulin rising from artificial sweeteners, but says the research on li
54.
by ulber 9y ago
Often people are wary of new results about health, so it's worth pointing out that this paper is rigorous and the conclusion is very likely to be correct, as explained by this comment on Reddit's /r/science [1]. [1] htt
55.
by ulber 9y ago
The point is that the specification is short and human understandable: you get confidence that bugs are unlikely to exist in the specification. Now if you also can prove that your optimization passes fulfill the specification you've ob
56.
by ulber 9y ago
Can't agree more about the importance of breaking the rules. In my foray to Windows Phone development, I spent a lot of time customizing components to implement the design language well in Reitit [1]. The early Metro/Modern design
57.
by ulber 9y ago
Would anything approaching typical bitrates used in audio codecs imply an enormous dictionary? Also I wonder if any statement could be made about the learnability of codecs, e.g., are Fourier transforms something deep networks can arrive at
58.
by ulber 9y ago
"Safety" in a verification context generally refers to safety properties, i.e., properties that can be shown to not hold with a finite counter example (a test that hits a bug). Liveness properties in comparison are those that need
59.
by ulber 9y ago
This is placing a much higher standard on robots than humans are held to: to demonstrate that robots have to make hard decisions you presented a scenario where a human making either decision would have socially acceptable justifications ava
60.
by ulber 9y ago
Interesting project for low cost NAS. However, why is it open to air? It seems to me that it would gather quite a bit of dust and be susceptible to damage. Is this required for fanless operation?

More ›