dmytrish

7 ms·

31.
by dmytrish 3y ago
I have already spent more time than I wanted on reading through verbose but elusive articles about Vale, without any insight into how this actually happens. I have already spent too much time trying to compile Vale compiler which is a weird
32.
by dmytrish 3y ago
Please demonstrate a practical and memory safe systems programming language without borrowing. I'd be delighted to see it, because right now I am not aware of any practical way to have memory safe regions without static tracking of bor
33.
by dmytrish 3y ago
My perspective, from a non-native speaker: Latin alphabet has happened to overlap with majority of world capital and economy. That is all to it. It's a never-ending baroque timesink to learn English spelling properly, but it did not ma
34.
by dmytrish 3y ago
The jakt compiler has been rewritten in jakt. Rewriting it in jakt is now a thing!
35.
by dmytrish 3y ago
It's the SunOS of webbrowsers. Chrome is technically opensource too.
36.
by dmytrish 3y ago
Well, it still involves some kind of public key infrastructure, but encryption could be optional even in https. Linux distros have been hosting their packages on plain http for two decades, PGP signatures (again, not a great example of &quo
37.
by dmytrish 3y ago
Integrity without confidentiality is trivial.
38.
by dmytrish 3y ago
How many billion lines of code does it compile per second?
39.
by dmytrish 3y ago
Sway (and i3?) actually has the notion of containers, which can contain multiple windows and can be selected and manipulated as a unit. It works nicely. The only thing that I haven't automated yet is that I have a rather specific works
40.
by dmytrish 3y ago
Regarding tactics: I started with Coq and I felt for a long time that I had no idea what tactics actually do. Proofs with tactics look nice on the surface, but I really did not like hidden state and hidden actions. Redoing some proofs in Le
41.
by dmytrish 3y ago
There's Mathlib: https://leanprover-community.github.io/mathlib_docs/index.ht... I was stunned when I discovered it, because it does exactly what its name suggests: it's a huge library of math proofs availabl
42.
by dmytrish 3y ago
It's not exactly cursed knowledge, you just have to have enough judgement to understand where it's appropriate. Trying to do magic and patch something on a panic and retry is cursed indeed. If it's about cleaning up resources
43.
by dmytrish 3y ago
The screenshot looks like swaybar, a programmable status bar for Sway.
44.
by dmytrish 3y ago
Comparison to European economies (which suffered through the same coronavirus pandemic and the same, if not worse, energy crisis) might bring some clarity.
45.
by dmytrish 3y ago
It's a nice bit of marketing for Bluesky: in the process of reading the discussion I went from "it's some vague cryptosocial thing" to "well, it does solve things and actually might be worth a look".
46.
by dmytrish 3y ago
Isn't this litailscale?
47.
by dmytrish 3y ago
Rust supports dynamic libraries with C ABI very well. Technically, it also supports Rust ABI dynamic libraries, but their portability is quite fragile due to changes in the compiler. That's why Rust parts of the code are usually static
48.
by dmytrish 3y ago
It's a shame you're being downvoted, it's a perfectly valid question. It is possible to do explicitly with `#[repr(C)]` in Rust. This is still fragile: - `usize` and `isize` are not guaranteed to be portable between machines.
49.
by dmytrish 3y ago
"Scheme object notation" is called s-expressions :) I'd argue that toml can be called "a Python(ic) object notation" in some sense.
50.
by dmytrish 4y ago
I'm just guessing, but snake_case might be inspired by dependently typed programming languages, where there's no strict boundary between terms and types. PascalCase for variables reminds me of unification-based programming languag
51.
by dmytrish 4y ago
Tabs, splits, programmability, best-in-class graphics support, an ssh multiplexor, session management, Lua scripting. Alacritty and Wezterm have very different--if not opposite--philosophies. Choose Alacritty if you want something simple, f
52.
by dmytrish 4y ago
I feel like WezTerm has a vision of being something bigger than a traditional VT emulator. It feels more like an environment to live in, an Emacs of terminal emulators, with its own tiling, status bar, dynamic scripting, builin Lua console,
53.
by dmytrish 4y ago
Text rendering is a quite CPU-intensive thing to do nowadays. It can burn your CPU with unnecessary work to move bitmaps around, while the GPU, which is specifically created and tuned for this kind of tasks, stays idle. This is basic mechan
54.
by dmytrish 4y ago
Your project is really admirable (I'd like to make a tiny computing machine and a full computing stack myself at some point), and having fun is a sound reason to use Lisp :) It was just me and my pet peeve that Lisps stopped being a s
55.
by dmytrish 4y ago
I have tried it: I wrote multiple Lisp interpreters, including a Scheme in C with garbage collection and basic call/cc. I wrote a simple regex engine in Scheme. I wrote a basic just-in-time transpiler from elisp to Javascript. I dabble
56.
by dmytrish 4y ago
My comment was overly dramatic, I'd say. I was implicitly comparing KDE to Apple-level quality in UI. I am using KDE on Wayland on Fedora, and so far it's the most polished Linux desktop experience I've ever had. Maybe it&#x2
57.
by dmytrish 4y ago
I use KDE because I like its relatively polished design and philosophy of flexibility and empowering power users. I can and I do wrestle things that I don't like into a shape I like. I still have to put up with many, many downsides ar
58.
by dmytrish 4y ago
For the record: C* is a subset of C. Selfie is trivially bootstrapple by any C compiler. Moreover, it's very easy to implement the subset of RISC-V used by Selfie if you don't trust its emulator. Bootstrapping vs self-hosting is a
59.
by dmytrish 4y ago
Easier said than done, but repurposing an old phone or getting a cheap one for work might help.
60.
by dmytrish 4y ago
What works for me: - reminding myself that my fear of missing out is misleading. Grounding myself in work and specific interests. Nothing bad will happen if I miss a hot new JS framework. - that clears space for more introspection. Observin

More ›