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 :)
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!
@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.