Viewing profile — the-wumpus
the-wumpus
HN member- Joined
- Mon, Jun 23, 2025, 1:56 AM UTC
- HN karma
- 60
- Public activity
- 9 items
- HN profile
- View on Hacker News ↗
About the-wumpus
No profile information was provided.
Recent public activity
-
comment
Comment #46325945
It's not great, but in this very thread there's a person from the conformance team that says that it shouldn't sway your choice too much. https://htmlpreview.github.io/?https://git…
-
comment
Comment #46325911
Zuban continues to have "not great" diagnostics like the rest of the python type checkers, where ty has "rust inspired" diagnostics that are extremely helpful. It's a shame to hear…
-
comment
Comment #46325777
The existing type checkers are slow. That's their reasoning for creating it. The type checking world in python is now reasonably well specified (and the type checkers are beginning…
-
comment
Comment #45394341
I disagree with it being outside the scope of typst. Typst makes designing a template entirely feasible, I've tried and succeeded.
-
comment
Comment #44521374
pprof doesn't do an amazing job of explaining how to use it with perf (which you'd need to use for a rust project like OP), so: First install perf, graphviz, perf_data_converter an…
-
comment
Comment #44352080
They have some incentive to drive users to subscribe, but they have other forms of income, and I think if they ever implemented even a single feature of actual rendering that was c…
-
comment
Comment #44351948
I disagree. The web app editor is closed source, but much of what it provides is open source so editing is a similar (and imo better) experience locally. The typst compiler and LSP…
-
comment
Comment #44351887
I understand why people like using LLMs for coding, saves them having to think, but it is deeply frustrating to see it being such a crutch that some people cannot use new tools wit…
-
comment
Comment #44351871
To be fair $x^2=1$ literally works in typst.