Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Interesting WWW pages
[go: Go Back, main page]

Links to interesting WWW pages

Coolness

  • Ben Fry's Zipdecode ZIP-code visualizer

    • Harvard University

  • CS colloquia
  • Hollis and Hollis Plus

    • Resources for students

  • Stanford Medical Institute's Graduate-Student Survival Guide

    • Computing and technical articles

  • The ACM Digital Library
  • Compilers & Interpreters Article Archive
  • The Networked Computer Science Technical Reports Library (pronounced ``ancestral'').
  • Computer-science bibliography (Canadian mirror)
  • Computer Science Research Paper search engine
  • Glimpse bibliography server (and mirror)
  • MIT Theory bibliography: Info & Computation, JACM, LICS, STOC, FOCS. With abstracts.
  • The ACM Computing Reviews Classification Scheme, used to categorize articles in ACM publications.
  • The Computer Society is going to put IEEE publications online
  • The ACM Digital Library
  • UMI Dissertations
  • Journal home pages
  • Journal of Functional Programming
  • LISP and Symbolic Computation
  • Journal of Programming Languages. One of the most painful web sites I have ever used.
  • Science of Computer Programming
  • ACM TOPLAS
  • Software---Practice & Experience gopher and bibliographic search engine
  • Indiana CS TR Index
  • Archive of articles on functional programming (alternate link)

    • WWW and Internet Services

  • Muggle Net Interview with JK Rowling at Albert Hall
  • The Epinions site provides reviews, and they review the reviewers!
  • Also check outThird Voice.
  • And Visibone.
  • Unhappy with Microsoft? Check out the Boycott Microsoft page
  • Spam and junk mail
  • anti-spam, including list of known spam sites
  • Zero Junk Mail
  • The Coalition Against Unwanted Commercial Email
  • Netizens Against Gratuitous Spamming offers a spam filter
  • Spam Be Gone uses machine learning to prioritize mail messages.
  • Finally! There's Internet JunkBusters!
  • Lars Wirzenius's junkmail filters
  • The Boycott Internet Spam site.
  • CancelMoose, home of NoCeM software.
  • CyberNothing's Cyberporn page (not what you think---info about the 1995 article in Time magazine and subsequent reactions)
  • Universal Currency Converter
  • How Stuff Works is just what it sounds like.
  • The Fountain Pen Hospital fixes and sells old pens.
  • MiningCo's Urban Legends and Folklore page is deemed a reliable source about hoaxes and rumors circulating the Internet.
  • Tomorrow's Professor
  • Movies
  • Roger Ebert's Great Movies
  • The Ahoy! personal home page finder.
  • Science Fiction
  • The Lois McMaster Bujold Home Page
  • The Stars Our Destination, a great store in Chicago
  • The Compleat Index for Robert Jordan's Wheel Of Time. Also check out the Usenet newsgroup rec.arts.sf.written.robert-jordan
  • IBM's patent server. It currently includes all patents back to the early 1970's, and has diagrams also. You can search by keywords, topics, or patent numbers.
  • Car stuff
  • Auto Trader Online
  • Edmund
  • kbb
  • Autosite
  • Intellichoice
  • Auto By Tel
  • Carpoint
  • Sewing and sewing machines
  • The online Antique Sewing Machine Resource
  • The International Sewing Machine Collectors Society
  • Columbia's Bartleby Project, including Will Strunk's classic Elements of Style
  • Vicinity's maps on demand
  • Philips's Metro Navigator
  • IBM's Around the World browser has a cute JavaScript applet.
  • Federal budget simulation---can you cut taxes 15% and still balance the budget?
  • Live (more or less) pictures of the valley below the Eiger
  • Magellan guide to the Internet
  • CME online dictionary
  • Submit-it, to notify many services of a page's existence.
  • Metasearch (now dead)---generate searches for many common search services.
  • An alternative to metasearch is Ilectric
  • Fidelity Investments
  • Software Easter Eggs
  • Philadelphia Enquirer Sports section
  • New York Times fax edition
  • San Jose Mercury News Mercury Center and 49er coverage
  • Starting Points for Internet Exploration
  • InterNIC, the Internet Network Information Center:
  • Internet RFC's, FYI's and IETF info
  • The Fannie and John Hertz Foundation funds graduate study in the applied physical sciences, including computer science.
  • The Etch-a-Sketch page, including the Gallery of Art
  • Comics:
  • Dilbert from the Dilbert Zone at United Media
  • GNN
  • The Oracle at Synapse, which has archives of humor and other miscellany.
  • Advice to Evil Overlords
  • List of Internet Service Providers from Colossus
  • Faxing by Internet
  • Voice communications by Internet
  • Information about shortwave radio
  • Ubique, adding people to the web
  • AT&T; 800 directory
  • Voice Nation's online phone directories and reverse phone directories (thanks Mandy Rogers)
  • The Global Network Navigator.
  • Yahoo, a WWW database and search service
  • Idea Futures
  • First Virtual Holdings, the Internet payment system, and 1 Virtual Place.
  • HouseNet, a resource for do-it-yourself'ers.
  • Shopping planet (computer stuff for sale)
  • The Federal Government of the United States
  • The White House
  • The Congress
  • The Library of Congress Copyright page
  • The Postal Service and Postal Rates. Check out the Address Standardizer
  • The Internal Revenue Service
  • The National Park Service
  • The Census Bureau's Frequently occurring names in America -- 1990
  • The NSA's Venona project---decrypted KGB traffic from the 40s.
  • NASA's Mars Pathfinder
  • The Taxing Times
  • Ansel Adams photos of the University of California
  • ``Best of the Web'' home page
  • Museums
  • Oriental Institute
  • Field Museum
  • Library catalogs
  • New York Public Library
  • North American Libraries
  • Morris County Library
  • The Online Book Initiative
  • Project Gutenberg
  • Comet Shoemaker-Levy 9 (alternate).
  • Interactive Fiction
  • Natural language queries at MIT
  • rec.games.design FAQ
  • MOO and text-based virtual reality
  • Moo-Web info
  • Moo Client Protocol
  • Unspecified interesting info from ANdrew Wilson
  • WebWorld (May not be MOO-related.)
  • Oh, Hell.
  • Literate Software Systems, home of the Across Lite crossword-puzzle software.
  • Food
  • Vegetarian Crock-pot recipies
  • Chef Paul Prudhomme
  • Dogs
  • We want a Flat-coated Retreiver
  • Lilypond, a GNU music typesetter
  • TV Channel mystery solved
  • Computer Virus Myths
  • The Financial Services Technology Consortium is interested in the technology needed to transact business over a public network like the Internet.
  • CD-ROMs online
  • PGP Moose news stuff
  • The Inverse Symbolic Calculator will take a number tell you what expressions might have produced it.
  • Weather
  • Purdue University Weather Server
  • Michigan Weather Underground (alternate site)
  • Who's who
  • CUI Searchable Catalog of W3 Sources
  • Internet Resources Meta-Index
  • The Clearinghouse for Subject-Oriented Internet Resource Guides
  • Usenet and Internet history
  • The Netizens and the Wonderful World of the Net
  • Some random WWW page
  • Procedures for creating newsgroups
  • rec.puzzles FAQ
  • Bookstores
  • UCI Bookstore
  • Roswell Bookstore
  • Price engines include Book buys and acses.com
  • ABE Books (has out of print?)
  • Clark Coleman's list of online bookstores, including
  • Brian's Books
  • BookPool
  • Amazon
  • Books & Bytes
  • Books Now
  • CompuBooks
  • Computer Literacy Bookshops
  • Powell's Technical Books
    •
  • Hackers' Bazaar --- Online auctions etc (NY Times 2 April 1998)
  • On Sale
  • EBay
  • Haggle Online
  • Auction Sales
  • Priceline
  • alt.housing.nontrad FAQ
  • MEPHISTO shoes
  • Fun with Gas Turbines

    • Funding opportunities

  • The Computer and Information Sciences and Engineering Directorate of the National Science Foundation, including the Division of Computer and Computation Research
  • More NSF:
  • Division of Undergraduate Eduction
  • DARPA
  • NIST Advanced Technology Program
  • NASA's Graduate Student Research Program offers fellowships to graduate students.
  • The Alfred P. Sloan Foundation

    • Computing (especially programming languages)

  • Natural sorting
  • GUI Toolkits for X windows (including wxwidgets)
  • Machine code
  • The New Jersey Machine-Code Toolkit
  • Cristina Cifuentes works on decompilation and binary translation. Cristina lives and works in Brisbane, Australia. She now maintains the decompilation page formerly maintained by Frans Faase. Travel, Travel, Travel.
  • decompiling object code for MS Windows
  • Christian Collberg's page on Obfuscation, Decompilation, and Reverse Engineering
  • Etch, an instrumenter for x86 binaries
  • The OM project, including OM and ATOM.
  • The IDA disassembler
  • The SimpleScalar Architectural Research Tool Set
  • AT&T; FlashPort
  • Instruction-set simulation and tracing (D. Keppel)
  • Informal survey of decompilation techniques
  • Michael Franz's slim binaries
  • Binary translation
  • FreePort Express SPARC-to-Alpha translator
  • Intel Secrets
  • Run-time code generation (JIT, dynamic code generation)
  • Sergey Solanik's references
  • Literate Programming
  • noweb home page
  • Pretzel, a prettyprinter generator.
  • The Stanford GraphBase
  • Propaganda
  • Guidlines
  • Literate Programming on the World-Wide Web
  • Literate-Programming Archive
  • Gwydion
  • The HL markup language.
  • J. A. Zimmer, the Software Doctor has some things to say about literate programming.
  • CWEBx has hyperTeX support
  • Might there be a relationship with Extreme Programming?
  • Wotsit's Format has tons of info about file formats.
  • Free Online Dictionary of Computing
  • Terragen is a cool application of computer graphics to create and render terrain.
  • The Quine page (self-reproducing programs)
  • ACM Workshop on Strategic Directions in Computing Research, including working-group reports.
  • HTML Math renderer
  • Martin Ward does research in program transformation.
  • a great source of information on PC hardware, It explains a lot of stuff about bios settings, memory types, chipsets, etc.
  • PC audio mixers explained
  • Gordon Bell talk on the history of supercomputing, with tributes to Seymour Cray.
  • Software Productivity Research's Language Table
  • Programming Language Exploration
  • Neal Ziring's interactive Programming-Language Dictionary
  • ANDF Reference Guide
  • Compilers stuff
  • The Pentium compiler group is developing a version of gcc with optimizations that are specific to the Pentium family
  • Parsing Techniques: A Practical Guide, by Dick Grune and Ceriel Jacobs
  • Searchable archive of comp.compilers
  • Catalog of free compilers and interpreters
  • List of compiler-construction tools
  • ftp-able version
  • Searchable version
  • Compiler Info (alternate site)
  • Nullstone (compiler performance checking, many other links of interest).
  • yyref, a cross-referencer for Yacc source
  • Error recovery for Bison
  • Compiler Construction using Flex and Bison by Anthony Aaby.
  • LISA attribute-grammar tool. See also general info about attribute grammars
  • PCCTS tutorial
  • lex and yacc tutorial
  • Quinn Tyler Jackson's book reviews include reviews of some compiler books.
  • IEEE floating point in software
  • One TRAC site and another
  • Let's Build a Compiler! by Jack Crenshaw
  • Digital's Alpha Compiler Cookbook
  • SPEC benchmark info
  • A Normalizer for the lambda calculus. Offers several reduction orders.
  • Pi calculus page maintained by Uwe Nestmann. James Riely recommends Benjamin Pierce's intro to lambda and pi contained in a CRC handbook. Then Milner/Parrow/Walker part I and Milner's notes on polyadic pi.
  • DinkumWare, P. J. Plauger's latest venture.
  • IRL---an internet resource library of Computer Science & Engineering Educational Software.
  • ASN.1 Homepage
  • Debugging
  • Home page
  • ldb retargetable debugger
  • the infamous stabs format
  • The UPS C Debugger/Interpreter
  • Garbage collection
  • Garbage Collection FAQ
  • Debunking the myth that copying collection enjoys an asymptotic advantage over mark and sweep.
  • Harlequin Memory Management Reference site
  • general, light overview
  • a garbage collector that should work for you
  • a study of garbage collection costs
  • a really good GC survey, and many interesting related papers
  • a collectino of links related to garbage collection
  • Jgraph, a tool for graphing data
  • Bad programming languages
  • The FAQ for comp.programming.functional
  • Programming with {SETS}
  • CLEAN home page
  • Markus Voelter's programming-language site
  • FORTH
  • Home Page
  • Sun's Open Firmware page
  • FORTH and Open Firmware
  • LEO's Functional Languages
  • Haskell
  • home of TkGofer
  • I/O monads
  • ML
  • The Moscow ML Home Page. Moscow ML now includes Mosmlcgi, which helps write CGI scripts. Plus it has nifty library help.
  • Standard ML of New Jersey, plus their working versions and bug-report form
  • exception analyzer for SML/NJ
  • Robert Harper's Introduction to Standard ML, under revision in 1997-98.
  • Atsushi Ohori's SML#
  • The Harlequin ML programming competition
  • Porting guide to SML '96
  • SML '97 new standard basis
  • SML TK, a Standard ML binding to the TK user-interface toolkit
  • Edinburgh LFCS page (includes links to ML stuff)
  • Gentle Introduction to ML
  • CAML Special Light
  • OCaml for SML programmers
  • Hope, a predecessor language (the first to use pattern matching to define functions).
  • Functional languages in general Dave Mason's Anecdotal evidence for the value of functional languages
  • Tiny PostScript (source code by ftp)
  • Icon
  • Home page
  • reference manual
  • FAQ
  • You can get binaries for the 386, linux, SPARC SunOS, and other targets.
  • Icon functions to help people writing CGI handlers in Icon, and a more general guide to Icon from the same people.
  • An extension with Unix system calls.
  • Pascal
  • Irie Tools has a free Pascal compiler
  • Prolog
  • BinProlog
  • Curl
  • C
  • lcc, a free retargetable compiler for ANSI C, and Jacob Navia's lcc-win32 port.
  • Al Maromaty free ANSI/POSIX C runtime library for Windows
  • The GameBoy developer's kit, which is based on lcc and the ASxxxx cross-assemblers
  • A preliminary lcc 4.0 code-generation interface
  • C code snippets
  • Obfuscated C contests
  • Proposed changes to C
  • dmr critique of noalias proposal
  • Reusable open-source software through Rapid Knowledge Transfer
  • Peter Neumann's report on robust open-source systems, also in PostScript and PDF.
  • Logo
  • Microsoft Windows LOGO kit (also by ftp and from Softronix, which is supposed to be the best link)
  • Resnick's Starlogo (requires Mac in June 1997)
  • The Logo Foundation
  • Pizza, a superset of Java.
  • Java
  • The AWT (Abstract Window Toolkit) --- Java's Achilles Heel
  • Russell Quong's Java info page
  • Eiffel
  • An Introduction to Design by Contract
  • Design by Contract: The Lessons of Ariane
  • C++
  • Taligent's Guide to Porting C++ code to Java
  • Some portable class libraries
  • MIT LEGO Robots
  • Lego-based copier
  • Dr Dobbs' Journal
  • Simulators etc
  • Instruction-set simulation and tracing
  • The Shade instruction simulator.
  • Language and Compiler Bibliographies
  • Mark Leone's Programming Language Research
  • Conferences related to compilation and parallel programming.
  • Programming-language courses
  • CS 565 at Purdue
  • Pete Jinks's course (with discussion from comp.compilers
  • Deep Magic for geeks
  • J. A. Zimmer, the Software Doctor
  • Steven Majewski's Programming Languages Critiques Web Page
  • Nice linking work at the Utah FLEX project
  • Linking
  • opendoc linking stuff?
  • opendoc linking stuff?
  • Cameron Laird collection
  • Python
  • Tutorial
  • Pike
  • Ada
  • Ada home page
  • Ada 95 stuff
  • Lovelace tutorial for Ada
  • Ada 9X
  • Tucker Taft's home page
  • DEC SRC
  • Virtual Paper
  • Web Browsing
  • Syntax for Standard ML
  • Practical Reusable Unix Software from ATT
  • VGJ, Visualizing Graphs with Java, a tool for drawing graphs.
  • Modula-2 and Oberon
  • The XDS Modula-2 and Oberon compilers include H2D, which converts C header files to Modula-2 definition modules. (alternate URL)
  • Modula-3
  • Home page bugs and patches.
  • Spencer Allain's current activities page
  • Critical Mass
  • Michel Dagenais's ftp archive and FAQ
  • Michel Dagenais's guide
  • Michel's updated m3gdb
  • Discussion on teaching with Modula-3
  • Blair McIntyre's COTERIE, a distributed virtual environment
  • Modula-3 compared with other languages by Steve Freeman
  • libm3 documentation in HTML format.
  • FormsVBT manual in HTML format
  • OOPSLA '94 users' group meeting
  • Peter Robinson teaches Modula-3 at Cambridge and can explain why.
  • Critical Mass's success stories
  • Scheme
  • The FAQ, repository (by ftp), and embedding of the Tk toolkit.
  • The Scheme Underground
  • Scheme48
  • Secure Scheme? (and a way to get it)
  • Scheme48
  • Inter-Language Unification (ILU), and ILU-m3
  • Dick Gabriel's Lisp: Good News, Bad News, How to Win Big
  • Smalltalk
  • Squeak, a language based on Smalltalk
  • Another Squeak, this time a portable Smalltalk written in itself.
  • Inferno (alternate)
  • SPIN protocol validation and modeling tool (uses the Promela language).
  • The retrocomputing museum.
  • Intel Tools Interface Standard (ELF and DWARF info) (http version).
  • Libraries and documents about DWARF 2
  • Big collection of cross-assemblers (DOS executables?)
  • The Netwide Assembler ((old site?)
  • A grammar for binary-file formats
  • The WotSit File Formats Page has lots of useful links to info about file formats, including formats of binary object files.
  • Language Critiques
  • Critique of tcl for large projects
  • SunScript, the new Tcl group headed by John Ousterhout
  • Dave Beazley's Simplified Wrapper and Interface Generator
  • Lua
  • The Lua scripting language (Brazilian home page)
  • The toLua tool for importing C code into Lua
  • The SIMTEL DOS utilities
  • Experts Exchange, free technical help and consulting on a variety of topics.
  • HTML Tools
  • The Strudel tool for managing complex Web sites.
  • Webtechs
  • HTML Primer
  • Let Doctor HTML diagnose your web pages
  • A kindler, gentler HTML validator
  • Web Pages That Suck --- learn good design by looking at bad design.
  • HTML soapbox
  • The HTML Analyzer
  • The EIT Link Verifier
  • LinkCheck
  • editors
  • SGML-tools, which produce HTML, LaTeX, ASCII, and more from a single source.
  • Hyperlatex, which takes a special subset/extension of latex into HTML.
  • Don Knuth's home page.
  • The TeX Users' Group, home of teTeX.
  • The HyperTeX project, which adds hypertext \specials to xdvi. Works with the hyperref package.
  • LaTeX
  • home page, FAQ and online help
  • The LaTeX navigator
  • Xavier Leroy's Lessons learned from the translation of documentation from LaTeX to HTML. (My experiences have been similar.)
  • PDF from TeX
  • Fun->'PDF, an easy way to generate PDF documents using a variety of functional languages.
  • RTF (Rich Text Format) tools and documentation
  • The Larch project and LCLINT
  • Language List (also available for ftp)
  • Information about different CPUs
  • Angus Duggan's PostScript utilities
  • Linux
  • Home page
  • Linux Cross-Reference project
  • Linux Gazette
  • Linux International
  • Programmer's Guide
  • Kernel Navigator
  • Linux Journal
  • fvwm home page
  • Red hat laptop info
  • VMWare -- run Windows apps on your Linux box...
  • Linux laptop home page
  • Running Linux on a ThinkPad 560
  • Kernel patch for APM hibernation support. (may not be needed).
  • Support for infrared ports
  • Linux IRda drivers
  • Linux places
  • Willows, a portable Windows API
  • Linux on a ThinkPad 760
  • ???
  • ???
  • Collections of X tricks
  • Terry Boult's tricks
  • Harald Milz's page
  • Peipa at Essex?
  • Linux Software Map
  • Home page
  • Search Boutell (by Title and more) or Finland.
  • old search engine
  • The Linux Software Channel, an alternative way to look for linux applications.
  • Hardware compatibility
  • Bellcore mirror of the sunsite archive
  • Linux benchmarks
  • Linux & ELF
  • file format
  • Talk area at Diversity University requires 
    connect guest
@go #11848
  • This Old PC, for users on the cheap.
  • The Omega project
  • Software implementation of IEEE floating-point arithmetic.
  • Proceedings of the 1994 ML Workshop
  • Illinois work on OO implementation
  • Late-breaking processor news
  • sam and rc mailing-list archives
  • cgrep, a sam-like grep tool, and related papers.
  • A commercial mailing-list archiver
  • The MH mail-handling system
  • The Robo-moderator, software to help moderators of newsgroups.
  • The Usenet moderators' archive
  • A useful introduction to vi
  • ACME Labs, a.k.a. Jef Poskanzer, where you can get pbmplus and many other good things.
  • Ragnarok
  • Unix World Online page
  • Programming Contests
  • Calendar calculations
  • Inno Setup, a freeware Windows installer
  • E-Groups, an alternative to mailing lists
  • Explanation of the HSV color model

    • Palm Pilot

  • Downloadable travel information
  • The Pilot Screwdriver converts Web pages to Aportis DOC format.
  • Unix HOWTO
  • Calvin's PalmPilot FAQ
  • French E-Texts
  • Python conduit package
  • Wade's Pilot Programming FAQ
  • Road Coders' Articles/Tutorials archive
  • Pat Beirne's Generic Conduit Manager
  • HOWTOs converted to Doc format
  • Infrared HotSync
  • Beaming and other stuff
  • Care and feeding of rechargeable batteries
  • Software development for the Pilot from Linux machines.

    • Hardware

    Conferences

    University of Virginia

  • An interactive tour of the Lawn (Alternate link)
  • CS Dept
  • Create a UVa CS Technical Report
  • CS Dept Computing environment
  • request queue
  • emacs
  • Compiling on Solaris
  • Images from the CS web pages.
  • Tech News archive
  • Office of Preaward Research Administration (OPRA)
  • Introduction to Engineering Design
  • Division of Statistics consulting
  • Library
  • VIRGO online catalog
  • Science and Engineering Library
  • Uncover, a service for delivering journals' tables of contents.
  • Reference Collection
  • Dow Jones News/Retrieval Service (on Groumds only)
  • IDEAL online journal service from Academic Press
  • Electronic Resources for French Studies
  • Electronic journals in computer science
  • Rare book project
  • Digital Map Library and catalog
  • Access to IEEE publications (UVa only)
  • The Teaching Resource Center and its Teaching Portfolio Workshop
    See also general resources for teaching Computer Science
  • Radio station WTJU, sponsors of the Jazz Marathon
  • Courseware:
  • Learning modules for stochastic modeling
  • Colonnade Club
  • Eric's Treasure Trove of Physics
  • CS Dept computer usage
  • ITC systems' status or the new alerts page

    • Indiana

    Massachusetts

  • Learn about the controversial MCAS test and see samples of student work on the 2000 exam

    • New Jersey

  • Train schedule for the Morris & Essex lines
  • New Jersey Online
  • Princeton CS dept
  • Programming-language seminar
  • Bellcore
  • Tip and Ring, the Bellcore experimental web site
  • The Bellcore plastic lithium-ion battery
  • ARA home page
  • SuperBook home page.
  • Online dictionaries (Bellcore internal use only).
  • Bellcore internal report on Mosaic
  • Info Harness
  • Morris County's gopher service, which provides access to the Morris County Library catalog.