-
Recent Posts
Recent Comments
Archives
- February 2019
- December 2018
- October 2018
- September 2018
- August 2018
- July 2018
- December 2017
- November 2017
- October 2017
- December 2015
- April 2014
- January 2014
- December 2013
- November 2013
- October 2013
- February 2013
- January 2013
- November 2012
- August 2012
- June 2012
- April 2012
- February 2012
- September 2011
- August 2011
- July 2011
- March 2011
- July 2008
- May 2008
- February 2008
- January 2008
- December 2007
- November 2007
- October 2007
- September 2007
- August 2007
Categories
- Blog Development
- Blog development
- blogs
- Civil Society and Democracy
- Computers and Internet
- ecostructure
- Geekiness
- Git
- Golden Geek
- Health and wellness
- Hexo
- In My World
- Miser Project
- Movable Type
- Music
- nfoWare
- nfoWorks
- Numbering Peano
- OLPC
- Open Documents
- Orcmid's Lair
- Photography
- Privacy and Security
- Professor von Clueless
- Security Vulnerabilities
- Social Networking
- Spanner Wingnut
- Toolcraft
- trust
- Uncategorized
- Windows Live
- Windows Live Writer
- WordPress
Meta
Tag Archives: theory
Miser Project: Representing Functions in ‹ob›’s Abstract World
2019-11-06 Update: This blog is obsolete and no longer being maintained here. These Miser Project Posts are now maintained and continued at Orcmid’s Lair, the reboot. The authoritative version of this page is now at https://orcmid.blogspot.com/2018/12/miser-project-representing-functions-in.html 2019-01-02 Update: Corrects ob.p01.bp … Continue reading
Miser Project: Representing Data as Obs
2019-11-06 Update: This blog is obsolete and no longer being maintained here. These Miser Project Posts are now maintained and continued at Orcmid’s Lair, the reboot. The authoritative version of this page is now at https://orcmid.blogspot.com/2018/11/miser-project-representing-data-as-obs.html 2018-10-18 Update: Strengthening the … Continue reading
Posted in Miser Project
Tagged canonical form, CFob, computational interpretation, data, GitHub, lindies, notations, theory
3 Comments
Miser Project: Narrowing ‹ob› for Computational Interpretation
2019-11-06 Update: This blog is obsolete and no longer being maintained here. These Miser Project Posts are now maintained and continued at Orcmid’s Lair, the reboot. The authoritative version of this page is now at https://orcmid.blogspot.com/2018/09/miser-project-narrowing-ob-for.html2019-01-19/21 Update: Be more careful … Continue reading
Posted in Miser Project
Tagged "computational interpretation". GitHub, denumerability, effectiveness, formulas, notations, theory
Leave a comment
Miser Project: ‹ob› Primitive Functions
2019-11-06 Update: This blog is obsolete and no longer being maintained here. These Miser Project Posts are now maintained and continued at Orcmid’s Lair, the reboot. The authoritative version of this page is now at https://orcmid.blogspot.com/2018/08/miser-project-ob-primitive-functions.html Preliminaries Hark! Is That … Continue reading
Posted in Miser Project, Uncategorized
Tagged "primitive notiions", formulas, GitHub, notation, theory
Leave a comment
Miser Project: Hark! Is That a Theory I See Before Me?
2019-11-06 Update: This blog is obsolete and no longer being maintained here. These Miser Project Posts are now maintained and continued at Orcmid’s Lair, the reboot. The authoritative version of this page is now at https://orcmid.blogspot.com/2018/07/miser-project-hark-is-that-theory-i-see.html2019-01-18 Update: Introduce the latest … Continue reading
Posted in Blog Development, Golden Geek, Hexo, Miser Project, Numbering Peano, Spanner Wingnut, Toolcraft
Tagged formulas, HTML5, notations, text, theory
Leave a comment