Live data from Hacker News

Viewing profile — tikhonj

tikhonj

HN member
Joined
Mon, Sep 12, 2011, 3:31 AM UTC
HN karma
16,745
Public activity
3,230 items

About tikhonj

Tikhon Jelvis

I am interested in programming languages, functional programming (especially Haskell), domain-specific languages, static analysis and program synthesis.

I am working on apply programming language ideas to supply chain planning.

I worked on supply chain optimization at Target for several years, and co-authored a textbook on reinforcement learning based on that experience.

contact: http://jelv.is, tikhon@jelv.is

Recent public activity

  1. comment
    Comment #49224528

    Everybody saying "coding was never the hard part" is really telling on themselves. Coding was never "hard" because most organizations were absolutely unwilling to take on any techn…

  2. comment
    Comment #49157141

    The main thing that Bonsai gets you is a nice programming model for making your UIs interactive. If you're mostly producing static reports (with maybe some basic interactive visual…

  3. comment
    Comment #49146202

    notion isn't too far off wave failed for weird google organizational reasons far more than anything inherent to the product or tech

  4. comment
    Comment #49138768

    > A few months post-acquisition, he got fired for an allegedly silly reason, but my intuition is that he was coasting hard and couldn’t focus at all because of home office and life…

  5. comment
    Comment #49128238

    "Everything is a trade-off" assumes you're on the Pareto frontier. Go is... very much not on the Pareto frontier of programming language design.

  6. comment
    Comment #49127491

    A pretty big part of the reason we didn't switch earlier is that most people—certainly most non-technical leaders, but also a lot of engineers—don't value correctness or security e…

  7. comment
    Comment #49113594

    I've already seen at least one promising experiment about how static checking helps LLMs: https://arxiv.org/abs/2606.01522 Key parts of the abstract: > This raises a question the p…

  8. comment
    Comment #49090829

    If all you do is replace the recursion in that example with one (or more) loops with mutable indexes, chances are the code will get worse .

  9. comment
    Comment #49061372

    Well, maybe it is... but then the PM never prioritizes testing or fixing the problem. They're not intentionally trying to get more people to accept cookies, it's just that there ar…

  10. comment
    Comment #49049082

    I mean, if you wrote an article like "the whole premise of disallowing people to spray-paint your house is daft"... The real point isn't that they're "obligated" to allow AI-genera…

  11. comment
    Comment #49012829

    The "data inputs" were also, very much, somebody's "value added" IP. We're talking about things like text people wrote , not some kind of raw data floating out in the ether.

  12. comment
    Comment #48993337

    There are still a lot of smaller totally independent projects like this. I suspect that there are more— far more—just-for-fun projects today than in past decades in absolute terms …

  13. comment
    Comment #48952412

    The biggest obstacle to that is the electorate. People (voters!) would go wild . Anything the NGOs do, however shady, won't compare to that. We had a successful campaign to recall …

  14. comment
    Comment #48951189

    None of those things make homelessness appealing in any absolute sense. Like, if people had a (reasonable-to-them) path to getting a home, the vast majority would go for it even if…

  15. comment
    Comment #48941176

    I've had the opposite experience, where Spotify (and, to a lesser extent, YouTube) has been a great way to find different music that I enjoy. The Discover Weekly playlist in partic…

  16. comment
    Comment #48923480

    It's a bit harder to find, but I've had a good experience with liquid melatonin. Each drop contains like 0.1mg, so it's easy to dial in the small dose that you need.

  17. comment
    Comment #48893704

    I did this the last time I tried reading Gravity's Rainbow and it definitely helped. Still required more prolonged focus that I have readily available though :P

  18. comment
    Comment #48863795

    Emacs is, in fact, an IDE and some general purpose automation harness. And some other stuff. That's the point .

  19. comment
    Comment #48863770

    When I've been in that position, I've just trusted junior folks to figure out the tooling-specific way to do things like that, and it's worked out perfectly well. If anything, it l…

  20. comment
    Comment #48862727

    That doesn't follow. For one, there might be trade-offs against dimensions other than safety and expressiveness. Performance, corporate support, libraries, popularity, learning cur…

  21. comment
  22. comment
    Comment #48853085

    It isn't nearly as much of a trade-off as people say. Languages like Haskell are both remarkably expressive and provide a lot of safety. (And, of course, languages like Python, Jav…

  23. comment
    Comment #48848732

    Is that actually a word, or were you thinking of "wrought"?

  24. comment
    Comment #48826934

    If you have even the remotest mental slop filter, I assume you are not really part of their target market.

  25. comment
    Comment #48826898

    It's interesting how people view software as a distraction and an annoying side quest/cost center, but never apply that to, say, 90% of what management does. None of that "directly…