Hacker News: dmytrish

New comment by dmytrish in "Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc"

dmytrish — Sun, 10 May 2026 09:29:16 +0000

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 possible in languages with manual memory management. The second one is a universal logical error (only programmer knows which live references are really needed).

New comment by dmytrish in "Bun is being ported from Zig to Rust"

dmytrish — Tue, 05 May 2026 09:22:51 +0000

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

New comment by dmytrish in "Cocoa-Way – Native macOS Wayland compositor for running Linux apps seamlessly"

dmytrish — Sun, 29 Mar 2026 09:30:33 +0000

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

New comment by dmytrish in "Corruption erodes social trust more in democracies than in autocracies"

dmytrish — Tue, 17 Mar 2026 14:29:52 +0000

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

New comment by dmytrish in "France Aiming to Replace Zoom, Google Meet, Microsoft Teams, etc."

dmytrish — Mon, 26 Jan 2026 21:22:04 +0000

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

New comment by dmytrish in "Igniting the GPU: From Kernel Plumbing to 3D Rendering on RISC-V"

dmytrish — Wed, 31 Dec 2025 17:05:38 +0000

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

New comment by dmytrish in "Zpdf: PDF text extraction in Zig"

dmytrish — Tue, 30 Dec 2025 23:22:40 +0000

   ~/c/t/s/zpdf (main)> zig version
   0.15.2

Sky is blue, water is wet, slop does not work.

New comment by dmytrish in "Zpdf: PDF text extraction in Zig"

dmytrish — Tue, 30 Dec 2025 22:58:59 +0000

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

New comment by dmytrish in "Summary of the Amazon DynamoDB Service Disruption in US-East-1 Region"

dmytrish — Sat, 25 Oct 2025 11:28:35 +0000

+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 infrastructure reasonably clear to an outsider. Reading and understanding all of this also would be rather futile without actual access to source code and observability.

New comment by dmytrish in "/dev/null is an ACID compliant database"

dmytrish — Fri, 24 Oct 2025 10:54:58 +0000

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

New comment by dmytrish in "Systems Programming with Zig"

dmytrish — Sat, 04 Oct 2025 22:02:01 +0000

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

New comment by dmytrish in "Systems Programming with Zig"

dmytrish — Sat, 04 Oct 2025 21:59:10 +0000

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

New comment by dmytrish in "Zig feels more practical than Rust for real-world CLI tools"

dmytrish — Tue, 23 Sep 2025 19:06:24 +0000

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 to think that memory safety is just a question of not writing stupid bugs. Or luddites that think that programs must always be simple enough to get memory safety right.

New comment by dmytrish in "Zig feels more practical than Rust for real-world CLI tools"

dmytrish — Tue, 23 Sep 2025 18:56:08 +0000

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 traits/proper generic types/enums win them over Go/Python. But yes, it takes significant maturity to recognize and know how to use types properly.

New comment by dmytrish in "Project to formalise a proof of Fermat’s Last Theorem in the Lean theorem prover"

dmytrish — Thu, 21 Aug 2025 08:53:38 +0000

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.

New comment by dmytrish in "I tried Servo"

dmytrish — Thu, 31 Jul 2025 20:51:41 +0000

Show us the way!

New comment by dmytrish in "Working on a Programming Language in the Age of LLMs"

dmytrish — Thu, 24 Jul 2025 23:04:44 +0000

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 code to work without immediately falling apart.

New comment by dmytrish in "Mwm – The smallest usable X11 window manager"

dmytrish — Thu, 24 Jul 2025 22:51:52 +0000

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.

New comment by dmytrish in "Why Elixir? Common misconceptions"

dmytrish — Thu, 24 Jul 2025 17:03:49 +0000

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 personal codebase I had to debug mysterious data mismatches after every refactor. I ended up with a monad-like value checking before abandoning Elixir for my compiler.

New comment by dmytrish in "US Ends Support For Ukrainian F-16s"

dmytrish — Sun, 09 Mar 2025 15:48:18 +0000

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 was under Ukrainian control.

> The Russian Il-76s carrying reinforcements could not land; they were possibly forced to return to Russia.[35]

https://en.wikipedia.org/wiki/Battle_of_Antonov_Airport

Rumors of an Il-76 downed close to Vasylkiv did not prove to be true:

> Claims have been made that Ukrainian aircraft shot down two Russian Ilyushin Il-76 aircraft transporting assault troops.[33][124][34] However, The Guardian reports "no convincing public evidence has surfaced about the two downed planes, or about a drop of paratroopers in Vasylkiv".[125]

https://en.wikipedia.org/wiki/Northern_front_of_the_Russian_...