Explore >> Select a destination


You are here

brandonrozek.com
| | emanueleviola.wordpress.com
9.5 parsecs away

Travel
| | I am writing a section on expanders for my book, and to avoid doing that I figured I should try to code up some expanders in tikz. Here's the famous 3-regular expander based on Selberg's theorem, connecting x to x+1,x-1,1/x mod p (and 0 to itself), on 127 nodes: [Edit: Added new picture on 12/22]:...
| | taeer.bar-yam.me
5.4 parsecs away

Travel
| | [AI summary] The author describes a custom solution for embedding TikZ diagrams in Hakyll-based blogs by creating a filter that converts TikZ code into SVG images using LaTeX and command-line tools.
| | www.logicmatters.net
4.7 parsecs away

Travel
| | The task is to set proof-trees in the style of the tree alongside, i.e. tableaux of the sort that appear in e.g. Richard Jeffrey's classic Formal Logic or the first edition of my own Introduction to Formal Logic. A very flexible package, allowing you also to add line numbers (if you want) and line-by-line justifications [...]
| | uncommongenders.home.blog
19.9 parsecs away

Travel
| There is lettragender! -Admin Opal