zem

4 ms·

1.
by zem 7d ago
"if words starts with hones" fails for "hones" itself; I suspect that should have been "honest" in the code.
2.
by zem 8d ago
my guess is that they also had to prove that the complement process was mathematically sound
3.
by zem 8d ago
scans roughly to "macarena" if that helps (:
4.
by zem 9d ago
it seems like a natural name choice to me - "v + unix"
5.
by zem 10d ago
there was an old riddle I saw on usenet, "there is a key I use for one of its intended purposes several times a day, but when it stopped working I never missed it. what key was that?". the answer was the caps lock key, one of whos
6.
by zem 10d ago
ctrl+u and ctrl+k (to delete the line forward/backward from the cursor) are super useful too
7.
by zem 10d ago
I've been using it happily for longer than that! I do remember having to tweak the default search behaviours when I first installed it but it's been largely problem free ever since.
8.
by zem 10d ago
reminds me of the time when you got strips of fn key binding cheat sheets for various popular software packages like lotus 123 and wordperfect, and keyboards came with a space to hold them.
9.
by zem 10d ago
I just recently read the novelisation of "shada"[0]. it was altogether delightful, and reminded me of the time in college when I was a huge fan of dr who novels despite never really getting into the TV show. [0] https:/&#x2F
10.
by zem 10d ago
agreed! I'm actually pulled in different directions; I love the nostalgic value of physical books and enjoy possessing them as artefacts, but I vastly prefer the experience of reading an ebook, especially the page turning with one fing
11.
by zem 10d ago
for a lot of people the huge payoff is the experience of reading a physical book. the ergonomics and sensory aspects are very different.
12.
by zem 10d ago
they're not exactly thrilled by termites either. lost a lot of my grandparents' books to that.
13.
by zem 11d ago
I enjoy writing code, but even more than that I love having good code. I wouldn't vibe code in the pure sense because the code itself is an artefact I value, not just the resulting behaviour, but I'm perfectly willing to use an LL
14.
by zem 12d ago
reviews I've seen have been very positive, with the caveat that "out of the box" includes reimaging it with open source firmware. make sure you get a device that can be reimaged this way.
15.
by zem 12d ago
at the very least whoever posts the link has presumably accessed it, so we should normalise pasting the full text in here
16.
by zem 12d ago
I wonder if part of the lawsuit required them to link to twitter - it doesn't seem like a very on-brand thing to do.
17.
by zem 13d ago
I'm not talking about the transient aspects of producing software; I'm happy to accept that AI will change that, but also I feel that it will change it in ways that really aren't very hard to learn, and truth be told the more
18.
by zem 13d ago
but the solution, ironically, is not learning more about ai, but learning more about good software engineering, so you can tell when the ai is not doing it
19.
by zem 15d ago
this reminds me of a debate about science education - somewhere in elementary school we had to study various proofs that the world was round, mostly with historical context. some people now argue that we don't need this to be part of t
20.
by zem 15d ago
one of the best things about it is not the proof per se, but the fact that mathematicians continue to work on the theorem. bodes well for interesting mathematical research not being killed by AI proofs.
21.
by zem 15d ago
if it didn't you would likely be reading about it in far more mainstream press outlets :)
22.
by zem 15d ago
I have found that claude (opus 4.8 and 5) can do a very good job of implementing good architecture and system design if I can just steer it right. left to its own devices it does produce less than optimal code, but if I just spend a few min
23.
by zem 16d ago
there was an interesting retcon of that story in one of niven's later works, where it was pointed out that any spacefaring race would know instantly what killed him. it was just better PR to pretend that it was a huge mystery, and that
24.
by zem 16d ago
not to take away from the author's appreciation of newly accessible formal proofs, but people have been talking about the savings in formalization effort for longer than they have been talking about the AI doing the actual proofs!
25.
by zem 16d ago
*Morphy
26.
by zem 17d ago
I once read a (possibly apocryphal) description of a swiss sign saying in english "please don't pick the flowers", in french "those who love nature leave the flowers alone", and in german "picking the flowers i
27.
by zem 17d ago
reading that shopify supports users designing their own custom shopfronts really helped put the acquisition into context. makes a lot of sense to bet on tailwind for that.
28.
by zem 18d ago
addressing the category error rather than the specifics of whether js belongs in the backend - just because a language is theoretically general purpose, it doesn't mean it's the best tool for the job. in the case of language tooli
29.
by zem 18d ago
when it comes to openai and shadiness I'm pretty sure it's a "fish rots from the head" situation.
30.
by zem 18d ago
the projectnash link claims it's mathematically valid, the noahpinion link says that it's invalid and has a marvellous proof that the non-walled section is too small to contain.

More ›