dmytrish

5 ms·

1.
by dmytrish 2mo ago
On the upside, Opencode has finally nudged me to learn sandboxing via bwrap in Linux and sandbox-exec on Mac.
2.
by dmytrish 3mo ago
That's what wayland-client does.
3.
by dmytrish 4mo ago
There are two kinds of memory leaks: forgotten manual freeing (all references are gone, but allocation is not) and forgetting to get rid of references that keeps an allocation alive. Both are a kind of logical error, but the first is mostly
4.
by dmytrish 5mo ago
You don't need Mythos for that, just open the bun issue tracker and filter for "segmentation fault".
5.
by dmytrish 6mo ago
I agree with most of your points, but why would a Wayland compositor need a hypervisor at all?
6.
by dmytrish 6mo ago
That does not mean that "things as they are" is "how it's ought to be".
7.
by dmytrish 8mo ago
You don't have to love risk to build something you need.
8.
by dmytrish 9mo ago
Thanks so much for great work! I hope to finally see VisionFive 2 with enabled GPU acceleration soon.
9.
by dmytrish 9mo ago
~/c/t/s/zpdf (main)> zig version 0.15.2 Sky is blue, water is wet, slop does not work.
10.
by dmytrish 9mo ago
...and it does not work. I tried it on ~10 random pdfs, including very simple ones (e.g. a hello world from typst), it segfaults on every single one.
11.
by dmytrish 11mo ago
+1, SREs can spend months during their onboarding basically reading design docs and getting to know about services in their vicinity. Short of publicly releasing all internal documentation, there's not much that can make the AWS infras
12.
by dmytrish 11mo ago
Considering that D in "ACID" stands for "durable", it's a pretty sloppy joke.
13.
by dmytrish 1y ago
What's great about its type system? I find it severely limited and not actually useful for conveying and checking invariants.
14.
by dmytrish 1y ago
> pass around the allocator to every function that allocates to the heap. what prevents a library from taking an allocator, saving it hidden somewhere and using it silently?
15.
by dmytrish 1y ago
So far, most of Zig enthusiasts look to me like people who get sugar rush from writing fast native code and are ignorant (i.e. newcomers to system programming) or arrogant (e.g. long time C programmers stubbornly stuck in their ways) enough
16.
by dmytrish 1y ago
Actually, the strong type system is often why people like to write Rust. Because encoding logic invariants in it also helps to prevent logic bugs! There is a significant crowd of people who don't necessarily love borrow checker, but tr
17.
by dmytrish 1y ago
Humans still have to state the goal and write a proof of it, but the proof is computer-verified. It's not irrelevant, except in the sense that any two different ways to prove the same statement are equivalently valid proofs.
18.
by dmytrish 1y ago
Show us the way!
19.
by dmytrish 1y ago
Yes, in some sense JavaScript is the pinnacle of programming language design: it's so resilient to chaos that even stochastic parrots can write it with some success. It's like the absolute minimal threshold of demands for sloppy c
20.
by dmytrish 1y ago
Linux already has GNOME and KDE as solid mainstream platforms (which is already twice as good as MacOS/Windows), and it also already has Sway, Hyprland, Niri. If an idea is worth implementing, it gets implemented even with Wayland.
21.
by dmytrish 1y ago
There are type hints for function parameters. With some care and guards, Dialyzer can be somewhat helpful. What actually drove me nuts was absence of guards and meaningful static analysis on return values. Even in my small but nontrivial pe
22.
by dmytrish 2y ago
I don't know where you got this myth from. Extermination of elite VDV units was not just one plane shot down. There were many russian helicopters successfully landing at Hostomel, the area saw heavy fighting for several days until it w
23.
by dmytrish 2y ago
Yes, I find it easier to press single quote in vanilla Firefox, start typing the most unique looking part of the link text, see it become green, press Enter to confirm. The link search feature in Firefox is one of the reasons that keep me u
24.
by dmytrish 2y ago
I am not sure I understand what you mean in the context of Haskell.
25.
by dmytrish 3y ago
Yes, but even UART could handle some kind of a simple multiplexer protocol with multiple data streams.
26.
by dmytrish 3y ago
It's a bit creepy to refer to people as "things"
27.
by dmytrish 3y ago
Memory is meant to be reused, "64 bit counter will be enough for everybody" is not how systems programming works.
28.
by dmytrish 3y ago
Async might be a wrong abstraction for high-level programming: green threads/goroutines are so much easier to use. On the other hand, writing a state machine for handling concurrent events/transitions is literally async done manua
29.
by dmytrish 3y ago
Async is badly needed in systems programming, more so than at the application level: handling events in embedded/low level components is incredibly tedious without it.
30.
by dmytrish 3y ago
`wezterm ssh` uses ssh the way you describe it. It does not offer persistence by itself, but iirc there are server components in wezterm which might give you reattach able sessions.

More ›