Josh Horowitz
@joshuahhh.com
joshuahhh.com
t-shirt size: medium
t-shirt size: medium
Update: I'm too sick of CSS to even try out proposed approaches; plz ignore this post.
November 15, 2025 at 6:35 AM
Update: I'm too sick of CSS to even try out proposed approaches; plz ignore this post.
Which means it can't participate in vertical layout? Boo.
November 15, 2025 at 6:12 AM
Which means it can't participate in vertical layout? Boo.
Do you think this is because things are really getting tougher, or because opportunities come and go meaning that the ones that supported you have come and gone?
November 14, 2025 at 11:20 PM
Do you think this is because things are really getting tougher, or because opportunities come and go meaning that the ones that supported you have come and gone?
See also:
- Type predicates: www.typescriptlang.org/docs/handboo...
- Assertion functions: www.typescriptlang.org/docs/handboo...
(I see these as superior to check-and-return because you don't need to define a new variable.)
- Type predicates: www.typescriptlang.org/docs/handboo...
- Assertion functions: www.typescriptlang.org/docs/handboo...
(I see these as superior to check-and-return because you don't need to define a new variable.)
November 14, 2025 at 8:47 AM
See also:
- Type predicates: www.typescriptlang.org/docs/handboo...
- Assertion functions: www.typescriptlang.org/docs/handboo...
(I see these as superior to check-and-return because you don't need to define a new variable.)
- Type predicates: www.typescriptlang.org/docs/handboo...
- Assertion functions: www.typescriptlang.org/docs/handboo...
(I see these as superior to check-and-return because you don't need to define a new variable.)
If you're referring to how checkNotNull returns a non-null value, I think it's more idiomatic to use type narrowing: www.typescriptlang.org/docs/handboo....
if (someState !== null) {
// in here, someState is T, not T | null
}
Or
assert(someState !== null)
// now, someState is T, not T | null
if (someState !== null) {
// in here, someState is T, not T | null
}
Or
assert(someState !== null)
// now, someState is T, not T | null
November 14, 2025 at 8:43 AM
If you're referring to how checkNotNull returns a non-null value, I think it's more idiomatic to use type narrowing: www.typescriptlang.org/docs/handboo....
if (someState !== null) {
// in here, someState is T, not T | null
}
Or
assert(someState !== null)
// now, someState is T, not T | null
if (someState !== null) {
// in here, someState is T, not T | null
}
Or
assert(someState !== null)
// now, someState is T, not T | null
Lol I immediately know where this is from the tile pattern. It's an iconic tile pattern.
November 13, 2025 at 8:25 PM
Lol I immediately know where this is from the tile pattern. It's an iconic tile pattern.
It doesn't seem so clear to me. E.g., the text you link to jumps quickly into a lot of definitions without much motivation or concrete examples. The ML stuff might be helpful to readers with the right prog. background, but there are other ways to make things approachable that might work better.
November 12, 2025 at 7:43 PM
It doesn't seem so clear to me. E.g., the text you link to jumps quickly into a lot of definitions without much motivation or concrete examples. The ML stuff might be helpful to readers with the right prog. background, but there are other ways to make things approachable that might work better.
another nice option might be "Conceptual Mathematics" (s3.amazonaws.com/arena-attach...)
but "I want to learn category theory" is kinda under-specified... there are different angles on it, with different focuses
(e.g., a mathematician's take is different from a computer-scientist's)
but "I want to learn category theory" is kinda under-specified... there are different angles on it, with different focuses
(e.g., a mathematician's take is different from a computer-scientist's)
November 12, 2025 at 9:12 AM
another nice option might be "Conceptual Mathematics" (s3.amazonaws.com/arena-attach...)
but "I want to learn category theory" is kinda under-specified... there are different angles on it, with different focuses
(e.g., a mathematician's take is different from a computer-scientist's)
but "I want to learn category theory" is kinda under-specified... there are different angles on it, with different focuses
(e.g., a mathematician's take is different from a computer-scientist's)
huh!! is supply_sim referenced somewhere?
November 9, 2025 at 1:48 AM
huh!! is supply_sim referenced somewhere?
FYI, link goes to "You must log in to access conference data".
November 7, 2025 at 2:42 AM
FYI, link goes to "You must log in to access conference data".
November 5, 2025 at 10:30 PM
(are you commenting on the failure of the polls or something about the chart?)
November 5, 2025 at 10:26 PM
(are you commenting on the failure of the polls or something about the chart?)
have you heard the part of the song where the AI voice sings that his uncle's brother died in the Pentagon
November 5, 2025 at 10:16 PM
have you heard the part of the song where the AI voice sings that his uncle's brother died in the Pentagon
I'm so barred I'm hollering "who cooks for you?" in verdant forests
November 3, 2025 at 8:41 PM
I'm so barred I'm hollering "who cooks for you?" in verdant forests
But what if there's good motion that's not stupid, and I miss out on that motion cuz I enabled "Reduce Motion" cuz of all the websites with stupid motion? 😢
October 28, 2025 at 10:11 AM
But what if there's good motion that's not stupid, and I miss out on that motion cuz I enabled "Reduce Motion" cuz of all the websites with stupid motion? 😢
Cool! Not sure I like esolangs but I certainly like people who like esolangs. Maybe the talk will win me over.
October 27, 2025 at 11:39 PM
Cool! Not sure I like esolangs but I certainly like people who like esolangs. Maybe the talk will win me over.
Dynamicland is kinda like this
October 27, 2025 at 5:55 PM
Dynamicland is kinda like this
Ah, I'm talking about a different terrible thing - not changing the behavior of scroll itself, but making page elements fade in the first time they are scrolled to. Just as an illustration, see web-fragments.dev. (May not do this on mobile?)
October 26, 2025 at 11:48 PM
Ah, I'm talking about a different terrible thing - not changing the behavior of scroll itself, but making page elements fade in the first time they are scrolled to. Just as an illustration, see web-fragments.dev. (May not do this on mobile?)
"What about DAG-structured computation" is a great way to summarize part of the puzzle; much pithier than my rambles.
But "commutative monad" may already be an answer to that part – it makes all toposorts of the DAG equivalent.
What's missing is concrete representation of intermediate values.
But "commutative monad" may already be an answer to that part – it makes all toposorts of the DAG equivalent.
What's missing is concrete representation of intermediate values.
October 26, 2025 at 9:36 PM
"What about DAG-structured computation" is a great way to summarize part of the puzzle; much pithier than my rambles.
But "commutative monad" may already be an answer to that part – it makes all toposorts of the DAG equivalent.
What's missing is concrete representation of intermediate values.
But "commutative monad" may already be an answer to that part – it makes all toposorts of the DAG equivalent.
What's missing is concrete representation of intermediate values.
If We Burn? (haven't read it tho)
October 23, 2025 at 1:52 AM
If We Burn? (haven't read it tho)