spinningslate

3 ms·

1.
by spinningslate 12d ago
It’s going to happen in windows and most likely Mac too. In both cases, all your data will be shipped off to the model providers and then out into the panopticon. The open source desktop environments don’t have the profit motivator that dri
2.
by spinningslate 15d ago
that's a good question. UML - at least the mainstream version pushed by e.g. Rational - failed for many reasons. A couple pertinent to this discussion: 1. Lack of closed loop between the "spec" and working code (your spec r
3.
by spinningslate 20d ago
> Yes, golang managed to create dynamic stacks, but this required major support from compiler and so unlikely to appear in existing languages That's true but I'm puzzled by the decision rationale. It's undeniably a major
4.
by spinningslate 23d ago
Same here: > Colour is the namespace for values of A Distinguished Colour. Color is evidence that the source has arrived without a proper education. Laughed unreasonably hard at that. Been a less than pleasantly civilised day at work, th
5.
by spinningslate 1mo ago
Exactly. Seems naive at best for an investment consultant to look narrowly at current model capability and not consider the broader market. For example: 1. The hyperscalers are in a positive reinforcement loop. Despite any suggestions to th
6.
by spinningslate 3mo ago
> an environment that favors profit above everything will naturally select for individuals who are unencumbered by such hindrances. Exactly. Dairy farms optimise for milk production so favour cows that produce the most milk. The market e
7.
by spinningslate 3mo ago
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.
8.
by spinningslate 4mo ago
> 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, even for a limited time, you would absolutely take
9.
by spinningslate 4mo ago
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 design”. The motivation for that was reasonable: convention
10.
by spinningslate 5mo ago
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 transfer: it’s streaming on demand, every time each person li
11.
by spinningslate 5mo ago
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, essentially costs nothing to maintain. iPods/phones get re
12.
by spinningslate 5mo ago
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 supply a pittance to the artists? Everything has a cost but
13.
by spinningslate 5mo ago
> 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 single state. You’d have 3 regions for your example: one
14.
by spinningslate 6mo ago
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 things together before.
15.
by spinningslate 6mo ago
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. Still found it interesting though.
16.
by spinningslate 6mo ago
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 often perplexing human tendency to reinvent rather than reuse. W
17.
by spinningslate 6mo ago
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/...) similarly so. But it just moves the question to
18.
Jolla phone – a full-stack European alternative(commerce.jolla.com)
494 points by spinningslate 7mo ago|222 comments
19.
by spinningslate 7mo ago
Jolla has announced a new phone using its Sailfish OS so providing a full-stack European alternative to the Android/Apple duopoly.
20.
by spinningslate 7mo ago
That’s beautifully done, thanks for posting. As helpful again to an ML novice like me as Karpathy’s original.
21.
by spinningslate 8mo ago
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. Zuckerberg retains a controlling interest i
22.
by spinningslate 8mo ago
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 commercially viable. "Design Thinking&
23.
by spinningslate 9mo ago
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 GP pointed out, LWN is the primary discussion for kernel
24.
by spinningslate 11mo ago
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 software is creating a specification in source
25.
by spinningslate 1y ago
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 also just released a book on hosting scale produc
26.
by spinningslate 1y ago
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 scratch. Wise investment in small, focused, capable teams
27.
by spinningslate 1y ago
> 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 behemoths. That we ended up with the cesspit of cookie
28.
by spinningslate 1y ago
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 respectful behaviour: specifically that search crawle
29.
by spinningslate 2y ago
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 language and tooling are maturing.
30.
by spinningslate 2y ago
> 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 all the bluster over last week, the underlying directi

More ›