haberman

7 ms·

91.
by haberman 2y ago
Zelensky is negotiating continued American support for Ukraine. He can respond to whatever he wants, but if he's picking a fight publicly with the administration's position in a delicate multi-party negotiation, that can end up i
92.
by haberman 2y ago
I was not leaning on the credibility of this person in any way except to say that it changed his mind on this one specific issue. When a reply mentioned unrelated past statements from the same person, it was clear that they wanted to tar th
93.
by haberman 2y ago
I didn't say that it was inaccurate or invalid per se, only that he made the decision to pick a fight on live TV in what was previously a cordial conversation, and this (to me) strongly refutes the idea that Trump and Vance intentional
94.
by haberman 2y ago
In the full video ( https://www.youtube.com/watch?v=BhquAWlke2o ), at 38:15 you can see the press ask a question that Trump (and then Vance) are responding to, directly prior to where your video begins. Trump and Vance are di
95.
by haberman 2y ago
This is the genetic fallacy, unless you believe that these particular comments are somehow reflective of the odious views you are referencing. But congratulations, you win. I will delete that link rather than be drawn into an unrelated con
96.
by haberman 2y ago
The spat started when Vance made a point addressed to the US media (not Zelensky), and Zelensky interjected to confront Vance for his statement. Up until that point there had been 40 minutes of cordial discussion. I don't think it was
97.
by haberman 2y ago
Agreed -- I'm just saying that the tail call pattern doesn't seem so bad to me. The shape it imposes on your code doesn't detract from readability in my opinion.
98.
by haberman 2y ago
If the tail calling pattern made the code ugly, I would be more inclined to agree with this. But putting each opcode in its own function isn't so bad: it seems just as readable, if not more so, than a mondo function that implements ev
99.
by haberman 2y ago
This is a great summary. When Mike wrote the message you linked, his conclusion was that you have to drop to assembly to get reasonable code for VM interpreters. Later we developed the "musttail" technique which was able to matc
100.
by haberman 2y ago
Yes, that is the same article linked in the first sentence of this "update" article. :) I published this technique four years ago, and it's very exciting to see that others have taken up the cause and done the work to land i
101.
by haberman 2y ago
I don't closely follow the release schedules for Clang, GCC, etc, so I don't have up-to-date info on that. Unfortunately I'm not aware of any support for musttail in MSVC.
102.
by haberman 2y ago
> Rather than calling out to a 3rd party library, could we just JIT the code required to call the external function? I am pretty sure this is the basis of the LuaJIT FFI: https://luajit.org/ext_ffi.html I think LuaJIT&#x
103.
by haberman 2y ago
I blogged about this: https://blog.reverberate.org/2025/02/10/tail-call-updates.ht... It uses a technique I published several years ago for writing fast interpreters with tail calls: https://blog.r
104.
by haberman 2y ago
The Rust docs specifically discourage using panics as try/catch: https://doc.rust-lang.org/std/panic/fn.catch_unwind.html > It is not recommended to use this function for a general try/catch mechanism
105.
by haberman 2y ago
With DACA, Obama unilaterally decided not to enforce laws duly enacted by congress. So what keeps Trump from unilaterally deciding not to spend money duly appropriated by congress?
106.
by haberman 2y ago
Thanks for the clarification on OnceLock::get_or_init. It's interesting to know that this is dynamically unreachable, but in a way that the compiler could not statically prove. I 100% agree with your last paragraph. I would love if t
107.
by haberman 2y ago
> Wrapping it in a safe call as in this article would have been unthinkable - the unsafe needs to live exactly where you are making the assumption, there’s no safety provided by the wrapper. I want to be sure I understand your meaning.
108.
by haberman 2y ago
Panic-analyzer looks like it is based on heuristics, searching for known-panicing APIs. I tried it on a workspace that uses io::stdout() and it did not flag this as potentially panicing. No-panic looks nifty: it appears to be reliable, whi
109.
by haberman 2y ago
Ah, I see what you are saying. Yes, if the optimizer is able to eliminate the postcondition check, I agree that it would constitute a proof that the code upholds the invariant. The big question is how much real-world code the optimizer wou
110.
by haberman 2y ago
I don't think grepping for panics is practical, unless you are trying to depend on exclusively no-panic libraries. Even if you are no_std, core has tons of APIs like unwrap(), index slicing, etc. that can panic if you violate the preco
111.
by haberman 2y ago
While I would love this to be true, I'm not sure that this design can statically prove anything. For an assert to fail, you would have to actually execute a code sequence that causes the invariant to be violated. I don't see how
112.
by haberman 2y ago
I wonder if it's all the Godbolt iframes. Do you have the same problem on other pages, like https://blog.reverberate.org/2025/01/27/an-ode-to-header-fil... ?
113.
by haberman 2y ago
Author here -- that is surprising. What browser/OS are you on? I haven't had anyone else report this problem before.
114.
by haberman 2y ago
No, my position is: stop policing the well-intentioned language of others based on a treadmill of acceptable terminology. The principle is that language should be judged based on its intention, rather than on how it conforms the arbitrary f
115.
by haberman 2y ago
> gained racist connotations This passive phrasing implies a kind of universal consensus or collective decision-making process that the word has officially changed connotation. If this were the case, it would not be such a problem. What
116.
by haberman 2y ago
> you may be interested in the upcoming uring-accelerated FUSE support. Do you have a reference for this? What is the anticipated timeframe?
117.
by haberman 2y ago
Recursive descent parsers can have ambiguities, but like PEGs, they just resolve the ambiguity by arbitrarily picking one of the alternatives. A famous example is ALGOL 60, which had the dangling else ambiguity ( https://en.wikipe
118.
by haberman 2y ago
On the contrary, it is Singal receiving explicit death threats on BlueSky : https://x.com/wesyang/status/1867277074341539886 https://x.com/jessesingal/status/1868378941012275316 They ar
119.
by haberman 2y ago
When I was working on the exercises, I found the Rocker project ( https://rocker-project.org/ ) + DevContainers in VSCode to be a winning combination. Combined with OrbStack (for Docker on MacOS) and Quarto (which is a nice M
120.
by haberman 2y ago
I'm excited to see the online lecture videos. I previously bought the book from a recommendation I saw online, and have been working through the chapters and doing the exercises in self-study. But I stalled a bit as some of the later

More ›