kaba0

22 ms·

301.
by kaba0 2y ago
The heart has access to the resources of the body.
302.
by kaba0 2y ago
I’m sure it does cause some problems as the human body is very intricate, but in the capillaries blood flow is often approximated as a steady flow in medical science.
303.
by kaba0 2y ago
I mean, with that level of heart failure that an artificial heart is required, there are a bunch of other medical concerns that should be reliably transmitted. As an example, people with diabetes might have tattoos. Also, CPR is administere
304.
by kaba0 2y ago
Maybe they would have been better off by simply trying to make it run on mobiles as is? It’s java, there is no reason why it couldn’t just work - some people do play the java version on ipads even.
305.
by kaba0 2y ago
This point is actually emphasized strongly by the CS giant, Guy Steele himself.
306.
by kaba0 2y ago
I’m far from an expert on this, but these are often trained in conjunction with a model that recognizes deep fakes. Improving one will improve the other, and it’s an infinite recursion.
307.
by kaba0 2y ago
Virtual threads literally replace the “blocking” IO call issued by the user, by a proper NIO call, mounting the issuer virtual thread when it signals.
308.
by kaba0 2y ago
I absolutely agree that the virtual/green thread style is much better, more ergonomic, less likely to be correct, etc, but I can’t fault Rust’s choice, given it being a low-level language without a fat runtime, making it possible to be
309.
by kaba0 2y ago
> This is because Go or Erlang would be the obvious choice Why go? It has a quite anemic standard library for concurrent data structures, compared to java and is a less expressive , and arguably worse language on any count, verbosity inc
310.
by kaba0 2y ago
That’s a very simplistic view. Especially that java does/will provide “structured concurrency” as something analogous to structured control flow, vs gotos. Also, nothing prevents you from building your own, more limited but safer (the
311.
by kaba0 2y ago
He is as much of an expert as it gets, as he is the leader of the Loom project.
312.
by kaba0 2y ago
Is java dynamically typed as well, then? It does reify generics, so only some part is type checked, what is the level at which it is statically/dynamically typed?
313.
by kaba0 2y ago
That’s not really “the definition”. Different type systems can express different properties about objects, and there are absolutely cases that something changes about a type. E.g. in structural typing, adding a new field will change the t
314.
by kaba0 2y ago
There is no way to manage non-hosted dependencies, though, in a cross-platform way. Something attempting it is often worse than nothing, on a distro that has different assumptions — e.g. every package manager that downloads a dynamic execut
315.
by kaba0 2y ago
I think it wouldn’t work as nicely with python, which deeply builds on C FFI. Java has a different history, and almost the whole ecosystem is pure, making it able to take advantage of it.
316.
by kaba0 2y ago
Different programming languages have different guarantees when it comes to threads. If IO is hidden behind object semantics, objects aren’t killed by “killing” a thread, and they can be gracefully terminated when they are deemed to no longe
317.
by kaba0 2y ago
That’s a cool data point, thanks! Though mind that it is a superoptimizer on LLVM bitcode, not on machine code itself, avoiding all the combinatorial explosion of register allocations and probably a bunch of more, but I don’t know enough
318.
by kaba0 2y ago
Well, C++ has the likely/unlikely attribute to somewhat prefer a branch over the other in the eye of the branch predictor, and C++, Rust and some other low-level languages do have native SIMD support (note: C doesn’t have an official
319.
by kaba0 2y ago
It simply doesn’t scale. You can only superoptimize very short runs of code, nowhere anywhere close to even smaller code bases, let alone big ones.
320.
by kaba0 2y ago
Edge and samsung internet are basically the same as chrome, so there are only 3 browsers to check. Especially that most stuff just works fine across the browsers, it’s not like cross-platform across OSs, it really is a bare minimum.
321.
by kaba0 2y ago
Well, the web (most common frameworks) doesn’t really have drag’n’drop UI editors. Writing complex widgets for the web had a long list of issues for a long time and only recently became feasible without hacks (they couldn’t be reasonably en
322.
by kaba0 2y ago
While I also don’t think that a mouse click handler would be problematic, my recent experience is that more complex apps are more and more often broken under firefox, but still work fine under chrome. E.g. miro boards are unusable under fir
323.
by kaba0 2y ago
Well, it can actually check if it’s being downloaded from the browser or from the shell (user-agent), so unless you are downloading it and running the downloaded script, it might still spoof what will get executed. Also, it can itself downl
324.
by kaba0 2y ago
I would actually say that this is more of a system/OS issue to a point. Why doesn’t my OS keep such often-used programs in memory, simple opening a new window when clicked, like mobile OSs do? Just because desktop hardware can get away
325.
by kaba0 2y ago
But linux [1] has absolutely zero security measures, and this has basically free reign over your computer to send off your .ssh folder, your browser cache, to install a permanent keylogger, etc. [1] Standard “GNU”/linux desktops
326.
by kaba0 2y ago
And to demonstrate that hard realtime is not about speed, there is a whole hard-real time JVM implementation with GC and everything used in military contexts. Modern computers are ridiculously fast, relatively speaking you don’t need much r
327.
by kaba0 2y ago
Well, if you allow a bit of a sloppy terminology, graphics are “softer” real-time, than audio - a frame drop is less noticeable than audio glitches.
328.
by kaba0 2y ago
Yeah, isn’t hitting memory (especially if it can’t fit in L1-2 cache) one of the biggest sources of latency? Especially that on modern CPUs it is almost impossible to max out the arithmetic units, outside of microbenchmarks?
329.
by kaba0 2y ago
I believe you are right as intelligent grows, but the very top end usually has people excelling in many things and personality as well. At least that’s what I noticed.
330.
by kaba0 2y ago
> How can we justify not steelmanning a ternary approach to halting? Can someone show me one proof which doesn’t rely on “muh do the opposite I don’t even understand what you are getting at. But humbling ourselves and learning new things

More ›