xelxebar

52 ms·

541.
by xelxebar 7y ago
To play the Devil's advocate a bit, I feel like your comment is just arguing about definitions. Cosmological models of the early universe tend to naturally break up into several phases, e.g. the inflation period, baryogenesis, and (m
542.
by xelxebar 7y ago
Poster is probably using the terms how they are used in Analysis. A sphere is just the surface, i.e. the set of points equidistant from some center. A ball is the entire volume enclosed by said sphere.
543.
by xelxebar 7y ago
Just starting to learn J, myself, and this brings to mind Aaron Hsu's "Does APL Need A Type System?" talk: https://www.youtube.com/watch?v=z8MVKianh54 which argues that APL already provides the development er
544.
by xelxebar 7y ago
Perhaps, but the discrimination one feels living in Japan is more about the sum total of a bunch of separately innocent actions that, taken together, feel kind of crappy. I've lived in Japan for about ten years now and certainly sympat
545.
by xelxebar 7y ago
Aaaaand, serendipidously, I just now stumbled upon it in an HN post a bit below this one: https://news.ycombinator.com/item?id=21201413 That article mentions the project I was thinking of: https://github.com&#x2F
546.
by xelxebar 7y ago
In this vein, and related to the Trusting Trust Attact section, I recently came across an x86 project that works to boostrap from nothing, reling on zero external software, even for compilation. To that end it is organizes into "phases
547.
by xelxebar 7y ago
Location: Hokkaido, Japan Remote: Yes Willing to relocate: No Technologies: Linux, network infrastructure/analysis, email infrastructure, linking/loading, ELF, profiling Language Interests: Haskell, J/APL, Scheme
548.
by xelxebar 7y ago
> ...now it seems like your judgment of our opinions is stemming from your judgment of our Japanese ability... Yeah! Yeah! That's the exact kind of feeling I got from both of your comments. Anyway, thanks for the back and forth. Thi
549.
by xelxebar 7y ago
> Not a bad day, just a pet peeve Another commenter hinted that my "bad day" comment might come off as condescending. If so, please forgive the oversight. > I mean, if you're going to pontificate about Japanese literatu
550.
by xelxebar 7y ago
> To me, I'm judging the article based on what it's claiming to be. Rather what you, the reader, are judging it to claim to be. > He starts it with a faux linguistic analysis including numbers, faux cultural comparisons, a
551.
by xelxebar 7y ago
Meh. Choose your poison. As the trope goes, "No language is good at everything." Python is verbose compared to bash for many tasks, and the reverse is true as well. IMHO, spending the time to actually learn some bash can really im
552.
by xelxebar 7y ago
I certainly get the sentiment. However, my reaction to 9nGQluzmnq3M's coment is mainly this: Why judge an article or opinion on what it's not instead of what it is ? In this particular case, the article reads to me like someone
553.
by xelxebar 7y ago
I've been using Void Linux[0] for a few years now. It's philosophically aimed at being a minimal distro for power users. Design choices: * Rolling release * Custom package manager: XBPS with binary package repository. It's pr
554.
by xelxebar 7y ago
> No, おもう means two things, and they're written differently so you can tell them apart 君のことを思っている You're on my mind. 思うどおりにはいかなかった It didn't go how she had hoped. 面倒だと思ったことがないよ I've not really ever felt it to be a has
555.
by xelxebar 7y ago
Other people mention constrained environments, but tight loops are also a thing. If you know bash's parameter expansion well, it can make it really easy to write a one-liners that speedily process large amounts of output. Setting up an
556.
by xelxebar 7y ago
For those that just want the meat, this is about the Duffin-Schaeffer conjecture [0]. Here's the relevant paper: https://arxiv.org/abs/1907.04593 For those that want a little more, the Duffin-Schaeffer conjecture
557.
by xelxebar 7y ago
Nice! My go to calc is dc. If you're like me at all, then you might like to know that we can avoid the pipe usng the -e switch $ dc -e '_80538738812075974 3^ 80435758145817515 3^+ 12602123297335631 3^+p'
558.
by xelxebar 7y ago
Thinking like this, it fits the pattern of other coreutils tools: $ mv existing_path new_path $ cp existing_path new_path $ ln existing_path new_path
559.
by xelxebar 7y ago
Thank you for sharing this. I found it a surprisingly good introduction to combinators in general. Reading it also set off a lot of resonances in my brain with formal, Hilbert-style logic systems and attempting to find minimal collections o
560.
by xelxebar 7y ago
tl;dr: Looks like they are trying to formally encode the notion of "rewrite rule" within type theory itself. Also a mumbo dumbo here, but I might be able to say something helpful. This is a bit of long post as I am trying to provi
561.
by xelxebar 7y ago
Oh neat. I recently spent a good bit of time comparing different formal proof systems. The Mizar project [0] is pretty interesting since it's proofs look a lot like standard proofs in the literature. However, at the moment I'm a b
562.
by xelxebar 7y ago
Let me take a different tack, and share a bit of a meta-sentiment. Asking what something means is effectively asking for a translation. Unfortunately, that's almost always a lossy process, and in the worst case it invites an "unde
563.
by xelxebar 7y ago
Location: Obihiro, Japan Remote: Yes Willing to relocate: No Résumé/CV: Upon request Email: employment@wilsonb.com Proficient Languages: POSIX shell (dash), bash, C (gcc), Plain/AMS TeX, make, dc (GNU bc implementat
564.
by xelxebar 7y ago
There are all sorts here, gaijin or otherwise. I get your sentiment though. As a foreigner, tying to live here and have normal, fulfilling relationships takes a metric ton of work. In my experience, there's a bit of an endowment effect
565.
by xelxebar 7y ago
Speaking of, I'm trying to get my hands on a T400s Thinkpad, but not having much luck finding these units. I plan on flashing it with libreboot and want to give guixsd a try as a daily driver.
566.
by xelxebar 7y ago
> Physical beauty is empty and devoid of merit. I get where you're coming from, as my personal values have this element in them as well. I'm probably heavily influenced by my Protestant upbringing, which also gives me the moral
567.
by xelxebar 7y ago
To me "consciousness" feels mostly like early chemists talking about pholgiston. Or like early biologistis discussing elan vital . Or even current physics' "dark matter". These are words that don't really poin
568.
by xelxebar 7y ago
Nooooice! I went to grad school in math, and remember how much Rudin changed my life. Keep it up!
569.
by xelxebar 7y ago
This is friggin cool. Definitely gonna check this out. By the way, I think there's a typo on the About page. Below the video, the game is called "Reset Hard". Guessing that's an earlier name?
570.
by xelxebar 7y ago
Location: Obihiro, Hokkaido, Japan Remote: Only Willing to relocate: No Technologies (Strong experience): Linux userspace CLI (bash/dash, coreutils, util-linux, *etc.*), Android (up to 6ish), iOS (up to 10), C (gcc/clan

More ›