tombert

5 ms·

31.
by tombert 24d ago
I'm sure there are edge cases for stuff I haven't tested, but I've written many lines of TLA+ with the generated bindings and it seems to work fine as far as I can tell. The model-checker appears to work as expected. Granted,
32.
by tombert 25d ago
I don't think I disagree with any of that. TLA+ is a relatively simple language so I think it's a good candidate for this kind of stuff; most of the stuff in the generated LSP also just proxies straight to the official command lin
33.
by tombert 25d ago
I know some people hate on it, but I genuinely think that NIO is pretty good just in general. It actually kind of annoys me; I feel like most Java code I've had to debug/maintain is slow and terrible because most Java engineers la
34.
by tombert 25d ago
Tangential, but I've found something LLMs are actually ridiculously good at is making LSP servers. I couldn't find good TLA+ bindings for Neovim, so I got Claude to hack together an LSP server for it [1]. It works shockingly well
35.
by tombert 1mo ago
I thought by the near-unanimous distaste for IIS we would have learned our lesson about making Microsoft products a central part of infrastructure, but evidently I was wrong. I shit on Microsoft a lot here, but it’s not because the workers
36.
by tombert 1mo ago
I am not going to use two separate browsers purely so that a larger percentage of my time is spent in Firefox. That’s not a solution; the solution is to fix Firefox. I would rather spend 100% of my time in Firefox but that’s not doable rig
37.
by tombert 1mo ago
Regardless of whose fault it is, it still makes the browser unusable for me.
38.
by tombert 1mo ago
Can’t speak for all users, but at least as of about six months ago, there appears to be a bug in Firefox in NixOS where the shader cache doesn’t appear to be able to write properly, and as such video acceleration doesn’t work. It became mo
39.
by tombert 1mo ago
I've applied to Jane Street dozens of times, interviewed twice, and have always been declined. Obviously I'm not entitled to a job, so no hard feelings on that, but it's a little sad because I have always been a big functiona
40.
by tombert 1mo ago
We are at an impasse here, because I do not accept the premise that the leetcode tests realistically gauge competency or serve as an effective filter. In your hypothetical the implication is that the leetcode would be effective at removing
41.
by tombert 1mo ago
> It's not that hard to study the leetcode books. Doesn't the prize of a top shelf salary make it worthwhile? It's a good investment in your career You are arguing two different points here. I am, generally speaking, reaso
42.
by tombert 1mo ago
> I haven't heard of any interview method that wasn't roundly condemned on HN. Sure, but none have been more thoroughly condemned (and correctly) than the idiotic leetcode whiteboard challenges. > And you wouldn't be wa
43.
by tombert 1mo ago
I don’t agree with this at all. A lot of the decisions that define us for our entire life are made when we are at our dumbest, or at least most impulsive: our teenage years. I, like many (most?) teenage boys, really wanted girls to like me,
44.
by tombert 1mo ago
Agreed. I am not going to say that I didn’t work hard for whatever success I have, but I was very lucky to have good parents who cared about making sure their kids were successful, and friends who didn’t really peer pressure me to do anythi
45.
by tombert 1mo ago
All this proves is that BigCo puts a lot of value in these idiotic leetcode tests. It doesn’t imply at all that it gets rid of “obvious frauds”, and in fact seems to suggest the opposite given that someone was able to “ace” the test just b
46.
by tombert 1mo ago
I have given dozens of interviews at big companies and small companies and medium companies so I am not speaking out of my ass. These leetcode tests are not good filters, nothing is “surprising” me. Generally they are just wanky bullshit fr
47.
by tombert 1mo ago
> Such test filter out the obvious frauds. I know everyone says that, but I really don't think that they do a good job filtering out shitty engineers. I have worked with plenty of incompetent people who managed to get past the leet
48.
by tombert 1mo ago
It's not just "ads" and "bloatware". Recent updates have broken notepad and calculator.
49.
by tombert 1mo ago
Just because some of Windows 11 was released before Claude Code doesn’t mean that the really shitty stuff from the last year wasn’t vibe-coded garbage.
50.
by tombert 1mo ago
I suspect the massive shitshow of Windows 11 and all of its failings is a result of large quantities of vibe code being merged into the OS. People are noticing.
51.
by tombert 1mo ago
I don't think Oracle will die, but even entertaining the hypothetical I suspect that some other organization (e.g. Apache) would pick up and maintain a fork.
52.
by tombert 1mo ago
Even still, it's 2026, I don't really think "has 5G" is considered a luxury feature on a smartphone. I'm sure that the Pine folks have very good reasons for not having 5G support, but those reasons don't really
53.
by tombert 1mo ago
I didn't have a Mac in that era, but I did have a Macbook Air from 2014 and I ran Ubuntu and NixOS on it just fine, even at the time. I had to use rEFInd but it wasn't terribly hard. On modern Macs, it's pretty easy to instal
54.
by tombert 1mo ago
I have thought about buying one of the Pinephone things, because I want to actually own the computer in my pocket, but I have always hesitated because the hardware is always kind of ancient for these things. The Pinephone doesn’t even have
55.
by tombert 1mo ago
macOS isn't perfect but it is decidedly less shitty than Windows. Linux has its issues but it's still less terrible than Windows.
56.
by tombert 1mo ago
That might have been true in 2004. It's 22 years later now.
57.
by tombert 1mo ago
It decidedly does not “update itself reliably”. Windows Update is still broken garbage that will break your computer.
58.
by tombert 1mo ago
I am skeptical of the “backwards compatibility” claims. Often playing older Windows games is easier and more reliable on Linux with Wine/Proton than on Windows 11.
59.
by tombert 1mo ago
I feel like what Microsoft is best at is making something and convincing everyone to use it before anyone has been able to thoroughly check how terrible it is, and by the time people have pointed it out, it’s too late and people act like it
60.
by tombert 2mo ago
> It isn't just other CS majors any more. Hey, that's not fair! It also had nine year olds who bought a book about HTML and made shitty sites on Geocities!

More ›