Archive of Formal Proofs

Grok Headline matches for Archive of Formal Proofs

The End of Mathematical Proofs by
Humans?

The End of Mathematical Proofs by
Humans? 04/06/2005 05:22 AM
Slashdot Apr 6 2005 9:19AM GMT

reusable proofs of work

reusable proofs of work 08/17/2004 12:21 AM
Hal Finney found an interesting use for attestation: reusable proofs of work. "Allowing clients to dynamically validate the security of a server turns the concept of Trusted Computing on its head. Rather than a threat to individual privacy, the technology becomes a boon to privacy and an empowering force for end users on the net." Don't get your hopes up that server attestation will be used for anything more than demos, though.

The End of Mathematical Proofs by
Humans?

The End of Mathematical Proofs by
Humans? 04/06/2005 05:06 AM

RPOW - Reusable Proofs of Work

RPOW - Reusable Proofs of Work 08/18/2004 10:20 AM

Internet Archive: Audio Archive: Search
Results for naropa

Internet Archive: Audio Archive: Search
Results for naropa 06/23/2004 06:18 AM
The Naropa University Beat Generation audio archives .. The Internet Archive just got beat

archive.org/audio/audio-searchresults.php?searchAll=yes&collect ion=&submit=main&search=naropa&limit=100&start=0
track this site | 6 links

Stargate Information Archive - Federal
Charges Filed Against SG-1 Archive

Stargate Information Archive - Federal
Charges Filed Against SG-1 Archive 07/27/2004 04:30 AM
A Stargate SG-1 fan has had his computers destroyed and his life thrown into turmoil because he ran a fansite .. Another Terrorist Thwarted by FedGov .. brave new world of copyright law .. A threat to national security!

sg1archive.com/nightmare.shtml
track this site | 5 links

Internet Archive allowed to archive
vintage software

Internet Archive allowed to archive
vintage software 12/09/2003 09:47 PM
Sydney Morning Herald Dec 9 2003 8:35PM ET

Internet Archive - Text Archive

Internet Archive - Text Archive 12/31/2004 06:47 AM
Internet Archive - Text Archive
http://www.archive.org/texts/

This collection is free and open for everyone to use. Their goal in digitizing these texts and putting them online is to provide easy access to a rich and fascinating core collection of archival texts. By providing near-unrestricted access to these texts, they hope to encourage widespread use of texts in new contexts by people who might not have used them before. Currently included: 1) Canadian Libraries, 2) Million Book Project, 3) Children's Library, 4) Project Gutenberg, 5) Arpanet, 6) Dance Manuals, 7) Internet Bookmobile, and 8) Open Source Books. This will be added to Academic Resources 2005 Internet MiniGuide.

Can formal methods help?

Can formal methods help? 09/14/2002 11:12 PM
CNET Sep 14 2002 10:03PM ET

Wampum: My formal announcement

Wampum: My formal announcement 02/15/2004 07:34 PM
MB has formally announced her candidacy for the Maine legislature .. candidate .. running

wampum.wabanaki.net/archives/000782.html
track this site | 4 links

Is Formal Work Wear Back?

Is Formal Work Wear Back? 09/03/2004 02:48 PM
Sometimes buying a suit is bad news, no matter how sharp you look in it.

Formal probe for Vivendi ex-boss

Formal probe for Vivendi ex-boss 06/23/2004 05:55 AM
The French media giant's ex-chief comes under formal investigation after being arrested over alleged illegal share dealings.

Gates held 'no formal SAP talks'

Gates held 'no formal SAP talks' 06/15/2004 07:02 AM
Microsoft's merger approach to German software firm SAP produced no serious negotiations, a senior SAP executive says.

Formal Announcement Is Scheduled for
This Morning

Formal Announcement Is Scheduled for
This Morning 07/06/2004 08:27 AM
John Edwards of North Carolina will be John Kerry's running mate as he tries to unseat President George W. Bush from the White House this fall.

Features: Formal Taxonomies for the U.S.
Government

Features: Formal Taxonomies for the U.S.
Government 02/01/2005 08:52 PM
Mike Daconta, Metadata Program Manager at the Department of Homeland Security, introduces the notion of a formal taxonomy in the context of the Federal Enteriprise Architecture's Data Reference Model.

Linspire formal known as Lindows gives
away software

Linspire formal known as Lindows gives
away software 04/19/2004 01:52 PM
Linspire is giving away it's Linux based operating system for the next few days. If you want it you will...

SEC Launches Formal Investigation of
Mamma.com

SEC Launches Formal Investigation of
Mamma.com 04/12/2005 08:54 PM

Formal Definitions of User-Centered
Design

Formal Definitions of User-Centered
Design 07/01/2002 03:39 PM
"When rigorously applied, a UCD approach meets both user needs and the business objectives of the sponsoring organization." (Charles L. Mauro - TaskZ)

Nortel Networks Is Target of Formal
S.E.C. Inquiry

Nortel Networks Is Target of Formal
S.E.C. Inquiry 04/09/2004 04:03 PM
Nortel Networks said that the Securities and Exchange Commission had begun a formal investigation into its accounting.

Bryant Expected to Enter Formal Plea
(AP)

Bryant Expected to Enter Formal Plea
(AP) 05/09/2004 05:07 PM
AP - Although merely a formality, NBA star Kobe Bryant is expected to plead not guilty this week to charges he raped a 19-year old woman last summer.

Last Call: XQuery 1.0 and XPath 2.0
Formal Semantics

Last Call: XQuery 1.0 and XPath 2.0
Formal Semantics 06/05/2005 10:45 PM
2005-06-05: Addressing comments from the previous Last Call, the XML Query Working Group and the XSL Working Group released three updated requirements documents and a Last Call Working Draft for the XQuery and XPath languages. Important for databases, search engines and object repositories, XML Query can perform searches, queries and joins over collections of documents. XPath is used to select parts of XML documents. Visit the XML home page. News archive)

