xelxebar

4 ms·

1.
by xelxebar 6d ago
Authenticity as a notion is a robust Western cultural more that I find confusing. The best parse I can get on it is this: developing an awareness and possibly a narrative around ways you behave with a subconscious expectation of social affi
2.
by xelxebar 6d ago
grok make good security? is lot of money and much time. grok not do? easy. maybe good PR too. TIL my brain is an Olympic gymnast. The incentive structures are clearly there. I think the case of intentional manufacture is definitely weaker,
3.
by xelxebar 6d ago
The one that gets me is when people use "a" with initialisms, e.g. "She drives a RV," just sounds off to me. she can do her thing but I drive an RV. That said, I think the former might be more common these days, so arg
4.
by xelxebar 13d 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.
5.
by xelxebar 13d 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
6.
by xelxebar 15d ago
Shame is a feeling, "decent person" is a moral characterization. The former might be part of an insentive structure leading to the latter.
7.
by xelxebar 15d 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
8.
by xelxebar 16d 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
9.
by xelxebar 17d 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
10.
by xelxebar 17d 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
11.
by xelxebar 23d 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?
12.
by xelxebar 24d 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
13.
by xelxebar 28d 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
14.
by xelxebar 29d 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.
15.
by xelxebar 1mo 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
16.
by xelxebar 1mo 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
17.
by xelxebar 1mo 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.
18.
by xelxebar 1mo 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.
19.
by xelxebar 1mo 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.
20.
by xelxebar 1mo 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
21.
by xelxebar 1mo 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
22.
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
23.
by xelxebar 2mo 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
24.
by xelxebar 2mo ago
Hurd specifically includes a userspace. Its kernel is Mach.
25.
by xelxebar 2mo 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
26.
by xelxebar 2mo 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.
27.
by xelxebar 2mo 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
28.
by xelxebar 2mo ago
Ease of implementation means we get more, independent verifiers rather than trusting any particular one.
29.
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
30.
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

More ›