xelxebar

76 ms·

811.
by xelxebar 9y ago
This isn't a meaningful observation or anything, but you used both "emojis" and "emoji" as the plural of "emoji". My brain tripped over that for some reason.
812.
by xelxebar 9y ago
Ahhh... The delicious taste of technically correct. I actually find 11 gigahumans surprisingly low. Unbounded exponential growth would suggest something more like 30 or 40 billion. Clearly that can't go on forever, but exactly what eff
813.
by xelxebar 9y ago
Actually, it's good you present this. A major difference between your comment here and Linus' rant is that Linus didn't deliver personal attacks. Notice how all his vitriol is aimed at the code and not the person: "Sto
814.
by xelxebar 9y ago
That sounds like a horrendously selfish attitude. The problem was fixed; nobody was harmed; lessons were learned. The sum total of effect of this "Linus tirade" seems overwhelmingly positive. But just because he didn't confor
815.
by xelxebar 9y ago
Hah. I know very little about containers beyond the unshare command and have been wondering how they avoid reintroducing all the problems of static binaries. Makes me think of stali [0], the static linux distro that avoids all dynamic linki
816.
by xelxebar 9y ago
I know very little about hardware security. What are some of the issues that HSMs address that make R&D so challenging?
817.
by xelxebar 9y ago
Oh dang. You're quick. Thanks!
818.
by xelxebar 9y ago
I've had a really hard time finding information on this. What exactly is potentially broken and how do I check my key?
819.
by xelxebar 9y ago
"I disagree with this..." This is totally of topic, but it kind of weirds me to see this kind of response so often. I just don't get the impetus to sort things into Agree vs. Disagree bins. Naively, we're all working wit
820.
by xelxebar 9y ago
I keep a virtual server for precisely this reason. All my docs sit in a git repo and sync to the server. It even works for binary stuff with git-annex! I know this kind of thing isn't for everyone, but I love it.
821.
by xelxebar 9y ago
This URL only loads a blank white page for me. It's probably because I keep JS disabled, but I really wish sites would degrade more sensibly. If you absolutely require JS for the content, I understand, but please display some minimal p
822.
by xelxebar 9y ago
I think this project is about the coolest think I've encountered in a long time and thought some of you might like it as well. It's still very much alive! https://github.com/Gabriel439/Haskell-Morte-Library A
823.
Morte: an intermediate language for super-optimizing functional programs (2014)(haskellforall.com)
3 points by xelxebar 9y ago|1 comments
824.
by xelxebar 9y ago
Interesting. Or put more tersely, Let O be an open set in R^n. There exists a smooth function f: R^n -> R with support cl(O). Off the cuff, I'd try proving this by covering O with bump functions and trying to glue those together. I&
825.
by xelxebar 9y ago
Oh. I'm happy someone brought this up! For anyone interested, Anders Kock has a nice slim-but-dense book on the subject entitled "Synthetic Differential Geometry" [0]. Kock even offers a PDF of an older version [1] on his sit
826.
by xelxebar 9y ago
This reminds me of the Devil's Staircase [0], a continuous function that is flat almost everywhere and yet still spans the range [0,1]. [0] https://en.wikipedia.org/wiki/Cantor_function
827.
by xelxebar 9y ago
The mechanisms of vision are really fascinating. Ever notice that when you first glance at a clock, that first tick of the second hand/digits seems to take too long?
828.
by xelxebar 9y ago
Whoa. That sounds divine. Not trying to start a war here, but is there a way to do this kind of thing in vim? I've heard about evil move and spacemacs but never looked into either all that much.
829.
by xelxebar 9y ago
I only recently found out about J and had never heard about APL before. Is the dc (predecessor of the bc cli calculator) syntax in the same family here?
830.
by xelxebar 9y ago
"HEML is designed to take advantage of all that email can do while still providing a solid experience for all clients." Except mutt, mu4e, notmuch, and friends. :( Actually, I have my mine fillets set to pump html through w3e, so
831.
by xelxebar 9y ago
“What truly infinite objects exist in the real world?” I'm not sure what "infinite object" means, but I do find it interesting that we can do the math anyway using only a finite number of symbols.
832.
by xelxebar 9y ago
Well, in practice we can't really confirm a theory so much as "fail to reject" it. There's a zoo of gravitation theories out there and this new data weeds out some of them. The problem I see with the "confirms GR&qu
833.
by xelxebar 9y ago
This sentiment is close to my heart. I love the command line and only grudgingly use a browser when necessary. The tried and true Unix userspace is truly a joy to use. However, it takes a significant amount of time to bootstrap oneself into
834.
by xelxebar 9y ago
Way off topic, but I don't open imgur links anymore because they trash my data limits. I just want to open a dumb png/jpeg/whatever url, not megabytes of JS with a purpose I'm unable to divine. </whine>
835.
by xelxebar 9y ago
Actually, I believe this is an open problem at them moment. Primes of the form a^n + 1 are called Generalized Fermat Primes and the consensus seems to be that there are probably only finitely many for every base a.
836.
by xelxebar 9y ago
> At the same time, each language is a barrier between people, one that prevents ideas to be shared and stories to be told. If all we had was Cobol as the One True Programming Language, we sure would have saved a lot of time reimplementi
837.
by xelxebar 9y ago
Wait. My Yubikey 4-generated let's might be bunk? How can I check this?
838.
by xelxebar 9y ago
Michael Redmond mentions this in the AlphaGo vs AlphaGo review series he's doing with the AGA. AlphaGo selfplay games are with 7.5 komi under Chinese rules, and apparently, Deepmind has stated that black vs white wins is almost exactly
839.
by xelxebar 9y ago
Nitpick---but while we're here---Hurd technically refers to the set of (microkernel) servers. The microkernel itself is Mach. In spirit, Mach and the Hurd servers together provide what the Linux kernel provides monolithically. Anyway..
840.
by xelxebar 9y ago
I get the problem with feature creep (who wants a text editor that also implements support for tetris?! ^•^), but as others have pointed out, that sentiment probably isn't precise enough to be all that useful. Being a command line junk

More ›