1. drumnerd Jan 3, 2026 parent

   It’s so simple to understand. There are tens of dictatorships around. Why this one? Shit is fucked more a lot more in Congo. Why is the US not interested? This is not about human rights. This is about oil.
2. drumnerd Nov 27, 2025 parent

   Many type errors
3. drumnerd Nov 27, 2025 parent

   Every computer scientist with a grain of salt knows this…
4. drumnerd Nov 7, 2025 parent

   The page is so obviously written with AI that it isn’t even worth reading. Try the model if you will but save yourselves the pain of reading ai slop
5. drumnerd Nov 5, 2025 parent

   This comment looks as if written by an agent.
6. drumnerd Sep 25, 2025 parent

   In type checking, particularly in dependent types, it is not trivial to check that two types are the same. Different notions of equality are useful in this field. A type can contain a function value inside. How to prove that two functions are the same? Is not enough to prove that for all X f X and g X implies f is g.
7. drumnerd Aug 20, 2025 parent

   So a little bit of syntax is verbose, goes on to invent a whole new syntax for it
8. drumnerd Aug 15, 2025 parent

   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.
9. drumnerd Jul 30, 2025 parent

   Why the name conflict with aria the technology?
10. drumnerd Jul 25, 2025 parent

    Fuck trump, the Epstein buddy

    Ave Brasil

11. drumnerd Jul 2, 2025 parent

    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.
12. drumnerd May 14, 2025 parent

    This was obviously coming, and it should be tuned to Haskell and Agda
13. drumnerd Apr 26, 2025 parent

    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.

14. drumnerd Apr 23, 2025 parent

    Those are basic, you can decompile a function and change its bytecode, you can completely revamp the parser using codecs, etc
15. drumnerd Apr 23, 2025 parent

    0 can be inferred as a float too, so doesn’t it make sense to type numbers?
16. drumnerd Apr 23, 2025 parent

    Hey kiddo… did you ever try something nastier? I’ve got something that will blow your mind and you’ll keep coming back

    You don’t know but you are addicted to types

    Come to the light - Haskell!

17. drumnerd Feb 6, 2025 parent

    I think about cones all the time when doing machine learning. If I have an object O that can be mapped to A and B I can learn a function from A to B or B to A if I can generate Os. That’s my view of self supervised learning.
18. drumnerd Jan 3, 2025 parent

    Oh I do that. But I mean… what kind of job I have a good chance at?
19. drumnerd Jan 3, 2025 parent

    Poorly.

    What kind of position can I aim at? What kind of companies are interested in failed founders with plenty experience otherwise?

20. 11 points Jan 3, 2025

    Ask HN: I'm 38 and I have just left my last startup. What should I do next?

    10 comments drumnerd

This user hasn’t submitted anything.