jlouis

10 ms·

91.
by jlouis 4y ago
If you are allowed to write e.g., a Java program and run it on the JVM, the speedup will typically be on the orders of magnitude in favor of the JVM. Static type systems and extensive optimization matter. However, chances are you have an Er
92.
by jlouis 4y ago
It's from one of the first implementations of the language. If you want to move fast, and you have no ambition about execution speed, this is a solution to the problem of implementing loops. PHP worked by parsing code directly from the
93.
by jlouis 4y ago
BEAM is precompiled bytecode. The loader will peephole optimize the byte code replacing some instruction sequences with optimized variants. Bytecode resides in memory already, and there is no disk seeking.
94.
by jlouis 4y ago
PHP is the language which would implement a loop by pushing a byte offset to a stack and seek in the file at the end of the loop. Massive improvement if you had a disk cache. It's all relative to where you come from. The byte code inte
95.
by jlouis 5y ago
One would think that, but the reality is that there are some workloads which seem to fare better on AVX-512 currently. Usually where you can't get the benefit of the massive GPU parallelism/thread rotation into play, and you need
96.
by jlouis 5y ago
Some of the core offerings in Solaris (ZFS, Zones, dTrace, mdb) were ahead of their time, arguably. And the implementation is far more balanced than what you see in e.g., Linux, with good central documentation. So if you have a system which
97.
by jlouis 5y ago
It's an area of the chip suited for operations on low precision/range floating point numbers. Neural networks don't generally require high precision in floating point computations, but require a lot of them. This means your d
98.
by jlouis 5y ago
Insane claims requires insane evidence. We don't have that there. For some workloads i would not be surprised at all. But for all workloads, ...
99.
by jlouis 5y ago
My guess is that the non-linearity of the problem might make it harder for something like Gurobi to solve. GAMS is essentially a frontend for solvers, so you are compiling your input source into a format suitable for an underlying solver or
100.
by jlouis 5y ago
They are painting an exit route for him.
101.
by jlouis 5y ago
Go uses a proxy for downloading modules, so there's no Github involved. And you could run your own proxy-cache if you wanted. In addition, your work machine has a local proxy cache of the modules you already downloaded. Go doesn't
102.
by jlouis 5y ago
I agree with this point. Errors is a natural important part of programming. You can try to make error handling easier through sugar, but in the end you need to handle the error one way or the other. A proper sum-type would help in Go, but t
103.
by jlouis 5y ago
Detecting a bug, crashing, and then restarting, can be much easier to write than code which is bug-free. In fact, some times, you need so much code that it is likely you are introducing more bugs by trying to handle an edge-case. A key po
104.
by jlouis 5y ago
Any memory allocation scheme faces that trade-off, more or less; especially so in a concurrent environment that also employs parallelism.
105.
by jlouis 5y ago
See also https://talks.golang.org/2012/splash.article
106.
by jlouis 5y ago
Fuzz testing is expensive. And you gotta start somewhere. String inputs is a good start, and you can use those to test other inputs by factoring through conversion functions.
107.
by jlouis 5y ago
Yep, but in the dual, they have the same goal: produce interesting inputs to the program which might exhibit trouble. This is why you can use one of the approaches to help the other side of the approach. The 3rd solution is concolic testing
108.
by jlouis 5y ago
GraphQL is like 3k to 4k Lines in the server side. Not exactly a large system.
109.
by jlouis 5y ago
It can be argued you can remove query validation from the critical path entirely. Though in my experience, it's a very small fraction of the actual processing time by Amdahl.
110.
by jlouis 5y ago
The key problem is program transformation, and in particular optimizations. Different CPUs/ISAs, and compilers, might want to transform your program to make it run faster. However, in the multi-core setting, data races pose bounds and
111.
by jlouis 5y ago
I'm more inclined to believe M1 is fast because it's a modern design where every part of the architecture is under Apple's control. In particular, the design uses a memory hub with the memory chips very close to the CPU core.
112.
by jlouis 5y ago
If size is a prime, repeated multiplication on a generator element (any element) will work if you compute `mod p`. But it's not going to have nice random properties for the most part. It's just a "permutation". The reaso
113.
by jlouis 5y ago
I'm going to guess most of the time is being spent elsewhere in the systems they are looking at and it is rather rare they have a situation where the parser is dominating. Protobuf is already a winner compared to the JSON mess we'
114.
by jlouis 5y ago
You just push the stack into the heap, and don't have a specific area which is the stack area. It's pretty common as a technique if you have something such as call-with-current-continuation. The "stack" is still there in
115.
by jlouis 6y ago
Perl is a nice tool for quickly mangling textual data. I ended up using sed/awk and Python instead for much of what used Perl for back in the day. Today, data is often semi-structured and jq has become part of the toolbox as well.
116.
by jlouis 6y ago
This will almost surely happen. CSS will be extended until it solves the pain points, at which point things will swing in the other direction. It's just a question of where your abstraction point is. Currently it's in a component.
117.
by jlouis 6y ago
Offline dead code elimination was already a thing. Moving it online seems rather natural. Could you come up with that idea independently? I think so.
118.
by jlouis 6y ago
Yes. UK and US have both had some export regulations on vaccines, which aren't present in EU. So the current flow of available doses isn't really a free market in the usual sense. There are other factors than dose availability tho
119.
by jlouis 6y ago
For TLA it's manual. For other systems, like Coq for instance, you can extract to another language. (Also important are that systems in this space are different. What something like Coq is good for is completely different to what TLA+
120.
by jlouis 6y ago
Brewer colour schemes ftw.

More ›