rntz
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @[email protected]
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
rntz.net
🐘 @[email protected]
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
Reposted by rntz
This is part 4 of subpart 9 of our 15-part (I, II, III, IV, V, VI, VII, VIIIa, VIIIb, VIIIc-1, VIIIc-2, IX, IX with clusters, IX with honey nut clusters, X, XI, XII: Tokyo Drift, XIII, XIV, XV) series that lists all the other articles on this blog. If you donate I will buy the Pentagon.
December 1, 2025 at 10:04 PM
This is part 4 of subpart 9 of our 15-part (I, II, III, IV, V, VI, VII, VIIIa, VIIIb, VIIIc-1, VIIIc-2, IX, IX with clusters, IX with honey nut clusters, X, XI, XII: Tokyo Drift, XIII, XIV, XV) series that lists all the other articles on this blog. If you donate I will buy the Pentagon.
Reposted by rntz
The product manager posting implies they have something called a "Brick Foundation model"?
October 28, 2025 at 7:23 PM
The product manager posting implies they have something called a "Brick Foundation model"?
references on Arrows (I don't know them well myself)
API docs hackage.haskell.org/package/base...
original paper www.cse.chalmers.se/~rjmh/Papers...
websites that look like they're written by someone who knows what they're talking about www.haskell.org/arrows/ en.wikibooks.org/wiki/Haskell...
API docs hackage.haskell.org/package/base...
original paper www.cse.chalmers.se/~rjmh/Papers...
websites that look like they're written by someone who knows what they're talking about www.haskell.org/arrows/ en.wikibooks.org/wiki/Haskell...
Control.Arrow
hackage.haskell.org
October 26, 2025 at 8:54 PM
references on Arrows (I don't know them well myself)
API docs hackage.haskell.org/package/base...
original paper www.cse.chalmers.se/~rjmh/Papers...
websites that look like they're written by someone who knows what they're talking about www.haskell.org/arrows/ en.wikibooks.org/wiki/Haskell...
API docs hackage.haskell.org/package/base...
original paper www.cse.chalmers.se/~rjmh/Papers...
websites that look like they're written by someone who knows what they're talking about www.haskell.org/arrows/ en.wikibooks.org/wiki/Haskell...
I posted this question over on fediverse: recurse.social/@rntz/115442..., although I'm not sure I summarized it the way you would've :)
so far someone has suggested that Haskell's "Arrows" might be what you're looking for? recurse.social/@typeswitch@...
so far someone has suggested that Haskell's "Arrows" might be what you're looking for? recurse.social/@typeswitch@...
rntz (@[email protected])
Monads model affects in arbitrary computation. Applicatives model effects in computation with a static tree-shaped dependency structure.
What about DAG-structured computation, eg. spreadsheets? In pa...
recurse.social
October 26, 2025 at 8:54 PM
I posted this question over on fediverse: recurse.social/@rntz/115442..., although I'm not sure I summarized it the way you would've :)
so far someone has suggested that Haskell's "Arrows" might be what you're looking for? recurse.social/@typeswitch@...
so far someone has suggested that Haskell's "Arrows" might be what you're looking for? recurse.social/@typeswitch@...
without the nil value I can't define what finite support is. or am I misunderstanding the question?
(the slides are probably not self-explanatory without the talk, but I thought I'd throw them up anyway...)
(the slides are probably not self-explanatory without the talk, but I thought I'd throw them up anyway...)
October 13, 2025 at 6:05 AM
without the nil value I can't define what finite support is. or am I misunderstanding the question?
(the slides are probably not self-explanatory without the talk, but I thought I'd throw them up anyway...)
(the slides are probably not self-explanatory without the talk, but I thought I'd throw them up anyway...)
Slides for my HOPE 2025 presentation, "Finite Functional Programming via Graded Effects & Relevance Types": www.rntz.net/files/hope-2...
October 13, 2025 at 3:24 AM