Jonathan Lorimer

Software engineer. Haskell, rust, nix and type systems.

[Jonathan Lorimer @JonathanLorime1]

@buchmanster Did not realize kindelberger wrote the forward. Slightly ironic

[Jonathan Lorimer @JonathanLorime1]

@colludingnode I’m the eng manager of the accounting integrations team @mercury and have read this. Can’t make any claims about how much I understood though…

[Jonathan Lorimer @JonathanLorime1]

@goobermanlab @drumm_colin @MimbresSchool I need a mathematician… to double check all the bullshit I spew

[Jonathan Lorimer @JonathanLorime1]

@buchmanster @drumm_colin It’d be cool if there was some meta theory about how the layers related

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin @buchmanster I also could be wrong here. Maybe the payments network is so dynamic, the only thing that can represent it is a graph. But maybe there are views on that graph that admit more structure (I.e if you only look at the edges / vertices that are immediately proximate to a single node)

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin @buchmanster Now I am getting out of my depth, but that sounds like a very interesting feature of this structure

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin @buchmanster A simple examples of graphs with more structure are directed / acyclic graphs (doesn’t work in this case since cycles are a massive feature of a payments graph). More interesting graphs are lattices which are intimately related to orderings (useful here).

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin @buchmanster This is tough cause in theory credit can be infinite, but it never is in practice

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin @buchmanster Yeah. Additionally it doesn’t tell you about the kinds of bridge configurations that are possible, or how bridges related to one another structurally since a graph has no restrictions.

[Jonathan Lorimer @JonathanLorime1]

@buchmanster @drumm_colin Want to be clear this is a humble intuition. I know you have all thought long and hard about this in theory and application.

[Jonathan Lorimer @JonathanLorime1]

@buchmanster @drumm_colin A non-social property of a node that changes the math would be account balance, or credit available

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin The more structure and constraints you add the more you reveal about the nature of what you are studying. It’s made me wonder if there as a mathematical object that can elegantly represent balance sheets, wouldn’t it be beautiful to have an algebra of balance sheets

[Jonathan Lorimer @JonathanLorime1]

@drumm_colin I’ve mentioned this to Ethan before, but I still wonder if a graph is the right data structure. It is the most permissive, and the most impoverished, Seems to be more structure here (I.e. there are constraints on the weights of the edges based on properties of the nodes)

[Jonathan Lorimer @JonathanLorime1]

I’ve been very inspired by all the lord of the the rings themed startups recently (palantir, anduril). So I am excited to announce my new AGI startup: Isildur!

[The Mimbres School for the Humanities @MimbresSchool]

Mimbres School 2025 Courses:

SPRING:
Slavery and Unfreedom
When is Capitalism?
Philosophy: Friend or Foe?

SUMMER:
Domestication Syndrome
Anti-Kant

FALL:
Political Arithmetic
Prehistory of Islam
Childhood

Tuition $250. Registration open soon.

See thread for descriptions

[Ethan Buchman (🐝,🦇) @buchmanster]

Introducing the Cycles whitepaper!

It's the culmination of years of thinking about 2 things:

1. fundamental liquidity problems in money, finance, and payments
2. the killer use case of blockchains

If you haven’t heard me say it, *money is the killer app*. We just haven’t figured out money yet. 🧵

[Jonathan Lorimer @JonathanLorime1]

@buchmanster History… mostly irrelevant

[Jonathan Lorimer @JonathanLorime1]

@buchmanster I wasn’t being facetious lol, was genuinely curious. Would be cool if you were getting lots of PRs. Just seems to me that PL projects should optimize for experts in the field, not the lingua franca of web dev. Heliax made some great decisions with juvix imo

[Jonathan Lorimer @JonathanLorime1]

@buchmanster Do you get a lot of external contributors?