Viewing profile — jfwuasdfs

jfwuasdfs

HN member

No profile information was provided.

comment
Comment #42467909
A cease-fire may buy us time to figure out a long-term solution.

Fri, Dec 20, 2024, 3:05 AM UTC
comment
Comment #42467608
[flagged]

Fri, Dec 20, 2024, 2:05 AM UTC
comment
Comment #42467392
Very true. You need to go to a school that specializes in type theory [1]. [1]: https://cstheory.stackexchange.com/questions/50780/which-uni...

Fri, Dec 20, 2024, 1:14 AM UTC
comment
Comment #42467372
Agreed 100%. Other benefit is fearless refactoring since API changes appear as type errors. With no type-checking you need to gamble testing all codepaths.

Fri, Dec 20, 2024, 1:09 AM UTC
comment
Comment #42463317
[flagged]

Thu, Dec 19, 2024, 4:54 PM UTC
comment
Comment #42462844
> Yes, we have extensive high school and college work-study/internships and participants make $72k/yr This is below COL in many areas. If you increase this to 125k like Bucees then…

Thu, Dec 19, 2024, 4:12 PM UTC