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