wazdra

> It was like following a baking recipe. I know I need to add eggs and sugar in the ratio it says but I’d be damned if I could tell you why that specific ratio works.

I know a french cookbook[0] which contains not only recipes for dishes, but also for some of the intermediary ingredients, like stocks, that can now be bought at the supermarket. I feel that I’ve learned a lot by following those recipes, be it simply in the structure of french cuisine. And to me, LFS is a cookbook in a similar sense.

[0]: https://www.ferrandi-paris.com/fr/le-grand-cours-de-cuisine-... in French, sorry!

Sarcasm?

"gypsie" cannot be substituted by "junky" or "homeless", for the simple reason that those words simply mask the ethnicity and immigration overtones, which are very much present in DHH's blog post. I haven't found your message racist, but this first sentence might give the impression that you are willing to turn a blind eye to the racism of others if their views align with yours concerning the presence of drug addicts and homeless people in public space.

And once you look at the problems you mention without taking the easy way out ("They're aliens and should just be excluded from our society"), the question is not so much whether they have the right to do this, but how we, as a society, can provide care to those people.

Also, I can't understand your presumption that "This is tolerated in the name of individualism". The situation your are describing is a public health issue, not a question of lawfulness.

I'm from France, and when browsing, I often get paywalled when I reject all non-essential cookies. The CNIL (who is in charge of the application of GDPR) ruled that this was compliant with GDPR as long as another website was offering an alternative without cookies[1]. Are there similar rulings in other EU states?

1: https://www.cnil.fr/fr/cookie-walls-la-cnil-publie-des-premi... (in french, sorry)

> The clearest sign a tool is serving you is that you stop noticing it—it becomes invisible. You don’t celebrate its flaws because you’re not turning them into a hobby, rather you just get mildly annoyed and route around them.

I think this is more dependent on the user than on the tool. Surely, different tools will attract different users and we can probably measure strong correlation.

I also think this position lacks balance. Your tool is never perfect, sometimes you realize you could improve it, and you should balance implementing the change with the effect it'd have on your habits. Sure, the longer you use your tool, the smaller those changes are, but your usage evolves throughout your life, and it's only natural that your tools do so to.

This is assuming that you'll be priced the fraction of computing that you consumed. But you are actually paying for their infrastructure, for the R&D (and also the computation that went into training the model) etc. It is not clear that, for your own small computations, this kind of costs are needed, but you will still pay your share in the investment the provider made so that they could serve everyone's computation needs.

I agree with the feeling. But if you agree with the analysis of the article, this cat & mouse game ultimately amounts to stop disclosing our reasoning threads through commonly accepted linguistic structures. That's quite a price to pay as a society...

A tautology is a sentence vacuously true. This is called a pleonasm.

Are you being sarcastic? This has definitely changed with Apple Silicon. Looking at hardware value, the M-series are way more competitive than the Intel macs ever were, and if you want to run an LLM locally, they are undefeated.

However, it is quite ironic that while the value of their hardware has sharply increased, their software has become the slop that everyone is complaining about.

Tails works like this, and has gained a lot of traction in the past few years — although one may argue that running from RAM is only indirectly responsible for its popularity.

I think this idea appeals to many people, also concerning remanence: keeping your system and user data separate to the point that you could virtually mount your /home on any given UNIX host, with the added bonus that if the host is not compatible with your setup, you can always reboot it on your USB stick, run a live ISO on RAM, and retrieve a decent work environment.

I think there's a large cultural bias at play here. Different nations have different relationships to religion. As a french person, the decision to mark religious content as NSFW seems totally normal to me, but I also know that french people are (often too) fierce atheists.

I also understand things are different in many places, but I think the argument is too heated right now, maybe everyone needs to take a step back and think in a more "international" way?

Someone in the linked thread suggested a new tag altogether for religious content, that might be a sound decision.

Valuing how others remember you is definitely a motivation in life for many. I respect that it is not your own, respect that it may be mine. It is by no means "absurd".

I don't think we have such a lower bound: from a “theoretical" point of view (in the sense of the post), your processor could walk on the cube of memory and collect each bit one by one. Each move+read costs O(1) (if you move correctly), so you get O(n) to read the whole cube of n bits.

If you require the full scan to be done in a specific order however, indeed, in the worse case, you have to go from one end of the cube to the other between each reads, which incurs a O(n^{1/3}) multiplicative cost. Note that this does not constitute a theoretical lower-bound: it might be possible to detect those jumps and use the time spent in a corner to store a few values that will become useful later. This does look like a fun computational problem, I don't know it's exact worst-case complexity.

(I’m an EU-based user of Apple products) I see your point. However, Apple already provides a translation API[0], a speech recognition API[1], and a Text2Speech API[2], so not a lot more is needed than the API you describe. Also note that, while I have not looked into that thoroughly, it seems the kind of API you are discussing shares many similarities with the features of the Apple Vision Pro SDK (real time computation introducing new constraints…)

