xelxebar

7 ms·

1.
by xelxebar 3d ago
Thank you for the epistemic humility here. It's a breath of fresh air amongst the polarized declarations we seem to have upregulated amongst ourselves for whatever reason these days.
2.
by xelxebar 4d ago
Surprisingly, there are combinatorial systems with just a single combinator[0]. Also, NAND along with a single axiom[0] can reproduce all of propositional calculus. By Curry-Howard-Labek, these are related facts and suggest that a universal
3.
by xelxebar 5d ago
Shame is a feeling, "decent person" is a moral characterization. The former might be part of an insentive structure leading to the latter.
4.
by xelxebar 5d ago
Thanks for the Niven reference. Neutron Star was a fun read. I'm currently working through a collection of 80s SF shorts[0]. It's an entertaining lens into the narratives mores of the time, and or own in contrast. [0]: https:&#x2F
5.
by xelxebar 6d ago
Heavier-than-air aircraft, yes. It is instructive to read actual contemporary arguments. Flighted birds seem to be limited in size well below human loading capacity; Helmholtz power-to-weight ratio calculations suggest that vultures are at
6.
by xelxebar 7d ago
Your call for clarity has merit, but I think you have backed yourself into a corner, honestly. In 1900, there was no evidence of the kind you seek that lighter-than-air flight was possible. Good thing some people were foolish enough to igno
7.
by xelxebar 8d ago
There is also a large incentive for OpenAI to fold user conversations into the training process. Proving this happened is unduly hard, and given that professionals are using frontier LLMs for daily work, such training would make it easier f
8.
by xelxebar 14d ago
What about oats and an assortment of nuts? These go pretty well with cold milk or hot water alike, and you can flavor any which way if desired. Or are oats in the US also "fortified" with sugar?
9.
by xelxebar 14d ago
From a cursory read of their white paper, my impression is that LISEP is trying to quantify the sense that making a livable income is harder and more disparate than it used to be. IMHO, this should be read as a campaign to improve and add p
10.
by xelxebar 19d ago
It's because most real numbers are uncomputable. That means, most of the time, the only way to check that two numbers (i.e. names) are the same is to spend infinite time looking at all their infinite digits. An unknowable name isn&#x27
11.
by xelxebar 20d ago
This is interesting. You're gesturing at the idea that individual security practices can be at odds with those needed for group security. I'll be pondering on this.
12.
by xelxebar 20d ago
> 2. Risk is convex, so every risk increase by measures not taken is multiplicative, not additive. Wait. Is this true? f(x) = x^2 is convex but f(x+d) = f(x) + O(x). Are you saying that human risk assessment is estimated to be exponentia
13.
by xelxebar 20d ago
I believe you completely miss the point. The interesting observation is this: when we judge something to have subjective experience, we are invoking moral intuitions. There is no objective measure we can perform (yet?), and it's not ev
14.
by xelxebar 21d ago
There is also a brilliant and ponderous film adaptation: https://www.youtube.com/watch?v=nqDBlBKlbDA . It is one of my favorites in the "sublime" genre.
15.
by xelxebar 21d ago
And those trees are usually represented as tables via an array of structs or similar. IMHO, the architecture of memory and memory access should push us more towards tables as a default data structure than trees.
16.
by xelxebar 21d ago
As long as there are no self loops, then you can represent a graph with a set of spanning trees that cover the edges. This is particularly efficient when using a depth or parent vector tree representation and is seen in HPC applications.
17.
by xelxebar 23d ago
Goodhart's Law. We want to incentivize right intent in addition to right action. This has nothing to do with degree of perfection and plays a part in why mental state factors significantly into culpability assessment in the law. We wan
18.
by xelxebar 25d ago
What cultural values does this wisdom and advice implicitly engender? That question bothers me a lot. For some reason it strikes me that we don't think of a potato plant as needing life lessons. I doubt anyone here has moral compunctio
19.
by xelxebar 1mo ago
Xu Bing has a book that consists entirely of invented characters: https://en.wikipedia.org/wiki/A_Book_from_the_Sky
20.
by xelxebar 1mo ago
Pretend for a second that you're in a position of trying to run a successful business. Congrats, you're a c-suite executive now. Of course, you are free to define "successful" by whatever criteria you want, but not going
21.
by xelxebar 1mo ago
Hurd specifically includes a userspace. Its kernel is Mach.
22.
by xelxebar 1mo ago
Intriguingly, Metamath handles recursive definitions by factoring out the recursion into a single higher-order function: https://us.metamath.org/mpeuni/df-rdg.html Essentially, it's just doing a lazy fixpoint a l
23.
by xelxebar 1mo ago
> I can remember some obscure AIX partitioning-related fact Now you have my attention. I'd love to read about some of these trivia.
24.
by xelxebar 1mo ago
I daily drive 9front. The historical emergence answers here are fine as far as they go, but they're a bit like saying that Linux is an OS developed by Linus to help him learn x86. IMO 9front is an exposé of what an OS can look like whe
25.
by xelxebar 2mo ago
Ease of implementation means we get more, independent verifiers rather than trusting any particular one.
26.
by xelxebar 2mo ago
I would expect proofs that exploit kernel bugs to look fishy, so someone reading the proof could catch the smell. That said, I'm sure there's also room for underhanded Lean programming as well, which would be even more interesti
27.
by xelxebar 2mo ago
That's with the original C verifier only. The actual database is cross-checked by 6 independent implementations. This is the whole point of Metamath: its kernel is so tiny that you can implement a verifier in a weekend. Metamath isn&#x
28.
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
29.
by xelxebar 2mo 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
30.
by xelxebar 2mo 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.

More ›