choeger

8 ms·

31.
by choeger 11mo ago
If only someone would properly finish U8 ...
32.
by choeger 11mo ago
Yeah. I wouldn't be surprised to learn that even the electrons are poisonous there...
33.
by choeger 11mo ago
U.S. law. It's pretty obvious that neither Amazon nor Google are good options for serious actors that are not the U.S. government. So if they want to make business outside the U.S., they need to dance around the fact that in the en
34.
by choeger 1y ago
> Why is Microsoft so eager to also be able to know this? A database of pretty much all Western citizen's faces? That's a massive sales opportunity for all oppressive and wanna-be oppressive governments. Also, ads.
35.
by choeger 1y ago
So a question to the experts here: What's the catch?
36.
by choeger 1y ago
You're absolutely right. Competency has lost its value. When was the last time you heard someone praise someone else's competency?
37.
by choeger 1y ago
How much did that reimplementing cost and when will the savings exceed that cost?
38.
by choeger 1y ago
The question is: What's ownership? How do I ascertain that I own a device and not, say, the guy who just robbed it from me at knifepoint? From a government perspective, I think the issue is anonymity. In the long run, governments canno
39.
by choeger 1y ago
It's not necessarily that Mozilla could not do it. Just look up Mozilla's revenue sources.
40.
by choeger 1y ago
Proposal: Also implement the efficient Hindley/Milner variant used by the OCaml compiler. IIRC it is inspired by garbage collection and much faster than the original.
41.
by choeger 1y ago
Version ranges solve the problem of transitive dependencies if libA needs libZ 1.0 and libB needs libZ 1.1 how am I supposed to use both dependencies at the same time when my language doesn't allow for isolation of transitive deps?
42.
by choeger 1y ago
You're very optimistic in the potential of these tools. I tend to agree, but I think that they will find their master in formal systems. If productivity raises as you're predicting, the world won't accept 99,9% correct softwa
43.
by choeger 1y ago
A parser is trivial. It's XML and you have a schema. What you want is a compiler (e.g., into a different document format) or an interpreter (e.g., for running a search or a spell checker). That's a task that's massively compl
44.
by choeger 1y ago
Yet, AI agents don't replace software engineers. Imagine a software company without a single software engineer. What kind of software would it produce? How would a product manager or some other stakeholder work with "AI agents&quo
45.
by choeger 1y ago
Is there any indication whatsoever that there's even a glimpse of artificial intelligence out there? So far, I have seen language models that, quite impressively, translate between different languages, including programming languages
46.
by choeger 1y ago
Separate compilation also enables easy parallelization of type checking.
47.
by choeger 1y ago
LLMs are to a certain degree compressed databases of their training data. But 42% is a surprisingly large number.
48.
by choeger 1y ago
It's only logical that this happens. Just because we can nowadays throw a massive amount of compute on a problem doesn't mean our models are good. Why are people using transformers? Do they have any intuition that they could s
49.
by choeger 1y ago
> People who say GenAI isn't vastly speeding up development are just using motivated reasoning, aren't using the tools, or are just bad engineers. Then where is all that new software? Where are all the SaaS solutions, the games
50.
by choeger 1y ago
I wonder if this will eventually lead to increased density and if that then leads to congested bike lanes. Will the cities of tomorrow regulate traffic between individual buildings? Make no mistake, bikes are much, much, better for urban ce
51.
by choeger 1y ago
Uh, nope. Your language needs to be able to define these types. So they belong into the stdlib because they are useful, not because they are special. You might add syntactic sugar on top, but you don't want these kinds of things in you
52.
by choeger 1y ago
All this has been known in the PL design community for decades if not half a century by now. Two things are incredibly frustrating when it comes to safety in software engineering: 1. The arrogance that "practitioners" have again
53.
by choeger 1y ago
What I don't get about lunch in school is where this assumption comes from that it has to be a warm and complete meal, ideally with starter and dessert. I am really wondering about that. School is more like an office job than a constru
54.
by choeger 2y ago
Impressive. Really cool what you did there I'd add a mechanical brake and teach my kid how to use it. And maybe a failsafe switch that shuts the thing down when no one sits on it?
55.
by choeger 2y ago
I can confirm nearly everything you say, and I'd like to add that it's a cultural phenomenon. We don't seem to value competence anymore. I cannot recall when I've heard someone say something positive about another person
56.
by choeger 2y ago
Lovely. It is well written and has a design I can 100% agree with. I am curious, though: How will separate compilation work? I think it's an important practical feature but polymorphism (which I simply assume from the presence of type
57.
by choeger 2y ago
There's little value for parametric polymorphism at this level as it requires parameters (not only type parameters, but also value parameters, as otherwise the type parameter are dangling). It's better to think of these types as d
58.
by choeger 2y ago
You talked about e-ink in high school in 1950?
59.
by choeger 2y ago
So you asked an LLM to translate. It excells in translation. But ask it to solve and it will, inevitably, fail. But that's also expected. The interesting question is: Given a C compiler and the problem, could an LLM come up with some
60.
by choeger 2y ago
> Russia and China industrialized within one generation. No nations ever developed faster or more, an economic miracle pointedly ignored by most western economists because communism bad, STFU. Yeah, nope. They industrialized when the wes

More ›