Hacker News: superlopuh

New comment by superlopuh in "RTX 5090 and M4 MacBook Air: Can It Game?"

superlopuh — Thu, 14 May 2026 17:27:02 +0000

I'm curious and not an expert here, do you know why the TTFT is so much worse on Mac? To elaborate, the article just says that this step is compute bound, but I'm wondering whether it is just that simple or if it might also be less optimised in MLX?

New comment by superlopuh in "Combinators"

superlopuh — Tue, 31 Mar 2026 15:40:47 +0000

I raised this in person to a number of array language implementors (and Connor Hoekstra) last year and they weren't familiar with interaction nets. I'm not sure that I was successful in convincing them that this was worth looking into, partially because I'm not yet personally convinced that this is worth looking into.

New comment by superlopuh in "Every layer of review makes you 10x slower"

superlopuh — Tue, 17 Mar 2026 07:47:29 +0000

In my experience a culture where teammates prioritise review times (both by checking on updates in GH a few times a day, and by splitting changes agressively into smaller patches) is reflected in much faster overall progress time. It's definitely a culture thing, there's nothing technically or organisationally difficult about implementing it, it just requires people working together considering team velocity more important than personal velocity.

New comment by superlopuh in "Python: The Optimization Ladder"

superlopuh — Sat, 14 Mar 2026 15:06:25 +0000

Missing Muna[0][1], I'm curious how it would compare on these benchmarks.

[0]: https://www.muna.ai/ [1]: https://docs.muna.ai/predictors/create

New comment by superlopuh in "Python numbers every programmer should know"

superlopuh — Fri, 02 Jan 2026 10:22:16 +0000

Also seems like the repo is now private, so I can't open an issue, or reproduce the numbers.

New comment by superlopuh in "Python numbers every programmer should know"

superlopuh — Fri, 02 Jan 2026 10:21:06 +0000

I'm surprised that the `isinstance()` comparison is with `type() == type` and not `type() is type`, which I would expect to be faster, since the `==` implementation tends to have an `isinstance` call anyway.

New comment by superlopuh in "Announcing the Beta release of ty"

superlopuh — Wed, 17 Dec 2025 12:26:18 +0000

We've been relying on TypeForm (an experimental feature in Pyright) in xDSL. Since there are some Astral members commenting here: are there any plans to support TypeForm any time soon? It seems like you already have some features that go beyond the Python type spec, so I feel like there may be hope

New comment by superlopuh in "Why SSA?"

superlopuh — Thu, 23 Oct 2025 14:15:52 +0000

In MLIR, there are two representations of memory, `tensor` and `memref`, which enables you to do some high-level things[0] in SSA before "bufferizing" to memrefs, which are eventually lowered to LLVM pointers.

[0]: https://mlir.llvm.org/docs/Dialects/TensorOps/

New comment by superlopuh in "Top Programming Languages 2025"

superlopuh — Wed, 24 Sep 2025 09:44:53 +0000

Yep, although never in a project of a similar size. One advantage of the Python setup is that the types are ignored at runtime, so there's no overhead at startup/compilation time. Although it's also a disadvantage in terms of what you can do in the system, of course.

New comment by superlopuh in "Top Programming Languages 2025"

superlopuh — Wed, 24 Sep 2025 06:51:55 +0000

Python with Pyright in strict mode. I work on a ~200kLOC fully typed Python project [0] and am having fun.

[0]: https://github.com/xdslproject/xdsl

New comment by superlopuh in "Show HN: TokenDagger – A tokenizer faster than OpenAI's Tiktoken"

superlopuh — Mon, 30 Jun 2025 17:27:46 +0000

Can someone familiar with performance of LLMs please tell me how important this is to the overall perf? I'm interested in looking into optimizing tokenizers, and have not yet run the measurements. I would have assumed that the cost is generally dominated by matmuls but am encouraged by the reception of this post in the comments.

New comment by superlopuh in "The Zed Debugger Is Here"

superlopuh — Thu, 19 Jun 2025 12:30:01 +0000

I really want to switch to Zed from Cursor but the battery usage for my Python project with Pyright is unjustifiable. There are issues for this on GitHub and I'm just sad that the team isn't prioritising this more.

New comment by superlopuh in "Domains I love"

superlopuh — Fri, 13 Jun 2025 11:39:37 +0000

Beautiful

New comment by superlopuh in "Solving LinkedIn Queens with SMT"

superlopuh — Fri, 13 Jun 2025 09:15:04 +0000

I love that language and frequently show it to people. I'm sad to see that my local install doesn't work any more. I actually used it to solve a puzzle in Evoland 2 that I'm relatively sure was added as a joke, and is not solvable in a reasonable time without a solver. I'm actually doing a PhD in compilers right now, and would love to chat about sentient if you have the time. My email is sasha@lopoukhine.com.

New comment by superlopuh in "Domains I Love"

superlopuh — Mon, 09 Jun 2025 22:30:22 +0000

I just get a bunch of stars.

Flappy Swift: A WebAssembly game written in Swift in ~100 KB

superlopuh — Sat, 19 Apr 2025 22:12:43 +0000

Article URL: https://forums.swift.org/t/flappy-swift-a-webassembly-game-written-in-swift-in-100-kb/79262

Comments URL: https://news.ycombinator.com/item?id=43739900

Points: 4

# Comments: 0

New comment by superlopuh in "Solving a “Layton Puzzle” with Prolog"

superlopuh — Tue, 08 Apr 2025 22:44:30 +0000

I once used Sentient[0] to solve a similar puzzle in a different game that I think made a puzzle that required a constraint solver as a joke on the player. I'm a bit saddened to see that the repo hasn't been updated in 6 years, and a node update broke the binary installed on my computer, I find it a much more ergonomic environment than Prolog, hopefully someone else will pick up the mantle.

[0]: https://sentient-lang.org/

New comment by superlopuh in "Roc rewrites the compiler in Zig"

superlopuh — Tue, 04 Feb 2025 22:25:30 +0000

My experience with Zig is that it's also a plausible replacement for C++

New comment by superlopuh in "Tilde, My LLVM Alternative"

superlopuh — Fri, 24 Jan 2025 17:05:31 +0000

I know of a few projects looking in that direction, each optimising for different things, and none getting near the capability of LLVM, which is going to take some time. I spoke with some of the core MLIR developers about this, and they're generally open to the notion, but it's going to take a lot of volunteer effort to get there, and it's not clear who the sherpa will be, especially given the major sponsors of the LLVM project aren't in a particular hurry. If you're interested in this feel free to look our paper up in a week or two, we've had a bit of trouble uploading it to arxiv but should be ready soon.

https://2025.cgo.org/details/cgo-2025-papers/39/A-Multi-Leve...

Here's a quick pres from the last dev meeting on how this can be leveraged to compile NNs to a RISC-V-based accelerator core: https://www.youtube.com/watch?v=RSTjn_wA16A&t=1s

New comment by superlopuh in "The Languages of English, Math, and Programming"

superlopuh — Sun, 20 Oct 2024 18:22:56 +0000

The typing version is still useful when you want to communicate that the result conforms to a certain interface, which doesn't include mutability in the case of Set, but not the exact type.

Edit: I see that he imported the typing Set, which is deprecated, instead of collections.abc.Set, which is still useful, so your comment is correct.