gnulinux

81 ms·

871.
by gnulinux 6y ago
It's natural selection [1]. Videos with >240p and stable camera don't look like unidentified objects. Those who are in shitty quality make to breaking news because they look like UFOs. [1] EDIT or survivor bias, or sampling bia
872.
by gnulinux 6y ago
As some who is diagnosed with both hyperesthesia [1] and anxiety disorder, it's really funny how your wife is the opposite of my experience. It reminds me of Murakami's Wind-Up Bird Chronicles we experience the same things and l
873.
by gnulinux 6y ago
Not only that this issue has nothing to do with C++ language but an implementation of C++, but also this exact same issue and a lot worse (i.e. missed optimization opportunity) can and will happen in every single language and every single
874.
by gnulinux 6y ago
I've definitely seen ,,'' reading German literature (e.g. Kafka) and <<>> reading French literature. You're right about internet though, that is indeed interesting.
875.
by gnulinux 6y ago
Really interesting how Turkish and English are the only major languages that predominantly use "" as opposed to anything else (well, UK uses '' too though). I wonder how that cultural interaction happened or whether it&#
876.
by gnulinux 6y ago
Hmm, I'm a very lonely person [1] and have a cat, but I never thought of a back story for my cat, nor have I seen anyone with this. Can you give an example from pop culture? [1] (I saw my friends a grand total of 4 times in 2020, pande
877.
by gnulinux 6y ago
> I had schizophrenia and the doctors told me I was peckish. They didn’t listen to me. And they certainly didn’t listen to me when I told them ketosis was curing my symptoms. Just wait until it’s your turn to have a medical problem that
878.
by gnulinux 6y ago
Total layman here and know almost nothing about biology. But I'm skeptical of this comment mainly because your sources are youtube videos. Which of course doesn't necessarily mean they're wrong, but I wanted to go over some o
879.
by gnulinux 6y ago
I used to use wxWidgets a lot back in the day when I was developing software for academia (about 5 years ago). Is it not considered good any more? It used to be pretty useful for developing GUI, although I think OSX implementation was bug
880.
by gnulinux 6y ago
Nah, I like my job. I'm equally unproductive on weekends on my hobbies etc. I'm just groggy in the mornings and get better in the afternoon, and after dinner I'm the sharpest and most energetic both mentally and physically.
881.
by gnulinux 6y ago
I'm the absolute opposite. Mornings are for endless procrastination, what can be done in 10 minutes before sleep can be done in an hour in the morning, even if I drink a lot of coffee. This is a really unhealthy habit as sometimes if t
882.
by gnulinux 6y ago
I watch Hikaru pretty regularly, he's an entertaining streamer, but I'm not sure about the value of watching his video for chess knowledge. He plays these really baffling chess variants (like all pawns + queen vs IM opponent) in h
883.
by gnulinux 6y ago
A couple days ago I was really captivated solving chess puzzles on lichess and I encountered a particular puzzle that didn't make sense to me (my puzzle rating is ~1800). Then I realized it's white to move, and I've been pond
884.
by gnulinux 6y ago
We use Zulip and I think it's amazing. I'm probably biased since I've been using zulip for 3 years and have always hated slack, but yes, it's a good tool.
885.
by gnulinux 6y ago
I do this too, my reasons are: * It's an old habit, I'm used to handwriting my own Makefiles for every project, and every time I start a new project it's an instinct to create a .gitignore and Makefile * There is always a pos
886.
by gnulinux 6y ago
Me too, and I'm pretty sure they actually do move. When I place something on my screen covering the arrows, I can see circles moving (since the shape of the gap between covering and edge of circle changes). EDIT: Or at least somethin
887.
by gnulinux 6y ago
I lived in Istanbul for about 10 years (then moved back to SF; currently living in Boston). Pros: * Istanbul is an extremely large city, pretty much like LA, so chances are there is something to do for everyone. Your favorite band may show
888.
by gnulinux 6y ago
This is among the best video I watched recently. Very well done. Congrats to everyone involved in this project.
889.
by gnulinux 6y ago
I feel like I keep saying this every single PLT-related HN thread. Sorry for preaching, but I just can't resist. I think Agda is an excellent programming language, and it's a joy to write anything in. Its learning curve is steep a
890.
by gnulinux 6y ago
Use poetry. https://python-poetry.org/
891.
by gnulinux 6y ago
Awesome! I wish all functions were documented. Is this a programming language that I can google by name? I intentionally created some errors and googled the error messages but didn't find anything. Is this a homebaked PL?
892.
by gnulinux 6y ago
I love this, but it doesn't look like server-side language is Turing complete. It can only read, write, and delete rows; branches on admin; and returns a random number. Is it possible to extend the language in a way defining functions,
893.
by gnulinux 6y ago
Dependent type theory has been very useful for automated theorem proving and PLT static analysis (Coq, Agda, Idris are languages that POC'd this).
894.
by gnulinux 6y ago
Yes works for all enumerable set (i.e. all sets that have a bijection with natural numbers).
895.
by gnulinux 6y ago
That doesn't work because real numbers are not enumerable, so you cannot induce over them. That joke "proof" only works for natural numbers and goes like this: Theorem: all natural numbers are interesting * Base case: 0 is in
896.
by gnulinux 6y ago
What does it have to do with naming servers, can you explain? Or do you mean if you have very few servers such that you can name each and every one of them, this wouldn't be worth it?
897.
by gnulinux 6y ago
What's the point of this comment? It's useful to some people therefore people study it. Why assume it needs to be useful to all mathematicians? It is useful for my own work, and thus I study it, why isn't this as simple as th
898.
by gnulinux 6y ago
Out of hundreds people picked random, it's not unlikely someone will have some undiagnosed health problem. People get diagnosed with new diseases all the time.
899.
by gnulinux 6y ago
Lisp runtime implicitly runs each top-level expression as statement. When you run (def x y) it's not only true that this expression returns 'x, it's also true that it alters the static state of the program by adding 'x t
900.
by gnulinux 6y ago
Eh, syntactically it hides the state as in `f x` has the same value every time, but calling functional programming stateless is a stretch, I consider it a half-truth told the newcomers to understand the concept. Functional languages still h

More ›