dmytrish

14 ms·

91.
by dmytrish 4y ago
Not exactly a big codebase, but it was a revelation for me how natural typecheckers can feel in Prolog: I basically rewrote typing rules with some tweaks: [1] Also, tests were surprisingly enjoyable in Prolog: [2]. [1] https://gi
92.
by dmytrish 4y ago
Because nobody wants to deal with another PHP in the unlikely case V takes off.
93.
by dmytrish 4y ago
Here you go: http://harmful.cat-v.org/software/c++/linus
94.
by dmytrish 5y ago
Now that I think about exposing cache hierarchy in a programming language, that makes much more sense. One can imagine a programming language with explicit control over CPU caches and their hierarchy. Also, this could make GPU/CUDA pro
95.
by dmytrish 5y ago
Assembly languages sound like what you describe, and they do not make the burden of memory management go away, just shift it. You still have to manage a separate storage device somehow (most often via file systems drivers). That's why
96.
by dmytrish 5y ago
This talk follows a familiar pattern in historiography of computing: the "golden days" of Lisp machines, Smalltalk workstations, Plan 9/Oberon awesomeness, etc. In other words, glorified tales of better days, as told by grey-
97.
by dmytrish 5y ago
My experience of 4 years with Linux on Dell XPS 13": - WiFi stability issues with the Killer WiFi NIC were so severe at some point that I bought an Intel WiFi NIC only to learn that it's not replaceable in 9370 (but it is in 9360)
98.
by dmytrish 5y ago
In case anybody is interested, there's a very good explanation of some language-related political subtleties in https://blog.duolingo.com/ukraine-language/
99.
by dmytrish 5y ago
There is a very direct analog: the way you say "in Ukraine". In Russian/Ukrainian, both «на Україні» and «в Україні» аre grammatically correct, but the first one has the same connotation as 'the Ukraine', Ukraine be
100.
by dmytrish 5y ago
(a Ukrainian here) It's not about Western virtue signaling. I don't feel that this is directly offensive (others might disagree), but it's often intentionally used in this way. It's more in line with inclusive language:
101.
by dmytrish 5y ago
Please don't conflate Poland and Ukraine. Poland is in the EU and is starkly against abortion and LGBT rights due to the current government being quite nationalistic and Catholic. Ukraine is more secular. It is not a completely safe ha
102.
by dmytrish 5y ago
"The real reason is Russia united with Europe would enable a true Eurasian competitor to the USA to arise." -- this is plainly ridiculous. Russia was not able to join the EU at the time due to its oligarchy and systemic corruption
103.
by dmytrish 5y ago
For the reference: 100 million miles is slightly more than 1 AU. It means that one-way communication latency is almost 10 minutes, so the round-trip latency is about 20 minutes.
104.
by dmytrish 5y ago
Crypto"currencies" are not the only way to store value when an official currency is failing: people who want their savings preserved can get USD, EUR, gold. Crypto *is* volatile and wasteful compared to any of those.
105.
by dmytrish 5y ago
It's not like Apple products fare much better on the deprecation front, although for different reasons.
106.
by dmytrish 5y ago
> you live in the states, you're surrounded by it. When you live in a different country, you are surrounded by cultural norms of your country and disobedience is punished too (usually much more harshly than in the US). Your assumpti
107.
by dmytrish 5y ago
There is some movement in this direction: e.g. it's possible to do `ip -j addr` today.
108.
by dmytrish 5y ago
I really enjoyed the previous, more Macintosh-like Serenity design with the global menu. I had genuinely freaked out when I rebuilt the system just after Andreas moved it to be more Windows-like: I ran Serenity browser and in the first mome
109.
by dmytrish 5y ago
Yes, this is more of a "Rust rof Windows" thing.
110.
by dmytrish 5y ago
There is also https://github.com/jameysharp/corrode I have not used it, but I doubt it's possible to translate C into idiomatic Rust mechanically.
111.
by dmytrish 6y ago
No, they did not. Plan 9 was designed long before any high availability/CAP theorem/distributed databases lessons were learned: it embodies the Unix mindset of reliably available nodes talking over tcp. Failover/distributed c
112.
by dmytrish 6y ago
Do you use ibus input methods only? In my case, I wanted to keep my configured xkb keyboard layouts + I wanted to be able to use ibus in parallel for CJK. Ok, there must be a problem with *my* KDE setup: when I try to disable KDE keyboard l
113.
by dmytrish 6y ago
It's not a Wayland problem, ibus does not work in KDE even on X11.
114.
by dmytrish 6y ago
"A bare-OS application" sounds almost as cool as "bare-metal".
115.
by dmytrish 6y ago
"Having a soul" is likely a natural cognitive bias, which is very likely to predate any actual religion or belief system. It is "witnessed" personally during near-death experiences, just like karma is "witnessed&quo
116.
by dmytrish 6y ago
"unsafety" is a very overloaded term. In this context, one specific technical meaning is assumed: _memory safety_ [0] (not type safety, not safety from hacking, etc, although they do depend on memory safety). Programming languages
117.
by dmytrish 6y ago
One reason could be that most real-world compiler/runtime codebases are in C++ (gcc, llvm/clang, v8, most of Java JITs) and C++ has just enough high-level features to make a large code base somewhat manageable. So, if one wants to
118.
by dmytrish 6y ago
(Googler here) > Because it benefits Google. Developing internal tools does not always benefit Google. Sometimes there is just no alternative at the time it's needed, so Google has to develop something that might become a liability
119.
by dmytrish 6y ago
C++ is a terrible language for small, one/few-person projects. It still sucks for bigger projects that cannot reinvent the ecosystem around them and need to rely on third-party libraries. Frameworks try to alleviate the problem and to
120.
by dmytrish 6y ago
A look from behind the southern border of Belarus: in 2014, Ukraine had had peaceful protests for more than two months before street violence started and ended. Then Crimea was annexed. Then the separatist war started, where most of wea

More ›