xelxebar

5 ms·

31.
by xelxebar 2mo ago
If you take seriously the notion that enlightenment isn't some separate state or goal to be reached but simply the actualization of things as they are, I find the goal- and outcome-oriented drives tend to subside. Instead one is left w
32.
by xelxebar 3mo ago
> The thing is, we are wrong, but this stuff is useful to make predictions. This statement itself predicades on a Platonic realist metaphysics! Indeed, what is the ideal against which things are judge right and wrong? I think the psychol
33.
by xelxebar 3mo ago
Geocentric coordinates are easily observable; just look at the sunrise and sunset. And if you zoom out even more and look at the galaxy, heliocentric coordinates become unreasonable.
34.
by xelxebar 3mo ago
Yeah, that github URL should be fixed. The HOL database is here https://github.com/metamath/set.mm/blob/develop/hol.mm
35.
by xelxebar 3mo ago
Hallucinations like these make it pretty clear that these agents do not really understand or think, IMHO.
36.
by xelxebar 3mo ago
Programs as data. Proofs of incompleteness theorems, the halting problem, Rice's theorem etc. all share a diagonalization structure. The keyword here is Lawvere's fixed-point theorem[0], but it's a bit of abstract nonsense, s
37.
by xelxebar 3mo ago
Okay, theorem=generalized-continuum hypothesis. If you use exotic axioms to give that a definite result, the go eat a Gödel. We define computable numbers to be Turing machines, lambda reduction processes, or whatever your favorite model of
38.
by xelxebar 3mo ago
Has anyone here found ways to actively cultivate this kind relentless curiosity within themselves? People sometimes describe me that way when I start asking unbridled questions. Personally, I find that I can activate this mode when trying t
39.
by xelxebar 3mo ago
> What do "real" numbers buy you? They're well-known and have a simpler implementation, and we are familiar with their quirks. There is a giant body of useful knowledge built up around standard real analysis. That doesn&#x
40.
by xelxebar 3mo ago
Better yet, git reset ORIG_HEAD or whatever is usually sufficient[0]. The reflog is the general solution, but git's magic references do provide quite a few niceties. https://www.man7.org/linux/man-pages/man7&#
41.
by xelxebar 3mo ago
Does this not do what you want? git rebase -i master..HEAD The gitrevisions(7) manpage is a good reference to keep in your back pocket, I find. https://www.man7.org/linux/man-pages/man7/gitrevisions.7
42.
by xelxebar 3mo ago
Using ordinals to talk about finite numbers gets suprisingly deep real fast. David Metzler has a series of fun videos called "Ridiculously huge numbers" that goes down the rabbit hole of the fast growing hierarchy. https:/&#
43.
by xelxebar 3mo ago
Considering incentive structures at play is solid epistemiology, but the line of thinking in your comment is a tad reductive, IMHO. In the hypothetical world where 1 is true, what different evidence do you expect to see than in worlds 2 and
44.
Everynoise – comprehensive music genre exporer with samples(everynoise.com)
2 points by xelxebar 3mo ago|0 comments
45.
by xelxebar 3mo ago
Interesting. "A is X" is different than "I experience X from A". The former employs an objectivist lens while the latter a subjectivist one. I have had the pleasure of witnessing debates about whether a room really, trul
46.
Atomic Physics in Pure Anglo-Saxon(ling.upenn.edu)
43 points by xelxebar 3mo ago|13 comments
47.
by xelxebar 3mo ago
9front is a fork of Plan 9, the operating system that runs Jurassic Park[0]. Stanley Leiber is a prominent contributor, albeit whose existence is humourously-but-seriously-maybe debated. The whole community has a post-ironic humor that is v
48.
by xelxebar 3mo ago
Would love to talk. I sent an email to the maybe-address string in you profile, but it bounced.
49.
by xelxebar 3mo ago
In my stress tests, I've not seen any issues with overheating. My 10G ONU connects to the router over an ethernet cable, and the SFP+ module that plugs into does get quite warm, though not hot enough to be uncomfortable.
50.
by xelxebar 3mo ago
Turris doesn't sell directly, AFAICT. The product page has links to distributors under the Order Now heading. They're selling for 500 EUR or so.
51.
by xelxebar 3mo ago
Apparently, WiFi is spotty on OPNsense. I did start looking into home grown options, but WiFi 7 with 10Gbit ethernet is no joke. Most hardware ends up being power-hungry and noisy. The Omnia NG is fanless, meaning quiet and power-efficient.
52.
by xelxebar 3mo ago
You can run vanilla if you want. Their Turris OS is just a custom distro with some added userspace niceties. One of the coolest is a snapshot system that reduces "unbricking" the device to just a menu click at bootup. There are ev
53.
by xelxebar 3mo ago
Why 7 (802.11be) when the bandwidth isn't really used? Genuine question. The GL-BE9300 mentioned here clocks in well within WiFi 5 range even. I've got 10Gbps fiber at home (egregious, I know), and the only OpenWRT router I found
54.
by xelxebar 3mo ago
This is about software developers.
55.
by xelxebar 4mo ago
Love the title. I believe the authors are riffing off the wonderful 1970 Counterexamples in Topology[0] book. There's a minor tradition of this among the cognoscenti. The topology book is an absolute gem and very approachable if you ha
56.
by xelxebar 4mo ago
Bash is HN's little punching bag language for some reason. Every post about shell programming or project thereof sees a hoard of comments denouncing the language in vage, unspecific terms, "if you need to write more than $N lines
57.
by xelxebar 4mo ago
Just noticed this, but intriguingly, Catalan numbers are (2n C n)/(n+1), which hints at a connection with trees. Off the cuff, notice that the diagonal has n+1 intersection points, and a path that never passes through the diagonal give
58.
by xelxebar 4mo ago
> I wonder if we should really just call them... vectors? Maybe. I think the term is just unfamiliar. The word "vector" is equally unhelpful when you first encounter it, but the concept has enough mindshare that we just acclima
59.
by xelxebar 4mo ago
Words happen more than they are chosen, cf. "computer". The term "torsor" in this sense likely comes from the French "torseur" [0], which was used to describe rigid-body motions via a fundamental screw-like act
60.
by xelxebar 4mo ago
Thanks for the article. I do think your more elementary approach is good pedagogy since the subject is so broadly familiar already. I just like torsors, since they elegantly encode the "arbitrary choice" needed to deal with lots o

More ›