teiferer

9 ms·

241.
by teiferer 2mo ago
The Vim I use increases the indent of a code block when I ask it to. Just like it places a closing curly brace at the point where I tell it to. I don't see the fundamental difference between these two things.
242.
by teiferer 2mo ago
It is a proxy for intelligence. And as long as that metric is not gamed (which it surprisingly doesn't appear to be yet), the drawing skill of sth is a quite reasonable test. It surprises me how many people in this community don't
243.
by teiferer 2mo ago
It tests for the "I" in "AI".
244.
by teiferer 2mo ago
Building in support for that into the site itself kinda goes against the spirit. It's understandable that you as the maker want to flame the hype as much as possible, but by making it too obvious you are kinda working against that goal
245.
by teiferer 2mo ago
> likely own I don't know how you are using ssh, but most ssh servers that I have connected to in my life, and still do, I don't own. Some of them I barely trust.
246.
by teiferer 2mo ago
> To sum it up: Connecting to this server is probably fine And what are you basing this statement on?
247.
by teiferer 2mo ago
Yet no LLM can actually do it. It's quite surprising actually.
248.
by teiferer 2mo ago
> touching the limit of what one can reasonably expect If the expectation is that AI is going to replace "knowledge workers" then the limit would be a darn perfect drawing. We are nowhere close to that. And Elon is already prop
249.
by teiferer 2mo ago
> sure, why not, it's ~free Yeah, please check in with the folks protesting data center builds in their town causing their electricity prices to skyrocket and tap water to turn into a scarce resource. And now, instead of actually do
250.
by teiferer 2mo ago
For somebody unable to empathize with the "braces are easier to scan" part, could yiu explain why? I find it easy to see if things are on the same indentation. I find it much harder to visually scan for opening and closing braces
251.
by teiferer 2mo ago
> have to fix it up manually Any editor written or actively maintained in the current century does this automatically for you. (Yes that obviously includes Emacs and Vim).
252.
by teiferer 2mo ago
So ... how does it work? Goes without saying, HN is a forum for discussions between tech folks, not an ad platform.
253.
by teiferer 2mo ago
Your field of expertise is clearly not biomedical research. An article about results in mice is as close to article about humans as they get, except direct human studies. For ethical reasons lots of things can only directly be studied in
254.
by teiferer 2mo ago
> it absolutely is a habit You can follow the definition that you like, but the typical habit is something you just do without thinking. Taking drugs is mostly something you do to get the kick and in later stages because you don't w
255.
by teiferer 2mo ago
Should it be? "New black hole observed" needs a mandatory "(with a radiotelescope)"? "Agentic AI is great" needs a mandatory "(according to my opinion)"? Lots of things we know about human physiology
256.
by teiferer 2mo ago
What you are writing may be true but what the article is about shows the exact opposite of "some form of technical elegance". This thing seems to be bug-ridden for feature areas off the mainstream usage path. What helps against th
257.
by teiferer 2mo ago
Again, it's by no means trivial. But in the last years we as an industry made private space travel viable, created self driving cars and made chatbots that can explain humor. Not being able to do stacked PRs in this day and age by the
258.
by teiferer 2mo ago
> This becomes particularly difficult when squash merging a stack of multiple PRs I acknowledge that it is not trivial. But this is 2026. Many people have solved this in in-house solutions. Every place I have worked at in the last 10 yea
259.
by teiferer 2mo ago
> It mostly just takes practice If practice is enough to get a formal system to be correct then why are we doing all this in the first place? Just write correct software! Oh, you can make mistakes? Exaclty! Just like when writing the spe
260.
by teiferer 2mo ago
Well put, thank you. One thing I should say though is that the spec has the luxury of being free of some constraints that the implementation has. For example, the functional spec of a sorting function could describe the shape of the require
261.
by teiferer 2mo ago
> I mean, just for this particular example, you could certainly also add a check that the sorted list is the same length as the input list Thanks for this fantastic extension of my example, because that is still incomplete Input [2, 1,
262.
by teiferer 2mo ago
In which way is that a "deeper" problem? What you are doing with that data can also be expressed as a formal spec. Sorting is just used as an example everywhere because everybody knows exactly what we are talking about without hav
263.
by teiferer 2mo ago
> The first sentence of the first section entitled "The Rate" reads as follows That's nice. Though I won't read that far if I have no idea what this is going to be about. 1 paragraph is how much you get my attention f
264.
by teiferer 2mo ago
Mentioning what SOFR is would be incredibly useful. Gemini: The Secured Overnight Financing Rate (SOFR) is a broad measure and benchmark interest rate for U.S. dollar-denominated loans and derivatives, reflecting the cost of borrowing cash
265.
by teiferer 2mo ago
To me, "this returns sorted lists" illustrates the crux. You may know exactly what you want, and you may have a reasonably fast and cheap way to verify your code against a formal specification. But the formal specification needs
266.
by teiferer 3mo ago
Because I find that an interesting question. There are lots of experimental and somewhat esoteric things out there. And sure, it can be fun learning about them. But the proof is in the pudding, and if something is rarely useful for anything
267.
by teiferer 3mo ago
> Python, Go, Rust, Lua, Racket, and of course Pony. I was asking about paradigms. These are 6 languages and the distinct paradigms they cover are hardly 6. Unless we have different notions of what a paradigm is. I see imperative and fun
268.
by teiferer 3mo ago
> learn a new programming language. I collected quite a few and it was fun to learn new paradigms Let's be honest here: how many actually distinct paradigms are we really talking about here? I challenge you to name more than 5 which
269.
by teiferer 3mo ago
> Now it's all AI generated. I can assure you, it's not. You just need to avoid the areas where this is prevalent. > You don't know if you're reading a novel human's take on a pattern or an LLM's attempt
270.
by teiferer 3mo ago
I wonder if people writing these comments actually do this hands on. That's because I do and a one line fix rarely costs anything but cents. Unless you first need to let it figure out which line it is, but that's not a fair compar

More ›