PETEG.ORG

peteg's webspace

An article I wrote about my time in Vietnam. My postgraduate thesis work. On reasoning about knowledge, circuits and Arrows. Old comp1b assignments (circa 2008). A game I wrote with the hope of getting a machine learning technique to do its thing. My fourth-year engineering thesis project involved an implementation. Notes on Shapiro's Model Inference System. I wrote for the machine learning. Subject at UNSW, 01s2. Some notes on Turing Machines. Is the language that Donald Knuth. From the vault, Toto.

http://www.peteg.org/

OVERVIEW OF peteg.org

TRAFFIC RANK

>1,000,000

REVIEWS

0

PAGES IN THIS WEBSITE

10

LINKS TO THIS WEBSITE

CONTACTS

ADDRESSES

SOCIAL LINKS

ONLINE SINCE

WEBSITE DETAILS

SEO

PAGES

SIMILAR SITES

TRAFFIC RANK FOR PETEG.ORG

TODAY'S RATING

>1,000,000

TRAFFIC RANK - AVERAGE PER MONTH

BEST MONTH

November

AVERAGE PER DAY Of THE WEEK

HIGHEST TRAFFIC ON

Thursday

TRAFFIC BY CITY

Sign up

CUSTOMER REVIEWS

Average Rating: 3.8 out of 5 with 16 reviews

5 star

5

4 star

6

3 star

3

2 star

0

1 star

2

Hey there! Start your review of peteg.org

AVERAGE USER RATING

Write a Review

WEBSITE PREVIEW

LOAD TIME

0.4 seconds

FAVICON PREVIEW

16x16

CONTACTS AT PETEG.ORG

Peter Gammie

6 Pan●●●●● Cres

Or●●ge , NSW, 2800

AU

61.2●●●●0933

pe●●●●●@gmail.com

View this contact

Peter Gammie

6 Pan●●●●● Cres

Or●●ge , NSW, 2800

AU

61.2●●●●0933

pe●●●●●@gmail.com

View this contact

Peter Gammie

6 Pan●●●●● Cres

Or●●ge , NSW, 2800

AU

61.2●●●●0933

pe●●●●●@gmail.com

View this contact

ADD CONTACT

Login

TO VIEW CONTACTS

Remove Contacts

FOR PRIVACY ISSUES

DOMAIN REGISTRATION INFORMATION

REGISTERED: n/a
UPDATED: 2013 August 13
EXPIRATION: EXPIRED REGISTER THIS DOMAIN

BUY YOUR DOMAIN

NAME SERVERS

1: ns1.he.net
2: ns2.he.net
3: ns3.he.net
4: ns4.he.net
5: ns5.he.net

REGISTRAR

TPP Wholesale Pty Ltd (R1378-LROR)

WHOIS : whois.publicinterestregistry.net

REFERRED :

CONTENT

PAGES IN
THIS WEBSITE

10

SSL

EXTERNAL LINKS

3

SITE IP

139.162.60.196

LOAD TIME

0.422 sec

SCORE

6.2

PAGE TITLE

peteg's webspace | peteg.org Reviews

<META> DESCRIPTION

An article I wrote about my time in Vietnam. My postgraduate thesis work. On reasoning about knowledge, circuits and Arrows. Old comp1b assignments (circa 2008). A game I wrote with the hope of getting a machine learning technique to do its thing. My fourth-year engineering thesis project involved an implementation. Notes on Shapiro's Model Inference System. I wrote for the machine learning. Subject at UNSW, 01s2. Some notes on Turing Machines. Is the language that Donald Knuth. From the vault, Toto.

<META> KEYWORDS

1 peteg's webspace

2 available here

3 the blog

4 cochinchina's nieces

5 some academic papers

6 flan and flange

7 beasts

8 of classic prolog

9 turingol

10 springs

CONTENT

Page content here

KEYWORDS ON PAGE

peteg's webspace,available here,the blog,cochinchina's nieces,some academic papers,flan and flange,beasts,of classic prolog,turingol,springs,peter gammie

SERVER

Apache/2.4.25 (Debian)

CONTENT-TYPE

utf-8

GOOGLE PREVIEW

peteg's webspace | peteg.org Reviews

https://peteg.org

