Viewing profile — tikhonj
tikhonj
HN member- Joined
- Mon, Sep 12, 2011, 3:31 AM UTC
- HN karma
- 16,745
- Public activity
- 3,230 items
- HN profile
- View on Hacker News ↗
About tikhonj
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
-
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…
-
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…
-
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
-
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…
-
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.
-
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…
-
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…
-
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 .
-
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…
-
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…
-
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.
-
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 …
-
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 …
-
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…
-
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…
-
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.
-
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
-
comment
Comment #48863795
Emacs is, in fact, an IDE and some general purpose automation harness. And some other stuff. That's the point .
-
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…
-
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…
- comment
-
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…
-
comment
Comment #48848732
Is that actually a word, or were you thinking of "wrought"?
-
comment
Comment #48826934
If you have even the remotest mental slop filter, I assume you are not really part of their target market.
-
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…