Viewing profile — dmytrish

On the upside, Opencode has finally nudged me to learn sandboxing via bwrap in Linux and sandbox-exec on Mac.

That's what wayland-client does.

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 aliv…

You don't need Mythos for that, just open the bun issue tracker and filter for "segmentation fault".

I agree with most of your points, but why would a Wayland compositor need a hypervisor at all?

That does not mean that "things as they are" is "how it's ought to be".

You don't have to love risk to build something you need.

Thanks so much for great work! I hope to finally see VisionFive 2 with enabled GPU acceleration soon.

~/c/t/s/zpdf (main)> zig version 0.15.2 Sky is blue, water is wet, slop does not work.

...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.

+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 docum…

Considering that D in "ACID" stands for "durable", it's a pretty sloppy joke.

What's great about its type system? I find it severely limited and not actually useful for conveying and checking invariants.

> 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?

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. lo…

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 p…

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 s…

Show us the way!

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 …

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 i…

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 a…

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, …

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 se…

I am not sure I understand what you mean in the context of Haskell.

Yes, but even UART could handle some kind of a simple multiplexer protocol with multiple data streams.