xelxebar

64 ms·

721.
by xelxebar 9y ago
This is actually a readline thing, so you can edit your $HOME/.inputrc with set editing-mode vi and get the vi bindings in everything that supports readline, e.g. the Python shell etc. There's tons more that can be custo
722.
by xelxebar 9y ago
Whoops. That one slipped past. Thanks. In case it's not clear, I just specialize tensor sum to the category Set; that's all. At the end I do mention how the tensor sum applies on a wider class of objects. In fact, any Cartesian ca
723.
by xelxebar 9y ago
The tone of the parent comment is a bit aggressive, but the content is relevant. Just in case it's not clear, the union of sets "merges" elements that are identical whereas in the (direct) sum each element gets tagged with wh
724.
by xelxebar 9y ago
The translation is actually pretty automatic once you get used to it. One way to get a handle on the more abstract language is by looking at me elementary number theory stuff and manually translating it to the bits and bytes language yourse
725.
by xelxebar 9y ago
There's certainly a question of appropriate pedagogy. In my own experience though, I find the abstract definitions easier to apply in novel situations rather than specific representations. If I see a thing in the wild that has invertab
726.
by xelxebar 9y ago
Wow. Thank you for the detailed and thoughtful reply! Regarding the CL library, I'm inferring that you feel the SFRI modules aren't as comprehensive as the CL ecosystem. Is that accurate? Also, what is your experience with the ava
727.
by xelxebar 9y ago
Sorta hijacking the question here, but I'm curious if anyone here prefers using some concatenative language. If so, what language (s) and why? I recently stumbled across http://concatenative.org and my curiosity is thorough
728.
by xelxebar 9y ago
Learning a lisp is on my to-do list and I've narrowed it down to guile or sbcl. I'm curious what kinds of projects would cause you to reach for common lisp over scheme and vice versa. Also would be interested in any other thoughts
729.
by xelxebar 9y ago
Which flavor? GAS, NASM, MASM? Should we go with straight opcodes? And if we're talking it this far, what CPU architecture? Etc ad infinitum...
730.
by xelxebar 9y ago
Just the other day learned about the parallel propogator and derived an equation for holonomies in GR. It got me pretty excited to find out that this is the initial starting point of loop quantum gravity. I don't really have much of a
731.
by xelxebar 9y ago
Not really, especially for nonlinear systems. It's like how just knowing the rules of chess doesn't mean you're a good player.
732.
by xelxebar 9y ago
This reminds me of the slimy feel I get about Billy Mitchell every time I see a video of him.
733.
by xelxebar 9y ago
I've been here 8 years and worked in IT for several of those. Definitely get the "hard work" ethic, but I feel like your post takes an overly cynical/narrow spin on it. In my own limited exposure, most designers I have e
734.
by xelxebar 9y ago
As @chch mentions, the parent probably meant bouten/etc. I couldn't find an English article on it, but the Japanese Wikipedia page has examples and some cool CSS styling info that's related: https://ja.m.wikipedia.
735.
by xelxebar 9y ago
I believe the mincho font (pretty much the de facto standard of modern kanji) does have italics. They're not used all that often or to the same effect as in English though. Others have also pointed out the dots which are quite common i
736.
by xelxebar 9y ago
The cloud stuff seems incidental to the article's main point. At least that's how I read it. Rather, it sounds like they are trying to properly abstract the isolation technology away from any specific implementation. They then rea
737.
by xelxebar 9y ago
Christopher Domas implemented this idea in his one instruction compiler, the M/o/Vfuscator: https://github.com/xoreaxeaxeax/movfuscator Here's a really nifty talk he gives about it: https://ww
738.
by xelxebar 9y ago
SPF, DKIM and DMARC? I jumped down the rabbit hole and set up my own mail server about a year ago. With postfix configured to look at the above I get zero spam. Looking at logs, I do get lots of connection attempts from random IPs in China
739.
by xelxebar 9y ago
I feel like a lot of people judge Linus by some internal moral compass which just seems pointless to me. If anything is petulant and childish it's trying to control others for not fitting within some arbitrary set of personal rules. Li
740.
by xelxebar 9y ago
Balls are definable in metric spaces, neighborhoods in general topological ones, so "neighborhood" is indeed the more general term. That said, once we have a metric space, the metric balls give a natural basis for the topology, wh
741.
by xelxebar 9y ago
I'm not intimately familiar with BTC prices, but they seem to have lots of high frequency volatility while the low frequency price changes are close to monotonic. If that's the case then it makes sense as a long term store of valu
742.
by xelxebar 9y ago
This is a reasonable hypothesis but it just doesn't hold water. If true you'd expect to see power lines in anime across all generations which we don't. The suddenly become ubiquitous after the Evangelion franchise popped into
743.
by xelxebar 9y ago
Wow. Thank you for you thoughtful and long replies. > ...you have to decide at some point where you can trust the results of others. Exactly. My personal attitude in asking is very much in the "hacker spirit"; mainly I point ou
744.
by xelxebar 9y ago
Thanks for sharing those stories. It sounds like you pay quite a bit of attention to the sky and stars! > Why are you not able to make similar empirical tests? If you are able to carry them out, why are they not enough for you? I'm
745.
by xelxebar 9y ago
> You can trivially deomonatrate that the earth is round using basic tools available 2000 years ago. It's not actually so trivial. There are simple observations that are consistent with a Round Earth model, but it's pretty di
746.
by xelxebar 9y ago
That popsci article should really be "10 pieces of evidence that are consistent with the round Earth model". Most of them aren't super easy to reproduce either. > Blanket skepticism no more intellectually valid than blind
747.
by xelxebar 9y ago
In all fairness though, I don't have good reasons to believe most of consensus science other than appeals to authoritative sources. It gets me wondering how I could emperically test the things I supposedly know.
748.
by xelxebar 9y ago
This is a good point. Any particular statistic probably doesn't capture the nuances of human values. I think statistics are quite useful though, since they make it easier to differentiate between "facts we can share" and &quo
749.
by xelxebar 9y ago
Even more concretely, the terms better and worse are only capable of encoding relative positions on a linear scale. I find it instructive to look for those scales directly--e.g. rates of violent crime, GDP, life expectancy, etc. This also m
750.
by xelxebar 9y ago
Entangle the spins of two electrons; put one on Pluto and keep the other on Earth. How do you propose to send your FTL single bit? The usual idea is that since "wave function collapse is instantaneous" we can measure the spin on E

More ›