Related:
Hacker
- Virtual Hacker
- Hacker Safe
- Hacker Craft
- Hacker Craft Boats
DC Proof Online (Popularity:  )
(Score: 15.15)
http://www.dcproof.com
New proof-writing software to teach the fundamentals of logic and proof. Enables users/students to write error-free proofs by selecting rules of inference, axioms, etc. from convenient drop-down menus. Includes tutorial and exercises.
Category:
Main\Science\Math\Logic and Foundations\Software
|
MSNBC: Russian Hacker Arrested at Def Con (Popularity: )
(Score: 13.27)
http://www.msnbc.com/news/601585.asp
"A Russian hacker was arrested Monday on charges that he violated U.S. copyright law after he gave a presentation at the Def Con hacker convention in Las Vegas this weekend, the FBI said."
Category:
Main\Society\Issues\Intellectual Property\Copyrights
|
Enquirer.com: Hacker claims he was working for FBI (Popularity: )
(Score: 12.83)
http://www.enquirer.com/editions/2003/07/28/loc_wwwloc1ahacker28.html
Article on Jesse Tuttle, a hacker who used the handle Hackah Jak.
Category:
Main\Computers\Hacking\People
|
Citadel Computer Corporation (Popularity: )
(Score: 12.76)
http://www.citadelcomputer.com
Manufacturer of rugged, compact PC-compatible touchscreen computers. Dust-proof, water-proof, shock-proof systems. Can be configured to perform a variety of tasks.
Category:
Main\Computers\Hardware\Systems\Industrial
|
Old and New Hacker Ethics (Popularity: )
(Score: 12.43)
http://www.fiu.edu/~mizrachs/hackethic.html
Is there a Hacker Ethic for 90s Hackers?
Category:
Main\Computers\Hacking\Ethics
|
WinKE: A Proof Assistant for Teaching Logic (Popularity: )
(Score: 12.22)
http://www.dcs.kcl.ac.uk/staff/endriss/WinKE/
WinKE is an interactive proof assistant based on analytic tableaux, and designed for the teaching of deductive reasoning. Ordering information is available at this site, as are academic papers on the design of the software.
Category:
Main\Science\Math\Logic and Foundations\Software
|
Top Layer to unveil hacker-unfriendly software (Popularity: )
(Score: 12.18)
http://cnn.com/2001/TECH/internet/05/07/anti.hacker.software.idg/index.html
[CNN]
Category:
Main\News\Online Archives\CNN.com\2001
|
Logic of programming (Popularity: )
(Score: 12.04)
http://iml.univ-mrs.fr/ldp/welcome.html
The "Logic of Programming" research team is interested in proof theory and its relations with theoretical computer science. The main topic is mathematical interpretation of proofs : nets (proof = graph), denotational semantics (proof = function ...
Category:
Main\Science\Math\Logic and Foundations\Proof Theory
|
Hacker Stickers (Popularity: )
(Score: 12.01)
http://www.hackerstickers.com/
Features gear for hackers, coders and geeks such as caffeine Candy, energy mints, hacker T-shirts and stickers.
Category:
Main\Computers\Hacking\Stores
|
Pro-spam Hacker Reported (Popularity: )
(Score: 11.99)
http://news.com.com/2100-1023-200567.html?legacy=cnet&st.ne.fd.mdh
A mysterious hacker has come to the defense of much-hated junk emailers, allegedly targeting sites and people who are against spam. [CNET.com]
Category:
Main\Computers\Internet\Abuse\Spam
|
CCV Software (Popularity: )
(Score: 11.98)
http://www.ccvsoftware.com/
Offers discounted software for students and faculty, with licensing available for most titles. Proof of academic status is required.
Category:
Main\Computers\Software\Retailers\Discount
|
How to become a Hacker (Popularity: )
(Score: 11.97)
http://www.catb.org/~esr/faqs/hacker-howto.html
ESR's paper on how to become a Hacker.
Category:
Main\Computers\Hacking\Newbies
|
Logic Plus Solutions, Inc. (Popularity: )
(Score: 11.92)
http://www.logic-plus.com
Electronic and software engineering firm, from proof-of-concept to production, including hardware, firmware and software.
Category:
Main\Business\Electronics and Electrical\Contract Manufacturing
|
How to Become a Hacker (Popularity: )
(Score: 11.78)
http://www.robson.org/gary/writing/becomeahacker.html
A short essay on becoming an "old-guard" hacker (NOT a cracker or phreaker).
Category:
Main\Computers\Hacking\Newbies
|
Hacker Golf USA (Popularity: )
(Score: 11.78)
http://hackergolfusa.com
Sells caps and T-shirts bearing the Hacker Golf logo.
Category:
Main\Shopping\Sports\Golf\Apparel
|
NuPrl Proof Development System (Popularity: )
(Score: 11.41)
http://www.cs.cornell.edu/Info/Projects/NuPrl/
A powerful tactic-based proof assistant, developed over the last 15 years at Cornell University. IFeatures include: very expressive logical language based on Martin-Lof type theory, extensive library of formal mathematics and automata theory, possibility ...
Category:
Main\Science\Math\Logic and Foundations\Computational Logic
|
Hacker smears Web sites with pro-Napster messages (Popularity: )
(Score: 11.37)
http://news.com.com/2100-1023-245470.html
A pseudonymous hacker has launched a Web graffiti spree, defacing Web sites ranging from NASA to the Communications Workers of America with a pro-Napster message. [News.com]
Category:
Main\Computers\Multimedia\Music and Audio\Audio Formats
|
Imperial Software (Popularity: )
(Score: 11.19)
http://www.imperial-software.com/
Offers school administrators, teachers, and technology coordinators a variety of educational services incorporating software, hardware, and product bundling. Proof of academic affiliation is required to purchase products.
Category:
Main\Computers\Software\Retailers\Discount
|
Proof of Fermat's Last Theorem (Popularity: )
(Score: 11.11)
http://www.coolissues.com/mathematics/fermat.htm
An attempted elementary proof of FLT using binomial expansions.
Category:
Main\Science\Math\Number Theory\Diophantine Equations
|
The Stepladder Proof of The Goldbach Conjecture (Popularity: )
(Score: 11.11)
http://gmazur.freeyellow.com/Goldbach.htm
A proposed proof offered for criticism.
Category:
Main\Science\Math\Number Theory\Open Problems
|
Lilipod (Popularity: )
(Score: 11.10)
http://www.lilipods.com/
Water-proof and shock-proof case designed to protect the iPod from the elements.
Category:
Main\Computers\Hardware\Peripherals\Audio
|
Free Wallpaper the Hacker Style (Popularity: )
(Score: 11.08)
http://www.hackerbasis.com/wallpaper/
Download wallpaper in the hacker style by Hackerbasis in jpg and bmp file formats.
Category:
Main\Computers\Software\Desktop Customization\Wallpaper
|
Proof (Popularity: )
(Score: 11.06)
http://www-didactique.imag.fr/preuve/
International newsletter on the teaching and learning of Mathematical proof.
Category:
Main\Science\Math\Education\Magazines
|
Proof Rarities, Inc. (Popularity: )
(Score: 10.96)
http://www.pfgold.com/
Dealing in high quality rare proof gold coinage. Inventory list, images and articles are available.
Category:
Main\Shopping\Antiques and Collectibles\Coins\World Coins
|
Teleindustria (Popularity: )
(Score: 10.96)
http://www.teleindustria.com/
Supplier of explosion-proof, weather-proof, emergency, vandal resistant telephones and public address systems.
Category:
Main\Business\Electronics and Electrical\Electromechanical\Hardware
|
Jetproofs (Popularity: )
(Score: 10.95)
http://www.jetproofs.com/
Specializing in old US Proof coins and Proof sets.
Category:
Main\Shopping\Antiques and Collectibles\Coins\World Coins
|
Proof of the Last Fermat Theorem (Popularity: )
(Score: 10.95)
http://www.geocities.com/vala_var/
An attempted elementary proof.
Category:
Main\Science\Math\Number Theory\Diophantine Equations
|
A Proof of the Full Shimura-Taniyama-Weil Conjecture (Popularity: )
(Score: 10.68)
http://www.ams.org/notices/199911/comm-darmon.pdf
PDF-format article by Henri Darmon on the completion of the proof by Wiles, Breuil, Conrad, Diamond and Taylor.
Category:
Main\Science\Math\Number Theory\Elliptic Curves and Modular Forms
|
Linuxdevcenter.com: The Hacker Behind "Hacking the XBox" (Popularity: )
(Score: 10.53)
http://www.linuxdevcenter.com/pub/a/linux/2003/09/11/bunniehuang_interview.html
Interview with hacker Andrew "Bunnie" Huang describing how he ran into trouble with the DMCA when publishing a book on hacking the Xbox.
Category:
Main\Computers\Hacking\People
|
HACKER FreeVIEW-SOUND (Popularity: )
(Score: 10.50)
http://www.hacker-technology.com/4361/30004.html
Free software to turn PCs with sound cards into data loggers, chart recorders, storage oscilloscopes, and spectrum analysers.
Category:
Main\Business\Electronics and Electrical\Instrumentation\Data Acquisition and Control
|
ProofTheory.ORG (Popularity: )
(Score: 10.39)
http://www.prooftheory.org/
Basic material on proof theory and the home page of the only mailing list devoted to proof theory, with hundreds of experts.
Category:
Main\Science\Math\Logic and Foundations\Proof Theory
|
Avigad, Jeremy (Popularity: )
(Score: 10.39)
http://www.andrew.cmu.edu/~avigad/
Carnegie Mellon University - Proof theory, constructive mathematics, proof complexity, the history and philosophy of mathematics.
Category:
Main\Science\Math\Logic and Foundations\People
|
The Birmingham Gun Barrel Proof House (Popularity: )
(Score: 10.37)
http://www.gunproof.com/
The National organisation responsible for administration of safe firearms proof testing. There is also a museum for firearms and ammunition.
Category:
Main\Recreation\Guns\Organizations and Clubs\United Kingdom
|
Sunfire Slip-Proof (Popularity: )
(Score: 10.37)
http://www.sunfiresystems.com
Franchise opportunity slip-proof resurfacing floors, bathtubs, showers, decking systems, and insulating paint.
Category:
Main\Business\Opportunities\Franchising\Franchises
|
Proof of Life (Popularity: )
(Score: 10.37)
http://www.proofoflife.com/
Taylor Hackford directs Proof Of Life, a romantic drama starring Russell Crowe, Meg Ryan and David Morse.
Category:
Main\Arts\Movies\Titles\P
|
Demonstration and Proof (Popularity: )
(Score: 10.36)
http://www.csus.edu/indiv/v/vonmeierk/4-03EXCU.html
Page that includes a discourse presented by Brown in 1973, on the distinction between a demonstration and a proof.
Category:
Main\Society\Philosophy\Philosophy of Science\Mathematics
|
Scientific Proof of God (Popularity: )
(Score: 10.29)
http://proof-of-god.freewebsitehosting.com/
George Hammond's scientific proof of God wherein God is shown to be a curvature of Psychometry Space.
Category:
Main\Society\Religion and Spirituality\Opposing Views\Agnosticism
|
Bullet Proof Soft, Inc (Popularity: )
(Score: 10.25)
http://www.bulletproofsoft.com/
MP3 utilities, and security software. Product specifications, screenshots, online support, and downloads.
Category:
Main\Computers\Software\Shareware\Windows
|
On the Beal Conjecture (Popularity: )
(Score: 10.19)
http://geocities.com/kerrymerry2000/
An elementary proof of Beal's Conjecture given the proof of Fermat's Last Theorem.
Category:
Main\Science\Math\Number Theory\Diophantine Equations
|
CampusTech Inc (Popularity: )
(Score: 10.15)
http://www.campustech.com/
Reseller of name brand software for students, teachers, and schools. Proof of academic affiliation is required to purchase products.
Category:
Main\Computers\Software\Retailers\Discount
|
