Viewing profile — _05hb
_05hb
HN member- Joined
- Wed, Aug 07, 2024, 5:26 AM UTC
- HN karma
- 1
- Public activity
- 5 items
- HN profile
- View on Hacker News ↗
About _05hb
No profile information was provided.
Recent public activity
-
comment
Comment #40952212
Thanks again for responding. You gave me a lot to think about. It seems like there isn’t much daylight between our positions, and in any case I’m sure nobody else is reading, so I’…
-
comment
Comment #40952154
I thought this thread was dead, and the topic is cursed besides that, but since this comment is obliquely referencing mine, I’ll post this: the two most prestigious white-collar fi…
-
comment
Comment #40937307
Thanks for responding. Here’s what I mean about proofs. I learned how to do them in college, and in the early classes we got a lot of leeway on grading, and then as we moved up the…
-
comment
Comment #40933347
Math proofs only need to convince other people. Programs need to convince a compiler. If compilers were people and you talked to them for the first time, the only reasonable respon…
-
comment
Comment #40396543
Here’s my opinion: 1. In the US, we tried to make alcohol illegal, and failed so abjectly that nobody wants to try that again. 2. There’s a decent argument to be made, that in a co…