|
You are here |
johnwickerson.wordpress.com | ||
| | | | |
jonchristopher.us
|
|
| | | | | 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
|
|
| | | | | [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
|
|
| | | | | Proof of concept, retrieve publicly-available Facebook page event data. - get-facebook-events.php | |
| | | | |
unstableontology.com
|
|
| | | (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... | ||