Lightnews — Scholar-powered news

Josh Horowitz

@joshuahhh.com

1.1K followers 130 following 230 posts

joshuahhh.com t-shirt size: medium

Posts Media Videos Starter Packs

Josh Horowitz @joshuahhh.com · 11h

👍

Josh Horowitz @joshuahhh.com · 12h

yeah but isn't it kinda silly to type out "on the top-left and bottom-left" when you could just drag a directly-manipulable whisker out of the node? (which could also graphically show where the node was looking?)

Josh Horowitz @joshuahhh.com · 2d

FYI, I'm not sure I like the term "effect" here. Once a monad is commutative, it doesn't feel much like it's about effects. E.g. nondeterminism doesn't feel like an effect to me.

I'm thinking more about, like, "fancy values" that you can lift ordinary operations onto.

But that's a minor thought.

Josh Horowitz @joshuahhh.com · 2d

Kinda, yeah! If you understand what spreads are and why they're cool – they "value-ify" the List monad – you might wonder whether they can be derived in a systematic way from the List monad. Then other monads might be similarly value-ifiable.

(Admittedly I'm not sure I have other candidates.)

Josh Horowitz @joshuahhh.com · 2d

Not sure whether you looked at the typst doc, but I don't think any of this is related

Josh Horowitz @joshuahhh.com · 2d

That combines "monads" and "spreadsheets" in a different way, using monads/applicatives/etc. to model how cells access other cells. I'm instead interested in using monads/applicatives/etc. to make spreadsheets with fancy values in cells, like the spreads in Apparatus.

Josh Horowitz @joshuahhh.com · 2d

Apparatus does this by replacing lists with "spreads", which remember where they come from. A network of computations typically performed as nested joins with the List monad become a network of un-nested computations with the Spread applicative. Spreads sort of simulate lists, but "valueified".

Josh Horowitz @joshuahhh.com · 2d

Apparatus lets you put multiple values in a cell; downstream cells propagate this like the List monad (see joshuahhh.notion.site/spreads-in-a...). But unlike a "do" block, Apparatus makes intermediate expressions independent top-level values! (Which is what you need for spreadsheet-style data-flow.)

Josh Horowitz @joshuahhh.com · 2d

Does anyone here know a lot about monads & applicatives & such?

I'm curious about how to make spreadsheet-style data-flows "monadic".

If that sounds interesting please look at my scattered notes at typst.app/project/rnf1... and lmk what's going on.

Quick motivation in thread...

Josh Horowitz @joshuahhh.com · 4d

Less than 24 hours till the LIVE 2025 Q & A / Discussion session!

Watch the presentations: www.youtube.com/playlist?lis...

Join us to chat about them: links at liveprog.org

Hope to see ya there!

Josh Horowitz @joshuahhh.com · 12d

I don't yet have anything insightful to say about distorted tourist maps of cities but I'm very excited by them.

tourist map of San Francisco; the area west of Divisadero St is horizontally contracted by a factor of roughly 4, so it takes up 1/3 of the width of SF rather than 2/3. it looks gnarly and cool.

tourist map of Seattle; focus is on downtown region which is depicted roughly accurately, but things get wacky north of that, with vertical and horizontal contractions made to get Volunteer Park and UW into the frame. it looks wacky and intriguing.

Josh Horowitz @joshuahhh.com · 13d

Aside from sexism, I think it's also a rhetorical defense of conservatism. "I use data" = "I'm realistic" = "change isn't realistic".

Josh Horowitz @joshuahhh.com · 17d

Wow. Where is this from?

Josh Horowitz @joshuahhh.com · 18d

12 exciting live-programming projects will be presented at LIVE this year. It's free, online, and coming up soon!

Sat 9/27: Videos premiere
Sat 10/4: Q & A and discussion over Zoom

Details on projects are up already at liveprog.org; more schedule & links coming soon.

Hope to see ya there!

Josh Horowitz @joshuahhh.com · 19d

Has Bob heard of "cities"

Josh Horowitz @joshuahhh.com · 25d

Happy birthday Ruth! ❤️

Josh Horowitz @joshuahhh.com · 28d

Household children are children under age 18 residing in the household of the ATUS respondent. The children may be related to the respondent (such as their own children, grandchildren, nieces or nephews...) or not related (such as foster children or children of roommates or boarders).

Josh Horowitz @joshuahhh.com · 29d

heads up: I got @nmbot.bsky.social running again and it's as good as ever.

Reposted by Josh Horowitz

nathan @wiseposter.bsky.social · Aug 19

me telling you about a new bagel place but it becomes clear ive been eating specific block-stencil-branded life preservers at the dock

Josh Horowitz @joshuahhh.com · Aug 19

today in surprisingly poetic nerd jargon:

"mip" in "mipmap" comes from "multum in parvo", meaning "many things in a small place".

(en.wikipedia.org/wiki/Mipmap)

Josh Horowitz @joshuahhh.com · Aug 19

I think this is an overly charitable diagnosis of a world-historically mendacious sociopath.

Josh Horowitz @joshuahhh.com · Aug 17

rotate line of pixels 2° every frame

nearest-neighbor interpolation

(w/ @obtusatum.bsky.social)

Josh Horowitz @joshuahhh.com · Aug 11

@pte.bsky.social & my favorite showcase of this: www.youtube.com/watch?v=lKMP...

Dr. Strangelove - George C. Scott trips and falls

YouTube video by matthijsproductions

www.youtube.com

Josh Horowitz @joshuahhh.com · Aug 10

oh dang

Josh Horowitz @joshuahhh.com · Aug 9

megaupload me some corvids plz