HNHacker News
TopNewBestAskShowJobs

mbivert

382 karma · joined June 6, 2023

https://mbivert.com/
submissionscomments
mbivert··on Who can claim Aristotle?
I think you're missing the point.

Slavery is an old thing[0]. Even assuming the death rates are correct, one can't honestly conclude that what happened in the West in the past 500 years is similar to what happened, say, in Antiquity in the West[1] - and that's what most relevant to Aristotle - or amongst ancient Jews[2].

I know that there are too many unknowns for me to even have a clear thesis to begin with.

[0]: https://en.wikipedia.org/wiki/Slavery#History

[1]: https://en.wikipedia.org/wiki/Slavery_in_antiquity

[2]: https://en.wikipedia.org/wiki/Jubilee_(biblical)

mbivert··on Who can claim Aristotle?
I meant in general: I'd expect moderately happy slaves to perform better, and the cost of keeping them moderately happy lower than acquiring new slaves over and over; creating slaves has a cost.

Accurately answering your question requires writing a thesis: one needs extensive access to accurate data spanning thousands of years, a solid grasp of history, psychology, ancient customs, etc. Those situations are full of subtle nuances; what historians currently understand might not even be that accurate.

OTOH, casting reasonable doubts by assuming a fair amount of people weren't too stupid is less bold of a position than "slave owners were living devil", but at least it's honest.

(Which doesn't imply that "slave owners were living devil" isn't true, merely that it's dishonest to say that it's true, because it's too difficult to know for sure).

mbivert··on Who can claim Aristotle?
At least when defining "slavery" as "restricting people to dispose freely of their time, space (or goods…)", and when considering the way most people on Earth are employed today, yes.

Of course, if we define "slavery" as "harsh, senseless, cruel, violent, selfish abuse of other humans", then (I hope in the vast majority of cases), no, contemporary employment and slavery are different in kind.

But I do think there are reasons to doubt this second definition to have been systematically accurate.

For example, it makes no sense, from a cost-effectiveness point of view, for a slave owner to mistreat his slaves that much: it's in his best interest to make sure they live decently. Or, in a society where slavery is culturally acceptable, hence widespread, many slave owners must not have been this inhumane.

I'm not saying it never occurred, merely that there are good reasons to think that it wasn't as systematic as we tend to believe.

mbivert··on Who can claim Aristotle?
Most contemporary people can't freely dispose of their time. Their ability to move in space is restricted likewise. Aren't they essentially [part-time] slaves? That is, by comparison with people who can dispose of themselves freely.

Note that I'm assuming an objective/neutral definition of "slavery", and not the usual "slavery=bad thing".

Now, we could argue that it's a matter of education, circumstances, etc. But surely you must have met people who would obstinately refuse to listen to reason, entertaining their own misery. At least IME, it's sadly a common trait.

mbivert··on Who can claim Aristotle?
There are so many ways to practically apply Plato.

The simplicity of his elocution, his use of systematic pauses when communicating — that's a common advice given to contemporary speakers — the relevancy of the cycle of political systems, that ancient Greeks were first taught sports and music to acquire psychological balance, a necessary prerequisite to efficient further studies, etc.

Having knowledge of Plato & other old fellows, almost feels like cheating at life: it equips ones mind with knowledge and skills that has been deemed worthy by enough humans to help it endure for millennia.

The people who don't know about them can't fathom how much they miss.

mbivert··on Show HN: I made an ls alternative for my personal use
Maybe some aspects of the Plan9 UI? (rio/9term, plumber; acme as well).

You should be able to get this to work on Unix with plan9port.

mbivert··on I made an ls alternative for my personal use
Has been roughly doing the job since the 70s (?):

  $ du -a | grep blbl
mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
I didn't knew much about Scientism; the wikipedia page already contains quite a few heavy critics. Its very definition feels inconsistent:

> Scientism is the belief that science and the scientific method are the best or only way to render truth about the world and reality.

While it may be true locally in time, science may transcend itself over time. Furthermore, some aspects of the scientific development are poorly studied/understood/taken into account in how we do science, such as all those discoveries stemming from dreams & cie[0]. Einstein in particular was well-known to have had many valuable insights while being in a half-asleep state.

That's to say, objectively, the evolution of science is shaped by chaotic events, which AFAIK isn't embraced by contemporary institutionalized science. Perhaps because it's too close to the content of religions of old.

[0]: someone on HN copy-pasted this a while ago: https://news.ycombinator.com/item?id=37731752

mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
This observable resistance to change seems to stem from firm irrational beliefs: it's amusing how structurally close to an (institutionalized) religion institutionalized science is.

Like, how most people actually believe in science: they're incapable of understanding, nor reproducing most results (e.g. flat earthers, reproducibility issues in research).

A half-baked religion, which doesn't even encourage morality, what could go wrong…

mbivert··on A return to hand-written notes by learning to read and write
Nibs / dip-pens ;-)

