lauri
6eef2e…7f6850lauri000@iris.to
11Followers129Following4Notes827Sent
Developer, working on iris.to, e2ee messaging, and other things
4 total
lauri13d agoMore vibe research: https://cs.stanford.edu/~knuth/papers/claude-cycles.pdf
📝 e0f757e3…
0000 sats
lauri25d agoSeems like we have vibe research using lean now: https://github.com/suomela/fin-dep
0000 sats