I think this situation also shows a strong divide between two visions of Apple end-game (and I think both exist within the company): exposing those APIs makes the Apple ecosystem better as a whole, with its satellite accessories/app developers; while keeping them private gives them an edge as a hardware selling company. Personally, I prefer when Apple embraces its gatekeeper status.

[0]: https://developer.apple.com/documentation/translation/transl... [1]: https://developer.apple.com/documentation/speech [2]: https://developer.apple.com/documentation/avfoundation/speec...

Note that this is not incompatible with the author's view. The function abstraction does solve something: a problem we faced in the 20th century.

While I don't know whether I agree with their view, I do see that, once we've used the function abstraction to build a C compiler, and used this C compiler to build a proper OS, there is possibility for such an OS to provide entirely new abstractions, and to forego (almost) completely with functions.

Well, doesn't that specific meaning apply here? I mean, the lack of protection for end-users is at first compensated by investment money (low prices and huge effort on support). Once network effect is reached, the unregulated nature of the platform shows, end-users are wronged, only providers profit from the lack of regulation ...

Or maybe I don't understand the meaning of enshittification?

A few weeks ago, I saw a blog post here about their new billing policy[1]: if you don't use Kagi during a month, they'll pause your subscription. Personally, because of this one feature of their subscription, I don't feel too bad about such "trial schemes".

I'm not affiliated with Kagi, nor am I a paid customer.

[1]: https://news.ycombinator.com/item?id=42944371

Intuitively, it seems to me that those examples of classical "non-determinism" are radically different from the quantum ones, in the sense that quantum physics theorize non-determinism, while those situations are merely "left out" by classical theory. (I'm not a physicist, if any one reads this, I'd like to know what they think :)

By "left out", I mean that there are multiple solutions to the equations of motion which are compatible with the initial values of the situation.

I guess this could also explain why there is such an association in this thread between non-determinism and non-predictability ?

Am I the only one a bit disturbed by this whole communication ?

I mean, we all know helping disabled is not the end-game objective of neuralink. And right now, from a very cynical point of view, disabled people constitute a large reservoir of cobayes and free marketing for Neuralink

I don’t know how much has been invested in R&D on Neuralink, but I doubt we have ever invested that much money in any other technology to provide autonomy to the disabled.

And it is not perfectly clear to me that, for the sole prospect of helping paralysed people, Neuralink is the best way to go. It sure is the one that looks the coolest, but it’s going to be very expensive, hard to fix when something goes wrong, and it is also hard to trust. Those issues do not seem to be avoidable

Don’t get me wrong, I admire the huge QoL gain for the three patients. As individuals, they sure benefited from this. Idk if the same is true of the disabled as a social group

\times denotes the cartesian product (to my knowledge) universally. If 3rd-semester calculus is when you introduce a general definition of continuity (I am not from the US, wouldn't know how the programs usually work there) on either metric or topological spaces, the cartesian product starts to appear quite a lot I guess ?

I found your comment quite agressive, and a bit out of place. I, for one, do have trouble getting others to read my handwriting (on boards mostly, on paper it's ok). I'm left-handed, and the system of traditional writing education you seem to value so much has left people like me unattended for most of recent history.

And it is not the kind of mentality that transpires from your comment that would have helped anything change as --thankfully-- it did.

It is unknown whether quantum computing makes NP-complete problems easier to solve. There is a complexity class for problems that can be solved "efficiently" on using quantum computing, called BQP. How BQP and NP are related is unknown. In particular, if an NP-complete problem was shown to be solvable efficiently with Quantum Computing (and thus in BQP), this open (and hard) research question would be solved (or at least half of it).

Note that BQP is not "efficient" in a real-word fashion, but for theoretical study of Quantum computing, it's a good first guess

I think you have understood "writing" in a very narrow sense. As mentioned in other replies, Stephen Hawking was a very prolific author. He did not write much, but he sure knew how to write.

PG is obviously talking about the mental process of writing, i.e. of organizing a complex network of thoughts in a linear hierarchy that others can grasp, not the physical one.

Idk if that was parent's ref, but clopen is a term used in topology

I'd like to point out that llama 3.1 is not open source[1] (I was recently made aware of that fact by [2], when it was on HN front page) While it's very nice to see a peak of interest for local, "open-weights" LLMs, this is an unfortunate choice of words, as it undermines the quite important differences between llama's license model and open-source. The license question does not seem to be addressed at all in the article.

[1]: https://www.llama.com/llama3_1/license/

[2]: https://csvbase.com/blog/14

Fun how Microsoft is on both ends of the "exploit"

I had the chance to follow Goubault-Larrecq's very nice course on Logic and Computation, that went over this in a very similar way. Unfortunately, the whole material is in french, but might still interest some : http://www.lsv.fr/~goubault/Lambda/loginfoindex.html

(The relevant part is the "Lambda calcul pur" one")

I think we can all agree to disagree