filmor

16 ms·

151.
by filmor 6y ago
Good internal hub gears can be shifted under load, and the Rohloff one is probably as good as it gets.
152.
by filmor 6y ago
This is about static typing. I expect my static typing to terminate. Getting typing to work with a "screw this" fallback is already possible.
153.
by filmor 6y ago
As far as I'm aware there are a few major problems with static typing in Erlang that can't be solved so far and are not solved here either: 1. If you have a function that calls into other modules like `other_module:some_func(X)`,
154.
by filmor 6y ago
Where do you derive this "almost no one" from? I use it all the time in production, and I guess quite a few other users use it to fulfill their very high uptime requirements.
155.
by filmor 6y ago
It works whenever it's configured to unwind, which is the default. Apparently one can force this by adding a few lines in the rustler Cargo.toml ( https://doc.rust-lang.org/edition-guide/rust-2018/error-hand...
156.
by filmor 6y ago
The called code is made unwind-safe at the FFI boundary using `std::panic::catch_unwind`. A panic will be converted to an Erlang exception.
157.
by filmor 6y ago
"Rage" mode, what a nice name choice coming from ex-ATi :)
158.
by filmor 6y ago
ZeroMQ is used heavily in the backend of Jupyter and allows for a huge variety of non-Python kernels. It's brokerless, which sets it apart from all the other things you listed here.
159.
by filmor 6y ago
AC squealing (and a lot of other noises that are somehow synchronous to the grid frequency) would be a slightly off G outside of North America (slightly to high, G is ~49 Hz and the grid frequency almost everywhere is 50 Hz), no need for pe
160.
by filmor 6y ago
Mathematical notation is context-dependent and denser than code, you can't map directly from one to the other.
161.
by filmor 6y ago
In this particular case it is. If I spawn a process directly (and not separately supervised) to run a function asynchronously (or just out-of-process to make the gc happy), then the ancestor is the same as the caller.
162.
by filmor 6y ago
1) It shows up in the application view of the observer. Also, if one both processes dies the other one dies too, what more supervision would I want? A Task is also not magically rerun if there is a problem. 2) Every OTP behaviour keeps the
163.
by filmor 6y ago
That's an odd question. I absolutely value having almost everything built from source and the control I get from that through use-flags. That doesn't mean I enjoy compiling some incarnation of webkit every few weeks for multiple h
164.
by filmor 6y ago
As a Gentoo user, I very much welcome being able to pull in some applications that are closed source and/or not part of the portage tree without the hassle of finding out how exactly the base platform that it was compiled against looks
165.
by filmor 6y ago
Does gen_server have a measurable overhead compared to this? The main event loop of gen_server looks remarkably similar to what you are doing but handles calls, casts, hibernation, debugging, provides stacktraces and doesn't "forc
166.
by filmor 6y ago
Isn't Task an entirely different beast to the gen_* behaviours? To me it looks like a convenience wrapper around Erlang's primitives. I usually use them directly if I need the flexibility to "await" later. If I don'
167.
by filmor 6y ago
Of course it's easier to understand. It's also much easier to get wrong. Just yesterday I messed around with running a small process on to ship subscribed messages across node boundaries and forgot the recursive call in one of 4 c
168.
by filmor 6y ago
>> I accidentally pass in 3 params instead of 4 to a function (with static typing this does not compile) > In Erlang this will also not compile, unless you have a 3 parameter version of the function, in which case static typing wil
169.
by filmor 6y ago
Just to be clear, I intentionally never said anything about static types. The type system is "strong" in the sense that variables never change their type or are "interpreted" based on context, they don't even change
170.
by filmor 6y ago
Erlang doesn't lack types. It's also strongly typed. You can get quite far with properly chosen guard expressions (`is_binary`, `is_number`), general pattern matching and Dialyzer to check what's checkable. Static typing seve
171.
by filmor 6y ago
This is neither how a Monte-Carlo process works (it's sampling the possible outcomes randomly, not simulating all outcomes), nor what is described here (building a physical system where an observable value is described by the different
172.
by filmor 6y ago
I understood it as a completely new, simplified approach that Lukas Larsson started beginning of the year. It's not a tracing or optimising JIT, but instead at load time translates the BEAM opcodes to native code using asmjit.
173.
by filmor 6y ago
You can convert an ext4 filesystem to btrfs using btrfs-convert.
174.
by filmor 6y ago
That's not true. GCC, Clang and MSVC are supported. http://erlang.org/doc/installation_guide/INSTALL.html
175.
by filmor 6y ago
HTTP traffic would be unencrypted, so everyone (esp. on Wifi) could record passwords etc. flying around. With HTTPS, you at least need to MITM the connection to do that. If you establish trust in some other way (cert ID printed on the devic
176.
by filmor 6y ago
Perl 6 was renamed to Raku in October 2019.
177.
by filmor 6y ago
Arrow is based on Flatbuffers, Parquet is based on Thrift.
178.
by filmor 6y ago
It doesn't, it's just a lot denser. A star has a lot of inner pressure from the ongoing fusions inside of it. When these stop or reduce, the star collapses from its own gravity, as soon as its radius is smaller than the event hori
179.
by filmor 6y ago
I don't get the issue. It's just notation. You could "feel" the same way about the integral sign or fractions or about underused letters in your own alphabet. When the greek letters are used, they usually give you a clea
180.
by filmor 7y ago
Isomorphic is homomorphic + bijective. Bijective means that a mapping is exactly one to one. Homomorphic means that "structure is kept". E.g. in a vector space you can add and multiply by a scalar, so a mapping f is homomorphic if

More ›