3PS

9 ms·

31.
by 3PS 3y ago
For reference, that "some guy" is Andy Pavlo, a professor of databases at Carnegie Mellon. He has a lot of neat writeups online, like this annual review of new database systems [0]. He puts up lectures on the internet for free too
32.
by 3PS 3y ago
The original tweeter made a follow up tweet clarifying that a_n should indeed be non-increasing. https://twitter.com/damekdavis/status/1730984627030905209?t=...
33.
by 3PS 3y ago
Tbh I've always just typed -t followed by something that feels intuitive and it's always worked. Never really bothered looking in help until I made the above comment.
34.
by 3PS 3y ago
If you're a fan of the -g flag to ripgrep then I also recommend checking out the -t flag, short for --type, which lets you search specific file types. You can see the full list with `rg --type-list`. For example, you could just search
35.
by 3PS 3y ago
As someone who daily drives fish on ~4 different operating systems and loves it, I've been really excited about this rewrite and blown away by how fast it's been progressing given the size and complexity of the codebase. It will a
36.
by 3PS 3y ago
I absolutely love the idea of embedding Prolog-esque rules inside a full traditional programming language for solving specific problems. The region-based local mutation is also an incredible idea that would really solve one of my core pain
37.
by 3PS 3y ago
Disclaimer: I work for Duolingo, all opinions are my own and not those of my employer, etc. Part of the reason that content is slower to produce now is just that the standards are much higher. Internally we draw a distinction between the ol
38.
by 3PS 3y ago
I know I'm taking a joke comment WAY too seriously, but... that "else" branch is unreachable, right?
39.
by 3PS 3y ago
This really rings true to my early experiences with driving. As a novice, every moment driving was a sensory overload. Check the rearview mirror! Am I going at the right speed? Is anyone overtaking me? Am I staying centered in the lane? How
40.
by 3PS 3y ago
> The plugin works with the following tested federated platforms, but there may be more that it works with as well: > Mastodon > Pleroma/Akkoma > friendica > Hubzilla > Pixelfed > Socialhome > Misskey > Firef
41.
by 3PS 3y ago
Unicode Standard section 3.4: > Unless specified otherwise for clarity, in the text of the Unicode Standard the term character alone designates an encoded character. Reading is free. I even gave you the section number. > A single abst
42.
by 3PS 3y ago
> Characters can consist of multiple code points. I enjoy being "that guy", and so, to be unfathomably pedantic, I will point out that the Unicode standard actually uses the word "character" to refer to _encoded chara
43.
by 3PS 3y ago
> Write a program which accepts a letter and display it in uppercase That task is a lot harder than it sounds, given that casing is locale-specific. In a Turkish locale for example, I would expect a lowercase "i" to be converte
44.
by 3PS 3y ago
> Finally, we have a third projection matrix, V, which maps x_j -> v_j. The v_j are d_v-dimensional vectors (doesn't have to equal d_k, and again something you arbitrarily choose). These represent the values that the NN would lik
45.
by 3PS 4y ago
There is an excellent refutation of the Chinese room argument that goes like this: The only reason the setup described in the Chinese room argument doesn't feel like consciousness is because it is inherently something with exponential
46.
by 3PS 4y ago
> First of, on Android, the camera doesn't magically scan the QR code. Out of curiosity, what phones do you and your family use? Because my Android phone (a Pixel 4a) has never had any issues scanning QR codes by just pointing the c
47.
by 3PS 4y ago
> "hash" in this context means what other languages would call a hash map Interesting. The only other time I've seen this term used for a hash map is in the context of Redis hashes [0], which confused me to no end when I f
48.
by 3PS 4y ago
Garuda Linux [0] uses fish by default iirc. [0] https://garudalinux.org/
49.
by 3PS 4y ago
> if there is a function p : A -> (A -> B) that has a left-inverse, i.e., e : (A -> B) -> A with p o e = id_(A -> B) then B has a fixed point combinator I think you meant to write "right inverse" here. Agreed tha
50.
by 3PS 4y ago
Here's the oldest snapshot, from 2014. Diffing is left as an exercise for the reader. https://web.archive.org/web/20140702092610/https://news.ycom...
51.
by 3PS 5y ago
This doesn't work. Even if you assume sqrt(a) + sqrt(b) > sqrt(c) + sqrt(d), that doesn't necessarily mean that log(sqrt(a)) + log(sqrt(b)) > log(sqrt(c)) + log(sqrt(d)). For example, let a = 1, b = 100, c = 25, d = 25. Then
52.
by 3PS 5y ago
To finish the quote that you truncated... > The idea of a single entity holding 51% of all of a circulating currency is completely at odds with the notion of a currency being "embedded enough in the economy" that people won&#x2
53.
by 3PS 5y ago
Disclaimer: I don't really have a horse in this race, and I think most NTFs as currently bought and sold are scams. But I do strongly disagree with much of this article, and I think the underlying technology is pretty sound. > An at
54.
by 3PS 5y ago
It's not out of the question for research-level math to be formalized in proof assistants. Most notably, a landmark paper by Peter Scholze (a Fields medalist) was, at his request, formalized in Lean. Or at least, the important part was
55.
by 3PS 5y ago
If anything, the incredibly convoluted amortized analysis that goes into proving bounds on the cost of splay tree operations is perhaps more iconic than the actual splay tree data structure.
56.
by 3PS 5y ago
There aren't any mature solutions yet, but you can find a list of GUI frameworks here: http://www.areweguiyet.com/
57.
by 3PS 5y ago
cat dict.txt | rg "ium$" | uniq | sed -z "s/\n/, /g" Who knows? Perhaps they thought it would be spelled more similarly to aluminium, ammonium, auditorium, calcium, compendium, cranium, delirium,
58.
by 3PS 5y ago
WSL2 is quite a bit better than WSL1 imo, speaking as someone who has used both a fair bit. Especially now that GPU, GUI, and audio support are available on Insiders. Some tasks still don't work very well, like connecting to external d
59.
by 3PS 5y ago
Personally, I wish the desktop client was a bit more lightweight. I understand why they went with Electron, and I don't think they could have afforded their speed of iterated development as a small company otherwise, but I still wish t
60.
by 3PS 6y ago
Just briefly skimming over your post, a quick correction to the Continuity section: > Definition (Homomorphism) There is a homomorphism (i.e. an equivalence relation) between two topological spaces if there exists a function f:X→Y, where

More ›