Explore >> Select a destination


You are here

johnwickerson.wordpress.com
| | jonchristopher.us
4.4 parsecs away

Travel
| | Customizing and segmenting Custom Taxonomy archive pages can be a bit difficult until you determine what exactly is going on under the hood and implementing from there. Custom Taxonomies in WordPress are a very powerful feature, let's figure out how to make some nice looking archive pages for them.
| | math.andrej.com
6.2 parsecs away

Travel
| | [AI summary] A technical discussion distinguishing between proof by contradiction and proof of negation within the context of classical and intuitionistic logic.
| | gist.github.com
2.8 parsecs away

Travel
| | Proof of concept, retrieve publicly-available Facebook page event data. - get-facebook-events.php
| | unstableontology.com
29.2 parsecs away

Travel
| (note: one may find the embedded LaTeX more readable on LessWrong) The Löwenheim-Skolem theorem implies, among other things, that any first-order theory whose symbols are countable, and which has an infinite model, has a countably infinite model. This means that, in attempting to refer to uncountably infinite structures (such as in set theory), one "may...