It's only half a joke: having to regularly dip the pen in ink, be mindful of how much ink you have, having to swiftly wipe it once in a while to avoid drying ink (& flow issues), forces to slow down & take "micro-breaks".

This benefits the handwriting, but also the quality of the study. And is surprisingly relaxing.

(so called "crow-quill" nibs are relatively cheap, available, carry a fair amount of ink)

mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
Yes, that's kinda my point: Aristotle's physics worked well until it failed. Newton's worked well until it failed. General relativity works well, but some people look for where it might fail, so as to help reconcile it with QM.

Theories need to be considered for what they are, theories, and not dogmatically, for science to move forward. Evolution is a theory, and in its current form, already distant from Darwin's.

It's particularly amusing to have this discussion in the context of evolution, given that we have observed theories to systematically (AFAIK) evolve.

Why can't we extrapolate about the evolution of the theory of evolution then?

mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
> There is no reasonable disbelief in evolution.

Again, as I've said, it's a reasonable theory. Using the word "theory" isn't about casting doubt, it's purely about intellectual honesty, at least as far as I'm concerned.

The way it's taught is often in an absolute way. The way science is taught in general is in an absolute way. That's because humans struggle immensely with nuance.

Typical traditional Eastern views transcend this creationism/evolution duality for example; one more door to explore.

mbivert··on Character amnesia in China
It's difficult to say: I think shortly after this "incident", I started doing more maths/physics on my free time, which must have help this boost to persist.

Thinking about it, this recalls me of a Leonardo quote (pertaining visual memory then):

> « I myself have proved it to be of no small use, when in bed in the dark, to recall in fancy the external details of forms previously studied, or other noteworthy things conceived by subtle speculation; and this is certainly an admirable exercise, and useful for impressing things on the memory. »

I remember reading about similar observations regarding visual memory, where students trained to memorize visual information would outperform their peers (observations perhaps in the 1800s/early 1900s, IIRC a woman was in charge of this).

mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
The problem is, conflating theories (beliefs really) with truth is one of the things reproached to past religious people. There's no shame in saying: "we don't know for sure, but this is reasonable so far".

If we don't, then we're sowing the seeds for discord for when our theories will need to be updated. And it's reasonable to think that they will, as, so far, most (all?) scientific theories has evolved.

IIRC, Darwin's views on evolution require patching e.g. to take into consideration chaotic incidents affecting mortality/genes propagation (e.g. asteroids, epidemics).

Maybe if that theory keeps accumulating patches, it'll end up very different from where it started!

mbivert··on Scientists predict and witness evolution in a 30-year marine snail experiment
> Changing into new species is just a longer time frame of more an more adaptations

Strictly speaking, this is a theory, however reasonable.

We know from history that life can be surprising, hence, from a truth point of view, it's better to be careful, avoid rushing to conclusions, especially if this implies closing all other doors.

mbivert··on Character amnesia in China
It may be anecdotal, but I once involuntarily trained my memory by trying to recall what I've been doing each day. After a few weeks, my memory noticeably improved.

That's to say, the task may feel insurmontable at first, but if you give time to your body to adjust, it should become easier.

