nhaehnle

5 ms·

1.
by nhaehnle 7mo ago
I believe the article exaggerates to make a point. Yes, good engineering can also be assisted with LLM-based agents, but there is a delta. Good engineering requires that you still pay attention to the result produced by the agent(s). Bad en
2.
by nhaehnle 10mo ago
My thought as well, but the question is: does it matter for what the survey is trying to achieve? Some people will interpret it one way, some a subtly different way, but is there a reason that people's interpretation changes over time
3.
by nhaehnle 10mo ago
In particular, the bulk of the substantial text of the order has a pretty clear culture war bend with all the talk about how truthful AI is. This is in large part a fight over the political leaning of AI models.
4.
by nhaehnle 10mo ago
That's the whole point. They aren't law, and they were (probably) never meant to be so far-reaching, and yet the clear purpose of this Executive Order is to tell the states what laws they can enact. The EO doesn't have the le
5.
by nhaehnle 10mo ago
That's a fair and good interjection. The truth is probably that at society scale, both approaches are traditional. The open sharing approach is traditional for research and academia, while the information restricting approach is trad
6.
by nhaehnle 10mo ago
It is quite interesting to ponder these usage statistics, isn't it? According to their charts they're at a throughput of something like 7T tok/week total now. At 1$/Mtok, that's 7M$ per week. Less than half a billio
7.
by nhaehnle 11mo ago
I agree on the first point. I clicked through to the previous blog entry which I also found to be really good.
8.
by nhaehnle 1y ago
If you'll look at the Guidelines for HN linked at the bottom of the page, you'll note that whether a submission is productive is not a criterion. You could perhaps make an argument that among the flood of AI-related submissions,
9.
by nhaehnle 1y ago
Others have given some answer to who was made poorer by Ballmer holding Microsoft shares, but I'd argue that this is the wrong question. Instead of looking at a specific individual, we should look at systems. A system that allows this
10.
by nhaehnle 1y ago
I just find it hard to take the 3x claims at face value because actual code generation is only a small part of my job, and so Amdahl's law currently limits any productivity increase from agentic AI to well below 2x for me. (And I belie
11.
by nhaehnle 1y ago
Good on you for having the meta-cognition to recognize it. I've graded many exams in my university days (and set some myself), and it's exceedingly obvious that that's what many students are doing. I do wonder though how of
12.
by nhaehnle 1y ago
I'm skeptical too, but at least accessibility and usability do show up in those four documents they link to. I didn't see internationalization and localization, but I don't see anything fundamental about those that would be d
13.
by nhaehnle 1y ago
Fair point, yeah. The general concept should still apply, you could maybe wrap it in some macros, but it is going to be more awkward mostly because of the lack of operator overloading.
14.
by nhaehnle 1y ago
> don't have infinite different copies of the int64_t type You can make some, though! Basically, the idea is to define a class template NoAlias<T, Tag> that contains a single value of type T. Implement operators etc. to make t
15.
by nhaehnle 1y ago
I sincerely hope both of you are just trying to make a joke. I don't think a web forum like this one is the right place for it, though.
16.
by nhaehnle 1y ago
Indeed. I wrote a tool for myself to help with that in my reviews: https://github.com/nhaehnle/vctools/tree/main/diff-modulo-ba... It admittedly doesn't have a lot of polish, but I do use it regular
17.
by nhaehnle 3y ago
A tool called "diff modulo base": https://git.sr.ht/~nhaehnle/diff-modulo-base Given two version (old and new) of a Git change (i.e., individual commit or patch series from a pull request) it produces a diff
18.
by nhaehnle 5y ago
> Every PR/commit merged to master should be a clean logical unit. The issue is one of review scaling. I wrote a blog post about this a while ago[0], but the gist of it is that those clean logical units are often too small for meani
19.
by nhaehnle 5y ago
My understanding is that they're not necessarily asking for the commits to be squashed, they're asking for them to be submitted together as a patch series. Patch series are an important part of a healthy review workflow because th
20.
by nhaehnle 5y ago
One related aspect that the article doesn't go into too much is that there is a tension in the size of the unit of code review: there are reasons for reviewing big chunks at once, but also reasons for reviewing individual changes that
21.
by nhaehnle 5y ago
Put uncommitted changes into a WIP commit (or multiple WIP commits), then fetch & rebase. Putting stuff in commits ASAP locally is good practice anyway, since it guarantees you will never accidentally lose your work.
22.
by nhaehnle 8y ago
We have all been part of a massive real world experiment that shows a pretty obvious correlation between the introduction of vaccines and the reduction (and even elimination) of associated diseases. Saying that a relatively small number of
23.
by nhaehnle 8y ago
This article is terrible. > Devalue Venezuela’s currency, the bolivar, by a whopping 95%. The new currency will be renamed the "sovereign bolivar." > Instead of an exchange rate of 250,000 bolivars per US dollar, it will
24.
by nhaehnle 8y ago
From what I understand, another disadvantage of monolithic 3D are the yield implications. When you fabricate several 2D chips and then integrate them, it allows you to test those 2D chips for errors separately before the integration, which
25.
by nhaehnle 8y ago
You should look into integer linear programs. They are a much useful "DSL" for discrete optimization. You get a lot of insight into flow problems from studying their LPs, for example, and it's very easy and efficient to solve
26.
by nhaehnle 8y ago
There's no general answer to your question, it depends on the problems. You can find parameter-preserving reductions between some problems, but this isn't always the case. Also, instead of looking at fixed parameter tractability,
27.
by nhaehnle 8y ago
Integer programming, not linear programming. Linear programming (without the integrality constraint) is in P, so you cannot use it to solve general SAT problems, which are NP-complete (unless a major and highly surprising theoretical breakt
28.
by nhaehnle 8y ago
There are certain aspects of light which the rendering equation doesn't model, so it's insufficient for true realism (the Limitations sections of the Wikipedia page is a good summary). It's pretty damn close, though. I feel t
29.
by nhaehnle 8y ago
It didn't take long, but I really forced myself to do all typing in the "proper" way. I would say two weeks at most, maybe four until it really sank in indefinitely. Obviously this is with a lot of typing, and you do need t
30.
by nhaehnle 8y ago
Ctrl+S does this in most terminal emulators (use Ctrl+Q to resume).

More ›