W3C and Open Mobile Alliance (OMA)
Establish Formal Relationship

W3C and Open Mobile Alliance (OMA)
Establish Formal Relationship 07/30/2004 03:44 PM
2004-07-29: W3C and the Open Mobile Alliance (OMA) today announced a Memorandum of Understanding (MoU) enabling their cooperation on mobile Web specifications. "Together, W3C and OMA are well positioned to lead development toward technological compatibility and the ease of repurposing Web content, known as single Web authoring," said Philipp Hoschka (W3C). In widespread use, W3C Recommendations for the mobile industry include XHTML Basic markup, SMIL multimedia and SVG graphics. Read the press release and more about Device Independence. (News archive)

Kobe Bryant to enter formal plea in
court

Kobe Bryant to enter formal plea in
court 05/10/2004 04:30 PM

Chinese cyber-dissident to not face
formal indictment

Chinese cyber-dissident to not face
formal indictment 12/25/2003 05:27 PM

IBM launches formal initiative to push
Cell beyond gaming

IBM launches formal initiative to push
Cell beyond gaming 03/31/2005 03:40 AM
IBM has been talking up Cell as a scalable architecture with a wide range of applications, and now they're putting their money where their mouth is.

More than half of CIOs lack formal
disaster recovery plan

More than half of CIOs lack formal
disaster recovery plan 12/05/2003 01:02 AM
Sunday Times South Africa Dec 5 2003 0:13AM ET

S.A.Y. Security Group USA LLC &
Hospitality WiFi LLC Formal Partnership
Agreement

S.A.Y. Security Group USA LLC &
Hospitality WiFi LLC Formal Partnership
Agreement 06/17/2005 07:20 PM
SAY Security Group USA LLC is pleased to announce that it has entered into a formal partnership agreement with Hospitality WiFi LLC. This agreement will give SAY Security’s dealer and distributor base immediate access to the knowledge and experience of Hospitality WiFi’s wireless technology resources. Both companies will be located in the same manufacturing and engineering complex to allow for better communication and response to their customers. [PRWEB Jun 9, 2005]

Senate Report Sees No Formal Iraq-Qaeda
Ties (Reuters)

Senate Report Sees No Formal Iraq-Qaeda
Ties (Reuters) 07/09/2004 03:21 PM
Reuters - Contacts between Iraq and al Qaeda in the 1990s never led to a formal relationship and there is no evidence Iraq helped conduct an al Qaeda attack, a report by a bipartisan Senate committee said on Friday.

World Wide Web Consortium (W3C) and Open
Mobile Alliance (OMA) Establish Formal
Relationship

World Wide Web Consortium (W3C) and Open
Mobile Alliance (OMA) Establish Formal
Relationship 08/01/2004 06:29 AM
W3Reports Aug 1 2004 10:12AM GMT

SigmaTel, Inc. Files Formal Complaint
with ITC Against Actions Semiconductor
for MP3 Player Technology Patent

SigmaTel, Inc. Files Formal Complaint
with ITC Against Actions Semiconductor
for MP3 Player Technology Patent 03/17/2005 03:46 AM
Business Wire India via Hindustan Times Mar 16 2005 1:40AM GMT

" The New York Times > Washington >
Campaign 2004 > Formal Announcement Is
Scheduled for This Morning "

" The New York Times > Washington >
Campaign 2004 > Formal Announcement Is
Scheduled for This Morning " 07/06/2004 08:07 PM

November -- only ten days old -- has now
claimed 37 American lives. It's been the
deadliest month since formal combat
ceased in May. 11/11

November -- only ten days old -- has now
claimed 37 American lives. It's been the
deadliest month since formal combat
ceased in May. 11/11 11/11/2003 05:39 PM
American-appointed Iraqi council leader killed by US soliders .. From WaPo

washingtonpost.com/wp-dyn/articles/A20807-2003Nov10.html
track this site | 4 links

Industry Legends Honored in Formal Award
Ceremony at The 2004 Conference for Help
Desk Professionals

Industry Legends Honored in Formal Award
Ceremony at The 2004 Conference for Help
Desk Professionals 07/15/2004 03:24 AM
At The 6th Annual Conference for Help Desk Professionals, to be held October 6th–8th, 2004 at the Fairmont Hotel in New Orleans, DCI will honor the top ten most recognized names in the Help Desk industry in a formal awards ceremony and luncheon. The awards ceremony and luncheon will take place Wednesday, October 6th from 12:00-1:20pm. This is the only Help Desk event where all ten of these industry legends will be appearing. [PRWEB Jul 15, 2004]

Archive-Zip-1.12

Archive-Zip-1.12 07/08/2004 05:10 PM

Archive-Tar-1.08

Archive-Tar-1.08 01/05/2004 11:07 AM

Archive-Any-0.06

Archive-Any-0.06 10/29/2003 11:31 PM

Archive-Zip-1.11

Archive-Zip-1.11 07/08/2004 05:10 PM

Archive-Tar-1.09

Archive-Tar-1.09 05/22/2004 09:43 AM

From the archive

From the archive 01/07/2004 06:48 PM
While poking around looking at other stuff, I stumbled across these old photos from the Pyra webcam back in the day. You can see pb and Matt Haughey on what was apparently Matt's first day at Pyra. Looks like he didn't get much work done. I like finding these remnants of that time.
Grok Description matches for Archive of Formal Proofs
GrokA matches for Archive of Formal Proofs

Archive of Formal Proofs

The following phrases have been identified by the grok system as matching this entry: