ebiederm

7 ms·

31.
by ebiederm 6mo ago
Language design benefits from parser generators that can point out ambiguities and verify a language is easy to parse.
32.
by ebiederm 6mo ago
But it happens successfully. The code base is Xorg rather than Xfree86 because of one such fork. Gcc went through the egcs fork. OpenOffice became LibreOffice in a fork. When leadership of a project fails to keep the volunteers behind them
33.
by ebiederm 6mo ago
It is not breaking userspace if there are no programs in userspace that care. If you have a program that cares please report it. The evidence is that no one has had a program that cares since 2016. A decade of holding on to dead code seems
34.
by ebiederm 7mo ago
Chuck Moore of Forth fame.
35.
by ebiederm 7mo ago
When Wirth talks about modules and abstraction I believe he was talking about what was known as the software crisis. In particular the observation that as programs size increases the number of possible interactions of program components gr
36.
by ebiederm 8mo ago
Message-ID is a requirement for Usenet where it came from. It is a requirement for being able to reply to messages and in general for email threading. Message-ID is a requirement to archive email. Practically every email client has included
37.
by ebiederm 8mo ago
My EV is absolutely terrible range wise at cold weather. It is EPA rated at 220miles of range. I only see that when the temperature is at or above 80F. Most of the winter it tells me I can only do between 100 and 120 miles. It is definit
38.
by ebiederm 8mo ago
Having moved between states and taken a lot of drivers tests. I can say the exact rules are something that vary between states and over time. Including how it was taught. My first drivers test was yield to the right. Later it was fifo or
39.
by ebiederm 8mo ago
Does the 2026 Nissan Leaf meet your criteria for a dumb car? All it's connected features appear to come from Android Auto or Apple Car Play. AKA from a connection to your phone. I like the looks of it because it appears to be a seriou
40.
by ebiederm 9mo ago
I appreciate that I am not the only one seeing the connection between property based testing and proofs. I will quibble a little with their characterization of proofs as being more computationally impractical. Proof verification is cheap.
41.
by ebiederm 9mo ago
I don't know if this is realistic but as a general rule if I was contracting with someone so that my business would have higher reliability, I would ask for a service level agreement with a agreed upon amount the vendor will pay you fo
42.
by ebiederm 9mo ago
Thanks. That helps put things into perspective. I looked and today Swift Forth from Forth Inc, has some version of a compiler that generates not horrible code so I expect the 10x slowdown compared to C is a thing of the past.
43.
by ebiederm 9mo ago
Obstructing traffic is also against the law. Something I had pounded into me when I drove too slowly and cautiously during my first driving test, and failed. Those Waymos weren't moving which is a pretty egregious example of obstructin
44.
by ebiederm 9mo ago
Odd. Using Openwrt which pretty much all home routers are built on, all I have to do is tell my router which offset to give my subnets from the prefix and it does the rest. Both for subdividing up the prefix from the ISP and my ULA prefix I
45.
by ebiederm 10mo ago
There is an aspect of the history of Forth and C I have been trying to wrap my head around. The early B compiler was reported to generate threaded code (like Forth). The threaded code was abandoned fairly early in the port to the PDP11 fro
46.
by ebiederm 10mo ago
CLU implemeted abstract data types. What we commonly call generics today. The Liskov substitute principle in that context pretty much falls out naturally. As the entire point is to substitute in types into your generic data structure.
47.
by ebiederm 11mo ago
In the basic block with arguments variation there is no going in and out of SSA.
48.
by ebiederm 11mo ago
I prefer the Oort cloud colonization plan. Since Oort clouds stretch so far out they touch between the stars. Once the problem of living on a comet has been solved, you get something like the Polynesian islanders. People would move from o
49.
by ebiederm 1y ago
I am not up to speed on these new algorithms. I still remember there was a light weight cryptography algorithm a few years ago championed by the NSA that had a subtle (possibly deliberate) flaw in it. When dealing with cryptography it is a
50.
by ebiederm 1y ago
Since when has following the advice of a customer service agent been using technology incorrectly? It might not be the sole responsibility of the customer service agent, but it is certainly their fault for giving bad advice. It is completel
51.
by ebiederm 1y ago
The Motorola Moto G series has both. I just bought their 2025 model for that reason.
52.
by ebiederm 1y ago
Funny
53.
by ebiederm 1y ago
The situation RISC OS dates to the beginning of ARM and still lives but is 32bit only and in assembly. They have been getting sponsorship for small improvements. 32bit Arm is going away. They are looking for the resources for a 64bit port.
54.
by ebiederm 2y ago
To point out the obvious. Unauthorized copying (aka pirating) is definitely a copyright violation. That appears to be a huge problem with the large models and training. They don't secure legal access to the materials they train on, an
55.
by ebiederm 2y ago
Yeah, no. That attitude is just giving up. There are companies and bosses that know how to value employees contributions. I have heard it referred to as herding cats. There are situations that are not good. Sometimes it is intentional wh
56.
by ebiederm 2y ago
If the goal is something that can be used to improve existing C code, I have a few thoughts. To get to memory safety with C: - Add support for array bounds checking. Ideally with the compiler doing the heavy lifting and providing to itself
57.
by ebiederm 2y ago
What is Upsilon? It sounds like something that figures out the value coming into a block, which I would call a basic block argument. How does Upsilon know which values from other basic blocks it could receive? That information is critical
58.
by ebiederm 2y ago
I guess that depends on what you mean by equivalence between CPS and SSA. My prefered form is basic blocks with arguments. Where the final jump has parameters it passes to it's destination blocks. That form has a 1-1 equivalence with S