Outer Web | Explore

Explore >> Select a destination

You are here		fredrikj.net Computing with metavalues
\|	\|	jiggerwit.wordpress.com An Argument for Controlled Natural Languages in Mathematics \| Jigger Wit	9.7 parsecs away Travel
\|	\|	What follows are the opening paragraphs of a pdf document giving an argument for controlled natural languages in mathematics. At the recent Big Proof 2 conference in Edinburgh, I realized that a case must be made for developing a controlled natural language for mathematics. There is little consensus on this issue, and mathematicians and computer...	9.7 parsecs away Travel
\|	\|	degoes.net A Glossary of Functional Programming - John A De Goes	7.7 parsecs away Travel
\|	\|	Functional programming has a bit of jargon, but that doesn't have to stop you from understanding core concepts	7.7 parsecs away Travel
\|	\|	pressron.wordpress.com What We Talk About When We Talk About Computation	10.5 parsecs away Travel
\|	\|	Abstract: Machine and language models of computation differ so greatly in the computational complexity properties of their representation that they form two distinct classes that cannot be directly compared in a meaningful way. While machine models are self-contained, the properties of the language models indicate that they require a computationally powerful collaborator, and are better...	10.5 parsecs away Travel
\|	\|	www.trickster.dev Understanding Abstract Syntax Trees - Trickster Dev	65.0 parsecs away Travel
\|		Code level discussion of web scraping, gray hat automation, growth hacking and bounty hunting	65.0 parsecs away Travel