jlouis

17 ms·

121.
by jlouis 6y ago
Deleting an element from a slice is a O(n) operation. It better be explicit in the program so the programmer knows just how expensive it is. Either you know what you are doing, and then writing it down is trivial, or you don't know wha
122.
by jlouis 6y ago
Some columns have large size variance. You are hedging against them growing. It's almost never a problem on fixed size columns.
123.
by jlouis 6y ago
The article isn't easy to read unless you have some knowledge up front about the used technologies and what the problem is. This definitely drives people to comment on other things. My gut feeling screams they made a problem themselves
124.
by jlouis 6y ago
The string type is utf8. You would think an old http header is a string. It's not. It looks like a string though :)
125.
by jlouis 6y ago
It's just a different abstraction level. Taking the argument to the extreme, assembly is a misfit.
126.
by jlouis 6y ago
CPUs often outperform specialized hardware on small models. This is nothing new. You'd need to go to a larger model, and then power consumption curves change too.
127.
by jlouis 6y ago
Probably because CPU times fall within acceptable windows. That would be my guess. You can go faster with FPGA or silicon, but it also has a very high cost, on the order of 10 to 100 as expensive. You can get a lot of hardware for that.
128.
by jlouis 6y ago
MongoDB is really easy to set up and the library API is really good. This provides the affordance in the start of a project where you don't have to think that much about system load from users. You don't have to think that much ab
129.
by jlouis 6y ago
The biggest hassle with svn is adminstrative overhead. You need to give developers access. Git completely works around this hurdle.
130.
by jlouis 6y ago
Microservices tend to provide good isolation barriers in systems and those tend to increase stability of highly complex systems. Though Erlang is a counterexample.
131.
by jlouis 6y ago
Usually it isn't about execution of programs, but analysis of their properties. To do so you can use eg model checking, and you require a semantic definition for doing so. I don't recall floating point stuff being hard to encode.
132.
by jlouis 6y ago
Most people don't really have the data set to exploit larger ML models. And the mistake people make is that they don't start with a simple model. They move straight into the heavy ones.
133.
by jlouis 6y ago
I used an extreme to show the point. At 800 ms the savings are also less than closer to 0.
134.
by jlouis 6y ago
If it takes 60 seconds, that's 600 steps. 601 steps isn't that much of a saving. It matters close to 0.
135.
by jlouis 6y ago
Safety. No function runs forever. Also if you want to reboot/repurpose the server, 15 minutes is max wait time. And finally, you don't want people running long jobs here when you have a solution there.
136.
by jlouis 6y ago
Necessary change. Now writing stuff in fast languages suddenly matter in cost, changing the landscape of when these solutions might become viable for a chase.
137.
by jlouis 6y ago
X86 isn't fixed width instructions. Depending on the mix you may be able to decode more instructions. And if you target common instructions, you can get a lot of benefit in real world programs. Arm is different but probably easier to d
138.
by jlouis 6y ago
This doesn't work. If none of your tms halt you don't know if they would in a little while. You can simulate this by making a tm which runs 1 step of each machine at a time. This also hints at the equivalence other people have spo
139.
by jlouis 6y ago
You make sure all operations on lists and arrays terminate. For instance by requiring the user to annotate where progress is being made on the bounded array.
140.
by jlouis 6y ago
1. Yes. This is serious. Mutation is a big red reset button on the pandemic potentially. 2. No. Minks are kept in small cages with a very high density of biomass. This makes it a perfect incubator. Also ferrets have some similarities with h
141.
by jlouis 6y ago
Probably a complex explanation with many reasons. I dont think there is a single reason.
142.
by jlouis 6y ago
This is fun, because it shows just how pervasive function application is in programming. You can build whole programming languages on just function application (which is what the Lambda calculus is about).
143.
by jlouis 6y ago
There is a whole memory allocation system used to combat fragmentation toward the OS level. Erlang also uses a multi-tiered approach, but note that a lot of things are easier because there is far less sharing going on and more things are is
144.
by jlouis 6y ago
Arguably, it already is all over the place in telecommunication. But indeed, Huawei being somewhat limited could push more people to buy Ericsson equipment, where a large part of it uses Erlang. It is strong in the area because you have the
145.
by jlouis 6y ago
More importantly, also look at networks that are bad.
146.
by jlouis 6y ago
UDP is as clean as you can get it. It is more or less free of any overhead. And networks know UDP already. A new IP protocol is far more likely to be rejected in the network.
147.
by jlouis 6y ago
You do the same with fp. First floating point instruction traps and the process is then flagged as needing fp. This is then used in the context switch to also include fp instructions. The advantage is you avoid storing fp registers unless y
148.
by jlouis 6y ago
Proof drives understanding of your code. That is why the resulting code is often small and clear. It pushes the field forward, but not in the direction you might think it does. You see, the shitloads of working code really works and sol
149.
by jlouis 6y ago
Well, some journals have demanded proof assistant-level proofs of the work they present. This helps the rigor of the notation a lot since you can't cheat on the proof assistant, and if you confuse it, you are in trouble :) The problem
150.
by jlouis 6y ago
Closer to logic. There is a straightforward rewrite into prolog if you want a program. Or one of the proof assistants. The notation is abused though. Try looking up some of the work by Guy L. Steele in the recent years.

More ›