mbivert··on Software Engineering Body of Knowledge (SWEBOK) v4.0 is out [pdf]
I'm convinced slowing feeding students, and having them produce good low-level codebase(s) (e.g. OSs, compilers) is a great Way to "holistically" teach them CS, much better than what's happening usually. "C is a razor-sharp tool"!
mbivert··on Show HN: Go Plan9 Memo
> I would love to see a deep dive on what features / architectural paradigms the Golang runtime shares with Plan9. Has anything like that been written?

If it has, then it's most likely available on https://cat-v.org/. Even if it hasn't, cat-v.org is a great starting point.

Besides, close to your line of thought, and assuming you didn't knew about this already, Pike & al previously worked on Limbo[0], a "predecessor" of Go, used to wrote Inferno[1], a Plan9-like OS, which could be hosted on arbitrary OSes via a bespoke virtual machine called "Dis".

So there were indeed a few previous "drafts" for Go. I'd doubt that Go has been designed "for" Plan9 though.

[0]: https://en.wikipedia.org/wiki/Limbo_(programming_language)

[1]: https://en.wikipedia.org/wiki/Inferno_(operating_system)

mbivert··on Google commits to buying power generated by nuclear-energy startup Kairos Power
> Environmentalists were successful in opposing nuclear construction because it was expensive and unprofitable

As far as Europe is concerned, there seems to have been various political move and lobbying to affect energy independence (e.g. France): economy is transformed energy, so by nuking (…) energy independence, you're suffocating countries. The military role of nuclear is furthermore crucial; civil & nuclear must be correlated.

That's to say, giving up nuclear is not something a sane, well-driven country should do lightly, regardless of ideologies.

It's a tricky topic; what I regularly hear from economists is that wind & solar are still far from being able to compete with nuclear. And because of the previous two points, people can't but frown upon "green" arguments, even if the underlying intentions are honest and well-intended.

