superlopuh

6 ms·

1.
by superlopuh 4mo ago
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 les
2.
by superlopuh 6mo ago
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
3.
by superlopuh 6mo ago
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
4.
by superlopuh 6mo ago
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
5.
by superlopuh 9mo ago
Also seems like the repo is now private, so I can't open an issue, or reproduce the numbers.
6.
by superlopuh 9mo ago
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.
7.
by superlopuh 9mo ago
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
8.
by superlopuh 11mo ago
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:/&#
9.
by superlopuh 1y ago
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
10.
by superlopuh 1y ago
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
11.
by superlopuh 1y ago
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
12.
by superlopuh 1y ago
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.
13.
by superlopuh 1y ago
Beautiful
14.
by superlopuh 1y ago
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 sol
15.
by superlopuh 1y ago
I just get a bunch of stars.
16.
Flappy Swift: A WebAssembly game written in Swift in ~100 KB(forums.swift.org)
4 points by superlopuh 1y ago|0 comments
17.
by superlopuh 1y ago
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, an
18.
by superlopuh 2y ago
My experience with Zig is that it's also a plausible replacement for C++
19.
by superlopuh 2y ago
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&#x2
20.
by superlopuh 2y ago
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,
21.
by superlopuh 2y ago
As far as I'm concerned, this is the fix: https://github.com/astral-sh/uv
22.
by superlopuh 2y ago
We use Textual as an interactive way to explore compilation pipelines in xDSL [0]. As our compiler is written in Python, it was the perfect tool to build a UI in the same language as the existing codebase. After starting the `xdsl-gui` proj
23.
by superlopuh 2y ago
Here's a keynote talk by Andrea Liu, the lead of the project, it's a much better resource about one of the most exciting things going on in ML right now: https://youtu.be/7hz4cs-hGew?si=64O3Q7g-qeRQ0Td4
24.
by superlopuh 2y ago
If they wanted to, why wouldn't they make a modified, specialized, server rack version of their hardware?
25.
by superlopuh 2y ago
Definitely doesn't look as clean as the example above, or as clean as the Swift equivalent of await x + y
26.
by superlopuh 3y ago
The same could be said of a lot of things. For example in hash maps, you might have a cliff in performance if your hash function is not good for your data distribution, but you'll still happily use the default ones until you're re
27.
by superlopuh 3y ago
Datalog is a strong contender: https://www.learndatalogtoday.org/chapter/1
28.
by superlopuh 3y ago
This is basically my PhD thesis proposal, I don't think there's any fundamental technological problem here, just that for a graph to be efficient to process you need high-level optimisations that can take mathematical properties o
29.
by superlopuh 3y ago
I work on a reimplementation of MLIR in Python called xDSL, and ported a part of MLIR's Toy tutorial, you can try it interactively online at xdsl.dev/notebooks, or by cloning the github repo and running them locally github.com&#x2
30.
by superlopuh 3y ago
I'm fairly certain that this is false, and am working on proving it. In the cases that Numba is optimised for it's already faster than plausible C++ implementations of the same kernels. https://stackoverflow.com/qu

More ›