drumnerd

6 ms·

1.
by drumnerd 8mo ago
It reads like slop. It’s repetitive, abstract and adds essentially nothing beyond him babbling about himself.
2.
by drumnerd 8mo ago
Slop.
3.
by drumnerd 8mo ago
This is so obvious I am amazed it warrants a post.
4.
by drumnerd 9mo ago
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.
5.
by drumnerd 10mo ago
Many type errors
6.
by drumnerd 10mo ago
Every computer scientist with a grain of salt knows this…
7.
by drumnerd 11mo ago
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
8.
by drumnerd 11mo ago
This comment looks as if written by an agent.
9.
by drumnerd 1y ago
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 a
10.
by drumnerd 1y ago
So a little bit of syntax is verbose, goes on to invent a whole new syntax for it
11.
by drumnerd 1y ago
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.
12.
by drumnerd 1y ago
Why the name conflict with aria the technology?
13.
by drumnerd 1y ago
Fuck trump, the Epstein buddy Ave Brasil
14.
by drumnerd 1y ago
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.
15.
by drumnerd 1y ago
This was obviously coming, and it should be tuned to Haskell and Agda
16.
by drumnerd 1y ago
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 claim
17.
by drumnerd 1y ago
Those are basic, you can decompile a function and change its bytecode, you can completely revamp the parser using codecs, etc
18.
by drumnerd 1y ago
0 can be inferred as a float too, so doesn’t it make sense to type numbers?
19.
by drumnerd 1y ago
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!
20.
by drumnerd 2y ago
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.
21.
by drumnerd 2y ago
Oh I do that. But I mean… what kind of job I have a good chance at?
22.
by drumnerd 2y ago
Poorly. What kind of position can I aim at? What kind of companies are interested in failed founders with plenty experience otherwise?
23.
Ask HN: I'm 38 and I have just left my last startup. What should I do next?
11 points by drumnerd 2y ago|10 comments