An article I wrote about my time in Vietnam. My postgraduate thesis work. On reasoning about knowledge, circuits and Arrows. Old comp1b assignments (circa 2008). A game I wrote with the hope of getting a machine learning technique to do its thing. My fourth-year engineering thesis project involved an implementation. Notes on Shapiro's Model Inference System. I wrote for the machine learning. Subject at UNSW, 01s2. Some notes on Turing Machines. Is the language that Donald Knuth. From the vault, Toto.

INTERNAL PAGES

peteg.org

1

peteg's blog

http://www.peteg.org/blog

Johan Harstad: Buzz Aldrin, What Happened to You in All the Confusion? Tue, Aug 30, 2016. Kindle. A pointer from Lisa Hill. Norwegian, in translation, set on the Faroe Islands. This is the story of a man being acted upon, of wanting to be number two, of hoping to go unnoticed and hence unscathed, of being a well-functioning cog amongst other well-functioning cogs, meaning and ambition be damned. There is something of The Remains of the Day. Here, and Trainspotting. The Quantity Theory of Insanity. On fli...

2

Turingol

http://www.peteg.org/turingol/turingol.html

An excerpt of the document:. DE Knuth, Semantics of Context-Free Languages. Mathematical Systems Theory (1968), pp127-145. Particular to the language can be found here in LaTeX. Forms I've written a parser. In flex and bison (also tested under lex and yacc on Solaris and OSF1). It will interpret the program as well as output a set of tuples that can hopefully be massaged into the input format of some Turing machine simulator. A tarball. 64k) (including this file) is available. And the bison grammar.

3

Turing Machines

http://www.peteg.org/TuringMachines

Alan Turing's formalisation of computation forms the basis of many surprising results in theoretical computer science. Here I have collected some sample machines, some of the more interesting results, and simple developments of some of them. Please note there's a bit of cruft here - at least as of August 2000 - which I'd fix if I wasn't so sick of Java.). The applet used to execute the examples below. Is available with source code as a jarball. I have written a perl program. Binary addition (3 5). This p...

4

Toto :: Cinema Matters

http://www.peteg.org/toto

Coming to you from sydney, australia.

5

peteg's webspace - papers

http://www.peteg.org/papers

Peteg's webspace - papers. You can find BibTeX entries and so forth at DBLP. May also be of interest. Relaxing safely: verified on-the-fly garbage collection for x86-TSO. ACM PLDI (2015) (with Tony Hosking and Kai Engelhardt). Synchronous digital circuits as functional programs. ACM Computing Surveys (2013). SeL4: from General Purpose to a Proof of Information Flow Enforcement. Noninterference for Operating System Kernels. Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments.

UPGRADE TO PREMIUM TO VIEW 5 MORE

TOTAL PAGES IN THIS WEBSITE

10

LINKS TO THIS WEBSITE

isa-afp.org

Archive of Formal Proofs

https://www.isa-afp.org/index.shtml

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientific developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal, is indexed by dblp. And has an ISSN: 2150-914x. Submissions are refereed. The preferred citation style is available [here]. Of the archive is available as well. 2017-02-28: The Group Law for Elliptic Curves. 2017-02-13: Differential Dynamic Logic. 2017-02-07: Stone Relation Algebras. 2016-11-...

koweycode.blogspot.com

koweycode: some ideas for practical QuickCheck

http://koweycode.blogspot.com/2009/07/some-ideas-for-practical-quickcheck.html

Some ideas for practical QuickCheck. I think I've found some answers to my practical QuickCheck. Questions. This post may be fairly long as I'm trying to make it concrete and explicit enough to overcome the kind of inertia I had when I was still resisting testing. How do I make my tests easy to run? The key thing to know about test-framework is that it is very easy to get started. Just visit the friendly web page and copy the example. 2 Support cabal test. 3 Bake your unit tests in. I've been working on ...

UPGRADE TO PREMIUM TO VIEW 1 MORE

TOTAL LINKS TO THIS WEBSITE

3

OTHER SITES

petefusco.com

Peter Fusco | Musician/Web Developer

Peter is an accomplished musician and web developer from Toronto, Canada. He has recorded and toured with many of Canada’s finest artists. Peter recently received a Webmaster Certificate. Some of the areas of study included:. Current HTML5 and CC3 practices. Javascript, jQuery and AJAX. PHP and CMS’s (including WordPress). Some of the artists Peter has preformed and recorded with are:. He has also shared stages with:. Pete [at] petefusco [dot] com.

