rntz
@rntz.net
Michael Arntzenius irl. Postdoc at UC Berkeley doing PL + DB + incremental computation. PL design, math, calligraphy, idle musings, &c.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
rntz.net
🐘 @rntz@recurse.social
🐦 @arntzenius
Attempting to use bsky more now that people are showing up.
My miniKanren 2025 paper, "Fair intersection of seekable iterators", about an efficient, compositional way to implement relational joins on sorted data structures, and how it (sorta) requires "fairness", is now on arXiv: arxiv.org/abs/2510.26016
talk slides: www.rntz.net/files/minika...
talk slides: www.rntz.net/files/minika...
October 31, 2025 at 6:58 PM
My miniKanren 2025 paper, "Fair intersection of seekable iterators", about an efficient, compositional way to implement relational joins on sorted data structures, and how it (sorta) requires "fairness", is now on arXiv: arxiv.org/abs/2510.26016
talk slides: www.rntz.net/files/minika...
talk slides: www.rntz.net/files/minika...
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"?
anyone have a good mnemonic for "pushout = quotiented/glued sum; pullback = subset of product"? I have trouble remembering pushout ~ sum ~ colimit and pullback ~ product ~ limit. (Bonus points if it helps me remember pushouts glue and pullbacks subset.)
October 27, 2025 at 10:49 PM
anyone have a good mnemonic for "pushout = quotiented/glued sum; pullback = subset of product"? I have trouble remembering pushout ~ sum ~ colimit and pullback ~ product ~ limit. (Bonus points if it helps me remember pushouts glue and pullbacks subset.)
do we give talks to communicate ideas?
we publish in conferences: places where talks happen.
but w/ so many papers, conf talks are short & can't explain–only advertize.
so workshop talks are miles better.
how perverse! our strongest, peer-reviewed results–the worst explained!
we publish in conferences: places where talks happen.
but w/ so many papers, conf talks are short & can't explain–only advertize.
so workshop talks are miles better.
how perverse! our strongest, peer-reviewed results–the worst explained!
October 16, 2025 at 9:37 AM
do we give talks to communicate ideas?
we publish in conferences: places where talks happen.
but w/ so many papers, conf talks are short & can't explain–only advertize.
so workshop talks are miles better.
how perverse! our strongest, peer-reviewed results–the worst explained!
we publish in conferences: places where talks happen.
but w/ so many papers, conf talks are short & can't explain–only advertize.
so workshop talks are miles better.
how perverse! our strongest, peer-reviewed results–the worst explained!
I've joked re all SIGPLAN confs being ~the same before. But now I'm at icfpoopsla, picking which talks to see, I'm ~50/50 on ICFP talks vs workshop talks; but almost entirely preferring workshops to OOPSLA talks. Convergence? Not yet!
October 15, 2025 at 5:12 AM
I've joked re all SIGPLAN confs being ~the same before. But now I'm at icfpoopsla, picking which talks to see, I'm ~50/50 on ICFP talks vs workshop talks; but almost entirely preferring workshops to OOPSLA talks. Convergence? Not yet!
Slides for my HOPE 2025 presentation, "Finite Functional Programming via Graded Effects & Relevance Types": www.rntz.net/files/hope-2...
October 13, 2025 at 1:35 AM
Slides for my HOPE 2025 presentation, "Finite Functional Programming via Graded Effects & Relevance Types": www.rntz.net/files/hope-2...
why is writing (anything) so much like squeezing water from a stone?
approximately the most important thing in my profession. I have done it repeatedly. I wrote a whole thesis. it is no easier now than ever. perhaps harder. ughhhh
approximately the most important thing in my profession. I have done it repeatedly. I wrote a whole thesis. it is no easier now than ever. perhaps harder. ughhhh
October 11, 2025 at 1:35 AM
why is writing (anything) so much like squeezing water from a stone?
approximately the most important thing in my profession. I have done it repeatedly. I wrote a whole thesis. it is no easier now than ever. perhaps harder. ughhhh
approximately the most important thing in my profession. I have done it repeatedly. I wrote a whole thesis. it is no easier now than ever. perhaps harder. ughhhh
Reposted by rntz
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...
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...
October 6, 2025 at 4:04 AM
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...
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...
Analytically, we differentiate via limits/epsilon-delta. Synthetically, we use infinitesimals - artificial infinitely small quantities.
Analytically, we handle dirac deltas with distribution theory. What's the synthetic account? Is it artificial infinitely big quantities?
Analytically, we handle dirac deltas with distribution theory. What's the synthetic account? Is it artificial infinitely big quantities?
October 1, 2025 at 2:06 AM
Analytically, we differentiate via limits/epsilon-delta. Synthetically, we use infinitesimals - artificial infinitely small quantities.
Analytically, we handle dirac deltas with distribution theory. What's the synthetic account? Is it artificial infinitely big quantities?
Analytically, we handle dirac deltas with distribution theory. What's the synthetic account? Is it artificial infinitely big quantities?
productivity of co(inductive)-programs
fairness of concurrent scheduling
completeness of search strategies
these three seem deeply related to me, but I can't yet precisely articulate how. Is there existing work on connections between them?
fairness of concurrent scheduling
completeness of search strategies
these three seem deeply related to me, but I can't yet precisely articulate how. Is there existing work on connections between them?
September 27, 2025 at 6:37 AM
productivity of co(inductive)-programs
fairness of concurrent scheduling
completeness of search strategies
these three seem deeply related to me, but I can't yet precisely articulate how. Is there existing work on connections between them?
fairness of concurrent scheduling
completeness of search strategies
these three seem deeply related to me, but I can't yet precisely articulate how. Is there existing work on connections between them?
where did the term "fairness" in concurrent programming originate? is there a canonical definition? a canonical citation?
I've found references in Owicki & Lamport 1982 & Andrews & Schneider 1983, but neither originated the term or concept.
I've found references in Owicki & Lamport 1982 & Andrews & Schneider 1983, but neither originated the term or concept.
September 25, 2025 at 9:28 PM
where did the term "fairness" in concurrent programming originate? is there a canonical definition? a canonical citation?
I've found references in Owicki & Lamport 1982 & Andrews & Schneider 1983, but neither originated the term or concept.
I've found references in Owicki & Lamport 1982 & Andrews & Schneider 1983, but neither originated the term or concept.
imagine an inverse h-index (a ɥ-index?): not how widely an author is cited, but how widely an author cites. do they cite from other subfields? other fields? other centuries? other languages? etc.
who do you know who'd have a high ɥ-index?
who do you know who'd have a high ɥ-index?
September 25, 2025 at 3:12 AM
imagine an inverse h-index (a ɥ-index?): not how widely an author is cited, but how widely an author cites. do they cite from other subfields? other fields? other centuries? other languages? etc.
who do you know who'd have a high ɥ-index?
who do you know who'd have a high ɥ-index?
I've materialized the transitive closure of Slashdot Zoo social net circa 2008. Took 2m25s on a 128-core 500GB machine. Peaked at over 200GB mem usage and 6400% cpu util. The parts I haven't yet parallelized (LSM merging, concatenating partitions) took ~half the runtime. Amdahl's law strikes again!
September 19, 2025 at 2:25 AM
I've materialized the transitive closure of Slashdot Zoo social net circa 2008. Took 2m25s on a 128-core 500GB machine. Peaked at over 200GB mem usage and 6400% cpu util. The parts I haven't yet parallelized (LSM merging, concatenating partitions) took ~half the runtime. Amdahl's law strikes again!
two wolf inside me
one howl: SATURATE AVAILABLE PARALLISM! NEVER LEAVE A CORE IDLE!
other one growl: AVOID UNNECESSARY WORK. MINIMIZE COMMUNICATION OVERHEAD.
one howl: SATURATE AVAILABLE PARALLISM! NEVER LEAVE A CORE IDLE!
other one growl: AVOID UNNECESSARY WORK. MINIMIZE COMMUNICATION OVERHEAD.
September 19, 2025 at 12:46 AM
two wolf inside me
one howl: SATURATE AVAILABLE PARALLISM! NEVER LEAVE A CORE IDLE!
other one growl: AVOID UNNECESSARY WORK. MINIMIZE COMMUNICATION OVERHEAD.
one howl: SATURATE AVAILABLE PARALLISM! NEVER LEAVE A CORE IDLE!
other one growl: AVOID UNNECESSARY WORK. MINIMIZE COMMUNICATION OVERHEAD.
I got irritated at how tightly spaced EB Garamond 08 (the version intended for use at smaller sizes) is, so I tried my hand at re-spacing the 26 lower-case letters manually in FontForge. Here's the result (original spacing first, then my adjustments).
github.com/georgd/EB-Ga...
github.com/georgd/EB-Ga...
September 15, 2025 at 10:29 PM
I got irritated at how tightly spaced EB Garamond 08 (the version intended for use at smaller sizes) is, so I tried my hand at re-spacing the 26 lower-case letters manually in FontForge. Here's the result (original spacing first, then my adjustments).
github.com/georgd/EB-Ga...
github.com/georgd/EB-Ga...
