Hacker News: 7h3kk1d

New comment by 7h3kk1d in "Hazel: A live functional programming environment with typed holes"

7h3kk1d — Thu, 17 Jul 2025 18:44:31 +0000

Never in TypeScript is the equivalent of "bottom" where a value can never appear. The type holes in hazel are for incomplete types (during development) and work more like the any type in typescript where they are consistent with every value.

New comment by 7h3kk1d in "SVGs that feel like GIFs"

7h3kk1d — Tue, 08 Jul 2025 15:54:56 +0000

I don't think you do. The --in param on svg-term-cli worked for me locally.

New comment by 7h3kk1d in "Reasoning models don't always say what they think"

7h3kk1d — Fri, 04 Apr 2025 14:27:41 +0000

I'm quite sure my grandma could not. You can make the argument these people aren't intelligent but I think that's a contrived argument.

New comment by 7h3kk1d in "Reasoning models don't always say what they think"

7h3kk1d — Thu, 03 Apr 2025 20:45:10 +0000

There's sentient humans who can't beat the first generation pokemon games.

New comment by 7h3kk1d in "Functional Programming Self-Affirmations"

7h3kk1d — Tue, 26 Nov 2024 18:25:03 +0000

I agree with regards to checked exceptions. Unfortunately Java doesn't support any form of polymorphism over thrown exceptions so it makes your code much harder to reuse. In languages that support polymorphic effects I imagine this is less of a concern.

New comment by 7h3kk1d in "Functional Programming Self-Affirmations"

7h3kk1d — Tue, 26 Nov 2024 18:23:45 +0000

""Make illegal states unrepresentable" is way too expensive to implement."

This has not been my experience. The speed increase in development not having to worry about the unrepresentable cases have been very valuable. In addition as requirements change migrating old data hasn't been a huge concern. For code changes refactoring the types helps address new cases as well.

New comment by 7h3kk1d in "Hazel: A live functional programming environment featuring typed holes"

7h3kk1d — Fri, 01 Nov 2024 14:28:45 +0000

I'm not sure I understand your point. Typed holes aren't trying to get rid of the concept of interfaces or well designed abstractions. Rather they aim to help deal with incomplete programs that are still under development.

New comment by 7h3kk1d in "Hazel: A live functional programming environment featuring typed holes"

7h3kk1d — Fri, 01 Nov 2024 13:56:30 +0000

If you put the cursor on it you'll see an error message at the bottom. In this case the case expression is inexhaustive because it's only handling lists of size 0, 1, and 2.

New comment by 7h3kk1d in "Hazel: A live functional programming environment featuring typed holes"

7h3kk1d — Fri, 01 Nov 2024 13:55:06 +0000

You can play with it at https://hazel.org/build/dev/ but programs don't "crash" when they're incomplete so "1 + 5 + ?" will evaluate to "6 + ?" in the editor. So your program can evaluate as far as possible with the holes. If you're using Java and throw NotImplementedException you lose all context to what did work.

New comment by 7h3kk1d in "Hazel: A live functional programming environment featuring typed holes"

7h3kk1d — Fri, 01 Nov 2024 13:50:34 +0000

Hazel will also run incomplete programs around holes. Most untyped languages will just crash as soon as something is incomplete.

New comment by 7h3kk1d in "Machine learning is still too hard for software engineers"

7h3kk1d — Tue, 22 Feb 2022 20:38:29 +0000

I think the above commenter is more critiquing the notion of relying on intuition all together.

New comment by 7h3kk1d in "Google Voice is killing SMS voicemail transcripts and Chrome Extension texting"

7h3kk1d — Tue, 06 Aug 2019 16:09:42 +0000

Do they have consumer app versions?

New comment by 7h3kk1d in "Sqlite to Rest"

7h3kk1d — Wed, 10 Jul 2019 16:23:07 +0000

Most are, but I have definitely worked on projects that weren't

New comment by 7h3kk1d in "Google Container for Firefox – Prevent Google from tracking you around the web"

7h3kk1d — Fri, 30 Nov 2018 16:05:47 +0000

Possibly add a merge trees feature?

New comment by 7h3kk1d in "Triplebyte Raises $10M from Initialized Capital, Marissa Mayer and Paul Graham"

7h3kk1d — Thu, 01 Mar 2018 15:12:41 +0000

I'd rather find a better long term fit quicker than have a pleasant process when looking.

New comment by 7h3kk1d in "Hello, declarative world"

7h3kk1d — Tue, 15 Sep 2015 19:14:23 +0000

I think the point is to consciously acknowledge what you're doing needs a side effect. It's similar with mutable state. Both state and side effects are completely necessary but should be isolated and controlled through known constructs.