Bookmarks for Michael D. Sofka

Michael D. Sofka - ITS Staff
Michael Sofka's Bookmarks
Michael Sofka's ``projects'' list.
RPInfo

RPI/CIS

RPI, Dept. of Computer Science.
Deptartment of Computer Science Web server. Colloquium, Brown Bags, Faculty and Staff.
DCE/DFS Migration.
WSG Development info.
CUSSP Service Tree Index
ITS Consulting's WWW Page
ITS Security Audit
CIS Security Audit - 97
RPI AFS File Servers.
Session: How to Install Applications
Lindsay's online session/setup documentation.
Trouble Shooting License Servers
Mike Hendrix's license server trouble shooting hints.
Service Tree Index
AIX Version 4.3 Base Documentation
Documentation Library
IBM AFS® Documentation
IBM AFS 3.6 Documentation
IBM AFS for Windows Documentation
IBM Redbooks - Home Page
IBM Distributed Computing Environment Publications: DCE for AIX
IBM SSA Home Page
IBM Software : Application Development : VisualAge C++ : Overview
Private Web Page Directory
C&CT News Login
KIOSK: The Latest News About Information, Library, and Computing Services

Local and Other Libraries.

Rensselaer Libraries
SUNY-Albany
Login as opac.
Guilderland Public Library
New York State Library
Login as user 'library'.
Skidmore
Login as user 'pac'.
Union College
Login as user 'minerva'.
SALS/MVLA library catalog
Login as user 'guest'.
University of Illinois
Pennsylvania State University
Lehigh University
Gopher Menu of Libraries.

News and E-zines.
Sites to check out for updates and News.

CNN Interactive
Cable News Network, updated multiple times daily.
New Feminist Newsletter
Feminist news and constructive criticism, updated mostly daily.
Science Fiction Weekly
Science Fiction Channels scifi news and reviews. Updated bi-weekly (often late).
Science Online
Nature - International weekly journal of science
Ridiculopathy.com: Ridiculopathy Daily

TeX and Typography.

TeX Information Page
Information about TeX, MTeX and links to TeX sites.
DVI Driver Implementation and Standardization Issues.
TeX DVI Driver standards issues and Technical Working Group information.

TeX Typesetting System.

TeX Users Group Home Page
The TeX Users Group is the oldest TeX Group, and publishes TUGBoat.
Interesting TeX-related URLs
Sebastian Rahtz's collection of TeX pages.
Nederlandstalige TeX Gebruikersgroep
NTG, the Dutch TeX Users Group.
EuroTeX 98
Projekte rund um TeX: NTS und e-TeX
The NTS (New Typesetting System) page. NTS is an extension/re-write of TeX sponsored by Dante, the German TeX Users Group.
TeX Frequently Asked Questions
CTAN-Web Home Page
WWW Interface to the Comprehensive TeX Archive Network.
CTAN Search
Search the European CTAN sites.
(La)TeX navigator
The (La)TeX navigator page interfaces the CTAN mirror site. Note, click on the flag to select language.
Computer Science Bibliographies in BibTeX Format
Links to BibTeX files and search engine. (Usually slow, but the BibTeX files are available at many sites.)
Yahoo - Computers:Desktop Publishing:TeX
Yahoo's TeX links page.
Yahoo - Computers and Internet:Desktop Publishing
Yahoo's desktop publishing links page.
TeX crazy page
Interview with Donald Knuth and some obfuscated TeX code.
TeX variants and successors: NTS and e-TeX
The New/Next Typesetting system. Information and status reports.
TeX Systems.
DraTeX, AlDraTeX, ProTeX, AlProTeX, TeX4ht.
Blue Sky Research
Macintosh TeX products including Lightning TeXtures (a very interactive TeX), and a Quark to TeX interface.
Kinch Software Home Page
TrueTeX Home Page
Y&Y Inc Home Page
Windows TeX typesetting system with Postscript math fonts.
MiKTeX Project Page
A win32 native port of TeX.
The LaTeX Graphics Companion
MicroPress Home Page
TCI Software Research
Formula Layout (Capsule Review)
BibTexMng -- Welcome
TeX by Topic: The Book that Victor Wrote
The best TeXnical reference on the open market.

Graphics and Drivers

