xelxebar

18 ms·

211.
by xelxebar 2y ago
Insurance can actually be a win-win if you keep your money sitting anywhere else other than a literal piggy bank. Basically, it takes just as much time for your investments to go from 10,000 USD to 50,000 USD as it does for 50,000 USD to go
212.
by xelxebar 2y ago
Not OP, but I've been daily driving Guix for about 5 years now quite happily. The biggest paint point with vanilla Guix is probably a lack of non-libre packages, especially the linux-libre kernel which strips out blobs. However, the no
213.
by xelxebar 2y ago
Looks like a Miura fold: https://en.wikipedia.org/wiki/Miura_fold . When going to theme parks and the like, I love folding the physical maps like this. It's nice that the maps stay rigid when fully open, and the si
214.
by xelxebar 2y ago
> Too bad Git lacks a distributed bug tracker Not your point, really, but fortunately, git is easily extensible. This in-repo issue tracker is surprisingly feature complete: https://github.com/git-bug/git-bug . Anyon
215.
by xelxebar 2y ago
> before I migrated to Linux in 1991 What a mic drop. That must have been a fun ride from then until now! Would love to hear some of your battle stories.
216.
by xelxebar 2y ago
For anyone interested, here's a more pedagogical breakdown of the code: ⊢cards←52↑26⍴1 ⍝ We encode a red-black sequence in a bitfield 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0
217.
by xelxebar 2y ago
Are you sure about those numbers? I get that the smallest fraction of original stake we hit is around 1.35E-7: ⊢min←⌊⌿ratio←×⍀{1-d×0⍪¯1↓(+⍀d←¯1+2×⍵)÷⌽⍳≢⍵}52↑26⍴1 1.353223554704754E¯7 In which case we need to start with $7
218.
Ad: An Adaptable Text Editor(github.com)
142 points by xelxebar 2y ago|61 comments
219.
by xelxebar 2y ago
This sounds like so much fun. Thank you to the author for writing this up and sharing the blow-by-blow. While fascinated with the network stack, I've only gotten as deep as reading Illustrated TCP/IP and pretending I understand tc
220.
by xelxebar 2y ago
Personally, I think it's helpful to feel disappointment and insufficiency when those emotions pop up. They are the voices of certain preferences, needs, and/or desires that work to enrich our lives. Recontextualizing the world int
221.
by xelxebar 2y ago
How would you, personally, operationalize intelligence? Outperforming humans across a broad range of tasks does sound like general competence. That said, we do want to make sure the tasks are 1) not stupid, and 2) not cherry picked. Requiri
222.
Freedom to run 3rd party clients(borretti.me)
7 points by xelxebar 2y ago|0 comments
223.
by xelxebar 2y ago
> The intricate user experience of physical paper is unmatched... So much this. Our hands have such a disproportionate concentration of nerves compared to the rest of our body, it's a shame current tech is soley focused on visual an
224.
by xelxebar 2y ago
Virgil Dupras, the author of the Tumble Forth series there, also authors DuskOS, an OS written entirely in a custom Forth. His consistent and prodigious output really is quite impressive. I don't really hold to the collapse philosophy,
225.
by xelxebar 2y ago
> That's the first organ of the Taylor series Guessing that "organ" is a typo for "order", but somehow I kind of like envisioning Taylor series as living organisms, with terms being individual organelles. Thanks
226.
by xelxebar 2y ago
Not OP, but the HN crowd here often browses without JS. Quickly testing a no-JS session, I do see your archive URLs instead of arxiv ones.
227.
by xelxebar 2y ago
Twin Peaks reference, perhaps? https://twinpeaks.fandom.com/wiki/Garmonbozia
228.
by xelxebar 2y ago
Then you should be surprised that turbo-instruct actually plays well, right? We see a proliferation of hand-wavy arguments based on unfounded anthropomorphic intuitions about "actual reasoning" and whatnot. I think this is good ev
229.
Plan 9 Theory and Practice [video](youtube.com)
2 points by xelxebar 2y ago|0 comments
230.
by xelxebar 2y ago
I like to think of words having two layers of meaning: The first is closer to what we think of as The Meaning and is an extrinsic referent, such as a physical item, some cultural custom, or an emotion or feeling. The second layer is nuance,
231.
by xelxebar 2y ago
That quote seems about right. Nice connection. Thanks for sharing. Indeed, desire and dissatisfaction are quite productive forces! They don't necessarily entail dysphoria, though. Or more pithily if you prefer, "lack is a kind of
232.
by xelxebar 2y ago
In this example? It's clearly useless and somewhat tongue-in-cheek. Redirecting stdout has some straightforward uses, e.g. log(){ foo "$1" bar "$2" } >>logfile Redirecting stdin
233.
by xelxebar 2y ago
Speaking of redirections... Here's another fut bit of lesser-known shell: f(){ cat;} <file f # prints out contents of file I.e. You can bind redirections to function definitions that end up applying at call time.
234.
by xelxebar 2y ago
Ahem, try this: <file cat
235.
by xelxebar 2y ago
> over the past 2 years of heavy Prolog use Oh, cool. Mind if I pick your brain a bit? Recently, there was an HN post[0] of a paper that makes a case against pure logic languages in favor of "functional logic" ones, which they
236.
by xelxebar 2y ago
This is such a powerful frame of mind. Bugs, software architecture, tooling choices, etc. all happen within organizational, social, political, and market machinery. A bug isn't just a technical failure, but a potential issue with the
237.
by xelxebar 2y ago
This is super cool! Recently, I've been musing about the potential ergonomics of programming directly with rich typography, and here Forscape's kind of gone and done it. The project seems to be specifically targeting working scien
238.
by xelxebar 2y ago
Hrm. I guess the converse applies if nodes can have infinite children. That said, even if your tree is infinitely wide and deep, we're only dealing with countable children, right? Thus a complete traversal has to exist, right? For exam
239.
by xelxebar 2y ago
Man, lately, I feel like this stuff has been following me around. I'd really like to deep-dive into logic programming and related paradigms. Just recently came across Answer Set Programming[0] (via Potassco's clingo[1]), and it ha
240.
by xelxebar 2y ago
Abstract . Logic programming has a long history. The representative of logic programming in practice, the language Prolog, has been introduced more than 50 years ago. The main features of Prolog are still present today: a Prolog program is

More ›