petefxssalonandspa.com

Petefxssalonandspa.com

The domain petefxssalonandspa.com has expired. If you registered this domain name as a direct customer of Melbourne IT, please click here. To renew your domain name. If you registered this domain name via a reseller of Melbourne IT, please contact the reseller to renew this domain.

petefy.com

petefy.com - Registered at Namecheap.com

This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! This domain is registered at Namecheap. This domain was recently registered at Namecheap. Please check back later! The Sponsored Listings displayed above are served automatically by a third party. Neither Parkingcrew nor the domain owner maintain any relationship with the advertisers.

petefyfe.com

Home

Last updated: 21st January 2015. It is with much sadness. That we have to advise. That Pete Fyfe passed. My passion for ‘folk’ music started officially on New Year’s Eve 1971 when, attending a party which was playing the likes of David Bowie and Benny Hill burst forth (a bit like that famous scene from the film ‘Alien’ only without the blood and gore) with the Folk-. Rock of The JSD Band bang on midnight! In the Gallery you will find a collection of pictures illustrating my career. Try my Links page.

peteg.ch

DJ Pete G - Infos, Playlists, Parties about Surfmusic, 60's, 70's, 80`s, Oldies, New Rock

DJ Pete G - Infos, Playlists, Parties about Surfmusic, 60's, 70's, 80`s, Oldies, New Rock. DJ Pete G (alias Pete Greub) legt schon seit über 15 Jahren regelmässig auf. Heute gehören zahlreiche Clubs und Diskotheken, wie z.B. das X-TRA in Zürich, zu seinen Referenzen. Mitte 2000 startete Pete G mit der monatlichen Summer Surf Party. Findet man alle infos über Surfmusik und Surfparties in der Schweiz. Vor 8 Jahren begann mit Back To The 80 s. Heute heisst die Party 80's forever.

peteg.org

peteg's webspace

An article I wrote about my time in Vietnam. My postgraduate thesis work. On reasoning about knowledge, circuits and Arrows. Old comp1b assignments (circa 2008). A game I wrote with the hope of getting a machine learning technique to do its thing. My fourth-year engineering thesis project involved an implementation. Notes on Shapiro's Model Inference System. I wrote for the machine learning. Subject at UNSW, 01s2. Some notes on Turing Machines. Is the language that Donald Knuth. From the vault, Toto.

peteg71.blogspot.com

Pete's Blog

Some points of interests on my interests! History, New York City, Baseball, Technology, Science Fiction and Fantasy among others. Wednesday, April 3, 2013. Cisco ASA in Transparent Mode. I was implementing a Cisco ASA 5515-X in transparent mode the other day and hit a problem when the the ASA was not passing traffic. However on the new Cisco ASA devices, the ip address x.x.x.x. Ip address 192.168.100.1 255.255.255.0. Show int bvi 10. Interface BVI10 is up, line protocol is up. MAC address N/A, MTU not set.

peteg9699.com

Welcome peteg9699.com - Hostmonster.com

Web Hosting - courtesy of www.hostmonster.com.

petegabardiphotography.com

Welcome to GbarDphotos.com

Welcome to the Web site. I invite you to enjoy a few of my favorite reflections of His great creation. Photography Websites by BetterPhoto.com.

petegabbard.com

Pete Gabbard El Camino's and Whiskey

May 17, 2011. Thank you for visiting. Please browse and feel free to contact me if you have any questions! Petes Bottles and El Caminos. My name is Pete Gabbard. I reside in Tacoma Washington. I collect mini bottles and am a huge fan of El Camino's. You can check out my collection of bottles and pictures. Enjoy!

petegable.com

Coaching Achievers to go Further Faster

POWERFUL COACHING FOR EXCEPTIONAL PEOPLE. I was quite sceptical at first, but Pete has a truly unique approach that allowed me to find something I really didn't think I had in me. I am eternally grateful for the dedication he put into helping me" A.S. Most breakthroughs come, not from big changes, but. From small mindset insights, inspirations and discoveries. My role is to help you discover yours. And let you do the rest. Most coaching and therapy have models, templates and programs.