PSTricks - and relative Timothy van Zandt packages except Seminar (Web page maintain by Denis Girou)
The MetaPost page
MetaPost is a program that reads an enhanced METAFONT input and generates a PostScript file.
bib2html
A BibTeX to HTML converter. This can be used to convert your BibTeX files into HTML documents.
HyperTeX
Adding hypertext capability to TeX with macros and a link-aware dvi, pdf or other previewer. (You can't keep a good language down.)
About IDVI
A Java DVI viewer. Pretty cool.
nDVI manual
A DVI viewer plugin for Netscape.
Approaches to WWW Mathematics Documents
BibDB home page
A BibTeX database manager.
TkDVI - A TeX Previewer based on Tcl/Tk
A tk-based DVI Previewer. Multiple display options, and controlable by other tk programs.
dvi2bitmap
Convert DVI into a GIF file directly.
Pip - make any program a filter

Converters

TtH: a TeX to HTML translator
Translated (La)TeX into HTML, including math code.
HTML Converters
All About LaTeX2HTML
Mathematical Markup Language (MathML)
Converters between LaTeX and PC Textprocessors
Frequently asked questions about converting La/TeX into a PC processor format.
TeX4ht: TeX and LaTeX for Hypertext
TeX based authoring tool for hypertext.
MathType Home Page
Excellent equation editor that can output plain TeX math.
Welcome to K-Talk Communications
MathEdit, Publishing Companion (WP/Word) -> TeX/LaTeX, and TexPort (TeX/LaTeX) WP/Word translation.
WebEQ 2.2 Preview
Information on LaTeX to MathML converter.
Bibliographica Homepage
Bibliography program which can read and write BibTeX files.
Babinszki World - Net Distillery
A Net Distillery, send it PS, get back PDF.
Van Zandt: TeX to PDF
The HEVEA Home page
Converters from PC Textprocessors to LaTeX - Overview
Literate Clean - Home Page

Fonts.

The comp.fonts Home Page
Everything on the Internet about fonts.
Font software
Tiro TypeWorks
A type foundary home page. Includes font samples, and a very nice layout.
Walden Font Home Page
Ghostscript, Ghostview and GSview
GSview and Ghostscript home page binaries, and information.
ConScript Unicode Registry, Version 2.0
Shavian ConScript Unicode Standard
About Shavian
Font Technical Information
Adobe Developer Association font information.
Adobe Font Formats and File Types
Font (and other) file formats, including the Type 1 spec (black book) in PDF.
OpenType Specification -- Contents
OpenType is a new font standard being developed by Adobe and Microsoft. It will include broader multi-platform support, international characters sets, protection for font data, a smaller size and better typographic control, especially of downloaded documents.
Pyrus Digital Typography & Font Editors
Unicode Home Page

Typography.

Serif: The Magazine of Type & Typography
Typography magazine run by Don Hosek, of Quixote.
Graphion Typesetting
Typography company and online typography meseum.
Quixote Digital Typography, Inc. Home Page
TeX and typography consulting and services. Note,
the it is pronouced "quick-sote."
DTP Internet Jumplist
Desk Top Publishing Internet Jumplist. Information about typography, art, fonts, etc.
Publication Services Home Page
Champaign Illinois' most dynamic typesetting company, and former employer of yours truely.
The Black Dot Group
Competitor, and occasional co-contractor. Ask me about magnito-optical disks some day.
Integre Technical Publishing.
Cadmus Journal Services
Journal typesetters/Printers.
Word Processors: Stupid and Inefficient
Incomplete critique of word processors.

Hypermedia

Elements of Hypermedia Design
Online, hypermedia version of "Elements of Hypermedia Design."
tug97-h.html
TeX4ht demonstration.
Aztec Corporation
Hyperwave Multimedia Presentation
Followup to Hyper-G?
AcroTeX
IBM techexplorer Hypermedia Browser : Overview
Displays a subset of LaTeX and MathML code.
LEO's Home Page

Macros

DraTeX and ProTeX
Drawing and literate programming packages written in TeX. DraTeX includes nice automata and tree packages.
Active TeX Home Page
An macro package using dot notation (like troff) and all active input characters.
MTeX: Macros for writing outlines and manuals.
PRAGMA welcome page
Passive TeX
Critical Edition Typesetting
Macros for typesetting critical editions (contain lots of commentary and notes on the main text) of books. Allows refereces to line numbers, pages, etc. Collected footnotes, and so on.
atscire Homepage
Screen Presentation Tools

HTML Documentation and Resources.

The World Wide Web Consortium (W3C)
World Wide Web Consortium's WWW page. Links to HTML standards, proposals and applications.
A Beginner's Guide to HTML
NCSA's introduction to HTML. Covers all the basics with links to more information.
HTML Quick Reference (2/14/95)
Quick reference, overview document for HTML. Enough to get you started.
HTML 2.0 Proposed Standard Materials
Proposed HTML 2.0 standard, September 1995.
ISO Latin 1 Character Entity Set.
Symbolic names for ISO Latin Characters.
HTML 4.0 Specification
Mathematical Markup Language (MathML)
Extensible Markup Language (XML)
XML documentation and information.
eXtensible Style Language (XSL)
User-extensible method for adding style to XML documents.
The SGML/XML Web Page
XML: Home
The WDVL: Languages for the World Wide Web
SGML, XML, XSL, etc. Documentation, tutorials, specifications, tools.
UR* and The Names and Addresses of WWW objects
URL addressing format.
Instantaneous Introduction to HTML Forms
How forms and CGI work with example scripts.
The Common Gateway Interface
A more detailed CGI reference.
Web Developer's Virtual Library: CGI
Links to various CGI programs.
World Wide Web Robots, Wanderers, and Spiders
Documentation on programs that traverse the Web looking for interesing documents.
VRML
Information about VRML servers, and VRML development.
alphaWorks | Formula
techexplorer plugin displays a subset of TeX and LaTeX input in a browser.
HTML Bad Style Page
How to write a good HTML document that is syntactically correct and will cause minimal problems for brousers.
The KPT Backgrounds Archive
An archive of backgrounds for Web pages.
Pattern Land!
Another archive of backgrounds.
TclXML
XML-CML
SGMLtools project
Instantaneous Introduction to CGI Scripts and HTML Forms 10/95
W3C XML Schema
kuro5hin.org || XSLT, Perl, Haskell, & a word on language design
Web Authoring System Haskell (WASH)

VRML

WEB3D CONSORTIUM
The VRML Repository
The 3D Object Repository

Composition Systems.

Tycho
An extensivle Itcl development environment that includes textual and graphical editors.
Lout Home Page
LyX - The Document Processor
Lyx is a UNIX-based LaTeX WYSIWYG system for TeX.
LyX v1.0.1
LynX for Windows.
Functional writers of PDF documents
The Last Homely Page
SourceForge: Project Info - LaTeX Helper - A Text Editor Utility
Download
http://www.math.uni.wroc.pl/~hebisch/tex/
activetex.org
Whizzytex
Active-DVI

Home Pages

Don Knuth's Home Page
Donald E. Knuth, Professor Emeritus of The Art of Computer Programming at Stanford University.
Leslie Lamport - Home Page
Lamport wrote LaTeX, but his page contains no TeX information. But, it does contain information about Temporal Logic of Action, which is a logic for concurrent systems.
Silvio Levy's bio
Another TeX hacker, and author of a very interesting film called ``Outside In.''
John Hobby's home page
Victor Eijkhout
Don Hosek's world of cheese
Nelson H. F. Beebe's Home Page
Victor Eijkhout's private home page

Suggested TeX and LaTeX print resources
TypoTex Home

Computers.

Programming Language links.

Programming Language Critiques
``Computer programmers create new languages all the time (often without even realizing it.) My hope is this collection of critiques will help raise the general quality of computer language design.'' --John W.F. McClain
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Language List
``The Language List is an attempt to enumerate all known programming languages. It is maintained by Bill Kinnersley and s periodically published on comp.lang.misc.''
CONTROL FLOW SEMANTICS
Book summary and table of contents.
Advanced Programming Languages
Programming language links, indexed by topic.
SEL-HPC Article Archive
London and South East Center for High Performance Computing, article archive: Functional programming, Compilers, high performance computing, ...
Review about Computational Reflection
Reflection on reflection in computer science/computer languages.
The Literate Programming FAQ
Literate Programming Library
Information about Donald Knuth's literate programming methods and tools.
Literate Programming Archive
Noweb home page
Noman Ramsey's noweb Literate programming system.
Literate Programming -- Propaganda and Tools
Python Language Home Page
Python is an interpreted, interactive, object oriented progamming language. It has modules, classes, exceptions, dynamic data types and dynamic typing. Versions are available on UNIX, Mac, OS/2, Windows, etc.
The Perl Institute
Practical Extraction and Report Language version 5.
The Icon Programming Language
General purpose programing language with many features for processing strings, associative arrays and other high level data structures. A shame it hasen't really caught on, its a very nice language any C programmer could pick up quickly.
SWIG (Simplified Wrapper and Interface Generator)
Connects programs written in C/C++ and Objective-C with a variety of scripting languages.
The Waterloo APL Archives
The APL archives and the J archives.
CHARITY - Home Page
A categorical programming language under development at Calgary.
DOS PL/I Compiler
Digital Research PL/1 for DOS.
SmallEiffel The GNU Eiffel Compiler
GNU Eiffel Compiler.
The Home Page for Object-Oriented Technology, TOOLS conferences and Eiffel
OOP language with persistent types. Available for Windows.
Oberon Home Page
Oberon is the name of both an operating system and a programming language developed by Niklaus Wirth and his students. It is highly object oriented, and utilizes a variety of portability mechanisms (including slim-binaries).
Little Small Talk ftp site.
Little Small Talk is a small version of small talk (available in source) for teaching OOP.
http://www.cincom.com/smalltalk/downloads.html
Cincom smalltalk. Non-commercial version available.
Dwight Hughes Website
Smalltalk-80 bluebook.
Cool
Berkely based OO teaching language.
Self Home Page
Self combines a pure, prototype-based object model with uniform access to state and behavior. Includes dynamic compiling references.
J Software
An APL inspired language.
Elephant 2000: A Programming Language Based on Speech Acts
John McCarthy, Stanford University, Proposal.
GNU Prolog - a Prolog Compiler
The Gnus prolog compiler, version 1.
Kernel Prolog - Open Source Project
Lightweight Prolog interpreter in Java w/ built in ``Fluent,'' a Prolog extension providing reflection and interoperatbility with external objects. Open source development.
The Twelf Project
Research project in logical frameworks, Elf constraint programming language, inductive theorem prover.
The Dylan Evangelists Home Page
Links and information about Dylan, an OO language with function-like properties and a type safe macro facility.
The Dylan Language Standard
The Dylan language standard.
Getting Started with Dylan
Dylan tutorial writen for those with C++ or other object experience.
Gwydion Dylan: Overview
CMU's implementation of Dylan, currently suitable for FreeBSD and Linux. Links to documentation, code examples, etc.
Harlequin Dylan
Harlequin Dylan and Dylan Resources.
Functional Objects, Inc.
New owners of Harlequin Dylan.
c2html
A C source to HTML-ized C source translator (written in Eli).
pC++/Sage++ Information Home Page
A portable parallel C++ for high performance computers.
Programming in C
C++ Critique 3rd Ed. (Oct.96) - Download Page and latest news
Instructions for downloading a C++ critique.
GNU-Win32 Related Projects
Native NT GNU gcc compiler; the mingw32 release.
Scriptics Corporation
TCL development tooks, extensions and support.
The Visualization Toolkit (vtk)
Modeling and visualization tools in TCL. Very nice.
TCL WWW Info
Tcl/TK FAQs and documentation.
Tcl/Tk on Windows Frequently-Asked Questions
SCO Visual Tcl
Santa Cruz Operation Tcl/Tk page. Includes tutorials, documentation, downloadable software, etc. SCO has been incorporating Tcl/Tk into their system admin tools.
ICE Tcl/Tk
TA compiler for Tcl. Claimed code speedups of 5 to 15 times for typical Tcl code.
Scotty
Tcl extensinos for network management. Supports SNMP, ICMP, HTTP, NTP, DNS and ``selected'' Sun RPCs.
GJ: Generic Java
A generics extension for Java.
Standard ML of New Jersey
Bell Labs/Lucent Technologies free distribution of Standard ML'97. Available in source and windows binaries. This was developed by a number of people including Andrew Appel, author of ``Modern Compiler Implementations in ML.''
Moscow ML Home Page
Light-weight implementation of standard ML, includes core language and simple module system. Available for a variety of platforms includen WinTel.
Home Page for the ML Kit
``The ML Kit with Regions is a compiler for the programming language Standard ML. The ML Kit with Regions is available in two variants: one that generates native code for the HP PA-RISC architecture and one that generates ANSI C code.'' Regions are used to control runtime space in a way predictable by the compiler, and not using garbage collection. This makes it easy to use SML to interface with low level languages such as C.
Harlequin MLWorks
Harlequin MLWorks and ML Resources, including online SML'97 Tutorial.
MLj 0.2
A Standard ML compiler which produces Java byte code, allowing binding with Java objects.
The Objective Caml language
Strongly-typed functional programing language based on ML, but supporting objects and classes as part of a module system.
SML/E Home Page
``... [A] modification of the SML/NJ compiler to help the programmer diagnose the reasons that certain types were inferred.''
mlsh
A library for writing shell scripts in Standard ML.
TheConstruct - homepage
GUI Builder writen in SML, which exports SML code.
ML::AbstractUI - homepage
Abstract user interface API for SML'97.
MetaML home page
ML Kit home page
MLton
NMLpromo
The Haskell Home Page.
Haskell is lazy a functional programing language supporting polymorphic types and modeules.
Hugs 98
Hugs 98 is a open source Haskell 98 interpreter (windows binaries available).
The Glasgow Haskell Compiler
An optimized compiler for Haskell 98. Compiles Haskell to native code or C.
HOpenGL: An OpenGL/GLUT binding for Haskell
OpenGL binding for the Glasgow Hackell Compiler.
O'Haskell
Object Haskell. Based on 1.3b and core.
The Scheme Programming Language
MIT Scheme page, including binaries and documentation.
DrScheme Home Page
``...[A] graphical environment for developming programs using the Scheme, MzScheme, and MrEd programming languages.''
OpenScheme programming environment
Open source scheme conforming (almost) to R5 standard.
Bigloo
Compiled scheme with extensions.
MzScheme Home Page
Clean - Home Page
General purpose, pure and lazy functional programing language for sequential, parallel and distributed applications. Available on a variety of platforms including Win95/NT, Linux and MacOS.
The Goedel Programming Language
Declarative, general-purpose logic programing language. Stongly typed with polymophism.
Home page of the Mercury project
Mercury is a logic/functional programming language designed to overcome limitations of logic programing languages by providing strong typing and compilation.
MONA/FIDO
``MONA is a logic-based programming language and a tool that translates programs, that is, formulas, to finite-state automata.''
lambda Prolog Home Page
Logic programing language with polymorphic types, modules, abstract data types and direct support for Lambda-terms.
Erlang
Concurrent, distributed impure-functional programming language. Seems similar to Java in it's goals, but has pattern matching and lists.
Sisal Language Project
``The objectives of the Sisal Langugae Project are to develope a high-performance functional compilers and runtime systems to simplify the process of writing scientific programs on parallel supercomputers...''
A Normaliser for pure and typed lambda-calculus
Tool for experimenting with pure Lambda-calculus. Well documented with examples, written in Objective Caml.
The FISh Homepage
`FISh is an array programming language that extends the expressive power of a functional language with efficient execution and static shape analysis.' FISh 1.6 is available in source, Solaris and Linux rpm format. It is written in Ocaml.
Wadler: Monads
Articles about Monads.
What the hell are Monads??
Information about POPLOG and POP-11.
``Poplog is a multipurpose software development environment providing incremental compilers for a number of interactive programming langages, notably: pop-11, prolog, common Lisp and Standard ML.''
PopForum: Index for "web"
Internet resource for people programming Pop-11.
INTERCAL Resource Page
Information about INTERCAL programing language.
Abstraction and Modularity in INTERCAL
In interesting essay on the history and influences of INTERCAL.
The INTERCAL Programming Language Revised Reference Manual
The INTERCAL programmers reference manual.
The Unlambda Programming Language
An obfuscatory functional programing language (pure lambda calculus w/out the lambda operator).
Graham Hutton: Selected Bibliography
Henrik Nilsson's Publications
nhc98 from York
The Mozart Programming System
Mark P Jones: Typing Haskell in Haskell
http://www.polyml.org/
Olivier Danvy's home page
High-Performance Erlang
Research Papers
Edison
http://lambda.weblogs.com/
elj.com
Q - Equational Programming Language
Synopsis of the Language JOY
Pliant - release 61
Usenet Language Wars: Why You Should Not Use Tcl
MLj 0.2
HaMLet
Bigloo homepage
The Evolution of a Haskell Programmer
The Evolution of A Programmer
SNOBOL4 and SPITBOL Information
Eclipse.org Main Page
A C99 Parser
SMLserver home page
Online Bibliography of Haskell Research
programming languages study
Sisal Lives!
Harmonia Research Project
app
Developing applications with Objective Caml
Cyclone
QISH introduction release 0.3 on Thu, 18 Apr 2002 19:50:10 +0200 prcsproj qish0.17
Decompilation of Binary Programs - dcc
Web Authoring System Haskell (WASH)
Bigloo homepage
Elephant 2000: A Programming Language Based on Speech Acts
The SML.NET compiler
The SML.NET compiler
The HTk home page.
Main page for the programming language JOY

Compilers.

Let's Build a Compiler
SoftFloat and FloatTest
Software implementation of IEEE floating point standard.
Compiler Internet Resource List
Compiler lists, links and references.
The comp.compilers newsgroup
Comp.compilers archive (13 years of posts).
The Decompilation Page
Techniques, History, Methods and Ethics of decompilation.
Upcoming Compiler and Parallel Computing Conferences
Parsing Techniques - A Practical Guide
compiler papers and books: compilers compilers.
Cross compilers, optimization techniques, compiler builders.
SEL-HPC Compilers & Interpreters Archive
Archive of compiler and interpreter papers.
Compilers and Compiler Generators
Online book: "Compilers and Compiler Genertors: An Introduction With C++," P.D. Terry.
Bjorn De Sutter: Current Research Topics
Linking References
References on linkers. Haven't been able to contact this site for awhile.
The alto Project Home Page: Link-time Code Optimization
A Post Link-time Code optimizer.
Morten M. Christensen's public archive
Thesis on exceptions in Object-Oriented Programming Languages.
Tools Interface Standards
ELF, OMF, etc. Acrobat format.
lcc, A Retargetable Compiler for ANSI C
A retargetable compiler for ANSI/ISO C. Writen in CWeb, a literate programing version of C and published as the book ``A Retargetable C Compiler'' by Prentice Hall.
LCC-Win32: a compiler system for Windows 95 - NT by Jacob Navia
Subroutine On Demand-service / BLAS 2 & 3
Converts dense programs into sparse programs.
TenDRA Home Page
Source distribution of OSSG C/C++ compiler.
Modern Compiler Implementation (Description)
UW Cecil/Vortex Project
Cecil and Vortex project pages. Cecil is a purely object-oriented language, while (this) Vortex is an optimizing compiler infrastructure for object-oriented and other high-level langugaes.
egcs project home page
``EGCS is a free software project to further the development of the GNU compilers using an open development environment.''
ASN.1 Information Site
Abstract Syntax Notation One, information, tools standards.
Snacc Homepage
Abstract Syntax Notation (ASN.1) to C or C++ compiler.
The Memory Management Reference
Memory management resources. FAQs, Articles, Bibliography.
A Memory Allocator
Dalloc, the memory allocator used in gcc libc 2.x, and a description of memory allocation routines.
Bounds checking extensions to GCC
GCC Patches for bounds checking.
Bounds Checking for C
A different bounds checking page by the same author.
Directory of /pub/garbage
Papers and information on Garbage Collectors and other dynamic memory allocation issues.
GC FAQ -- draft
Richard Jones' Garbage Collection Page
Jones's Garbage Collection book. Includes online bibliography, errata and links.
A garbage collector for C and C++
Implementation of conservative garbage collector for C++, with list of readings and links to related information.
Dynamic Storage Allocation Information Repository
Pointers to information about dynamic storage allocation, debugging and implementation.
Laurie Hendren (Publications)
Articles on GC, flow control, data dependencies, and so on.
Catalog of Compiler Construction Tools
Compiler tools, program analysis and optimzation, transformation tools and links to other sites.
ANTLR Website
A parser/lexer generator which automates most of the common parser tasks.
Practical Computer Language Recognition and Translation [DRAFT]
A guide for building source-to-source translators with ANTLR and Java. (Work in progress.)
PCCTS Resources and "Notes for New Users"
ANTLR 1.33, includes ready to run Win32 and Macintosh versions.
ACE: CoSy Compilation System
Compiler Compilation system.
PRECC - A PREttier Compiler-Compiler
Infinite lookahead compiler-compiler for context dependent grammars. Developed during and after ESPRIT II Redo Project.
TXL Home Page
Tree Transformation Language.
Eli
A translator tools package.
LALR (www.lalr.com)
LALR 5.0 Parser generator, reads LALR(k) grammars.
ULC Interpreter system.
Uniform Language Code interpreter builder ftp site.
The Elegant Homepage
Philips research Elegant compiler generator.
Programming Language Creator
Freeware (commercial with source) programming language construction kit.
Abstract Syntax Description Language
The Zephyr Abstract Syntax Description Lanuguage (ASDL) is a language designed to describe the tree-like data structures in compilers. Its main goal is to provide a method for compiler components written in different languages to interoperate. ASDL makes it easier for applications written in a variety of programming languages to communicate complex recursive data structures.
NorKen Technologies Home Page
The ProGrammar Developer's Toolkit: An Integrated suite of tools and utilities for building and debugging parsers. Beta 1.0, for Windows/C++.
Package: areas/nlp/parsing/tom/
A C implementation of the Tomita parsing algorithm.
BtYacc: BackTracking Yacc
Compiler Resources, Inc's Home Page.
Yacc++ and Language Objects Libary.
Languages for the Java VM
The Java Virtual Machine Specification
Jasmin
Sourceware to Work In the Java-TM Language
GNU Java Compiler.
Standard Template Library Programmer's Guide
SGI's Standard Template Library.
STLport
STLPort's Standard Template Library.
Standard C++ Library v3
Cygnus/Gnu standard C++ library.
SIP: Provably Safe Garbage Collection
Abstract Syntax Description Language
SableCC 2.13
Kimwitu++
RHUL Computer Science: Research: Languages & Architectures
Pascal Programming Page
The SLK Parser Generator
probits
Dotted Grammars
COCOM tool set (Russian Armoury)
DMS Software Reengineering Toolkit
Inxar - Information Exchange Architecture
probits
Interactive Software Development and Renovation Software Page
Harmonia Research Project
LCC-Win32: a compiler system for Windows 95 - NT by Jacob Navia
GOLD Parser v1.0 Homepage
www.passcript.com
GOLD Parser v1.0 Homepage

Compression, multimedia, video.

netvideo - TECHNOLOGY - QuickTime Video MPEG Movies
Information about video compression, MPEG, Quicktime.
Index to Multimedia Information Sources
Multimedia information links.
JPEG image compression: Frequently Asked Questions
Berkeley MPEG Research
Links to papers and MPEG tools.
Glimpse Working Group - University of Arizona, CS Dept.
Glimpse is a text indexing tool.

Cryptography links.

BELLCORE: Media Advisory: BELLCORE MEDIA ADVISORY
Bellcore smartcard anouncment.
Cryptography
Collection of cryptography articles.
Biham/Shamir Differential Fault Analysis of DES
Differencial Fault Analysis of DES.
Planar (broke SSL challange).
brute page
Quadralay Cryptography Archive
Pointers and information about cryptography, methods, machines, software and policy (good jump point).
A Note About Web Browsers & Privacy
Link to this page to see what your browser is telling http servers.
Ripem
FAQs about RIPEM, Riordan's Internet Privacy Enhanced Mail system.
DATA ENCRYPTION AND THE LAW(S) - RESULTS
Survey results from talk.politics.crypto asking about local cyptographic law and policy.
export-a-crypto-system sig
A 4 line PERL program implementing RSA. You are requested to use this in your e-mail signature in violation of the ITAR regulations.
WEPIN Store Directory
``The WEPIN Store is a unique Freedom Technology resource on the World Wide Web.'' A very libertarian bent business.
The Applied Cryptography Case
Cronolgoy of the attempt to get an export license for the disk accompanying ``Applied Cryptography.''
National Cryptologic Museum
The NSA's (that's right, the National Security Agency's) page about the National Cryptographic Museum. Includes information about museum hours, and some sample exhibits.
A. G. Reinhold's Papers
A collection of papers by A.G. Reinhold about PGP passphase servyes, does P==NP and other crytography related topics.
FSA Corp. Home Page
Corporate Security software, products and information.
Cryptography Research Home Page.
Cryptography Archives, papers and links.
Ross Anderson's Home Page
Home page, with research interests on cryptographic proposals, reliability of security systems, etc.
Cryptology Page
Information about cryptography, programs, etc.
Pretty Good Privacy, Inc. Home Page
Phil Zimmerman's company. Includes PGPMail, Cookie Cutter and PGPPhone.
PGP Public Key Server
The International PGP Home Page
RSA Data Security, Inc.'s Home Page
RSA are the original patent holders of the RSA encryption algorithm, and license a number of cryptographic products. Their page includes cryptographic information and policy.
Pretty Good Privacy
Pretty Good Privacy. PGP is a freely-redistributable public key cryptosystem that uses RSA. This page includes information about PGP legal issues and software.
ViaCrypt
Markets PGP products for DOS, Windows and Unix.
WinPGP(tm) Home Page
Sharware Windows and Windows95 PGP.
PGPCrack
Program using a dictionary of passphrases to break conventional pgp encryption.
IDEA Licencing.
Information about licensing the International Data Encryption Algorithm.
SSLeay: SSLeay and SSLapps FAQ
``Free'' version of SSL, requires RCS license.

Software Development.
Software maintenance, engineering, risks and so on.

Westergaard Year 2000
Portland Pattern Repository
Patterns Home Page
The Year 2000 Information Center
Information on the comming millenium, and the effect this may have on computers.
Project 2000 Home Page
RISKS-LIST: RISKS-FORUM Digest
REDO project archive
Information about ESPRIT II REDO project (1989--1992) concerned with software maintenance and reverse engineering.
Software Reengineering Web Home Page
Information about Internet software maintenance and Re-engineering.
The World Wide Web Virtual Library: Formal Methods
Software Maintenance
Software maintenance abstracts.
The Wisconsin Program-Slicing Tool, Version 1.0
Capital District Y2K User's Group
Meeting anouncements.
The Open Source Page
Open access to source code to improve programs.
The Free Software Bazaar
Open contracts to write freely distributed software.
Hot Path Browser
A GUI for analyzing paths in programs.
Bloatbusters: We bust apps that suck
Front Page
Emacs: The Sacred Editor
PRC-Tools: GCC for Palm OS
Palm OS Programmer's FAQ: PRC-Tools Tutorial

Operating Systems.

The PDP-11 Unix Preservation Society
The PDD-11 Unix Preservation Society. Single user license information, source gathering and release (to license holders) and PDP-11 emulators.
The Unix Heritage Society
The UNIX Heritage Society. History, Lore, Books.
Lucent Technologies' Inferno
The Inferno OS, a networked operating system.
Microsoft Windows NT Server 4.0 versus UNIX
AIX Library Server
Welcome to the Linux Home Page
Linux is a free implementation of System V UNIX.
The NetBSD Project
NetBSD is a port of 4.4BSD Lite. It is a full implementation of Berkeley Unix.
OpenBSD
FreeBSD Inc.
BSDI - Welcome to Berkeley Software Design, Inc.
CYNJUT World Wide Web Page
NetBSD FAQs.
Plan 9 from Bell Labs
Plan 9 is ATT's distributed OS. It is not a version of UNIX, it is a new operating system redesigned from the ground up which incorporates many very interesting ideas.
Linux on the OSF MK
Windows95.com - The Windows 95 Internet Headquarters
Windows 95 home page. Includes 32-bit shareware, tutorials and discussion forums.
Microsoft Developer Curriculum Project
Windows 95 Annoyances
Annoying features of Windows 95 and what you can do about them.
Windows NT Utilities
GNU-Win32 Related Projects
Native NT GNU untilities and gcc compiler. The mingw32 release.
Heimasíða Alfreðs
Netscape, Windows and other shareware. Includes Imp for W95.
The gnu-win32 Project Page
GNU-win32 home page. This is a project to port GNU software to the win32 (Windows 94, Windows NT) architecture. Emphasis on programing and porting tools.
Perl for Win32
Virtually UN*X!
Another project to port UNIX utilities to Windows 95. Includes links to other GNU-Windows 95 porting projects.
GNU Emacs for Windows NT and Windows 95
GNU emacs ports to Windows 95 and Windows NT. Available in sourc and binary distributions.
Directory of /pub/gnu-win32
GNU Hurd information
Hurd is the GNU operating system.
Welcome to SCO!
Santa Cruz Operations.
NIS' Unix Industry Home Page
National Information Systems UNIX resource page.
Microsoft® Windows® NT®
Internet tools for Windows NT.
Solaris 2 FAQ
WinDD Description
An NT based PC Server. Operates much like X, but with PC applications.
Windows95 Annoyances
Customization and repair tips for W95.
The World of Newton
GNU ISPELL V4.0 - Table of Contents
GNU ispell for W95 and ntemacs.
Oberon Home Page
Oberon is the name of both an operating system and a programming language developed by Niklaus Wirth and his students. It is highly object oriented, and utilizes a variety of portability mechanisms (including slim-binaries).
ETH Zrich / Oberon Home Page
Project Oberon is both an operating system and a language. It is available for single user workstations, and worth checking out.
Multics
FunOS
A (mostly) functional-to-the-metal operating system.
MenuetOS.org
The NewOS Operating System

X Windows

X Consortium welcome document
The X Consortium developes the X Window system. It is a not for profit organization formed in 1993 to succeed MIT's X Consortium.
xpdf: a PDF viewer for X
A pdf viewer. Testing it out for use with the library reserver material system.
TriTeal Corporation
TriTeal is developing TED (TriReal Enterprise Desktop), which is an X/Open certified CDE (Common Desktop Environment) desktop. CDE will bring the integrated functionality of the Macintosh (or even Windows 95) desktop to UNIX.
XFree86(TM): Home Page
Ports of the X Windows system for x86 architectures.
Ical
X based calendar program writen with Tk libraries. Allows a crude form of networked calandar if you have a shared filesystem.

Computer and Network Security.
Sponsor of Dan Farmer's computer security survey.

Welcome to Spreadsheet Research
SpreadSheet Research, seeking information about the accuracy and integrity of the spreadsheets that make business decisions. Not too encouraging.
Welcome to RiskWorld
Information Warfare and INFOSEC
Securing 5% of the Internet against Wiretapping in 1996
Virus Bulletin Home Page
On line publication for computer virus prevention, recognitino and removal. Comparative reviews of virus products, virus bulletins and general information.
Computer and Network Security Reference Index
Contains links to information sources on Network and Computer Security. Good starting point for finding security tools.
COAST Homepage
Purdue Computer Operations, Audit, and Security Technology. Projects, papers, faculty, news and other links.
CIAC Security Web Site
U.S. Department of Energy's Computer Incident Advisory Capability. CIAC provides computer security services to employees and contractors of the Department of Energy.
SANS HomePage
System and Network Security, USENIX anual conference and sub committee.
Rutgers WWW-Security Index page
Indexes information on security for the World Wide Web, HTTP, HTML and related software/protocols.
NIST Computer Security Resource Clearinghouse
National Institute of Standards and Technology's Computer Security Resourse Clearinghouse. Publications, programs, articles w/ a focus on crisis response information.
NASA/MOD AIS Security Engineering Team
NASA Automated Information Systems Security Engineering Team. Provides ``Mission Operations Directorate'' with information pertaining to security, and threats against MOD from hostile connections.
Forum of Incident Response and Security Teams
Forum of Incident Response and Security Teams. FIRST brings together a variety of computer security incidence response teams to foster cooperation and coordination in incidence prevention....
Archive of security tools.
FIRST archive of Network Security Tools.
Bugtraq Archives by thread
This is a partial archive of Bugtraq, a full-disclosure UNIX security mailing list.
Firewalls FAQ.
The firewall FAQ as stored on Ohio State's FAQ list.
Info About <i>SATAN</i> (16-Apr-1995)
System Administration Tool for Analyzing Networks.
Spaf's Hotlist: Computer Security, Law & Privacy
Eugene Spafford's security and privacy hotlist. Spafford is co-author of Practical Unix Security.
CERT Coordination Center
Computer Emergency Response Team Coordination Center. Advisories, FAQs, FTP archives.
CERT-UU Computer Emergency Response Team Home Page
University of Utrecht Computer Emergency Response Team. Departmental information and pointers to other CERT-style organizations.
Computer Security Research Laboratory at UC Davis
Computer security research at the University of California, Davis. More theoretical.
Cliff Stoll's Performance Art Theater and Networking Security Revue
Clifford Stoll, author of ``The Cocco Egg.'' Offbeat information and informal dialogs about computers, security, Decaf coffee, etc.
Trusted Information Systems
Computer and communications security consultants. Information about products and services, and general security information pointers.
The 2600 Magazine Home Page
2600 is a ``Hacker'' magazine. It frequently publishes (often accurate) information about how to hack systems. Web page includes information and sample articles (with better graphics and layout then the actual magazine).
Basic Flaws in Internet Security and Commerce
Information about a well known, but recently hyped Internet security flaw. Explains how NFS trafic can be hijacked by an attacker.
DigiCrime, Inc.
``A full service criminal computer hacking organization.'' Information about the law and computer security problems. Good information, somewhat tonge-in-cheek.
Point Communications Corp.
Links to computers, security, privacy sites. Well organized.
CFP96@MIT
Computers, Freedom and Privacy 96, Cambridge MA.
Securing NIS
Information from Auburn University College of Engineering about securing NIS networks.
TAKEDOWN
The capture of Kevin Mitnick (contains more then just an add for the book).
The Cancelmoose[tm] Home Page
Information about the usenet Cancel Moose. For those who are living in a metal box, the Cancel Moose is a person/organization/entity that concels usenet spams.
Things that Go Bump in the Net
Glossary of computer threats.
Ssh (Secure Shell) FAQ - Frequently asked questions
Secure SHell is a way to setup an encrypted and authenticated channel between two machines. It is intended to replace rlogin, rsh and rcp. SSH also provides secure X connections and secure forwarding of arbitrary TCP connections.
Somarsoft - Windows NT Security Issues
NT Security issues and suggestions on what to do.
Computer Virus Myths home page
Interesting stories about computer virus myths.
Safe Internet Programming: Publications
Article on spoofing web pages.
Resources GEEK-GIRL provides
Jennifer Myers' (a.k.a Geek Girl) resources page, including bugtrack archives.
Packet: A good idea, every day.
Simpson Garfinkel's packet page.
Mini-FAQ: NT Password Attack & defences
Net Jerk: Main Index
UCB's netjerk page. Humorous explainatino of net jerks with links to policies.
Paul E. Dunne - Teaching
Course notes on parallel algorithms.
Outreach/Infragard
Sarah Flannery on Cayley-Purser: An Investigation of a New Algorithm vs. the RSA
antivirus online home page.
http://staff.washington.edu/dittrich/misc/ssh-analysis.txt
TWiki . IPCop . WebHome
SmoothWall

Computer Ethics, privacy, copyright.

Netiquette Home Page
A guide to Netiquette and good netizenship.
10 Big Myths about copyright explained
University of Delaware
Description of ECCE project at the University of Deleware.
CAUSE homepage
Issues related to managing campus computer systems.
Responsible Computing at the University of Delaware
Description of the University of Delaware's responsible computing program. Similar to a driving test.
The Copyright WebSite
Information about copyright law as it applies to computers and Web sites.
The Law Firm of Pepper & Corazzini L.L.P. Home Page
Law firm specializing in communications, telecommunications and internet services law.
State of Oregon vs Randal Schwartz computer security case
Information about the trial of Randal Schwartz. Focus is on facts of the case, more considered opinions, and advise for system administrators and consultants.
CyberLaw (tm) & CyberLex (tm)
Educational service supported by attorneys across the US.
Micron Internet Services Web.LaunchPad!--Legal Services and Resources
Micron Internet Services electronic legal information page.
The Home of the Digital Future Coalition
``The Digital Future Coalition was formed in the fall of 1995 to work towards a thorough, broad and balanced Cogressional debate of U.S. copyright law and policy.''
Negativworldwidewebland
Offbeat (no pun intended) site discussing copyright issues.
Families Against Internet Censorship
A coalition of families that oppose government censorship of the Internet. Links to memeber families and information on how to join. (I guess that for every 10 families that want the government to ``do something'' there's one that's willing to risk raising their own kids.)
Welcome to the Software Publishers Association
Software Publishers Association Home Page.
SPA Anti-Piracy Home Page
Software Publishers Association's Anti-Piracy Page.
STO's Internet Patent Search System
Source Translation & Optimization's Internet Patent Search System.
Electronic Privacy Information Center Home Page
WinSock Remailer Home Page
A Type 1 Cypherpunk Remailer that runs on any PC with Windows 3.1.
National Fraud Information Center 1-800-876-7060
Information on reporting telemarketing fraud and suspicious activity on the internet, and information on protecting yourself from fraud.
Harvard Journal of Law & Technology
WIPO home page
World Intellectual Property Organization.
Computer Policy & Law
Computer policy statements from hundreds of institutions and information about computer law.
The Future Does Not Compute
Computers, Freedom and Privacy
Computers, Freedom and Privacy is a conference held anually since 1991. It includes representatives from law enforcement, government, business, academia and the hacking communities who all gather together and discuss the issues on a high level. Most unusual in todays world of Rush Limbaugh style yelling matches.
Privacy, Inc.
Includes the Internet Background Check, so you can check for information about yourself on the internet (requires $29.95 anual membership fee).
The Privacy Thieves
August 4, 1997 Time cover story on privacy in the electronic age.
Privacy Rights Clearinghouse
Consumer information on protecting privacy.
Lex Electronica (fr.temp) vol. 3 no 1 - Page d'accueil et Table des matières
PRIVACY Forum
Privacy Forum, sponsored by the ACM.
PRIVACY Forum Media Information
Media contact page for Privacy Forum.
Cyberschool -- Berkman Center for Internet and Society
Online course on privacy in cyberspace. Notes available to all, but class (print 1998) enrollment is closed.
The Voters Telecommunications Watch
The Center for Democracy and Technology
l a w g i r l | w e l c o m e
Information about copyright and trademark on the Internet. Many good copyright and trademark links.
Quick Guide to WIPO Domain Name Proposal.
A critique of the proposed WIPO Domain Name changes.
Legal Department @ AOL
PFIR: "People For Internet Responsibility"
GrandTheft.Com
Identity theft. Information and how to recover.
EDUCAUSE Home Page
PrivacyPlace

Vendors.

The IBM home page
Letters to investors, press releases, product announcements and spiffy projects.
IBM RISC System/6000 Products & Services
RS6k products, systems, software, etc.
IBM Almaden Web Farm
Index of IBM pages (various divisions).
PowerPC News home page
PowerPC news, a newsletter about the PowerPC (all varieties).
Welcome to Sun Microsystems
SunSolve ONLINE
SunSolve Online. Documents, patches, patch descriptions, symptom-and-resolution database.
Coetanian Systems
Consulting services and developes utilities for the Windows environment.
Adobe Systems Incorporated Home Page
Microsoft Corporation World-Wide-Web Server
MSN Welcomes You To The Internet!
Apple Computer
Pacific Bell Web HomePage
Welcome to Xinet
Developer of UNIX to Macintosh ``connectivity software.''
Dr Solomon's On-Line
Developers of Dr. Solomon's Anti-Virus software.
GNU's Not Unix!
Storage Computer Presents
High performance falt-tolerant SCSI backup systems.
Diamond Multimedia Systems, Inc.
Multimedia products, esp. fast graphics cards for PCs.
dell.com
Welcome to Intel
Intuit Home Page
Mortice Kern Systems Inc. - Home page
Quarterdeck Corporation Home Page
Quarterdeck home page. Includes discount shopping for QD products.
Welcome to Toasted Berkeley Systems Online
Makers of "You Don't Know Jack."
Iomega Home Page
Iomega Zip, Bernoulli and Jaz information.
Cheyenne Software, Inc.
Market a number of PC, Unix, NT and OS/2 products including a standalone W95 backup program.

AFS and Kerberos.

Pointers to Authentication Info
Kerberos Reference Page
AFS Reference Page
AFS Frequently Asked Questions
Transarc's Frequently Asked Questions.
Kerberos Users' Frequently Asked Questions 1.14
A non hypertext version.
Kerberos FAQ
A
Transarc Home Page
SAMBA Web Pages
Server suite allowing clients access to Unix filespace via the SMB (Session Message Block) protocol. Understands AFS authentication (latest Windows 95 includes a Samba specific patch).
netatalk
AppleTalk Protocol Suite for UNIX. Provides good access to UNIX filesystem.
Locus Computing Corporation HomePage
Developers of PCI and PCE for connecting PCs to UNIX and AFS.
S/Ident source code
Minotaur Project
Kerberized Web access.
Cerberus-main
Java-Kerberos Site
Opengroup Java-Kerberos project with demo applet.
The Kerberos Network Authentication Service
ND_GINA - An alternative authentication method for Windows NT
IntelliSoft Corp. DCE/Snare Home Page
The arla project.
A free AFS cache client for OpenBSD, Linux, etc.
Coda developments
A free descendent of AFS.
Security on the Web (and Kerberos)
AFS Authentication via web interface, U-M implementation.

DCE/DFS.

OSF DCE User & Developer Conference
OSF Distributed Computing Environment conference.
Transarc Home Page
DCE Documentation
IntelliSoft Corp. Home Page
DCE/Snare: Intercepts low level TCP/IP calls and DCE authenticates/authorizes them.
Free software
DCE and DFS Perl modules.
nt_dfs.htm

Mail, etc.
Including mail abuse and spamming.

Clients

Pegasus Mail by David Harris
Pegasus mail information, FAQ, software, etc.
EUDORA
Eudora mail clients and qpop server software.
Eudora FAQs & Links
QUALCOMM Incorporated
Marketers of Eudora and distributers of popper.
The Mutt E-Mail Client
Fetchmail Home Page
Fetches mail using POP3/KPOP/IMAP and forwards it using SMTP.
Directory of /eudora/servers/unix/popper
Cyrus IMAP Server v1.5.14 Home Page
The IMAP Connection
Internet Message Access Protocol.
UW IMAP Information Center
Source, questions and installation of UW IMAP.
LDAP Modifications to UofW IMAP
Pine Information Center
Information about Pine, installation, obtaining source, etc.
SSH Tunnelling
Instructions on tunnelling email through SSH.

Servers

Sendmail Home Page
The Free Version of sendmail.
Sendmail, Inc. provides Internet proven email server software based on Open Source sendmail, as well as support, services and simplified sendmail products for email system administrators at ISPs and corporations.">
The commercial version of sendmail.
Internet Mail Consortium
Directory of /ucb/src/sendmail
Berkeley sendmail distribution.
comp.mail.sendmail FAQ
HTML-ized sendmail FAQ.
Links to e-mail related sources
Hints for configuration, what's new for 8.8.x, and ruleset examples.
What's new in sendmail 8.8?
Description of new features of sendmail 8.8.x
Henry's sendmail Page!
A collection of information about sendmail. Source, bug lists, vulnerabilities, FAQs, etc.
DCE-ized qpopper 2.3
Patches to popper 2.3 for DCE authentication.
WorldMail Beta Program
Qualcomm's mail NT based SMTP server.
Andrew Starr's Eudora Page
Unofficial Eudora page maintained by a Eudora user.
Pegasus Mail by David Harris
Pegasus mail information, FAQ, software, etc.
Hummingbird Ships High-Performance Windows NT Mail Server for Open System Enterprise Messaging
Press release of hummingbird's NT mail server.
Project Cyrus Home Page
The Carnegie Mellon Enterprise Electronic Mail Project.
Simeon
E-mail system, supports IMAP and Kerberos.
The Sleepycat Software Home Page
Qpopper Home Page
FAQ for Qpopper
Index of /computer/stunnel
Learning SSL the Hard Way
exim Internet Mailer
Home Page of Andrzej Filip
Smart Table (sendmail)

List Servers

Mustang Online - Products - Web Essentials - ListCaster
Software.com, Inc. Home Page
Developers of post.office, a sendmail replacement.
Software Tools
CREN's listproc.
ListProc Site Manager FAQ
ListProc - Technical Support
Sympa - mailing list manager

Directory Services.

CIFS Home Page (Temporary)
Common Internet File System, formerly known as SMB (Server Message Block).
Lightweight Directory Access Protocol
Lightweight, TCP/IP version of OSI's X.500 Directory Access Protocol. Developed at the University of Michigan and available for a variety of UNIX platforms.
Lightweight Directory Access Protocol - Clients
Clients for LDAP, PC, Unix, Windows, etc.
Yahoo! - Computers and Internet:Internet:Directory Services
UW IMAP Information Center
Internet Message Access Protocol resources at the University of Washington.
The IMAP Connection
Internet Message Access Protocol.
phf prober perl script
Script to probe sites attempting to expoit a ph bug.

Spam and anti-virus

Join the Fight Against Spam!
The Netizen's Guide to Spam, Abuse, and Internet Advertising
Anti-Spam Provisions in Sendmail 8.8
Using check_* in sendmail 8.8
Best collection of information on using the check_* rules of sendmail 8.8.x.
Some other examples of using check_* in sendmail 8.8
Directory of /pub/antispam
More antispam examples, including addressing the legitimate forwarding problem.
History of a dispute with a spammer.
Directory of /pub/abuse
Lists of spammers.
Abuse.net: Home Page
Fight Spam!
Sendmail patch and relay check rules.
Fight Spam on the Internet!
No spam!
Spam Considered Harmful
What is spam, what's in spam and what does spam cost society.
Texans Sue Spammer
A Texas ISP is suing a spammer. History of case and why they're doing it.
Spamcan: A Sendmail patch to capture spam by regular expression
Sendmail patch to capture spam via regular expressions.
Welcome To IEMMC
Internet EMail Marketing Council. ``IEMMC was formed in May of 1997 as a trade association dedicated to promoting the responsible use of direct email as a marketing tool on the Internet.
GARBAGE IN: EMERGING MEDIA AND REGULATION OF - Title
Applicability of existing law to junk email.
The AntiSpam Mailing List's SPAM DRIVE
Pledges to buy cans of Spam if Hormel pursues their case agains CyberPromo.
ZDNet Software Library - Anti-Spam Tools
Mail Blocking (SMTP e-mail) at VORTEX.COM
Vortex's email block list and anti-UBE info.
Mail Abuse Prevention System
Sendmail ruleset which uses DNS to reject mail from machines allowing open relays, or from which spam has been sent. This is the grand-daddy of the ``technical self help'' sites.
MAPS TSI: Anti-Relay: How Can I Fix the Problem?
Instructions on disabling relays for a wide selection of mail servers.
ORBS
Another list of sites allowing relaying or spam, blocked by DNS zone transfers. Additional useful information on testing relays and other technical spam solutions.
Internet Mail Relay Service Survey
IMRSS scans for open relays taking technical self-help to a new, and dare I say disturbing, level.
Radparker Relay Spam Stopper
RRSS is a list of email relays that have been used to send bulk unsolicited email, a.k.a., ``spam.'' The primary difference between RRSS and ORBS is that RSS lists only machines that have been used to send spam. Because the relays have already been discovered by spammers, the complete list is available to anybody.
Don't Spew: A Set of Guidelines for Mass Unsolicited Mailings and Postings (spam).
ORBZ
ORBL.org - Open Relay Black List
Open Relay Database - Welcome to the ORDB.org - the Open Relay DataBase.
The Open Relay Block Zone
Stop ORBS .org
Enhancing E-Mail Security With Procmail
Tools and filters for catching spam and maleware using procmail.
AMaViS - A Mail Virus Scanner
Virus scanner for sendmail under UNIX.
Sophos Home Page
! Content Technologies Homepage - Network Security through content control - MIMEsweeper!
Legal Department @ AOL
Trend Micro, Incorporated - Products - InterScan VirusWall
SpamCon Foundation
MailScanner
SpamAssassin: Welcome to SpamAssassin
Roaring Penguin Software (MIMEDefang)
Vipul's Razor -- A collaborative spam filtering network.
SourceForge: Project Info - AMaViS - A Mail Virus Scanner
rdns.m4: Rejecting email when no reverse lookup.
Neil Rickert's configuration hacks
Welcome to Relays.OsiruSoft.com

Web Mail

The Apache Software Foundation
Webmail and Email Solutions by EMUmail
FastCGI Home
SpeedyCGI
Apache module mod_fastcgi

News.

Dave Barr's INN page
MG's House of News Knowledge
Josnet Internetworking Netpage
Contains some how-to's.
IETF NNTP Mailing List by thread
Internet Engineering Task Force, Networked News Transport Protocol mailing list.
Network News Transport Protocol
NNTP Usenet News Server for Windows NT
NetManage Products: IntraNet Server v5.1 - Overview
INN
Internet Software Consortium's INN page.
Usenet II
News Groups.
UUNET's very extensive list of newsgroups.
Introducing Anawave Gravity
USENET Moderators Archive
Information about, and tools for moderators of usenet groups.
Usenet Info Center Launch Pad
Information for beginning and already begun usenet administrators.
The Cancelmoose[tm] Home Page

Internet Resources.

Jargon File Resources
The Internet FAQ Consortium
FAQs online.
The Collection of Computer Science Bibliographies
Internet Request For Comments (RFC)
Hypertext list of Hypertex'ed RFC (Request For Comments).
List of USENET FAQs
HTML-ized usenet FAQ's.
FAQs by Newsgroup
A better (faster) list of Usenet FAQs.
Ask Dr. Internet
IBM Redbooks.
IBM online documentation and howto manuals.
SEL-HPC Article Archive
Archive of about 10k computer articles. Topics include Functional programming, Databases, Compilers and interpreters, and so on.
Know your sysadmin!
Netscape SSLRef
Reference document for Netscape Communications secure sockets.
Secure HyperText Transfer Protocol.
Emacs Archives
Chet Osborn's list of emacs links.
GRAFICA Obscura
NPAC Oracle 7 Database Server
Introduction to Unix System Administration
Upside Home Page
Daily Internet technology magazine.
Extensions to FTP (ftpext) Charter
A New Twist on Teaching System Administration
ResearchIndex [NEC Research Institute; Steve Lawrence, Kurt Bollacker, Lee Giles]

Misc. Computers.

Computing Dictionary
THE List of Free Computer-Related Publications
Dan Kegel's ISDN Page
Naval Research Lab ATM Page.
As We May Think
Vannevar Bush's article, published in the July 1945 issue of The Atlantic Monthly, in which he first introduces the idea of hypertext.
Sel Discipline:
Towards better News discussions.
Futurenet : .net - Canter and Siegel speak...
``Europe's leading electronic magazine.''
net.legends FAQ
The Legends and Kooks Frequently Asked Questions files.
OSU/CIS Web Services
Ohio State University (oldest Web site on the internet) Web Services page. Includes Usenet FAQ,
Man pages, RFCs, and more.
Welcome to ZD Net
Ziff Davis publishers of PCWeek, PC Computing, and son on.
Net's -R- US Home Page
Dr. Dra Home Page. Networking issues, ISDN, links.
Unix Guru Universe
The official home page for Unix system administrators. Tutorials, networking, security, conferences, etc.
Unix System Administration Course - Summer 97
Sys-admin course at Oregon State University. Outline, assignments, class mailing lists, etc.
Cafe au Lys
Lily client for Netscape.
lily Development Group
Tclily
Tcl/Tk version of lily (runs on W95, WNT with win41.exe).
Directory of /pub/lily/Tclily
Early alpha release of tclily.
Cornell University's CU-SeeMe Page
Computer-folklore books
Like it says, a list of books about computer folklore. Taken from the computer folklore FAQ.
Virtual Computer Library: Book Reviews
Reviews of computer books.
alt.folklore.computers FAQ
Welcome to Triumph of the Nerds!
Based on Robert X. Cringely's ``Accidental Empires.''
Rochlin: Trapped in the Net - Princeton University Press
Computer History
Articles on computer history: DEC PDP-6 price list, 1964; IBM7094 sings Bicycle Built for Two; Computing history associateion of California.
The Jefferson Computer Museum
Includes information on the UCSD p-system, and ASCII art.

Supercomputing.

Pittsburgh Supercomputing Center Home Page
London & South East High Performance Computing Centre
NCSA Home Page
National Center for Supercomputing Applications. University of Illinois at Urbana-Champaign.
List of the world's most powerful computing sites

Organizations.

TeX Information at UCC.
Peter Flynn's collection of TeX information at University of Cork.
ACM - The First Society in Computing
IEEE Computer Society
TCSE: Technical Council on Software Engineering
USENIX
IETF Home Page
Electronic Frontier Foundation
The Center for Democracy and Technology
OSF Home Page
Open Software Foundation, vendor consortium for UNIX operating system standards and development.
X/Open - The World's Standard for Open Systems.
Vendors consortium for an open UNIX desktop standard.
OMG Home Page
Object Magagement Group.
The NYSERNet Web
Logic In Computer Science '95
CSC's SPYBBS ``Too Many Secrets''
XIWT Home Page
Industry coalition committed to defining the architecture and technical requirements for a powerful, sustainable national information infrastructure.
Internet Software Consortium
Maintainers of BIND and INN.
EDUCOM: Transforming Education Through Information Technology
``Educom is a nonprofit consortium of higher education institutions that facilitates the introduction, and access to and magagement of information resources in teaching, learning, scholarship, and research.''
TAP: The Ada Project
The Ada Project, Women in Computing.

Home Pages.

A.K. Dewdney's Home Page
Clifford A. Pickover's Home Page
G J Chaitin Home Page
Steve Mann; Personal Web Page
The future in personal computing.
Dennis Ritchie
Don Knuth's Home Page
Donald E. Knuth, Professor Emeritus of The Art of Computer Programming at Stanford University.
Brian Kernighan
Spaf's Homepage
Norman Ramsey
Leslie Lamport - Home Page
Douglas Hofstadter
Personal page for Marvin Minsky
The SOM Archive Home Page
John K. Ousterhout
Developer of Tcl/tk.
Sherry Turkle
Jim Blinn Home Page
Luca Cardelli
Eric Raymond's Home Page
Andrew Appel's Home Page
Author of ``Modern Compiler Implementation in {Java,ML,C}'' (a.k.a., the ``tiger'' book). Member of SML/NJ programming team.
John McCarthy
Luca Cardelli
Simon Peyton Jones
Norman Margolus
Stan Kelly-Bootle
Stroustrup: Bjarne's Homepage
Luca Cardelli
Phil Agre's Home Page

Emoticoms

The UnOfficial Smiley FAQ - updated: 06 May 1996
helwig's smiley dictionary
Smiley Dictionary
Looooooot Of Smileys And Other Symbols
Daniel's smiley list.
Joz's Smiley NetSpace :)
The unofficial Smiley dictionary
Colorful and well decorated.
List of Smiley Marks
smileys - the smiley server
Live smileys, smileys in print, etc.

Space and Astronomy Links.

Life on Mars?

Mars Pathfinder Mission - Home Page
Search for Past Life on Mars:
August 16th, 1996 Science Article and related links.
Ancient Life on Mars?
Review article from same issue of Science.
Life on Mars
Federation of American Scientists Mars Page. Contains many links related to Mars, the Meteorite and the Origins of Life.
Viking Project Information
Orbital and lander data from the Viking mission to Mars.
Life on Mars? The Viking Labeled Release Experiment
Articles by Dr. Gilbert V. Levin, principle investigator of the Viking Lander Labeled Release Experiment.
Mars Atlas home page
USGS atlas of Viking images.
Mars Meteorite Home Page (JPL)
JPL page describing each of the known Martian Meteorites. Gives history and photos.
SNC Meteorites
Information about the SNC (Shergottite, Nakhlite and Chassigny) meteorites of which ALH84001 is a member. Hyperlinked to related information.
Storming the Heavens
Sneek preview of a soon to be published book speculating on life in the Universe.
Mars
Profile of the Planet mars (from the jpl planets page).
Edgar Rice Burroughs
``A Princess of Mars'' and other stories by Edgar Rice Burroughs.
H G Wells - The War of the Worlds
H.G. Wells story of Martian invasion.
War of the Worlds
The Musical version of ``The War of the Worlds.'' Available on CD.
The Martian Consulate.
Register your land claim today!

SETI

SETI Institute Home Page
Information about SETI, the Institute, current projects, educational programs.
The SETI League: Searching for Extra-Terrestrial Intelligence
SETI@home
Networked computer search for extraterrestrial signals in Project SERENDIP data.
The Contact Project - Home Page
Online SETI demonstration.
The Drake Equation
Estimating the probability of extra-terrestrial life.
Contact, the Movie
Looks aren't everything - or are they?
Using Artificial Intelligence to identify life.

Astronomy.

CSA Space Science Program
Canadian Space Agency. Includes images from the International VLDI Space Observatory Project (VSOP).
SEDS Messier Database
Students for the Exploratino and Development of Space Messier page. Images of Messier objects and links to other Messier and deep sky sites. Very good.
Space Telescope Electronic Information Service
Hubble space telescope home page.
MSU Physics-Astronomy Home Page
Michigan State University Physics and Astronomy. Home of the Abrams Planetarium---publishers of the Abraham's Sky Calander.
SKYWATCHER'S DIARY: June 1995
This month's skywatch diary.
MWO Online Stargazer Map
Mount Wilson Observatory skygazer Map (just fill in the form).
The Web Nebulae
Bitmaps of popular nebulas.
Chiron Perihelion Campaign BBS and Archives.
Direcory of information on Chiron and its 1996 Perihelion.
Astronomy
USGS astronomy servers list.
Views of the Solar System.
Views of the Solar System, an educational tour of the solar system.
Views Of The Solar System
Images and information about the Sun, planets, moons, asteroids, comets and meteoroids found within the solar system.
Welcome to SkyView
Virtual observatory on the Net. Generates images of any part of the sky at wavelengths from radio to gamma-ray.
Network Resources for Astronomers
Internet resources for professional astronomers.
"Pretty Pictures"
Links to sites with space/astronomy picture archives.
Comet Home Page
Information, pictures articles, finder charts and so on, for comets.
VARIABLE STARS DATABASE
Tools for studying variable stars.
Stars and Constellations
Alphabetical and seasonal listings of constellation and star information with charts.
Comet Hale-Bopp at www. halebopp.com
Comet Hale-Bopp Home Page (JPL)
NASA's Comet Hale-Bopp page. Hale-Bopp might be the comet of the century (or at least the last couple of decades). But, see Hyakutake.
Comet C/1996 B2 (Hyakutake)
Comet Hyakutake Hope Page. Kyakutake is expected to be a first magnitude comet, which means it will be visible to the naked eye---even in city lights. It is in a near polar orbit, and was visible in the northern hemisphere last March.
Comet Hale-Bopp Positions
U.S. Naval Observatory page for comet Hale-Bopp observing.
International Dark-Sky Association
The International Darksky Association. Learn how to end urban sky glow, improve security, reduce crime and make your city, town, neighborhood and home look nicer all while saving money.
Astronomy Picture of the Day Archive
Incredibly nice pictures from various astronomical instruments.
AAS Home Page
American Astronomical Society home page.
Comet Hale-Bopp at www. halebopp.com
Up to date information about Hale-Bopp, including information about the "Saturn-Like" object near it.
Astronomical Data Center home page
Archives of astronomical data.
Darwin Space Interferometer - mission, design and technology
Proposed Darwin telescope design and description.
Bad Astronomy
Good source for debunking common astronomical myths such as ``Polaris is the brightest star in the sky.'' Includes links to other bad science pages.

Space, Planetary and Atmospheric Science.

NASA Jet Propulsion Laboratory
Space Calendar (JPL)
Daily listing of current and historical events in astonomy and space science.
INTELLICAST: Albany Weather
Local weather, Albany Page.
Satellite Images
Weather satellite images selectable by image type (visible, infared, etc.) and region.
Schenectady Museum
The Schenectady Museum and Planetarium is where we hold our monthly meetings.
SEDS Internet Headquarters
Students for the Exploration and Development of Space. Project information, images, local chapters, and so on. Serveral very well maintained information pages.
DRAO Home Page
Dominion Radio Astrophysical Observatory.
The SST Programmer's Guide - Table of Contents
Synthesis Telescope Software.
Clementine Lunar Image Browser
Images from the Clementine mission at selectable resolutions.
Today at NASA
NASA press releases and updates. Usually very slow to respond, esp. during planetary missions.
NASA Information Services via World Wide Web
Organized list of NASA web pages. Also slow to respond at times.
The Nine Planets
Profiles of the nine solar planets. Includes basic data such as mass and diameter, history of probes that have visited the planets (if any) and images.
ARM Welcome
Atmospheric Radiation Measurement Program.
Project Galileo (JPL)
JPL's Galileo page. Mission updates and the latest images.
Welcome to the Planets
JPL planets page.
Global Oscillation Network Group
Community-based program to conduct a detailed study of solar internal structure and dynamics using helioseismology.
NASA Astrophysics Data System (ADS) Abstract Service
Search for astrophysics abstracts by author, keywords, SIMBAD Object Names.
SDAC Home Page
Solar Data Analysis Center at NASA Goddard Flight Center.
Cassini: Voyage to Saturn
NASA/Kennedy Space Center Home Page
Kennedy Space Center information, launch information.
Frequently Asked Questions about Space.
Kennedy Space Center, Frequently asked questions and WWW links.
SPACE EDUCATORS' HANDBOOK
A multimedia Space Educator's Handbook. Qustions about Space, Space Facts, Science Fiction concepts, etc.
The Aurora Page
Images and information about Aurora.
EXOPLANETS
Catalog and information on extra-solar planets.
Extrasolar Planets Encyclopaedia
Catalog and information about extra-solar planets.

Usenet astronomy and astrophysics forums.

FAQ for sci.astro
Frequently Asked Questions for the sci.astro usenet formum.
sci.astro
sci.astro.amateur
sci.astro.hubble
sci.astro.research

Airospace.
Predictions of Satellite passes over north american cities.

SatPasses - Satellite Passes Over North American Cities
SPACEWARN Bulletin
Launch warning bulletins.
NASA Dryden WWW Home Page
NASA Dryden Flight Research Center.
Airliners from the 50's

Usenet space forums.

sci.space
sci.space.news
sci.space.policy
sci.space.science
sci.space.shuttle
sci.space.tech

Amatuer Societies and ATM.

SpaceViews: The Online Publication of Space Exploration
Albany Area Amateur Astronomers
Tallahassee Astronomical Society
Club meetings and oberving shedule, ATM resources, software, other clubs.
Central Maryland Area Amateur Astronomy Page
Activities for amateur astronomers in central Maryland.
ASTROVIC
Astronomical Society of Victoria, Australia.
Science:Astronomy:Clubs
Yahoo listing of Astronomy Clubs.
The ATM Page
``This page is intended as a resource for both beginning and advanced Amateur Telescope Makers.'' Includes design, mountings, suppliers, and other home pages. Includes design for ``Crayford Focuser'' and a vendors list.
ASTROMART HOME PAGE
The Global Astronomy Marketpla