Explore >> Select a destination
|
You are here 
|
www.magnusson.io | ||
| | | | |
www.ralfj.de
|
|
| | | | | The first paper by a PhD student I supervise has been accepted into POPL: "Program Logics à la Carte" will be presented in Denver next week. The paper proposes a framework of reusable build... | |
| | | | |
boat.karlnelson.net
|
|
| | | | | The folks over at Lost Art Press have apparently been offering a reprint of the 1914 Stanley Tools ("Stanley Rule & Level Company") catalog. They've recently sold through their stock of the paper copies, and decided to not reprint it. Instead, they're offering a free PDF download of the catalog. Back in October I fixed up an old wooden "transitional" plane and figured out that it was a Stanley No. 29, made from 1869 to 1917. | |
| | | | |
heltweg.org
|
|
| | | | | Synopsis of some ideas from the paper 'How to Revise a Total Preorder' by Booth and Meyer | |
| | | | |
mostlymaths.net
|
|
| | | Here are some details of the tools used to build and keep this blog. The engine is the static site generator Hugo Hosted on Github Pages The main header is a Julia set I computed many years ago The font is Reforma 1969 The code font is Monoid The drop caps are from the Byrne font by Nicholas Rougeaux The break decoration font is Nymphette Uses MathJax in some pages Uses D3. | ||
