HN user

wdroz

467 karma

Software engineer from Switzerland.

Like big data and machine learning.

Posts1
Comments199
View on HN

You can get a refund, from the article:

If you hit unexpected limits or these changes just don’t work for you, you can cancel your Pro or Pro+ subscription and you will not be charged for April usage. Please reach out to GitHub support between April 20 and May 20 for a refund.

All submissions must come from verified individuals or organizations. Inside the OpenAI Platform Dashboard general settings, we provide a way to confirm your identity and affiliation with any business you wish to publish on behalf of. Misrepresentation, hidden behavior, or attempts to game the system may result in removal from the program.

They really want your ID

GPT-5.2 7 months ago

Unlike openai, you can use the latest grok models without verifying your organization and giving your ID.

The logo is further on the left than the other icons.

But why the logo of the website/app should be aligned with the icon of the actions?

The icons are thin, compared to the text, which is bold.

Why this is an issue?

I can somewhat agree with the other points, but I wouldn't call this "bad design." Just because the information can sometimes be presented better doesn't mean the previous way was bad.

I hope you will get further sponsorships so you can continue your cool work in the FOSS space.

I also totally agree that uv makes shipping python software smoother. Prior to uv I hesitated to use Textual to build cool TUIs for internal tools. But now, it’s a totally different story. I wish I had an internal tool to write with Textual right now.

Maybe by the time Toad is officially out, I will have a project ready to dive into.

I also prefer the mental model of immediate mode, but when I played with Dioxus[0] for a rust fullstack hobby project[1], I was able to adapt.

I liked the DX with the tools and the `rsx!` macro. The use of `#[cfg(feature = "server")]` to define server-side code is interesting, it lets you keep a shared codebase for frontend and backend, while still controlling what gets compiled to WASM for the client.

[0] -- https://dioxuslabs.com/

[1] -- https://blazingboard.ch/ (not mobile friendly, sorry)

I agree, the latest models are not bad at Rust. Most issues I have when writing LLM-assisted Rust code are related to dependencies.

There are a lot of v0.x.x crates in Rust with frequent updates and breaking changes. As LLMs "learn" from code in the wild, they are exposed to different way to use the same crate and thus fail to produce working code "from memory".

But as soon as you explain how to use it with the latest syntax, they are able to fix the code.

They are using the "normal" dependencies section in the pyproject.toml, so you should be able to install with pip or other tools if you want.

It's only for dev-specifics dependencies that they are using the uv-specifics section.

You can try uv in 2 min and see if you like it or not.

Some "micro cheating" are really easy to develop. When I was younger and a bit bored, I wrote my own "micro-cheat" in AutoIt[0] with less than 10 lines of code.

This was for the game counter-strike (I don't remember which version, either Source or early CSGO). The logic of the cheat was:

  - I manually aim, with the sniper, close to the wall of an intersection
  - I press a special key, then when the pixel at the center of the screen change, simulate input mouse click to "fire"
This was fun for maybe 1-2h, but the fun was more about the success of the project (from an idea to a working cheat) than getting some free kills while playing.

[0] -- https://www.autoitscript.com/site/

I prefer mypy but sometimes pyright supports new PEPs before mypy, so if you like experimenting with cutting-edge python, you may have to switch time to time.

With the 3.13 TypeIs[0] and the 3.10 TypeGuard[1], we can achieve some of Rust's power (such as the 'if let' pattern) without runtime guarantees.

This is a win for the DX, but this is not yet widely used. For example, "TypeGuard[" appears in only 8k Python files on GitHub.[2]

[0] -- https://docs.python.org/3.13/library/typing.html#typing.Type...

[1] -- https://docs.python.org/3.13/library/typing.html#typing.Type...

[2] -- https://github.com/search?q=%22TypeGuard%5B%22+path%3A*.py&t...

py2wasm converts your Python programs to WebAssembly, running them at 3x faster speeds

This is clearly written in the article, but I hope that the impatient readers will understand that this is 3 times faster than the CPython wasm, not the native CPython.

Yes, we are aware of typst. I think it’s cool, but C++ hasn’t replaced C, Rust hasn’t replaced C++, Typst is unlikely to replace LaTeX. Likewise, many are aware of LuaTeX, but, again, the entrenching of a 40-odd year system is not to be underestimated. I am rooting for typst, anyway, and hope it finds its place. A good place to start would be to provide a compilation toolchain from typst to TeX, if they really want to replace TeX.

Pandoc[0] can convert Typst to LaTeX.

IMO If you are able to write in Typst, write in Typst, it's so much better and readable. Your final LaTeX3 macro are hard to read and difficult to parse with the eyes... Also Typst is easier to learn.

[0] -- https://pandoc.org/try/

It's because they are comparing to distributed solutions only. Polars is one of the fastest solution for single computer workflow, but it doesn't support distributed workflow.