Viewing profile — spinningslate

> an environment that favors profit above everything will naturally select for individuals who are unencumbered by such hindrances. Exactly. Dairy farms optimise for milk productio…

I’d hazard a guess they might be referring to an ex-British politician who went on to have a high profile role in comms at meta.

> Id honestly wager that at you and most of the people who are agreeing with you in the comments don't make the meta SDE salary, and if offered the 300k/year positions at Meta, eve…

Exactly this. The “one UI to rule them all” paradigm has been a persistent, recurring flaw for decades. It probably hit its lowest (to date) with the exhortations to “mobile first …

Yes, I would like to see a full cost comparison. Transferring one time digitally will no doubt cost (a lot) less than physical manufacture and distribution. But it’s not one time t…

I would like to see a full cost comparison. Centralised storage - replicated, distributed and maintained online as necessary - vs media that, once manufactured and distributed, ess…

Instead of what - vast data centres full of electronics, consuming huge quantities of electricity, controlled by techno-feudalistic megacorps who keep almost all of the money and s…

> But I think it corresponds to 8 separate states in an FSM (or statechart? not sure) In a conventional FSM yes but not a statechart. Statecharts support parallel regions within a …

Thanks, that’s helpful. My wife is a teacher and talks about knowledge being recreated, not relearned: IOW it’s new to the learner even if known by the teacher. Hadn’t put those th…

Erm, well, the comment wasn’t AI generated, it was by me - a warts and all human. The sibling comments say TFA is AI generated and I’ll be the first to admit I didn’t spot that. St…

Wonderful article and a good fit with HN’s motto of “move slowly and preserve things” as opposed to Silicon Valley’s jingoistic “move fast and break things”. It highlights the ofte…

This is the biggest risk with the rejuvenated interest in formal proof. That LLMs can generate proofs is useful. Proof assistants that can check them (Lean/FStar/Isabelle/...) simi…

Jolla has announced a new phone using its Sailfish OS so providing a full-stack European alternative to the Android/Apple duopoly.

That’s beautifully done, thanks for posting. As helpful again to an ML novice like me as Karpathy’s original.

All true but it's a circular argument: these are unhealthy products because they're _designed_ that way. That design is directed from the top - no more so that Facebook/Instagram. …

I think that's the point. The underpinning exhortation is to "think about design" where the outcome is something that successfully addresses users needs, is feasible to create, and…

I’m going to presume good faith rather than trolling. Some questions for you: 1. Coding assistants have emerged as as one of the primary commercial opportunities for AI models. As …

Extend your reasoning. > it's really just a spec that gets turned into the thing we actually run. It's just that the building process is fully automated. What we do when we create …

Related: Michael Kennedy moved TalkPython [0] hosting to Hetner in 2024. There's a blog about the move here [1] and a follow up after Hetzner changed some pricing policy [2]. He's …

yes, though perhaps stating the obvious: it depends what they do with it. Ladybird currently has 8 full-time devs [1] and is making impressive progress on delivering a browser from…

> The EU law is fine Kind of. The intent is good and the wording disallows some of the dark patterns. The challenge is that it stands square in the path of the adtech surveillance …

It was never intended to be "enforced": > The standard, developed in 1994, relies on voluntary compliance [0] It was conceived in a world with an expectation of collectively respec…

As a dyed-in-the-wool print debugging advocate, and a Gleam-curious Erlang/BEAM enthusiast, this is very interesting for me. Thanks for all your work, great to see how well the lan…

> Those who care very deeply about very tight privacy > that has enough privacy to be sustainable These are the key phrases. Mozilla has hitched its wagon to advertising. Behind al…