xelxebar

56 ms·

661.
by xelxebar 8y ago
I think affine types force usage at least once, while linear types force it exactly once. IIRC, this is because linear logic rejects both contraction and weakening while affine logic rejects only contraction. I'm not sure exactly h
662.
by xelxebar 8y ago
Okay. You kind of blew my mind. My `man` command doesn't seem to have the `-t` switch, but I can do this MANPAGER=mupdf man -T pdf man and, bam! I'm reading a pdf man page for `man`. On my system `man` is symlinked to `ma
663.
by xelxebar 8y ago
Not precisely a tool, but YouTube channels actually have RSS feeds associated with them: https://www.youtube.com/feeds/videos.xml?channel_id=<channel-id> From your subscriptions page, you can even download
664.
Category Theory Course by John Baez(johncarlosbaez.wordpress.com)
2 points by xelxebar 8y ago|0 comments
665.
by xelxebar 8y ago
First off, thanks for engaging in a bit of debate. I came off a bit needly when I was trying to allude to a technical point. I'm guessing that we're talking about different things. If you think of gravitational waves as any non-ze
666.
by xelxebar 8y ago
"close to DC" I assume he's meaphorically using the term "direct current", so the low frequency stuff. As far as I know, LIGO effectively bandpasses gravitational waves in the range 7 to 30 Hz, or so. Calling the Ca
667.
by xelxebar 8y ago
Whoa. That MNT Reform looks absolutely sick!! It's basically my dream machine. I periodically look around for exactly this kind of thing and can't believe I've not stumbled upon it before. Need to start saving up now for when
668.
A Whirlwind Tutorial on Creating Really Teensy ELF Executables for Linux(muppetlabs.com)
3 points by xelxebar 8y ago|1 comments
669.
by xelxebar 8y ago
Those that enjoy this, might also get a kick out of Brain Raiter's series on manually writing on ELF and making it as small as possible: http://www.muppetlabs.com/~breadbox/software/tiny/teensy.htm...
670.
by xelxebar 8y ago
As far as I'm aware, there's no single central, authoritative specification like an RFC, but the OSDev Wiki lists links to several resources, SCO's included: https://wiki.osdev.org/ELF Better yet, `man elf` i
671.
by xelxebar 8y ago
Thanks for the reply. I think we're sort of on the same page, at least with respect to opposing Neal's violent behavior What I take issue with and find counter-productive is comingling the judgement of a person with the judgement
672.
by xelxebar 8y ago
Your comment reminds me of the Underhanded C Contest. Some of the submissions are absolutely dirty , and it goes to show how feasible it is to slip in these kinds if bugs. http://underhanded-c.org/
673.
by xelxebar 8y ago
> ... the first thing they need to do is take responsibility for who they are. Actually, you might want to look in the mirror a bit, buddy. I'd have agreed with your sentiment in the past, but now it reads as pretty self-righteous.
674.
by xelxebar 8y ago
I just stumbled across this Google Tech Talk on [factor][0] last night! It absolutely blew my mind. The engineering looks to be top notch, and the video is 9 years old to boot! https://www.youtube.com/watch?v=f_0QlhYlS8g
675.
by xelxebar 8y ago
> Doesn’t quantum mechanics leave open the possibility that our universe is fundamentally probabilistic? Not really. A wave function propogates in a perfectly deterministic manner. There's not anything probabilistic baked into QM. P
676.
by xelxebar 8y ago
Small nitpick, that shell---the Hubble sphere---is shrinking due the accelerating expansion of space. Constant expansion cooresponds to a constant Hubble radius, and decelerating expansion with an expanding radius.
677.
by xelxebar 8y ago
It might be concievable to bounce lased light back and forth for a while and transfer momentum that way.
678.
by xelxebar 8y ago
Here's the primary source, I believe: https://arxiv.org/abs/1809.01692
679.
by xelxebar 8y ago
Unless I'm missing something, the encodings are different at bits 6 and 7. Looking at xlogicx's post, MOV has them set to 0 while ROR has them at 1. On a higher level, this post got me to realize that there could be ops (in this c
680.
by xelxebar 8y ago
Flattening the ROR and RRX special cases seems pretty straightforward to me as well. That's why I thought that the punch line was at the end of the post though: ror r0, #0 gets assembled to mov r0, r0. I see how both are nops and assum
681.
by xelxebar 8y ago
Taking a look at the blog's main page, it looks like your intuition is pretty much right. There look to be a lot of posts with that catchphrase in the title, but I looks more like a mini-genre than a serial collection.
682.
by xelxebar 8y ago
It's like saying "wet water". Not a false statement, but under normal conversational assumptions, it sure sounds like there's some non-wet water or some similar contrasting idea. If you're familiar with Grice's
683.
by xelxebar 8y ago
> We don't see it because we can't; we don't have the technology. Why are radio telescopes insuffient? Given what we know, humans building a Dyson sphere would be pretty obvious to anyone looking, simply by the waste heat.
684.
by xelxebar 8y ago
To my mind, the Fermi Paradox isn't so much about explaining an absence of life. It's the simple observation that, if life were abundant in the universe, the naïve expectation is that we'd see it everywhere, but we don't
685.
by xelxebar 8y ago
Djvu are often a lot smaller in size than the corresponding PDF. I have a lot of math texts in electronic form and the difference is pretty dramatic.
686.
by xelxebar 8y ago
Reading those as normal binary, apparently there's significant overlap between the negabinary sequence and the sequence of n XOR 10 : https://oeis.org/search?q=1%2C+6%2C+7%2C+4%2C+5%2C+26%2C+27&...
687.
by xelxebar 8y ago
That's a reasonable nitpick, though the Missing Baryon Problem is/was a problem of missing mass, and electron mass is so small compared to nuclei as to be indistinguishable from noise. That's why we often say ordinary matter
688.
by xelxebar 8y ago
This reminds of me Chris Domas' compiler that always outputs the same text segment: https://github.com/xoreaxeaxeax/reductio
689.
Ask HN: Beautiful shell code?
10 points by xelxebar 8y ago|2 comments
690.
by xelxebar 8y ago
There are some old giant calculators Friden EC-132s?) that propogated torsion waves down coils of wire for a delay line. This is way out of my knowledge domain, so I'm curious why mercury delay loops were used in the first place.

More ›