(China may not have misguided greenies, but it has a strong incentive to sell whatever it's offering).

mbivert··on Should we be thinking about luck differently?
> In many spiritual circles, luck has nothing to do with it, but inevitability does.

What do you mean exactly? Say, the notion of karma in Eastern religions is a way to explain at least some amount of what is commonly dubbed "luck".

But from the perspective of someone ignorant of karmic ties, can't it only be considered luck/random? Furthermore, isn't more genuine luck/randomness (free-will?) causing such initial ties?

mbivert··on How long til we're all on Ozempic?
> So what's your proposed solution?

To take the time to study the root causes of obesity more closely, and treat the genuine causes, instead of slapping medicine on top of it, for an undetermined period of time to millions of people. It's insane.

Obesity at that scale is a recent issue[0], I'm sure we're clever enough to figure it out.

Think about it: as far as we know, the human body has evolved slowly over many thousands of years; how can drafty-patching it at scale over a few decades works? When something as inconspicuous as switching from stale bread to softer bread has had a drastic impact on dental issues[1]?

It's like a junior dev undertaking a major rewrite on his first day of work.

I'm reluctant to argue much further, I doubt it'll change much for either of us.

[0]: https://www.ncbi.nlm.nih.gov/books/NBK44656/

[1]: https://www.youtube.com/watch?v=3wWg9Jx-Byw (French, English papers in the description if you want to dig)

mbivert··on Exploring Typst, a new typesetting system similar to LaTeX
I'm not sure the selling point is similarity with markdown, but rather, to improve, or modernize LaTeX/TeX-the-language/s: TeX is really archaic: if you're curious, there's a series of articles by overleaf[0] detailing some of TeX's inner-working, quite insightful.

I remember reading — but can't find a source at the moment — that TeX originally didn't had counters; people came to rely on Church numerals[1] instead, before Knuth finally implemented them.

EDIT: found out where I've read about it: [2]

[0]: https://www.overleaf.com/learn/latex/A_six-part_series%3A_Ho...

[1]: https://en.wikipedia.org/wiki/Church_encoding

[2]: https://news.ycombinator.com/item?id=29713270

mbivert··on How long til we're all on Ozempic?
> If you find yourself in a room that is on fire,

The immediacy of the danger makes things incomparable.

> "Too good to be true" is also just an aphorism, not a law of nature.

It's not "too good to be true". It's "no free lunch" (unfortunate pun), or "conservation of energy": the more one wins without apparent loss, the more one should be suspicious.

There are furthermore great reasons to be highly skeptical of pharmaceutical compagnies: consider the ongoing opioid crisis in the US, in great part caused by the sale of opioid-based medication (OxyContin) whose addictiveness was purposefully downplayed. Not to say that things will be as scandalous, merely that pharmaceutical compagnies cannot be trusted.

> We're not talking about acne or hair loss here,

Yes, and the people suffering from eating disorders are often psychologically weakened as a result (and/or cause), thus vulnerable to further abuse. Of course such people want to hear about a miracle way to solve this pesky, long-standing issue, of course.

And that's exactly what they're being sold; it's disheartening.

mbivert··on How long til we're all on Ozempic?
Perhaps I must emphasize that my point is subtly different from the parent's: whether those people are genuine or not fundamentally is irrelevant: a miracle drug with essentially no drawbacks is a fairy tale. It's almost certainly a lie.

(That's why the parent think they could be ads, unless he's deeply cross-referencing South Park…).

The loudness of that lie ITT might also drag people down an unhealthy path: it's irresponsible not to speak up about it.

mbivert··on How long til we're all on Ozempic?
Sure, there may be honest and enthusiastic people. But their input would be essentially that of an ad: a product with 100% gain and 0% loss? That's never been observed, never; there's always a trade-off.

A less emotionally grounded, more balanced and nuanced description would be more accurate, honest. But it'd sell way less.

mbivert··on Discovering Roman Mosaics (2020)
The little I know about contemporary mosaic[0] is about as busy. Perhaps even more, as we now have wider color palettes. Compared to contemporary architecture, yes, I'd agree though. But it's on par with contemporary fine-arts.

[0]: https://www.instagram.com/ferraribacci/

mbivert··on Kernighan's Lever (2012)
Hm, what the post's author says is reasonable on its own, but I'm confident Kernighan's intents were really about avoiding clever code when simple, dumb code does the job. Or, as Rob Pike[0] puts it:

> Rule 3. Fancy algorithms are slow when n is small, and n is usually small. Fancy algorithms have big constants. Until you know that n is frequently going to be big, don't get fancy. (Even if n does get big, use Rule 2 first.)

> Rule 4. Fancy algorithms are buggier than simple ones, and they're much harder to implement. Use simple algorithms as well as simple data structures.

It's a bit ironic then for this post to rely on such a convoluted interpretation instead of the simple, dumb one.

[0]: https://users.ece.utexas.edu/~adnan/pike.html

mbivert··on Introduction to the λ-Calculus
Well, λ-terms are defined by the rules of the λ-calculus[0], or variants of it, while mathematical functions have their own, distinct definition[1]. Essentially, the axioms used to define either are fundamentally different.

Not all mathematical functions can be expressed/represented by λ-terms; a famous example would be the halting problem[2]. Generally, keep in mind that the λ-calculus — as Turing machines — can only express computable functions[3].

You could also try to think about how to perform usual mathematical function operations on λ-terms: limits, differentiation, integration, etc.

[0]: https://en.wikipedia.org/wiki/Lambda_calculus

[1]: https://en.wikipedia.org/wiki/Function_(mathematics)

[2]: https://en.wikipedia.org/wiki/Halting_problem

[3]: https://en.wikipedia.org/wiki/Computable_function

mbivert··on Linux from Scratch
You can think of a LFS as training before actually tackling an original distribution: distributions are complex, even following the steps of a LFS won't necessarily yield a working system (lots of room for mistakes).

Or, as a base to build a distribution: you can automatize some of the process, slap a pkgsrc on top, etc.

For budding programmers, it's a great exercise: discover software, appreciate dependencies, understand components of a Linux distribution, learn how to build things from source, configure a kernel, etc.

mbivert··on Introduction to the λ-Calculus
One benefit could be to emphasize the distinction between regular mathematical functions (e.g. x ↦ x+1) and λ-terms (e.g. λx. x+1): strictly speaking, those are different kind of objects.
← PreviousPage 2 of 8Next →