So a little bit of syntax is verbose, goes on to invent a whole new syntax for it
Readit Newsdrumnerd commented on Type-machine arthi-chaud.github.io/pos... · Posted by u/todsacerdoti
drumnerd commented on I let LLMs write an Elixir NIF in C; it mostly worked overbring.com/blog/2025-0... · Posted by u/overbring_labs
I would never ever let an LLM anywhere near C code. If you need help from LLM to write a NIF that performs basic C calls to the OS, you probably can’t check if it’s safe. I mean, it needs at least to pass valgrind.
Deleted Comment
drumnerd commented on Show HN: The Aria Programming Language github.com/egranata/aria... · Posted by u/egranata_aria
Why the name conflict with aria the technology?
drumnerd commented on Brazil central bank to launch Pix installment feature in September reuters.com/technology/br... · Posted by u/CXSHNGCB
Fuck trump, the Epstein buddy
Ave Brasil
A monad is not a container! It’s a way of composing functions if they have an effect. You tell how to inject a value in that effect (unit) and how to compose two functions that have that effect and that’s it: programmable semicolons.
drumnerd commented on Type-constrained code generation with language models arxiv.org/abs/2504.09246... · Posted by u/tough
This was obviously coming, and it should be tuned to Haskell and Agda
Peer review is important for checking the correctness of the results, among other things. It's not uncommon to find big errors; small mistakes are everywhere.
Peer review is of utmost importance. Any researcher can make mistakes. I can read papers and apply them, but I need expert opinion to trust the papers. I am not skilled enough in any but my specialties.
I do see papers with outlandish claims and very weak support. This kind of excessively bold statement I see in many papers is a red flag for me.
drumnerd commented on Advanced Python Features blog.edward-li.com/tech/a... · Posted by u/BerislavLopac
Those are basic, you can decompile a function and change its bytecode, you can completely revamp the parser using codecs, etc
drumnerd commented on Advanced Python Features blog.edward-li.com/tech/a... · Posted by u/BerislavLopac
Same experience here, Python’s typing experience is awful compared to TypeScript, even post-3.12. Mypy’s type inference is so dumb you have to write arguments like `i: int = 0`; `TypedDict`s seems promisable at first and then end up as a nightmare where you have to `cast` everything. I miss TypeScript’s `unknown` as well.
0 can be inferred as a float too, so doesn’t it make sense to type numbers?