dmytrish

7 ms·

61.
by dmytrish 4y ago
Exactly, you can ship software in unityped languages. Still, how do you express even such a simple thing as a generic list type in simply typed lambda calculus? It's just that dependent types enable you to express any invariants static
62.
by dmytrish 4y ago
You're confusing PNaCL (based on LLVM bitcode) with NaCL.
63.
by dmytrish 4y ago
I don't quite understand what Javascript has to do with the topic of the discussion. WebAssembly is to Web what JavaScript is to Java.
64.
by dmytrish 4y ago
My experience with Unison so far has been limited to learning the basics and doing a few exercises on Exercism.io (big kudos to whoever added the Unison track there, it's a really great way to get your hand dirty with a new language!).
65.
by dmytrish 4y ago
1. A Unison codebase is a persistent shared data structure, which should be easy to integrate deeply with something like git or borrow ideas from it. Conceptually, it's just like a git repository. 2. It's possible to add an additi
66.
by dmytrish 4y ago
It's trivial to find every possible call site of a function in a Unison codebase. I agree that patching other people's code is not always possible, or easy. On the other hand, you can patch your own library using indirections to t
67.
by dmytrish 4y ago
While this is definitely true in general, Unison can unlock many context-specific guarantees even for data: the types are strict and expressive and it seems to have referential transparency.
68.
by dmytrish 4y ago
We only have a single data point in the entire observable universe so far. It's not enough to talk about any meaningful statistics.
69.
by dmytrish 4y ago
> Dutch people (their talking volume is what many of us consider yelling, but that's just normal). It's funny, I thought it was Americans who are so loud compared to the Dutch.
70.
by dmytrish 4y ago
What's ambitious about supporting WebAssembly? It's very well-specified and minimalistic compared to almost anything in the web space.
71.
by dmytrish 4y ago
That makes unused variables "used", which defeats the point of the check.
72.
by dmytrish 4y ago
Do I understand correctly that what you propose is making this derailed "super"power richer and more connected to the countries it's been trying to subvert for fifteen years?
73.
by dmytrish 4y ago
Please add [2017]
74.
by dmytrish 4y ago
Well, would you be pleased to see a couple of Russian warships enter ports of Cork or Galway to start establishing an airbase to attack Britain without asking locals? Would you like Belfast to be razed by rockets and shelling like Mariupol?
75.
by dmytrish 4y ago
In theory, yes, it's possible to store renewable energy for later consumption, but this is not the case right now and rollout of any storage technology might take years without certainty that it will work well. In the current situation
76.
by dmytrish 4y ago
From the operations point of view: Rust code is usually fast, safe, free from data races, easy on RAM, possible to optimize very well, compiles to native binaries (easy to deploy). Unlike C, it's easy to test and provides good abstract
77.
by dmytrish 4y ago
I'd say that Common Lisp is still the ultimate weapon of a solipsistic developer, with unprecedented raw power for reinventing the world from scratch without collaborating with others. For a cohort of people, this feeling can be very l
78.
by dmytrish 4y ago
The author here. It's roughly ES5, with many parts and standard methods still missing. It's a small toy implementation of a JS runtime in Rust from scratch, not ready for any practical use.
79.
by dmytrish 4y ago
It's not a browser JavaScript runtime. It's an isolated WASM sandbox without any other interface than the provided REPL.
80.
by dmytrish 4y ago
Tree Style Tabs solved the tab grouping problem for me. I like to put it on the right and I'm looking for a way to have the tab bar hidden. Tab search exists: https://support.mozilla.org/en-US/kb/search-open-t
81.
by dmytrish 4y ago
Disclaimer: I have no TypeScript experience. I'd say poking at both languages is useful. The choice of ecosystem can come later, according to the taste and tasks. Rust: - makes you a better coder indeed, Rust is pretty clear and organi
82.
by dmytrish 4y ago
It's unlikely that this Pandora box can be closed now. As long as any geopolitical rivalry exists, it takes one crazy dictator to make this into the prisoners dilemma scenario. The knowledge of physics cannot be unlearned easily, unles
83.
by dmytrish 4y ago
I am amazed how Andreas manages to do very solid work while also turning (at least some pieces of) it into impressive one-hour shows with clear outcomes. Is he rehearsing his coding videos? Does he pick moments that went well? Is he a super
84.
by dmytrish 4y ago
If an intruder can rename files in your $PATH, the defense is already broken (e.g. they could do the same with any of .bashrc, .profile, anything in .local/bin and many, many other places). If a program can run seemingly innocent progr
85.
by dmytrish 4y ago
Calendar, maps, clock/timer, dictionary. As for learning: Coursera was good years ago, Stepik might be a good site/app too. I haven't tried edX on mobile. Duolingo to learn languages. Your Youtube feed can be curated to somet
86.
by dmytrish 4y ago
Chats have always been super-useful for a more technical crowd, IRC is still alive somehow.
87.
by dmytrish 4y ago
I think they meant Raspberry Pi Pico, which is definitely not a microcomputer with Linux, but it has plenty of I/O pins.
88.
by dmytrish 4y ago
It was a lot of fun for me to reimplement this in MIPS assembler on CI20 [0] JonesForth could be more clear about the high-level logic of its interpreter part. I tried to make this part as clean as possible, hopefully did not miss anything.
89.
by dmytrish 4y ago
It's possible to respect and share the principles the US is built on and disagree with details and ugly tendencies of the implementation. The West is not just the US. As for Russia and its empire-serving culture, there's nothing t
90.
by dmytrish 4y ago
That's the largest piece of Prolog code I've ever written, so criticism is warranted and I'm glad to learn how to improve it. I still wanted to share it to show how typing rules translated almost directly to Prolog clauses. I

More ›