River Dillon

Interested in compilers, logic, and computer music, among other things. Applied research team @AntithesisHQ

[River Dillon @river__dillon]

Please register here if you'd like to come:

https://t.co/93CIPdFB0q

[River Dillon @river__dillon]

The next London Systems group meeting will be July 2nd! Laurence Tratt (@laurencetratt) will talk about automatically deriving JIT compilers from interpreters, and David de Rosier will talk about custom instructions in RISC-V. Come hang out and learn :)

[River Dillon @river__dillon]

Some photos from our first London Systems meeting. Thanks to Paul Ryan and Xavier Cochran (@xav_db) for the talks, and to Hedosophia for hosting us.

[River Dillon @river__dillon]

@_julesh_ Likewise!

[River Dillon @river__dillon]

Register here:

https://t.co/YMPtuMVBjR

[River Dillon @river__dillon]

Some friends and I are starting up a series of systems programming talks in London. First event will be April 16th:

- Javier Coto on the implementation of a low overhead CPU profiler

- Paul Ryan on the architecture of Antithesis' reactive notebook ("if Jupyter was like Excel")

There will be food, etc. Come hang out!

[River Dillon @river__dillon]

Me reading the HoTT book

[Gitana @Gitana1369877]

"Everything is a path. The mountain is a path, the cloud is a path, the silence is a path."
— Haruki Murakami

[River Dillon @river__dillon]

@matthen2 Very @waitbutwhy energy

[River Dillon @river__dillon]

@JDHamkins @KenOno691 Writing is nature's way of letting you know how sloppy your thinking is. Mathematics is nature's way of letting you know how sloppy your writing is. Formal mathematics is nature's way of letting you know how sloppy your mathematics is.

[River Dillon @river__dillon]

@owickstrom @capy_gg What's the refresh rate like? I can't find it on their site.

[River Dillon @river__dillon]

Very much enjoyed ⁦@satnam6502⁩ speaking about formally verified hardware using Aristotle at Cambridge today

[River Dillon @river__dillon]

@zetalyrae Should be the other way around, no? By hand you see the internals, with an LLM you don't.

[River Dillon @river__dillon]

@valigo @brain_nullptr Linux is arguably just as good if you only consider the syscall interface. "WE DO NOT BREAK USERSPACE!" etc.

[River Dillon @river__dillon]

@satnam6502 @HarmonicMath Do I need to do anything to register to attend, or just show up?

[Misaki Ohta(太田 三砂貴) @misaki_ohta_]

@gro_tsen I have conducted some related work to yours. Please review those if you are still interested in pursuing it.

[River Dillon @river__dillon]

@alpha_convert Don't sell yourself short! What you know is deep and general: it also applies to x86-64 AMD machines running Linux.

[River Dillon @river__dillon]

@zetalyrae Do it

[River Dillon @river__dillon]

@matthen2 With all due respect, if people are speaking to an LLM without being made aware of it, that seems quite deceptive.

[River Dillon @river__dillon]

@jonathoda It was good knowing you

[River Dillon @river__dillon]

@sigfig It’s easier to find people with shared interests, and the diversity of people’s interests has expanded