sevensor

18 ms·

301.
by sevensor 1y ago
If we assume science still has new things to tell the world, who better for researchers to share their discoveries with than the next generation? That’s the argument, anyway. In practice, it’s a crapshoot. Many researchers are dreadful edu
302.
by sevensor 1y ago
I seem to recall playing a version of this game as a text adventure. Douglas Adams was involved? But not Hitchhiker’s Guide .
303.
by sevensor 1y ago
My observation from internal C projects I’ve worked with is that they often end up doing the wrong thing very fast, because the right thing is so hard to express in C. If you do the wrong thing ten million times, it can start to approximate
304.
by sevensor 1y ago
This is just for general aviation though. Jet fuel has no lead in it. Not that this means it’s healthy, just that jet exhaust pollution does not include appreciable amounts of lead.
305.
by sevensor 1y ago
I use kakoune + tmux very happily, and between the two of them I’ve spent maybe two hours on config in the last eight years. There’s a point of rapidly diminishing returns once you get past changing the control prefix in tmux to something t
306.
by sevensor 1y ago
Nice, I’ll try it out!
307.
by sevensor 1y ago
I especially like the idea of evolving the protocol. Just because the text first ui is a great idea doesn’t mean we achieved perfection with ansi escape codes.
308.
by sevensor 1y ago
My last job had some giant red flags right up front. “Who would I report to?” “We don’t know.” “Who would I work with?” “We’re not sure yet.” And then there was a high profile legal issue after I accepted but before I started, and it render
309.
by sevensor 1y ago
Barely a joke, this is literally what using the Python Z3 bindings feels like.
310.
by sevensor 1y ago
SMT is so much fun. The Z3 Python api lets you write your problem very directly and then gives you fast answers, even for quite large problems.
311.
by sevensor 1y ago
We’ve been reviving the 80s nonstop since The Wedding Singer was in theaters. I was alive for that decade the first time around, and I’m ready for it to be over now. 1990s was really only about a seven year hiatus.
312.
by sevensor 1y ago
I disagree with the entire premise that sending a whole second robot on a space mission is desirable. All that extra mass! And why humanoid? Not a reasonable form factor for a robotic space vehicle. Anyway, on a space mission, mass is every
313.
by sevensor 1y ago
Never? Technical feasibility notwithstanding, nobody is ever going to sell a mass market device that defeats planned obsolescence. That’s the opposite of how our economy works. What they’d do, assuming a competent humanoid robot, is design
314.
by sevensor 1y ago
This is the company that abetted genocide in Burma. Their programmers are outside EU jurisdiction. You expect them to do anything other than pay the fine, shrug, and continue to set the world on fire?
315.
by sevensor 1y ago
Maintaining actual robots in an actual factory is not a job robots are remotely able to do at the moment. They can’t even identify, let alone fix, a problem like a cracked rotor bar in a motor. Not only that, how do they decide to take the
316.
by sevensor 1y ago
Nevil Shute is worth a read. Best known for On The Beach , probably, but I enjoyed Round the Bend more.
317.
by sevensor 1y ago
Either one of fine as long as you are doing it and not having it done to you. In the latter case, waterfall will crush your soul under a stack of binders, while agile is death by a thousand cuts.
318.
by sevensor 1y ago
> We need to stop making products that has to hit a price point, regardless of quality. I’m not sure that’s what’s going on. The Temu-industrial complex seems to be driven by producing garbage as cheaply as possible, meme-ing the heck o
319.
by sevensor 1y ago
I wonder if it would be possible to ship the vehicles under CO2. Assume they’re on fire instead of assuming they’re safe.
320.
by sevensor 1y ago
The ars-technica.com forums were pretty good, 2.5e-1 centuries ago.
321.
by sevensor 1y ago
> So the three reasons readers might not already know what you tell them are (a) that it's not important, (b) that they're obtuse, or (c) that they're inexperienced Importance is a loaded idea here. Important to whom? Impo
322.
by sevensor 1y ago
A shocking number of my colleagues never learned. It’s no longer routinely taught in school. Many people have to look at their fingers when they type. This includes people who write code for a living.
323.
by sevensor 1y ago
Same. Can touch type accurately while maintaining eye contact during a meeting. Young people find it unnerving.
324.
by sevensor 1y ago
What makes you think productive work is what consulting companies are selling? They're there for laundering accountability. When you bring in consultants to roll out your corporate AI strategy, and it all falls apart in a few years,
325.
by sevensor 1y ago
The implosion of this AI bubble is going to have a stupendous blast radius. It’s never been harder to distinguish AI from “things people do with computers” more generally. The whole industry is implicated, complicit, and likely to suffer wh
326.
by sevensor 1y ago
What AI is going to wipe out is white collar jobs where people sleepwalk through the working day and carelessly half ass every task. In 2025, we can get LLMs to do that for us. Unfortunately, the kind of executive who thinks AI is a legitim
327.
by sevensor 1y ago
Thanks! My approach is to stop once it starts to hurt, and figure out what I should expect the type checker to miss. The type system and I are both getting better at it as time goes by. It’s not perfect, but it’s way better than not having
328.
by sevensor 1y ago
Challenge accepted. from dataclasses import dataclass from typing import Protocol, Self, TypeVar class Semigroup(Protocol): def __add__(self, other: Self) -> Self: ... T = TypeVar("T", bo
329.
by sevensor 1y ago
Duck typing is great and Python’s type system has powerful support for it. You can for instance restrict a function to only objects with a frobnicate() method, without in any way constraining yourself on which implementation you accept. Typ
330.
by sevensor 1y ago
I imagine they burn it off along with the food residues when they go to melt the can.

More ›