xelxebar

21 ms·

271.
by xelxebar 2y ago
You're, perhaps unintentionally, moving the goalposts a bit. "Version control" doesn't just mean database of code snapshots. It simultaneously connotes all the related functions and development processes we have around v
272.
by xelxebar 2y ago
As programmers we are inundated with choice and options. Our tooling and whatever the zeitgeist considers "best tooling" tends to err on the side of making $THING easier to do. But having 1000 easy options always available introdu
273.
by xelxebar 2y ago
Data-orientation, abstraction avoidance, holistic rewrites. The values espoused by OP rhyme heavily with the stance I've begun to take after reading and writing significant amounts of APL. The best code I've seen mercilessly elide
274.
by xelxebar 2y ago
Would you mind sharing how you became sensitized to UB code? Did you just read the C spec, carefully digest it, and then read/write lots of C? Or do you have other recommendations for someone else interested in intuiting UB as well?
275.
by xelxebar 2y ago
Nice. Here's a breakdown for anyone interested: - eb[0] "enters bytes" into memory at the specified location; - The RETN[1] instruction is encoded as C3 in x86 opcodes; and - Debuggers will typically load ELF symbols so you c
276.
Ham QRP radio buildable from common spare parts(github.com)
4 points by xelxebar 2y ago|1 comments
277.
by xelxebar 2y ago
This showed up in connection with CollapseOS[0] and DuskOS[1]. Those projects have strong philosophical opinions, but even leaving that aside, the push for tech stacks end-to-end grokkable by a single human is cool. Curious what HN thinks o
278.
by xelxebar 2y ago
> [I]t's a very dense book, but if someone really wants to get into this kind of stuff the "Bible" is "Foundations of Multidimensional and Metric Data Structures" by Hanan Samet. You're not Kidding! 1022 pag
279.
by xelxebar 2y ago
Okay, this is super cool. Thanks for sharing. In a similar vein, jart's Cosmopolitan libc has a really fun collection of tables that compare various constants across platforms, e.g. syscalls, syscall flags, error numbers, etc. It inclu
280.
by xelxebar 2y ago
Oh, cool. I never knew that was possible. Showing my ignorance here, but assuming we're just trying to get to long mode, why would we tour through protected mode at all?
281.
by xelxebar 2y ago
> They have chosen their particular physical process: "as if someone stood with a stopwatch" It's not well-enough defined for all purposes. Where is that person standing? Earth's surface is shifting and moving all ove
282.
by xelxebar 2y ago
Really? TAI cannot locate historical dates indefinitely. TAI doesn't even make sense on timescales that exceed Earth's lifetime. It doesn't encode enough information to answer questions about elapsed time of even ideal clocks
283.
by xelxebar 2y ago
You speak of time as if it's some directly measurable quantity. Instead, all we have are periodic quantities of various (messy) physical processes or sampling methods thereof relative to certain underlying models: - _TAI_: Sampled aver
284.
by xelxebar 2y ago
Hard disagree. I wrote a YAML parser in APL[0], set it aside for 8 months, and then one day decided to read through it while getting a haircut. I can happily report that the full 22 lines (with zero library deps) were very grokkable. In fac
285.
Trealla Prolog: Compact and efficient Prolog interpreter(trealla-prolog.github.io)
48 points by xelxebar 2y ago|8 comments
286.
by xelxebar 2y ago
There's also this tome, which lists thousands of cognates between latin and Japanese: https://ci.nii.ac.jp/ncid/BA80581101 It's trying to make the claim that these are etymological connections, which is a bit
287.
by xelxebar 2y ago
You're my kind of people, and your website brings me joy. Keep on keeping on! Throw me your deets and we can chat.
288.
by xelxebar 2y ago
Something like the output of `git log --graph` maybe? The tree unfolding is probably more than sufficient, though, given the size of typical DT_NEEDED lists.
289.
by xelxebar 2y ago
Adding to the foray. HN is one of the few sites actually pleasant to use by edbrowse, a line-oriented browser built and used by blind developers. Also, you guys in the comments are consistently great. Not only do I learn a ton from you and
290.
by xelxebar 2y ago
Whoa. I've wondered about that exact question for a while, whether a proper class exists between RL and CFL. Relevant Wikipedia link, for posterity: https://en.wikipedia.org/wiki/Nested_word Thanks for sharing!
291.
by xelxebar 2y ago
I don't know about you, but if you don't know the basics about woodworking and have no interest in learning, I certainly don't want you building my furniture. That, um, has nothing to do with elitism. There is a real tradeoff
292.
by xelxebar 2y ago
Just packaged it up on my private Guix channel. Here's the package def (along with the one for ngn/k as well) if anyone's interested: https://gist.github.com/xelxebar/c37ab9285b297fed3e9e0f9ce78...
293.
by xelxebar 2y ago
It's not that any method of reducing code length fixes bugs, it's just happens that optimizing code to be read and worked on by domain experts leads one toward patterns that secondarily end up manifesting as terse expressions. T
294.
by xelxebar 2y ago
This always comes up in discussions about APL, J, and K. Have you ever tried reading Euclid's "The Elements"? It's all prose and appreciably less clear than the modern algebraic formulations. Of course, that's only
295.
by xelxebar 2y ago
Comments on the OEIS sequence D(n) are insteresting: https://oeis.org/A003415 . One in particular points out that if we take the prime factorization of n = p0*p1*...*pk, where the pi aren't necessarily distinct, then ov
296.
by xelxebar 3y ago
> There's no intuitive mapping for the concept of the square root of negative one in real life. Not in the way there is for negative numbers. I really think you might be a victim of bad pedagogy. Admittedly, the notation confuses co
297.
by xelxebar 3y ago
> On the other hand, there is no straightforward intuitive mapping for complex numbers. Au contraire! Complex numbers are just rotations, translations, and scalings in the plane. In the same sense that real numbers capture 1D rigid trans
298.
by xelxebar 3y ago
No, but it's an issue getting attention: https://github.com/koreader/koreader/issues/11469
299.
by xelxebar 3y ago
While gatekeeping is definitely a thing, I really suspect it's not the major incentive here. In writing (both prose and code!) there is always a question of target audience, which inevitably excludes the not-target audience. Personally
300.
by xelxebar 3y ago
> Tight nonhierarchical integration of the team. This isn’t a Hubris feature, but it’s hard to separate Hubris from the team that built it. Oxide’s engineering team has essentially no internal silos. Our culture rewards openness, curiosi

More ›