dmytroi

9 ms·

1.
by dmytroi 9mo ago
armv8/VMSAv8-64 has huge table support with optional contiguous bit allowing mapping up to 16GB at a time [0] [1]. Which will result in (almost) no address translations on any practical amount of memory available today. Likely the issu
2.
by dmytroi 2y ago
Then it will be too noisy or too slow to be useful due to too many intermediate states. The feature of TLA+ is that it forces you to greatly dumb down the code to be able to use it, so it's more of verifying an algorithm represented as
3.
by dmytroi 2y ago
Same here with v3 and now being flabbergasted that my "open" project is suddenly dead-ended. (Re)doing an alternative software for PCB v3 is definitely possible, it just runs into economics, at average hourly rate we would put int
4.
by dmytroi 2y ago
Some popular in inner city: Tanto strandbad, Långholmsbadet, Smedsuddsbadet, Fredhällsbadet, Kristinebergsbadet, Brunnsviksbadet. Plenty of folks swim during hot periods in summer.
5.
by dmytroi 2y ago
Also ELF segment alignment, which is defaults to 4k.
6.
by dmytroi 3y ago
UE5 dropped support for 32 bit platforms, so at the moment not without some code changes. WebAssembly is working on adding support for 64 bit address space though.
7.
by dmytroi 3y ago
C# has support for unsafe code / pointer arithmetic / memory pinning / unmanaged types [1]. Using them it's possible to write performant computations where needed. - [1] https://learn.microsoft.com/en-us&
8.
by dmytroi 3y ago
Mostly integration, for example some library can only be configured via env variables, but a developer might want to configure it from with-in the app it's integrated into and used from. Also, few weeks ago I found a use for them when
9.
by dmytroi 3y ago
100% agree for "read only" software, like scanning, diagnostics, etc. Control software is much more involved topic, let me illustrate it with a scenario: one family member is non-techy but has an insulin pump, another family membe
10.
by dmytroi 3y ago
AFAIK Android updates are not as fast as they could be due to need for mobile operators to re-certify every update as the OS blob contains modem firmware. Apple is able to update iOS faster because modem firmware is separate from the rest o
11.
by dmytroi 3y ago
WASM itself is likely to be successful in some niches, the industry has a know-how for bytecode VM's and integration with LLVM will make it stick for a long while. My bet are computation kernels for web, and porting whole native apps t
12.
by dmytroi 3y ago
A font is processed by software, one part of the font rendering stack is converting a string into glyphs and their positions, other part is rasterizing glyphs into bitmap. In this case one library from the stack, HarfBuzz [1], got the suppo
13.
by dmytroi 3y ago
In theory, a font is purely set of vector graphics. In practice, just rasterizing vector graphics usually doesn't lead to good results on small font sizes combined with small pixel density, so vector graphics needs to be adjusted to be
14.
by dmytroi 3y ago
Self recursion is not solvable if assuming stack is unlimited, which is never a case in reality. Stack on real computers is usually limited to a fixed size (100-1000kb). Another way to look at it, take all possible bits on a real computer,
15.
by dmytroi 3y ago
Let's take the _complete_ program state (input, output, RAM, program counter, stack, registers, rand gen entropy source state, etc) and for every possible such state make a node in a graph. Then when we execute a given program for a gi
16.
by dmytroi 5y ago
Richard Hoptroff was prototyping the idea of a wrist watch [1], though the company pivoted into networking equipment later on. - [1] https://www.hodinkee.com/articles/richard-hoptroffs-atomic-w...
17.
by dmytroi 5y ago
Unity is completely irrelevant here, your first question should be "Will Sony give me the software and the hardware to make a PS3 game/software?" and answer in 2021 will most likely be hard no because PS3 is so old at this po
18.
by dmytroi 5y ago
It almost almost starts to work with latest models. I just got Kona 64KWh version last week and my math was among the lines of: it can do 400km/250miles of realistic driving, I do need a 20-40 min break after 400-500km anyway, that is
19.
by dmytroi 5y ago
My 5 cents would be wrong abstraction and wrong tooling, let me elaborate a bit of them: - Current abstractions are mostly based on POSIX threads and C++/Java memory models. I think they are poorly representing what is actually happeni
20.
by dmytroi 5y ago
GDK is on a same level as iOS SDK, you use it to develop for Xbox. Before it there was Xbox Development Kit (XDK). The difference now is Microsoft is more keen on bringing PC and Xbox development to one SDK, hence why GDK. Any game or game
21.
by dmytroi 5y ago
Web and Electron could be good if you're willing to deal with Chromium Embedded Framework (CEF) directly, like Spotify desktop client does, it's fairly snappy and feels good. That would mean that UI is web based, but everything el
22.
by dmytroi 5y ago
That would create a floating ground, and systems needs to be designed for it. Because likely motherboard ground is connected to chassis, and it connected to earth, while power supply most likely have it's own ground connected to earth.
23.
by dmytroi 6y ago
Did some research on the topic of high bandwidth/high IOPS file accesses, some of my conclusions could be wrong though, but as I discovered modern NVMe drives need to have some queue pressure on them to perform at advertised speeds, as
24.
by dmytroi 6y ago
FWIW tried testufo [0] with Samsung G7, 240Hz vs 144Hz was very noticeable on image and text scrolling tests. I guess for a person who never seen 240Hz it would be hard to identify it in a blind test, but after you've seen how the imag
25.
by dmytroi 6y ago
I like your use of the instinct concept, similar to experience/seniority yet very different.
26.
by dmytroi 6y ago
You can only share them via private forums hosted by consoles parent companies, like siedev.net, developer.nintendo.com and similar. Direct sharing/selling of middleware/code between companies is usually fully forbidden.
27.
by dmytroi 6y ago
I was looking for Everything for Mac and tbh I can't say Spotlight is even close. Sure Spotlight works great for apps and files in ~/Documents/, but I find it failing when I'm trying to find some obscure file in /Li
28.
by dmytroi 6y ago
I fully agree it would be great for Qt as a company to have a great business model. That being said, it's not that obvious if making Qt as a product commercial-only would be effective, as there are other options on a market that don&#x
29.
by dmytroi 6y ago
While the core product is LGPLv3+Commercial, most of their extensions are GPLv3+Commercial which makes them not suitable for a lot of apps. Hence I find it's a bit confusing to say "to be committed to open source" where in pr
30.
by dmytroi 7y ago
Started using it at work, mostly to verify lock-free code. After verifying a new code for multi producer multi consumer (MPMC) lock free queue, tests were still not passing on iOS in debug... So trust in the model allowed us to start asking

More ›