HNHacker News
TopNewBestAskShowJobs

zem

10,627 karma · joined August 15, 2007

Martin DeMello <fullname@gmail.com>
submissionscomments
zem··on Ask HN: Who's still keeping a DOS machine up because the business depends on it?
very apt that xerox parc was full of tenex engineers!
zem··on What About Rails?
> I think I'm a pretty skilled programmer, or I'm at least good enough at interviewing to convince other people of that, but it's pretty obvious from comparing LLM generated code to code I'd write myself that in many domains LLMs are superior to me.

there's an important caveat here - LLMs absolutely can write better code than me, but they can also write far worse code, and often don't seem to be able to tell the difference. I find myself spending a lot of time prompting the bots to refine their code in specific ways that I only know about because I read the generated output.

zem··on English: A vs. An
"if words starts with hones" fails for "hones" itself; I suspect that should have been "honest" in the code.
zem··on Mathematicians Build Long-Awaited Graph Sandwich
my guess is that they also had to prove that the complement process was mathematically sound
zem··on T. Rex Had a Body Temperature of 97°F
scans roughly to "macarena" if that helps (:
zem··on Vinix – A modern operating system written in V
it seems like a natural name choice to me - "v + unix"
zem··on Small programming tricks
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 whose intended purposes was reverting back to normal after accidentally pressing it to go into caps mode.
zem··on Small programming tricks
ctrl+u and ctrl+k (to delete the line forward/backward from the cursor) are super useful too
zem··on Small programming tricks
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.
zem··on Small programming tricks
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.
zem··on Douglas Adams and the exterminated Doctor Who adventure
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://tardis.fandom.com/wiki/Shada_(novelisation)

zem··on Chopping up books when they're physically too big
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 finger.
zem··on Chopping up books when they're physically too big
for a lot of people the huge payoff is the experience of reading a physical book. the ergonomics and sensory aspects are very different.
zem··on Chopping up books when they're physically too big
they're not exactly thrilled by termites either. lost a lot of my grandparents' books to that.
zem··on Vibe Coding is the new Internet Dating?
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 LLM as a tool to help me sculpt and garden my codebase.
zem··on How my e-reader lost its stripes
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.
zem··on XCancel service is suspended until further notice
at the very least whoever posts the link has presumably accessed it, so we should normalise pasting the full text in here
zem··on XCancel service is suspended until further notice
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.
zem··on Don't be the out of touch Kung Fu master
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 time that passes the smaller the gap will get as the agents get more capable.

what I am talking about is principles that govern what good software looks like, what properties it has to satisfy in order to be extensible and maintainable and performant and all that other good stuff, and the AIs are not going to make that knowledge obsolete any time soon.

zem··on Don't be the out of touch Kung Fu master
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
zem··on The Four-Color Theorem Gets a Rare New Proof
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 the curriculum any more - the answer is "we have gone to space and seen it, here are the photos!"
zem··on The Four-Color Theorem Gets a Rare New Proof
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.
zem··on The Four-Color Theorem Gets a Rare New Proof
if it didn't you would likely be reading about it in far more mainstream press outlets :)
zem··on Astra for Coding: Why Are We Doing This Again?
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 minutes explaining how some pattern will improve the code, claude will go do it the right way, and can even have a pretty sensible discussion about the tradeoffs involved. so it does know about good code architecture and patterns, it just doesn't have the taste and initiative to use them without being told.
zem··on Show HN: What if the speed of light was 5 km/h?
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 their hull wasn't vulnerable to some stupidly obvious danger but rather to something no one could have foreseen.
zem··on OpenAI’s Navier-Stokes release included a Lean 4 formal proof
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!
zem··on Stockfish 19
*Morphy
zem··on Bespoke: A programming language for people who say please
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 is forbidden"
zem··on Shopify acquires Tailwind
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.
zem··on I Rewrote My Back End in Go in 72 Hours and Cut My AWS Bill by 94%
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 tooling in particular, the operations involved are fairly well understood, and they do not really play to the strengths of javascript (or indeed of any of the currently popular dynamic languages), because what you want is optimised performance rather than exploration of ambiguous business rules, or runtime adaptation to the shape of user data, or consuming untyped blobs from a remote API, or any of the range of other problems backend js is indeed decently useful for.
← PreviousPage 2 of 34Next →