Cynbe's Humongous Hotlist:
Mixed Net Knowledge, Knick-Knacks & Nuts
Cynbe ru Taren
Viva la Net! Viva la Net libre! :)
See: A Declaration of the Independence of Cyberspace.
See also my personal comments on obscenity and censorship.
Or check out George Washington on Practical Slavery,
the US Supreme Court on
Patents or the Rev Davidson Loehr on that newly essential American
survival skill -- Living
Under Fascism.
The most important paper you'll ever ignore: Risk Charts
(NB: Computer vision papers have been moved to a separate page.)
To read:
2010-02-07:
Odds-On Trees -- raytracing support.
Framework for Visualizing
Model-Driven Software Evolution and its Application
Understanding Formulation of
Social Capital in Online Social Network Sites
Ball-Scale Based
Hierarchical Multi-Object Recognition in 3D Medical Images
2010-02-05:
High-Dimensional Matched
Subspace Detection When Data are Missing -- useful
stuff, actually.
Towards Social Profile Based
Overlays -- P2P (peer-to-peer) social networking.
Session-Based Programming
for Parallel Algorithms: Expressiveness and Performance:
Pushing Java beyond MPI.
Programming Idioms for
Transactional Events: Pressing forward on the CML
(Concurrent ML) front.
Type Inference for Deadlock
Detection in a Multithreaded Polymorphic Typed Assembly Language
A Unified Algebraic
Framework for Fuzzy Image Compression and Mathematical
Morphology -- quantale categories at work.
Quantale Modules and their
Operators, with Applications
2010-02-03:
Face Identification by
SIFT-based Complete Graph Topology -- using SIFT features
invariant under rotation, translation and scaling.
Face Recognition by Fusion
of Local and Global Matching Scores using DS Theory: An
Evaluation with Uni-classifier and Multi-classifier Paradigm
SIFT-based Ear Recognition
by Fusion of Detected Keypoints from Color Similarity Slice
Regions -- let's hear it for ears!
Feature Level Fusion of
Biometrics Cues: Human Identification with Doddingtons Caricature
Fusion of Multiple Matchers
using SVM for Offline Signature Identification
Feature Level Clustering of
Large Biometric Database -- life beyond k-means.
Detecting Motifs in System
Call Sequences
Random Indexing K-tree
-- better document clustering.
2010-01-31:
An in-place truncated
Fourier transform and applications to polynomial multiplication
2010-01-30:
Evolution of Adaptive Behaviour in Robots by Means of Darwinian Selection -- slashdot was impressed. :-)
2010-01-22:
On Fast Algorithm for
Computing Even-Length DCT
2010-01-19:
Strong Robustness of
Randomized Rumor Spreading Protocols
Succinct Dictionary Matching
With No Slowdown
2010-01-15:
Stable Principal Component
Pursuit : "classical Principal Component Analysis (PCA),
optimal for small i.i.d. noise, can be made robust to gross
sparse errors"
Dense Error Correction for
Low-Rank Matrices via Principal Component Analysis
"[tweaked] Principal Component Pursuit ... exactly recovers
the low-rank matrix even if "almost all" of its entries are
arbitrarily corrupted ..."
A Little More, a Lot Better:
Improving Path Quality by a Simple Path Merging
Algorithm -- better motion planning by merging many
mediocre paths to produce one good one.
2010-01-13:
Divide & Concur and
Difference-Map BP Decoders for LDPC Codes -- is Divide
and Concur a general-purpose alternative to Belief Propagation?
Fast Set Intersection and
Two Patterns Matching
Matching Shapes Using the
Current Distance -- a fast alternative to feature matching?
Information Asymmetries in
Pay-Per-Bid Auctions: How Swoopo Makes Bank
Optimal Exploration of
Terrains with Obstacles
Vandalism Detection in
Wikipedia: a Bag-of-Words Classifier Approach
A simple construction of
almost-Euclidean subspaces of $\ell_1^N$ via tensor
products -- pimp your high-dimensional nearest-neighbor searches.
The Geodesic Diameter of
Polygonal Domains -- points to papers allowing robot path planning in linear time
when there are no interior holes (obstacles, furniture) in room, and presents
a new polynomial time algorithm for when there are holes (furniture).
2010-01-10:
Boosting k-NN for
categorization of natural scenes
Decisional Processes with
Boolean Neural Network: the Emergence of Mental Schemes
Optimal topological
simplification of discrete functions on surfaces
2010-01-08:
An Empirical Evaluation of
Four Algorithms for Multi-Class Classification: Mart,
ABC-Mart, Robust LogitBoost, and ABC-LogitBoost
An Unsupervised Algorithm
For Learning Lie Group Transformations -- efficiently inducing
continuous transforms from pixel data.
Measuring Latent Causal Structure
Principal manifolds and
graphs in practice: from molecular biology to dynamical systems
Redundancy in Systems which
Entertain a Model of Themselves: Interaction Information and
the Self-organization of Anticipation
Stability of
multidimensional persistent homology with respect to domain
perturbations -- computer vision with incomplete data.
2010-01-05:
A conversion between utility
and information (Wow!!)
Extending Karger's
randomized min-cut Algorithm for a Synchronous Distributed setting
2009-12-30:
Genus Computing for 3D
digital objects: algorithm and implementation
High-Speed Signature
Matching in Network Interface Device using Bloom Filters
Why so? or Why no?
Functional Causality for Explaining Query Answers --
deeper semantics for relational databases.
Computing Principal
Components Dynamically with applications to collision
detection and fast rendering.
Backyard Cuckoo Hashing:
Constant Worst-Case Operations with a Succinct
Representation: together again for the first time:
constant time -and- constant space.
Time and Memory Efficient
Lempel-Ziv Compression Using Suffix Arrays: faster,
smaller and "suited for text classification".
Teaching Physical Based
Animation via OpenGL Slides
Oriented Straight Line
Segment Algebra: Qualitative Spatial Reasoning about
Oriented Objects: "fast, constraint-based reasoning"
A Generic
Type and Effect System checked in Twelf.
2009-12-25:
Interpretations of Directed
Information in Portfolio Theory, Data Compression, and
Hypothesis Testing
Typing rule-based
transformations over topological collections --
generalizing ML pattern-matching.
2009-12-22:
Wavelets on Graphs via
Spectral Graph Theory
2009-12-19:
Simple objects for Standard ML (1996): Reppy + Riecke: subtypes as conservative typesystem extension.
2009-12-08:
A New Approach to Cold Start
in Peer to Peer File Sharing Networks -- solving the
free rider problem.
Nonlinear Effects in
Stiffness Modeling of Robotic Manipulators -- Orthoglide
goodness.
Context and Keyword
Extraction in Plain Text Using a Graph
Representation
A survey on algorithmic
aspects of modular decomposition -- graphs and
combinatorial optimization.
Computing Hulls And
Centerpoints In Positive Definite Space: machine learning
&tc.
2009-12-04:
Sequential Clustering based
Facial Feature Extraction Method for Automatic Creation of
Facial Models from Orthogonal Views
A New Scheduling Algorithm
For Real Time Tasks
Behavior and performance of
the deep belief networks on image classification
Isometric Multi-Manifolds
Learning
2009-12-02:
A Multi-stage Probabilistic
Algorithm for Dynamic Path-Planning: A tweak on
Rapidly-evolving Random Trees (RRT).
2009-12-01:
Maximin affinity learning of
image segmentation: Minimizing the Rand index.
Faster and simpler
approximation of stable matchings -- O(m) and "much
simpler".
Hierarchies in Dictionary
Definition Space -- Basic English rides again! :-)
2009-11-30:
Untangling Phase and Time in
Monophonic Sounds -- pitch-shifting &tc in Haskell.
Rate Distortion and
Denoising of Individual Data Using Kolmogorov complexity
2009-11-27:
Interactive Model Reconstruction with User Guidance -- 3D model construction in a minute using commodity computer and webcam.
ProFORMA: Probabilistic Feature-based Online Rapid Model Acquisition -- longer paper on same work as previous.
2009-11-26:
Hearing the clusters in a
graph: A distributed algorithm: Spectral-clustering
results via FFT without eigenvector computations.
Non-photorealistic image
processing: an Impressionist rendering
Adaptive information
filtering for dynamic recommender systems
2009-11-24:
Evolution of central pattern
generators for the control of a five-link bipedal walking
mechanism
Clustering with shallow trees
2009-11-22:
Randomized Interior Point
methods for Sampling and Optimization:
Aspect-ratio independent Markov chain sampling.
Making the road by searching
- A search engine based on Swarm Information Foraging:
Ant algorithms at work.
Likelihood-based
semi-supervised model selection with applications to speech processing
2009-11-19:
Re-Pair Compression of
Inverted Lists
A Minimal Periods Algorithm
with Applications: suffix trees at work.
Fast algorithms for
spherical harmonic expansions, III. (Spherical
harmonics provide an orthogonal basis for describing
oscillations on a sphere which are trivially rotatable --
useful for radiosity and shadowing &tc in 3D graphics, also
physics, chem...)
Boosting through
Optimization of Margin Distributions: Beating AdaBoost
and LPBoost -- the latest wrinkle in boosting.
Musical Genres: Beating to
the Rhythms of Different Drums
2009-11-17:
On Bregman Distances and
Divergences of Probability Measures
A Dynamic Near-Optimal
Algorithm for Online Linear Programming
A formally verified
compiler back-end
Graph polynomials and
approximation of partition functions with Loopy Belief
Propagation
Accelerating the Execution
of Matrix Languages on the Cell Broadband Engine Architecture
2009-11-12:
A New Look at the Classical
Entropy of Written English -- 1.65 bits/char, 74% redundancy.
An Intuitive Automated
Modelling Interface for Systems Biology -- applied pi calculus.
Robust MOdels for Optic Flow Coding in Natural Scenes Inspired by Inset Biology -- supposedly efficient and easy to implement too.
2009-11-09:
The relation between
Pearson's correlation coefficient r and Salton's cosine measure
2009-11-04:
Feature-Weighted
Linear Stacking -- how better boosting won second place
in Netflix.
Strange Bedfellows: Quantum
Mechanics and Data Mining: Wonderful paper full of good
intuition starting with the best overview of SVD (singular
value decomposition) I've seen.
Novel Intrusion Detection
using Probabilistic Neural Network and Adaptive Boosting
Visualizing Graphs
with Node and Edge Labels
A $p$-adic RanSaC algorithm
for stereo vision using Hensel lifting: Random Sample
Consensus recovery of relative pose.
Sound and Complete
Type Inference for a Systems Programming Language
2009-11-02:
Calibration of
3-d.o.f. Translational Parallel Manipulators Using Leg
Observations
From Single-thread to
Multithreaded: An Efficient Static Analysis Algorithm
On Pebble Automata for Data
Languages with Decidable Emptiness Problem: Searching
for more powerful analogues of regular expressions which
still preserve their nice properties.
Metric and Kernel Learning
using a Linear Transformation
Topological De-Noising:
Strengthening the Topological Signal: Analysing
high-dimensional datasets.
Sorting under Partial
Information (without the Ellipsoid Algorithm) -- first
practical algorithms?
A Wavelet-Based Digital
Watermarking for Video -- I'm interested less in
watermarks than the state of the art in 3D wavelets.
2009-10-29:
Anomaly Detection with Score
functions based on Nearest Neighbor Graphs
2009-10-26:
Mechanizing the Metatheory
of LF -- building on recent work by Harper &kith in
Twelf for SML.
Adaptive model for
recommendation of news ... "outperforms"
... "provides a general social mechanism"
Nonapproximablity of the
Normalized Information Distance -- latest news from
Vitanyi country.
2009-10-22:
Designs, Lessons and Advice from Building Large Distributed Systems at Google (Jeff Dean).
2009-10-20:
Pseudorandom Generators for
Polynomial Threshold Functions: "first nontrivial
PRGs for low-degree PTFs" ... applications from learning
to voting theory ... "can help derandomize [e.g.]
Goemans-Williamson Max-Cut".
Digital Curvatures Applied
to 3D Object Analysis and Recognition: A Case Study:
"multi-scale" ... "face recognition"
2009-10-20:
The 1.375 Approximation
Algorithm for Sorting by Transpositions Can Run in $O(n\log
n)$ Time
Exact Inference in
Graphical Models: is There More to it? -- pose inference
&tc
Iterators, Recursors and
Interaction Nets -- visual notations for functional programs.
b-Bit Minwise Hashing:
One bit suffices.
Algorithms for Image
Analysis and Combination of Pattern Classifiers with
Application to Medical Diagnosis -- thesis.
Adaptive model for
recommendation of news
2009-10-15:
Type Safe Extensible
Programming in MLPolyR -- thesis
Accelerating the Execution
of Matrix Languages on the Cell Broadband Engine
Architecture -- optimizing Octave and Matlab
Positive Semidefinite
Metric Learning with Boosting for image classification
and retrieval
State of the Art Review for
Applying Computational Intelligence and Machine Learning
Techniques to Portfolio Optimisation
Expectation Maximization as
Message Passing - Part I: Principles and Gaussian
Messages
A unifying approach to
picture grammars -- polynomial-time
(O(grayvals*(pixels**2))) recognition by
generalizing Cocke-Kasami-Younger (1967, O(N**3) from 1D to 2D.
Grammar class subsumes quadtrees.
Expectation Maximization as
Message Passing - Part I: Principles and Gaussian Messages
Bloggers Behavior and
Emergent Communities in Blog Space -- via spectral
analysis of temporal bipartite blog graphs.
Optimal hash functions for
approximate closest pairs on the n-cube: beyond
projection: asymptotically random and complete decoding algorithms.
2009-10-12:
Towards a Unified Approach
to (In)Decision: Routing, Games, Circuits, Consensus, and Beyond
Covering Points by Disjoint
Boxes with Outliers
Local and global approaches
of affinity propagation clustering for large scale
data
Justifying
additive-noise-model based causal discovery via algorithmic
information theory
Decomposition of forging die
for high speed machining
Machining strategy choice:
performance VIEWER
Decomposition of forging
dies for machining planning
2009-10-09:
Simple, efficient
maxima-finding algorithms for multidimensional samples:
"very simple and easily coded and modified for practical
needs"
On the Sample Complexity of
Compressed Counting: "extremely useful for estimating
Shannon entropy ... very simple algorithm"
Near-Optimal Detection in
MIMO Systems using Gibbs Sampling: I suspect Markov Chain Monte
Carlo Gibbs samplers likely have wider applications...
Some Thoughts on
Hypercomputation: from pure math to pure theology in
just ten pages! :-)
2009-10-06:
Reduced-Rank Hidden Markov
Models ... "robot vision modelling"...
On Metric Skyline Processing
by PM-tree: similarity search in multimedia
databases.
On the Interesting World of
Fractals and Their Applications to Music "the fractal
dimension of mustic is about 1.65 and varies between a high
of 1.68 and a low of 1.60".
Clustering with shallow
trees: "efficient"
Explicit Construction of
Optimal Exact Regenerating Codes for Distributed
Storage: "practical and easy to maintain"
... "peer-to-peer" ... "can handle multiple simultaneous
node failures"
2009-10-05:
Supporting Lock-Free
Composition of Concurrent Data Objects: Life without deadlock.
Through-Wall Tracking Using
Variance-Based Radio Tomography Networks
2009-10-02:
Finding Associations and
Computing Similarity via Biased Pair Sampling
Hierarchical Approach for
Key Management in Mobile Ad hoc Networks
2009-09-29:
MACH: Fast Randomized Tensor
Decompositions with applications to computer vision &tc
-- faster than SVD.
Geometrical Interpretation
of Shannon's Entropy Based on the Born Rule -- logarithm
of distribution dimension.
2009-09-27:
Randomness-optimal Steganography
A Better Reduction Theorem
for Store Buffers: the new lock-free concurrency, "TSO",
total store order.
Bayesian Algorithmic
Mechanism Design
2009-09-24:
A Measure of the Connection
Strengths between Graph Vertices with Applications:
linear time rocks.
Theoretical Performance
Analysis of Eigenvalue-based Detection
Higher-dimensional models of
networks
Clustering with Obstacles in
Spatial Databases
The meta book and
size-dependent properties of written language: When
Zipf's Law breaks down.
2009-09-21:
Randomized Algorithms for
Large scale SVMs
Efficient and
Error-Correcting Data Structures for Membership and
Polynomial Evaluation in the face of adversarial noise.
Fault Identification via
Fault Identification via Non-parametric Belief Propagation
2009-09-18:
On the largest empty
axis-parallel box amidst $n$ points
2009-09-17:
Distribution-Specific
Agnostic Boosting
2009-09-15:
Simple implementation
of deletion from open-address hash table
Reducing Network Traffic in
Unstructured P2P Systems Using Top-k Queries
2009-09-13:
: Overview of contemporary
image and video analysis, pursuit strategies, gabor
dictionaries. Introduces "Image Folding" and combined use of
discrete cosine dictionary and dirac basis imager representations.
Straggler
Identification in Round-Trip Data Streams via Newton's
Identities and Invertible Bloom Filters
2009-09-10:
Kernel Spectral Curvature
Clustering (KSCC) for computer vision.
Motion Segmentation by SCC on
the Hopkins 155 Database
Building on Quicksand
2009-09-07:
The Kalman Like Particle
Filter : Optimal Estimation With Quantized Innovations/Measurements
The Euler Path to Static Level-Ancestors
Randomized Shellsort: A
Simple Oblivious Sorting Algorithm
Efficient Approximation
Algorithms for Minimum Enclosing Convex Shapes
Efficient Learning of Sparse
Conditional Random Fields for Supervised Sequence Labelling
Sparse image representation
by discrete cosine/spline based dictionaries
2009-09-04:
Advances in Feature
Selection with Mutual Information
Efficient parameter training
for hidden Markov models using posterior sampling training
and Viterbi training
2009-09-02:
Scale-Based Gaussian
Coverings: Combining Intra and Inter Mixture Models in Image
Segmentation: k-means and wavelets, oh my.
2009-08-31:
Efficient Authenticated Data
Structures for Graph Connectivity and Geometric Search Problems
ABC-LogitBoost for
Multi-class Classification
Integrating Post-Newtonian
Equations on Graphics Processing Units: 50X speedup
over CPUs.
2009-08-28:
Graph-Theoretic Solutions to
Computational Geometry Problems
SocialFilter: Collaborative
Spam Mitigation using Social Networks
2009-08-26:
Gabor wavelet analysis and
the fractional Hilbert transform : "provides an
intuitive interpretation...
Fast adaptive elliptical
filtering using box splines
2009-08-14:
Towards a Theory of Anonymous Networking
A dyadic solution of
relative pose problems: "inherently robust"
2009-08-05:
Streamed Learning: One-Pass
SVMs
2009-08-02:
Decidability of higher-order
matching -- higher-order unification is undecidable
(classical result) but higher-order matching is decidable (new
result)
Recursive Estimation of
Gauss-Markov Random Fields Indexed over 1-D Space
leading to easy derivations of Kalman filters and
recursive smoothers.
Geometric Approximation Algorithms, an online book-in-the-making including matrial on quadtrees, nearest neighbor and grid methods.
2009-07-27:
Dynamic Deformation of
Uniform Elastic Two-Layer Objects: "this thesis
presents a two-layer uniform facet elastic object for
real-time simulation based on physics modeling[...]"
A Fast Algorithm for
Computing Geodesic Distances in Tree Space
Sequential pivotal
mechanisms for public project problems (I don't know if
this is useful -- need to take a peek).
2009-07-24:
Contextual Bandits with
Similarity Information and web ad placement.
2009-07-23:
Self-adaptive web intrusion
detection system applied to HTTP streams.
USUM: Update Summary
Generation System: Explaining what's new on the web
Artificial Dendritic Cells:
Multi-faceted Perspectives: taking algorithmic
inspiration from the immune system.
2009-07-20:
Parallel AdaBoost Algorithm
for Gabor Wavelet Selection in Face Recognition
Inter Genre Similarity
Modelling For Automatic Music Genre Classification
Fully Automatic 3D
Reconstruction of Histological Images
Registration of Standardized
Histological Images in Feature Space
2009-07-19:
Decisions in Motion --
cheap, fast, practical robotic vision?
2009-07-15:
GMap: Drawing Graphs as Maps
2009-07-13:
Towards the quantification
of the semantic information encoded in written language
Online Sorting via Searching
and Selection
A class of structured P2P
systems supporting browsing: increasing the functionality of
distributed hash tables.
A Large-Scale
Exploration of Effective Global Features for a Joint Entity
Detection and Tracking Model -- pronoun resolution.
2009-07-10:
Warren Buffet's favorite leading indicator:
FTSI
Freight Transportation Services Index: "Since 1979,
across four recessions, the index "shows a strong leading relationship
to the economy", with an acceleration of freight leading the economy
"by an average of approximately 4 to 5 months"", most recent
version is
July 2009
2009-07-05:
Camera Calibration Toolbox for Matlab and more generally
Jean-Yves Bouguet's
Caltech 3D-shape-from-images computer vision stuffl
Spontaneous
organization leads to robustness in evolutionary
algorithms
Generalized
Collective Inference with Symmetric Clique Potentials:
" ... for Potts potentials is an order of magnitude faster..."
2009-06-29:
Efficient IRIS Recognition
through Improvement of Feature Extraction and subset
Selection: contourlets and SVM.
Exact Regenerating Codes for
Distributed Storage
Vision Based
Navigation for a Mobile Robot with Different Field of
Views: experimental evolution of neural controllers.
2009-06-24:
Automatic Spatially-Adaptive
Balancing of Energy Terms for Image Segmentation:
graph-based, MRI brain segmentation example.
A statistical learning
approach to color demosaicing
2009-06-20:
A
Mathematician's Lament -- how K12 kills mathematical
talent and curiosity.
2009-06-18:
Adaptive Regularization of
Ill-Posed Problems: Application to Non-rigid Image
Registration
Optimal Constrained Resource
Allocation Strategies under Low Risk Circumstances to
applications including motion planning and job scheduling.
2009-06-16:
Without a 'doubt'?
Unsupervised discovery of downward-entailing operators
-- unsupervised language semantics learning.
Exact Indexing for Massive
Time Series Databases under Time Warping Distance
Combinatorial pyramids and
discrete geometry for energy-minimizing segmentation
2009-06-04:
Feature Reinforcement
Learning: Part I: Unstructured MDPs
Segmentation of
Facial Expressions Using Semi-Definite Programming and
Generalized Principal Component Analysis
Universal Reinforcement
Learning: Lempel-Ziv rides again.
2009-06-04:
Optimal Byzantine Resilient
Convergence in Asynchronous Robot Networks
Thinning, Entropy and the
Law of Thin Numbers
Size dependent word
frequencies and translational invariance of books
Distributed elections in an
Archimedean ring of processors
2009-05-26:
Strong Dependencies between
Software Components -- analysing the Debian package
graph.
Faster estimation of the
correlation fractal dimension using box-counting
The Usefulness of Multilevel
Hash Tables with Multiple Hash Functions in Large
Databases: "reduces join complexity from O(n2) to
O(1)"
The Convergence of Bird
Flocking
Statistical
Properties of Fluctuations: A Method to Check Market
Behavior
Faster Least Squares
Approximation
Boosting the Accuracy of
Finite Difference Schemes via Optimal Time Step Selection
and Non-Iterative Defect Correction
Online Stochastic Matching:
Beating 1-1/e: "we solve a max flow problem in a
boosted flow graph"
2009-05-25:
Two hierarchies of spline
interpolations. Practical algorithms for multivariate higher
order splines
Quantum Annealing for
Clustering: Better than simulated annealing?
2009-05-18:
Point-Set
Registration: Coherent Point Drift -- looks like a core
computer vision result!
Heterogeneous attachment
strategies optimize the topology of dynamic wireless
networks
Colorization of Natural
Images via L1 Optimization
A statistical
learning approach to color demosaicing
Approximation
Algorithms for Bregman Co-clustering and Tensor Clustering
2009-05-15:
Experience-driven formation
of parts-based representations in a model of layered visual
memory: face recognition made easy?
2009-05-13:
Fast computation of the
median by successive binning
2009-05-12:
Reliable Process for Security
Policy Deployment
Making Hand Geometry
Verification System More Accurate Using Time Series
Representation with R-K Band Learning
Concept Stability for
Constructing Taxonomies of Web-site Users
Fast and Near-Optimal Matrix
Completion via Randomized Basis Pursuit
A Recommender System to
Support the Scholarly Communication Process
Mining Meaning from Wikipedia
Fixing Convergence of
Gaussian Belief Propagation
Personalised and Dynamic
Trust in Social Networks
John Reppy's Manticore Papers
-- turning CML into an efficient parallel language
2009-05-09:
BlobSeer: How to Enable
Efficient Versioning for Large Object Storage under Heavy
Access Concurrency: another wrinkle on P2P and
distributed hashtables (DHT).
Characterizing
Individual Communication Patterns efficiently inferring double
Markov chain models oh my!
2009-05-07:
Soft Motion Trajectory
Planner for Service Manipulator Robot
Fully-Functional Static and
Dynamic Succinct Trees -- range min-max trees,
supposedly simple and practical.
2009-05-05:
Robust Principal Component
Analysis: Exact Recovery of Corrupted Low-Rank
Matrices
Gaussian Belief with dynamic
data and in dynamic network
Hiding Information in
Retransmissions: underhanded uses for TCP/IP
mechanisms.
Two-Level
Fingerprinting Codes: keeping up with what the RIAA
types are up to.
Maximum Flow in Directed
Planar Graphs with Vertex Capacities O(N) and O(NlogN)
solutions, refutation of competing recent algorithm for
undirected case.
Geometric scaling: a simple
preconditioner for certain linear systems with discontinuous
coefficients: solving systems derived from PDE equations
over heterogenous physical media.
2009-05-01:
Software Model Checking via Large-Block Encoding --
reducing the exponential search space of software verification
abstract reachability trees (ARTs) by using bigger chunks.
Succinct Greedy Graph
Drawing in R^2
Collective dynamics of
social annotation
Norm-Product Belief
Propagation: Primal-Dual Message-Passing for Approximate
Inference: generalizing sum-product max-product and
tree-reweighted approaches.
2009-04-30:
Linear-Space Computation of
the Edit-Distance between a String and a Finite
Automaton
Robust Regulatory Networks
2009-04-28:
Some
Aspects of Categories in Computer Science -- scads of
great stuff!
2009-04-27:
Space Efficient
Multi-Dimensional Range Reporting
A data structure for multi-dimensional range reporting
On a very quick skim, the practical solutions of choice may be those
from
A functional approach to data structures and its use in multidimensional searching
: "redesigned range trees and segment trees to use linear storage"
"easy to implement".
The standard solutions appear in practice to be
kd-trees and interval
trees -- the subsequent stuff may all be lily-gilding
for most practical purposes.
2009-04-24:
Introduction to Machine
Learning: Class Notes 67577
Another Virtue of Wavelet
Trees: "efficient range-selection queries".
2009-04-20:
On Counteracting Byzantine
Attacks in Network Coded Peer-to-Peer Networks
Fast Computation of
Empirically Tight Bounds for the Diameter of Massive
Graphs
Multi-Instance Learning by
Treating Instances As Non-I.I.D. Samples
2009-04-18:
Geodesic Paths On 3D
Surfaces: Survey and Open Problems
2009-04-16:
Driven by Compression
Progress: A Simple Principle Explains Essential Aspects of
Subjective Beauty, Novelty, Surprise, Interestingness,
Attention, Curiosity, Creativity, Art, Science, Music, Jokes
A PTAS for Minimum Clique
Partition in Unit Disk Graphs -- polynomial-time
approximations scheme with a host of
practical applications claimed including ad hoc radio networks.
2009-04-15:
Simplicial Databases:
relational databases through the prism of category theory.
A new Protocol for 1-2
Oblivious Transfer
2009-04-12:
On the closed-form solution
of the rotation matrix arising in computer vision problems
2009-04-08:
5-axis High Speed
Milling Optimisation
2009-04-06:
Fast FPT algorithms for
vertex subset and vertex partitioning problems using
neighborhood unions -- "FPT" == "Fixed Parameter
Tractable", one generic class of attacks on NP-complete problems.
Performing Nonlinear Blind
Source Separation with Signal Invariants
2009-04-03:
Visual approach for data
mining on medical information databases using Fastmap
algorithm
MIML: A Framework for
Learning with Ambiguous Objects
2009-03-31:
Time manipulation technique
for speeding up reinforcement learning in
simulations
Typed Open
Programming, Andreas Rossberg's dissertation on his work
on Alice ML &tc.
2009-03-27:
Graph polynomials and
approximation of partition functions with Loopy Belief Propagation
2009-03-24:
Pairing Heaps with Costless
Meld: "even simpler"
2009-03-23:
Combinatorial Ricci
Curvature and Laplacians for Image Processing
Computations modulo regular
chains: triangular decompositions "orders of magnitude faster"
2009-03-21:
Le trading
algorithmique
A New Local Distance-Based
Outlier Detection Approach for Scattered Real-World Data
2009-03-19:
Spatial Skyline
Queries: An Efficient Geometric Algorithm
Efficiently Learning a
Detection Cascade with Sparse Eigenvectors: better boosting
Markov Random Field Segmentation of Brain MR Images
Norm-Product Belief
Propagation: Primal-Dual Message-Passing for Approximate Inference
Matrix Completion With
Noise: "a remarkable new field"
Matrix Completion from a Few
Entries
2009-03-14:
Adaptive Mesh
Approach for Predicting Algorithm Behavior with Application
to Visibility Culling in Computer Graphics
Analysis of a Bloom Filter
Algorithm via the Supermarket Model
Supernodal Analysis
Revisited: easier circuit analysis algorithm
Better Termination for
Prolog with Constraints: dynamic occurs check
detection. Used in SWI-Prolog.
Role-Based Access
Controls: Better fit to civilian needs.
Rfuzzy framework: claims
fuzzy logic is finally getting real.
A Generalization of the
Shannon-McMillan-Breiman Theorem and the Kelly Criterion
Leading to a Definition of Pragmatic Information:
"Fortune's Formula" updated.
Constraint solving for
high-level WCET analysis: latest in worst-case execution time
analysis for realtime systems.
A Semantics-Aware Editing
Environment for Prolog in Eclipse: Might be relevant to
writing a Mythryl eclipse plug-in. Or not.
2009-03-10:
The Power of Convex
Relaxation: Near-Optimal Matrix Completion: solving the
Netflix and collaborative filtering problems.
2009-03-03:
Mythryl programming language.
Heaps Simplified
Haeupler, Sen + Tarjan(!)
Manipulation Robustness of
Collaborative Filtering Systems
De-amortized Cuckoo Hashing:
Provable Worst-Case Performance and Experimental
Results
2009-02-28
Dipole Vectors in Images
Processing: proposes using dipoles where gradients would
normally be used, but I'm not clear that any advantage is
claimed or demonstrated.
2009-02-16:
The Forgiving Graph: A distributed data structure for low
stretch under adversarial attack
2009-02-13:
A formally verified compiler
back-end Xavier Leroy -- uses Coq.
Feature Hashing for Large
Scale Multitask Learning
2009-02-12:
A Spectral Algorithm for
Learning Hidden Markov Models -- efficient and
simple with applications to natural language learning. Updated 2009-06-09 and 2009-08-22.
2009-02-05:
Genetic algorithm
based optimization and post optimality analysis of
multi-pass face milling
2009-01-20:
Beyond word frequency:
Bursts, lulls, and scaling in the temporal distributions of
words: trucking on down the Zipf trail.
2009-01-15:
A mathematical proof
of the existence of trends in financial time series
2009-01-04:
A Simple, Linear-Time
Algorithm for x86 Jump Encoding
2008-12-28:
Random Projections for the
Nonnegative Least-Squares Problem
2008-12-22:
An interface group for
process components
A New Approach to
Collaborative Filtering: Operator Estimation with Spectral Regularization
2008-12-18:
Topological
structures in the equities market network
Linearly Parameterized
Bandits
2008-12-16:
A Growing Self-Organizing
Network for Reconstructing Curves and Surfaces
Binary Classification Based
on Potentials: "simple and computationally
trivial" ... "exceed that of standard Support
Vector Machine methods"
2008-12-02:
Delaunay Triangulations in
Linear Time?
Approximation Algorithms for
Bregman Co-clustering and Tensor Clustering:
generalizations to Euclidean k-means.
2008-12-02:
An Integrated
Software-based Solution for Modular and Self-independent
Networked Robot
Error-Correcting Data Structures
2008-11-21:
A Spectral Algorithm for
Learning Hidden Markov Models
2008-11-21:
Faster Retrieval with a
Two-Pass Dynamic-Time-Warping Lower Bound
Broadcasting in Prefix
Space: P2P Data Dissemination with Predictable Performance
2008-11-12:
Robust Regression and
Lasso -- l^1 regularized least squares
2008-11-10:
Coq in a hurry
Adaptive Base Class Boost
for Multi-class Classification
NB-FEB: An Easy-to-Use and
Scalable Universal Synchronization Primitive for Parallel
Programming
Learning to rank with
combinatorial Hodge theory
2008-11-08:
Who is the best
connected computer scientist? -- many good references
on applying statistical (&tc) physics techniques to social
networks.
Cost-effective Outbreak Detection in Networks -- well publicized CMU algorithm also applied to blogosphere analysis &tc.
2008-11-03:
A branch-and-bound feature
selection algorithm for U-shaped cost functions
On the Possibility of
Learning in Reactive Environments with Arbitrary
Dependence
On the Possibility of Learning in Reactive Environments with
Arbitrary Dependence -- Gell-Mann improves Komogorov
On the Vocabulary of
Grammar-Based Codes and the Logical Consistency of Texts
-- re-deriving Zipf's Law at a more profound level.
2008-10-31:
A Novel Clustering Algorithm
Based on a Modified Model of Random Walk
2008-10-28:
Assembling Actor-based
Mind-Maps from Text Stream
A Restless Bandit
Formulation of Multi-channel Opportunistic Access:
Indexablity and Index Policy
2008-10-27:
Entropy of Hidden Markov
Processes via Cycle Expansion
Efficient Exact Inference in
Planar Ising Models "parameter estimation on image
denoising and segmentation problems shows our approach to be
efficient and effective."
Efficient Algorithmic
Techniques for Several Multidimensional Geometric Data
Management and Analysis Problems: segment tree, range
tree, sweep-line.
Randomization Adaptive Self-Stabilization
"constant time Byzantine self-stabilizing clock synchronization"
The Mob core language and
abstract machine "syntax and the semantics of a
scripting language for programming mobile agents" "prove[d]
sound by encoding its semantics into the underlying calculus."
2008-10-25:
Bucketing Coding and
Information Theory for the Statistical High Dimensional
Nearest Neighbor Problem
A Heterogeneous High
Dimensional Approximate Nearest Neighbor Algorithm
2008-10-23:
Le trading algorithmique
Directed Transmission
Method, A Fully Asynchronous Approach to Solve Sparse Linear
Systems in Parallel: Claims to be first non-synchronous
and thus truly scalable approach.
Quantum reinforcement
learning
Classdesc and Graphcode:
support for scientific programming in C++: Argues that
reflection is unsupported in C++ but critically important
for serialization and thus distributed programming, and
offers a patch for the problem. May be Mythryl relevant.
2008-10-21:
Text as Statistical
Mechanics Object
Detecting the Most Unusual
Part of a Digital Image
A Minimum Relative Entropy
Principle for Learning and Acting
2008-10-16:
A Vision-based Computed
Torque Control for Parallel Kinematic Machines
Efficient Pattern Matching
on Binary Strings
2008-10-13:
SOSEMANUK: a fast software-oriented stream cipher
2008-10-09:
Peer-to-Peer Secure
Multi-Party Numerical Computation
2008-10-08:
Soft Uncoupling of Markov
Chains for Permeable Language Distinction: A New
Algorithm
Clustering and Feature
Selection using Sparse Principal Component Analysis
2008-09-30:
The Imaginary Sliding Window
As a New Data Structure for Adaptive Algorithms
Multi-armed bandits in
metric spaces
2008-09-27:
Llull and Copeland Voting
Computationally Resist Bribery and Control
2008-09-26:
Analyzing U.S. 2008 Elections with Mathematica: "gives step by step details for how to import raw data from Mason-Dixon, Rasmussen, and Quinnipiac." (Slashdot)
2008-09-22:
2008-09-19:
Hybrid System For Automatic Generation of Style-Specific Accompaniment
2008-09-17:
Algorithmic information
theory -- Grunwald + Vitanyi.
2008-09-16:
Normalized
Information Distance -- another Vitanyi/Cilibrasi
paper.
One Predictors for Online
Rating-Based Collaborative Filtering
SML/NJ
exception analyser
2008-09-13:
Randomized Distributed
Configuration Management of Wireless Networks: Multi-layer
Markov Random Fields and Near-Optimality
2008-09-11:
Design of a Quadruped Robot Driven by Air Muscles
Evolving Dynamic Gaits on a Physical Robot
2008-09-09:
Applications of Universal
Source Coding to Statistical Analysis of Time Series:
"often the suggested methods and tests are more powerful
than known ones when they are applied in practice."
2008-09-02:
Transmission capacity:
applying stochastic geometry to uncoordinated ad hoc
networks
On the nature of long-range
letter correlations in texts
Highly accurate
recommendation algorithm based on high-order similarities
2008-08-28:
A tutorial on support vector machines for pattern recognition (1998)
2008-08-25:
Johnny Lee's CMU
Wii hacks &tc pages
2008-08-22:
Fast Intrinsic Mode
Decomposition of Time Series Data
A simple and efficient
solution of the identifiability problem for hidden Markov
sources
Building an interpretable
fuzzy rule base from data using Orthogonal Least Squares
2008-08-21:
Accelerating Scientific Computations with Mixed Precision Algorithms
Being accurate is not
enough: measuring and optimizing the diversity of recommendations
A Scalable, Commodity Data Center Network Architecture
2008-08-18:
A Simple E-Voting Protocol
Pitch Tracking of Acoustic
Signals based on Average Squared Mean Difference Function
2008-08-13:
Our Brothers' Keepers:
Secure Routing with High Performance -- anti-spam
distributed hash table.
A Very Efficient Scheme for
Estimating Entropy of Data Streams Using Compressed Counting
2008-08-11:
Image Steganography, a New
Approach for Transferring Security Information,
including a review of the field.
An Almost-Surely
Terminating Polynomial Protocol for Asynchronous Byzantine
Agreement with Optimal Resilience
2008-08-10:
Optimally Efficient Prefix
Search and Multicast in Structured P2P Networks
Commonsense Knowledge,
Ontology and Ordinary Language
2008-08-07:
Text Modeling using
Unsupervised Topic Models and Concept Hierarchies
2008-08-05:
A Public Key Block Cipher
Based on Multivariate Quadratic Quasigroups -- fast on
intel, faster in FPGA.
Schroedinger-like PageRank
equation and localization in the WWW -- faster,
non-iterative computation of PageRank.
Coinductive big-step
operational semantics by Xavier LeRoy -- all
results proved using Coq.
2008-08-01
Accelerated Option Pricing
in Multiple Scenarios
Pricing American Options for
Jump Diffusions by Iterating Optimal Stopping Problems for Diffusions
2008-07-29
Positive factor networks: A
graphical framework for modeling non-negative sequential
data: "well suited to modeling the magnitude spectra
of audio signals", "straightforward to
implementstraightforward to implement"
Improved Algorithms for
Approximate String Matching
On Introspection,
Metacognitive Control and Augmented Data Mining Live Cycles
2008-07-23
Modularity clustering is force-directed layout
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Fast unfolding of communities in large networks -- roughly linear-time clustering.
2008-07-23
An adaptive embedded architecture for real-time Particle Image Velocimetry algorithms
TuLiPA: Towards a Multi-Formalism Parsing Environment for Grammar Engineering
2008-07-20 On
Probability Distributions for Trees: Representations,
Inference and Learning
2008-07-11 Computing approximate tree edit distance using relaxation labeling
2008-07-08 A Computational Study of Cost Reoptimization for Min-Cost Flow Problems
Informed Traders:
"Explicit trading strategies leading to statistical
arbitrage opportunities, taking advantage of the
additional information, are constructed, illustrating how
excess information can be translated into profit."
2008-07-15
Latent Topic Models for Hypertext
Gruber, M. Rosen-Zvi and Y. Weiss 2008 10p
2008-07-07 Register Allocation in Structured Programs Kannan + Proebsting 1999 16p
Fast Copy
Coalescing and Live Range Identification (2002)
Combined
Code Motion and Register Allocation using the Value State Graph
2008-07-03 Mapping the Structural Core of Human Cerebral Cortex
Modeling belief systems with
scale-free networks
Graph Drawing by force-directed placement
Drawing Graphs Nicely
Network Flow, including pointers to source code, from the excellent online Algorithm Design Manual
Algorithms for drawing graphs: an Annotated Bibliography
2008-06-27 RoboCupRescue -- Robot League Team IUB Rescue, Germany -- nice info on robust robot design.
Scalar Quantization for Audio
Data Coding
An Efficient Algorithm for 2D
Euclidean 2-Center with Outliers
Space-Efficient
Multi-Dimensional Range Reporting
The 1-fixed-endpoint Path
Cover Problem is Polynomial on Interval Graph
2008-06-26 Linear
Parameter Varying Model Identification for Control of
Rotorcraft-based UAV
A comparison of two
approaches for polynomial time algorithms computing basic
graph parameters
2008-06-22 Intermittent estimation of stationary time series
Nonparametric inference for ergodic, stationary time series
Prediction for discrete time series
Order estimation of Markov chains
Forward estimation for ergodic time series
On estimating the memory for finitarily Markovian processes
Limits to consistent on-line forecasting for ergodic time series
Strongly consistent
nonparametric forecasting and regression for stationary
ergodic sequences
On Sequential Estimation and
Prediction for Discrete Time Series
Weakly Convergent
Nonparametric Forecasting of Stationary Time Series
A simple randomized algorithm
for sequential prediction of ergodic time series
Boosting Trees for
Anti-Spam Email Filtering: AdaBoost
2008-06-16 Exposing
Multi-Relational Networks to Single-Relational Network
Analysis Algorithms
Approximately Counting
Embeddings into Random Graphs
2008-06-14 Max Cut and the Smallest Eigenvalue
Classification of curves in
2D and 3D via affine integral signatures with
applications to noisy images.
2008-06-10 Learning Generative Visual Models from Few Training Examples: An Incremental Bayesian Approach Fei-Fei, Fergus + Perona, 2004, Caltech/Oxford, 9p -- vs maximum likelihood.
2008-06-10 Modeling
Visual Information Processing in Brain: A Computer Vision
Point of View and Approach Diamant 2007
Using Images to create a
Hierarchical Grid Spatial Index Machowski + Marwala 2007
2008-06-09 Histograms
and Wavelets on Probabilistic Data
Belief Propagation and Beyond
for Particle Tracking
2008-06-08 Distinctive
Image Features from Scale-Invariant Keypoints David G
Lowe 2003 29p -- the
"choo-choo" paper. (Somehow I didn't add this paper to this
list first time around?!)
2008-06-06 Challenges and Directions for Monitoring P2p File Sharing Networks -or- Why My Printer Received a DMCA Takedown Notice
2008-06-03 Telex:
Principled System Support for Write-Sharing in Collaborative
Applications -- more good work from INRIA. Leverages
commutative operations but supports non-commutative ops. Open
source in Java. Multilogs, action-constraint graphs (acg), vofs.
2008-05-30 Exact
Matrix Completion via Convex Optimization -- I'm as
interested in the references as the content.
Community Detection using a
Measure of Global Influence
2008-05-27 The
Structure of Narrative: the Case of Film Scripts based
on McKee's book "Story: Substance, Structure, Style and the
Principles of Screenwriting".
2008-05-24
Learning Hierarchical Models of Scenes, Objects and Parts
Small Codes and Large Image Databases for Recognition -- effectively indexing millions of images in less than a gig of ram (see also popular write-up here and other papers and programs by MIT's Anonio Torralba
Fast Pose Esimation with Parameter-Sensitive Hashing -- cited as a example of using Locality Sensitive Hashing (LSH) to efficiently (approximately) solve the nearest-neighbor problem in high-dimensional euclidean spaces.
2008-05-20 Finger
Indexed Sets: New Approaches
The Margitron: A Generalised
Perceptron with Margin -- with experimental comparisons to
SVM (support vector machines).
2008-05-14 Platform-Independent
Firewall Policy Representation
2008-05-13 From opencv-dev: Shape indexing using approximate nearest-neighbor search in high dimensional spaces.
2008-05-09 Clustering
of scientific citations in Wikipedia -- I mainly want to
understand the methodology, but the sample application is interesting too.
Algorithm for Singular Value Decomposition of Matrices in Blocks
-- an attempt to scale beyond the current limits of SVD by exploiting
matrix structure.
2008-05-07 Fast Integer Multiplication using Modular Arithmetic
2008-05-05 Discrete
Mathematics for Computer Science, Some Notes -- looks
like a good review, and I've always been shaky on math. :)
2008-05-04 Morphing of
Triangular Meshes in Shape Space
The Tsallis entropy and the
Shannon entropy of a universal probability
2008-05-01 Straight
Skeletons of Three-Dimensional Polyhedra -- in
particular of voxelsets.
Universe Detectors for Sybil
Defense in Ad Hoc Wireless Networks
Nonnegative Matrix
Factorization via Rank-One Downdate -- riff on
a popular data mining technique, demonstrated on realistic datasets.
2008-04-29 High-dimensional analysis of semidefinite relaxations for sparse principal components
2008-04-23 Isotropic
PCA and Affine-Invariant Clustering
2008-04-21 A
Synthesizer based on square waves "... synthesize
complex signals simply in software, using general purpose
microprocessors, even in real-time. ..."
Automatic Contour Extraction
from 2D Neuron Images
Reconstruction of
Multidimensional Signals from Irregular Noisy
Samples
Phoneme recognition in TIMIT
with BLSTM-CTC -- I mostly want to check out the
references for the current state of the art.
A Cultural Market Model
2008-04-18 The Geometry of Musical Chords -- see also
this.
2008-04-18 Agner Fog's
Software Optimization Resources: Referenced by Intel's
OpenCV source code, includes info on finding Intel's docs on
their site.
2008-04-15 Linear Time
Recognition Algorithms for Topological Invariants in 3D
2008-04-14 An Optimal
Bloom Filter Replacement Based on Matrix Solving
On the Extension of
Pseudo-Boolean Functions for the Aggregation of Interacting Criteria
2008-04-10 Mechanizing
the Metatheory of LF: latest on Twelf &tc.
2008-04-02 From Random
Graph to Small World by Wandering -- might be relevant
to keeping peer-to-peer networks well connected.
2008-03-31 Human
dynamics revealed through Web analytics
Structure and Interpretation
of Computer Programs
Succinct
Data Structures for Retrieval and Approximate Membership
The Category-Theoretic
Arithmetic of Information
2008-03-20 Figuring
out Actors in Text Streams: Using Collocations to establish
Incremental Mind-maps
An Efficient Spectral Algorithm for Network Community Discovery and Its Applications also
Supplementary
materials for ``Identifying network communities with a
high resolution'',
Identifying network
communities with a high resolution
Simple, linear-time modular
decomposition " fundamental for many important
problems in algorithmic graph theory including transitive
orientation, the recognition of several classes of graphs"
"we present the first simple, linear-time algorithm to
compute the modular decomposition tree of an undirected graph."
2008-03-17 GraphStream: A Tool
for bridging the gap between Complex Systems and Dynamic
Graphs
Graph Sparsification by
Effective Resistances
2008-03-07 Incremental
Topological Ordering and Strong Component Maintenance
2008-03-05 Network
Coding for Distributed Storage Systems -- more efficient
peer-to-peer databases.
Fast unfolding of community
hierarchies in large networks
2008-03-05 Precomputed Radiance Transfer for Real-Time Rendering in Dynamic, Low-Frequency Lighting Environments
2008-03-03
Polynomial time algorithms for bi-criteria, multi-objective
and ratio problems in clustering and imaging. Part I:
Normalized cut and ratio regions
2008-03-02 Centroid estimation in discrete high-dimensional spaces with applications in biology -- billed as a fundamental breakthrough replacing maximum likelihood, which fails on large datasets where any individual solution has probability more or less zero.
2008-02-29 Hubs in
Languages: Scale Free Networks of Synonyms
Brain architecture: A design
for natural computation.
2008-02-26 Time Warp
Edit Distance -- timewarping sequences with nonuniform
sampling rates.
Wavelet and Curvelet Moments
for Image Classification: Application to Aggregate Mixture Grading
2008-02-24 The
Forgiving Tree: A Self-Healing Distributed Data
Structure -- repairing peer-to-peer networks
in the face of hostile node takedowns.
Use of Rapid Probabilistic
Argumentation for Ranking on Large Complex Networks --
a roughly linear approximation to PageRank.
PVM-Distributed
Implementation of the Radiance Code
Simulation of Free Surface
Compressible Flows Via a Two Fluid Model --
cleanly simulating the air/water interface, including
handling breaking waves.
Fame Emerges as a Result
of Small Memory
2008-02-19 Generic and
Typical Ranks of Three-Way Arrays
Multiclass Approaches for
Support Vector Machine Based Land Cover Classification
2008-02-14 Combining
Expert Advice Efficiently -- meta-Markov stuff.
2008-02-13 Zero
Knowledge Authentication Schemes from Actions on Graphs,
Groups or Rings
Discrete Complex Structure on
Surfel Surfaces -- also has refs to similar work on
polyhedral surfaces.
2008-02-11
sLIB
open(?) source triangulates NURBS and Bezier surfaces 100X
faster than earlier methods, supposedly.
Adaptive
Context Trees and Text Clustering Jean-Phillipe Vert
28p 2000 -- improved Markov probability distributions for text.
Copped from a slashdot discussion of webdesign for
geeks: Free CSS
Templates .org and Open
Source Web Design or Web design from scratch
.
or Google's CSS Blueprint site.
One suggestion: "search for common topics like
balance, alignment, contrast, whitespace, optical center,
typography, color theory -- or just "graphic design
principles". Other suggestions: "rule of thirds" "golden
rectangles" "use of circles", "active and passive shapes",
"use of intersecting diagonals", "negative space".
And The Principles of Beautiful Web Design, Jason Beaird
2008-02-10 Small Is
Not Always Beautiful -- piece size optimization in BitTorrent.
2008-02-09 Maintaining Hierarchical Graph Views for Dynamic Graphs Marcus Raitner, 16p 2004
2008-02-07 Distributed
Double Spending Prevention
2008-02-05 Multi-Layer
Perceptrons and Symbolic Data
2008-02-02
Manufacturing Datatypes, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Dependently Typed Data Structures, Hongwei Xi, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Teaching Monadic Algorithms of First-Year Students, Ricardo Pena et al, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Modular Lazy Search for Constraint Satisfaction Problems, Nordin and Tolmach, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Persistent Triangulations, CMU Gang, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages includes a new convex hull algorithm.
An Algebraic Dynamic Programming Approach to the Analysis of Recombinant DNA Sequences, Giegerich, Kurz & Weiller, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
Constructing Red-Black Trees, Ralf Hinze, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
An Experimental Study of Compression Methods for Functional Tries, Iivonen & Tikkanen, 1999 Workshop on Algorithmic Aspects of Advanced Programming Languages
2008-02-01 Automatic
Text Area Segementation in Natural Images
2008-01-29 Face Recognition: A Single View Based HMM Approach -- Hung-Son Le dissertation, Umea U Digital Media Lab 2008 -- latest thing in face stuff, supposedly basis for a soon-to-debut face search engine.
2008-01-28 Stanford 3d-from-photos system using small-patch random markov or some such. (Slashdotted at the moment! :)
Wicked Lasers with a 4100 lumen flashlight &tc.
2008-01-25 Picking up
the Pieces: Self-Healing in Reconfigurable Networks
2008-01-19 SIMON, open source speach understanding.
2008-01-14 Synthesis
of Large Dynamic Concurrent Programs from Dynamic
Specifications
Instant Computing -- A new
Computation Paradigm
2008-01-05 Fast
Integer Multiplcation using Modular Arithmetic
2008-01-05 Certifying
floating-point implementations using Gappa -- practical
proofs of numeric programs.
Toward a statistical
mechanics of four letter words
Kolmogorov complexity in
perspective covering Cilibrasi's work &tc.
2008-01-01 CrystalSpace appears to be the open source 3D game engine of choice at the moment.
A novel set of rotationally
and translationally invariant features for images based on
the non-commutative bispectrum.
2007-12-31 Judgment -- why A
=> B is "not just B or not A".
2007-12-21 Clairlib
docs Natural Language Processing (NLP), Information
Retrieval (IR), and Network Analysis. Its architecture also
allows for external software to be plugged in with very little
effort. Functionality native to Clairlib includes
Tokenization, Summarization, LexRank, Biased LexRank, Document
Clustering, Document Indexing, PageRank, Biased PageRank, Web
Graph Analysis, Network Generation, Power Law Distribution
Analysis, Network Analysis (clustering coefficient, degree
distribution plotting, average shortest path, diameter,
triangles, shortest path matrices, connected components),
Cosine Similarity, Random Walks on Graphs, Statistics
(distributions, tests), Tf, Idf, Community Finding.
Universal Intelligence: A
Definition of Machine Intelligence
Compressed Text Indexes:From
Theory to Practice
Graph kernels between point
clouds
"We derive polynomial time dynamic programming recursions and present
applications to recognition of handwritten digits and Chinese
characters from few training examples."
2007-12-09 Efficient
Modularity Optimization: Multi-Step Greedy Algorithm and
Vertex Mover Refinement
2007-12-07 Dimensionality
Reduction and Reconstruction using Mirroring Neural Networks
and Object Recognition based on Reduced Dimension
Characteristic Vector
Automatic Pattern
Classification by Unsupervised Learning Using Dimensionality
Reduction of Data with Mirroring Neural Networks
2007-12-03 Context Free
Art, courtesy of Drake.
2007-12-03 Harmony.org.uk: A hacker with a physics doctorate analyses chord progressions via phrase structure grammars -- just my cup of tea! :)
2007-11-22 Improved
Fully Dynamic Reachability Algorithm for Directed
Graph
Fourvector algebra for 3D
rotations and orientations, this non-commutative,
non-associative algebra allegedly combines the best of quaternions
and matrices. In particular, supposedly more numerically stable, so
single precision rotations might be more practical.
2007-11-12 Coding facial Expressions with Gabor Wavelets,
br>
Automatic classification of Single Facial Images, Michael J Lyons,
Julien Budynek, Shigeru Akamatsu 1999
2007-11-12 Empirical
Evaluation of Four Tensor Decomposition Algorithms --
SVD works great, but only for problems with two modes: This
paper explores extending the approach to (e.g.) three-mode problems.
A Polynomial Time Algorithm
for Graph Isomorphism. Note that this is not about
SUBgraph isomorphism, which known to be NP-hard. Paper also
points to previously known algorithms which efficiently detect graph
isomorphism in most practical cases.
NB: May have been refuted in A Family of Counter
Examples to an Approach to Graph Isomorphism
2007-11-12 Data
Structures for Mergeable Trees
2007-11-11 Optimal
Solutions for Sparse Principal Component Analysis
2007-11-04 Faster
Algorithms for Online Topological Ordering
2007-11-03 Stix Fonts --
major project releasing fonts for science and engineering.
2007-11-01 A Tutorial
on Spectral Clustering
Clustering with Transitive
Distance and K-Means Duality -- claims
spectral-clustering like results but with O(N**2) cost instead
of O(N**3) [Added 2007-11-26]
2007-10-31 Code
Similarity on High Level Programs -- this looks like a
good entrypoint into the recent literature on Fast Dynamic
Time Warping. (FDTW)
A Query-by-Singing System Based on Dynamic Programming Jang + Gao 2000 5p -- this is the FDTW paper referenced by the above.
2007-10-29 Escalating The War
On SPAM Through Practical POW Exchange
Neutrosophic Relational Data
Model -- handling inconsistent AND incomplete
information within the relation paradigm.
2007-10-27 The BinDCT: Fast Multiplierless Approximation of the DCTTrac D Tran 2000 7p
2007-10-24 Complex
Queries in DHT-based Peer-to-Peer Networks: Describes
briefly how to ab/use DHTs to do substring-match lookups,
before diving into attempting to implement SQL on them.
Looking up
data in P2P systems Balakrishnan et al: Looks like a
decent entrypoint into the literature on current distributed hash
table praxis in the peer-to-peer world.
2007-10-23 A quick
search method for audio signals based on a piecewise linear
representation of feature trajectories
Beyond Feedforward Models
Trained by Backpropagation: a Practical Training Tool for a
More Efficient Universal Approximator
2007-10-22 On a
Clique-Based Integer Programming Formulation of Vertex
Colouring with Applications in Course Timetabling --
good overview of the state of graph coloring generally,
references a 1994 paper on register assignment in
particular.
2007-10-17 Recommendation model
based on opinion diffusion.
2007-10-16 Geometric
Analogue of Holographic Reduced Representation
*blink*.
An efficient reduction of
ranking to classification" -- "nlogn" is music to my
ears, and being able to learn non-transitive preference
sets is also cool.
2007-10-12 Lossless
Representation of Graphs using Distributions -- this
sounds esoteric, but gives a way to reduce graphs to sortable
keys which can be used for searching and sorting, which is very
practical indeed!
2007-10-11 Comparison
and Combination of State-of-the-art Techniques for
Handwritten Character Recognition: Topping the MNIST Benchmark
2007-10-10 An
Extensible Theory of Indexed Types 12p 2008 Daniel R
Licata + Robert Harper: Practical-looking approach to going
beyond simple type systems to allow programmer-defined
LF-based assertions and proofs.
2007-10-09 Designing a
commutative replicated data type -- simple, practical
shared text editing?
Mined from the above:
"Weak-consistency group communication and membership" Golding, 1992
UCSC thesis: "efficient implementation of stability that compacts
acknowledgements
for all past operations into a single vector clock or matrix
clock."
Consensus on transaction commit
Jim Gey and Leslie Lamport, Mar 2006: fault-tolerant distributed commit protocol.
The part-time parliament Leslie Lamport, May 1998: Distributed concensus (Paxos).
Generalized consensus and Paxos
Leslie Lamport 2004: Follow-up to above
Flexible Update Propagation for Weakly Consistent Replication14p 1997: Epidemic communication ensuring causality.
2007-10-04 Colour image
segmentation by the vector-valued Allen-Cahn phase-field
model: a multigrid solution
A Fast Heuristic Algorithm
Based on Verification and Elimination Methods for Maximum
Clique Problem"
2007-10-01 High-Order
Nonparametric Belief-Propagation for Fast Image Inpainting
2007-09-30 Practical
Multiwriter Lock-Free Queues for "Hard Real-Time" Systems
without CAS
2007-09-26 Classification of
Images Using Support Vector Machines
2007-09-25 Self-organizing maps and
symbolic data -- adapting SOM to non-vector input
data.
Resampling methods for
parameter-free and robust feature selection with mutual
information
Functional Multi-Layer
Perceptron: a Nonlinear Tool for Functional Data
Analysis -- looks like a good entrypoint into the
perceptron state of the art.
Algorithmic and topological
aspects of semi-algebraic sets defined by quadratic
polynomial new, efficient connected components algorithm
&tc (thesis).
2007-09-23 Speeding up
Simplification of Polygonal Curves using Nested Approximations
2007-09-17
On Universal Prediction and
Bayesian Confirmation -- time I caught up on the state
of the art, this looks like a good entrypoint.
2007-09-17 Bregman
Voronoi Diagrams: Properties, Algorithms and
Applications "...information-theoretic Voronoi
diagrams...show how to compute them efficiently...of interest in the context of computational
geometry and machine learning"
Using Data Compressors to
Construct Rank Tests
Simple Algorithmic Principles
of Discovery, Subjective Beauty, Selective Attention,
Curiosity & Creativity
2007-09-15 Fully persistent lists with catenation, Driscoll, Sleator, Tarjan. See also Persistent Datastructures (MIT open course) and Making Data-Structures Persistent by James R. Driscoll, Neil Sarnak, Daniel D. Sleator, Robert E. Tarjan and VLists (Wikipedia), a 2002 innovation.
2007-09-14 Distribution
of PageRank Mass Among Principal Components of the Web
-- has a good description of the PageRank algorithm, for starters.
Toward Psycho-robots
... "Evolution of ideas is described by dynamical systems in
metric mental space." ...
2007-09-10 An Optimal
Linear Time Algorithm for Quasi-Monotonic
Segmentation
Using RDF to Model the
Structure and Process of Systems
Belief-Propagation for
Weighted b-Matchings on Arbitrary Graphs and its Relation to
Linear Programs with Integer Solutions
Efficient Algorithms for Node
Disjoint Subgraph Homeomorphism Determination
A Class of Parallel Tiled
Linear Algebra Algorithms for Multicore
Architectures
The rank-width of Directed
Graphs
Constraint optimization and
landscapes
2007-09-10 On
Ultrametric Algorithmic Information <--ESSENTIAL
READING! Haar wavelets, face recognition, much much more.
2007-06-29 Radix
Sorting With No Extra Space
User driven applications --
new design paradigm
Unison as a Self-Stabilizing
Wave Stream Algorithm in Asynchronous Anonymous Networks
Faster algorithms for finding lowest common ancestors in directed acyclic graphs, Artur Czumaj, Miroslaw Kowaluk, Andrzej Lingas 2005, 14p -- good recent Tarjan type stuff with good references.
A Locally Adaptive Data Compression Scheme Jon Louis Bentley, Daniel D Sleator, Robert E Tarjan, Victor K Wei, 1986 11p
NB: Should check out all of Google Scholar's hits on "Tarjan" one of
these days...
2007-06-18 The
XVision2 Project -- Yale vision library used by the
Haskell FVision folx.
FVision:
A Declarative Language for Visual Tracking (2001) --
Haskell for scripting, C++ library for crunching.
2007-06-16 Information-theoretic security without an honest majority
A Finite Semantics of
Simply-Typed Lambda Terms for Infinite Runs of
Automata
Dualheap Selection Algorithm:
Efficient, Inherently Parallel and Somewhat Mysterious
2007-06-08Two
Simplified Algorithms for Maintaining Order in a List --
Dietz-Sleator order maintainance without the tears
(complexity): short
version. Also see the original 1988 Dietz-Sleator paper
2007-06-06 Inferring
the Composition of a Trader Population in a Financial Market
2007-06-03 Open
Source Business Models
2007-05-31 Truecluster Matching
Computing Integer Powers in
Floating-Point Arithmetic
World-Set Decompositions:
Expressiveness and Efficient Algorithms
On the Kolmogorov-Chaitin
Complexity for short sequences
Google Similarity
DistanceRudi Cilibrasi, Paul M B Vitanyi
2007-05-29 The Distance
Geometry of Music
2007-05-22 Toward a Quantum Programming Language Peter Selinger 2002 56p -- his explanation of von Neuman density matrices is the first thing to give me any intuition about quantum entanglement and EPR.
2007-05-21 Computations
Intelligence for Condition Monitoring
2007-05-19 Informatics
Carnot Machine "entropy under certain conditions is information
2007-05-15 Mean Field
Models of Message Throughput in Dynamic Peer-to-Peer Systems
Improvements to the Psi-SSA
representation to support predicated instruction sets.
2007-05-12 Principal
Component Analysis and Automatic Relevance Determination in
Damage Identification -- they report that PCA and ARD
seem to be complementary techniques for their purposes, each working
well when the other does not...
2007-05-12 Processing.org
open source software, possible alternative to reading
people tracker code?
2007-05-07 Succinct
Indexable Dictionaries with Applications to Encoding $k$-ary
Trees, Prefix Sums and Multisets "We give a data
structure that supports [Rank and Select] operations in O(1) time ..."
2007-05-07 Iterative
Rounding for the Closest String Problem
2007-05-07 Clustering
Co-occurence of Maximal Frequent Patterns in Streams
2007-05-07 NodeTrix:
Hybrid Representation for Analysing Social Networks
2007-05-05 Edges and
Switches, Tunnels and Bridges -- drawing nonplanar
graphs readably.
Multiresolution Approximation
of Polygonal Curves in Linear Complexity
2007-05-02 The
Parameter-Less Self-Organizing Map -- latest neural
network tweak.
2007-04-29 McRT-STM: A High Performance Software Transactional Memory System for a Multi-Core Runtime
Bratin Saha, Ali-Reza Adl-Tubatabai, Richard L Hudson, Chi Cao Minh,
(all Intel)
Benjamin Hertzberg (Stanford)
2006, 11p (PPoPP'06)
Compiler and Runtime Support for Efficient Software Transactional MemoryAli-Reza Adl-Tabatabai, Brian T Lewis, Vijay Menon, Brian R Murphy, Bratin Saha, Tatiana Shpeisman (all Intel)
2006, 12p (PLDI'06)
2007-04-19 Bounded
Pushdown dimension vs Lempel Ziv information density:
"we construct a sequence that LZ fails to compress
signicantly, but that is compressed by at least a factor 2 by
a BPD compressor."
2007-04-15 Nyquist, A
Sound Synthesis and Composition Language -- yet another
cool Berkeley-licensed software package out of CMU, this one
based on XLISP driving C, much like Skandha5. I'd love to
translate this into Mythryl...
2007-04-12 Bandit
Algorithms for Tree Search:
Pierre-Arnaud Coquelin (CMAP), Rémi Munos (INRIA Futurs) with
applications to Go :)
2007-04-04"Supervised Learning of Semantic Classes for Image
Annotation and Retrieval", G Carneiro, AB Chan, PJ Moreno, N
Vasconcelos. (Appears not to be available free online as yet.)
2007-04-02 On-line
Viterbi Algorithm and Its Relationship to Random Walks
-- cuts space from O(m*n) to \Theta(mlogn), allowing use on
DNA & continuous data.
2007-03-30 Computer
Science and Game Theory: A Brief Survey
2007-03-28 Structure
induction by lossless graph compression
2007-03-26 Self-adaptive
Gossip Policies for Distributed Population-based Algorithms
2007-03-24 Clustering and
Sharing Incentives in BitTorrent Systems
2007-03-21 Copula
Component Analysis, a proposed refinement of Independent
Component Analysis.
2007-03-19 Cultural Route
to the emergence of linguistic categories
2007-02-27 An
Optimal Linear Time Algorithm for Quasi-Monotonic
Segmentation
Linking Microscopic and
Macroscopic Models for Evolution: Markov Chain Network
Training and Conservation Law Approximations
Succinct Sampling on
Streams
A Landscape Analysis
of Constraint Satisfaction Problems
2007-02-24 Exploiting social
networks dynamics for P2P resource organisation
Efficient Searching and
Retrieval of Documents in PROSA
2007-02-18 What
Every Computer Scientist Should Know About Floating Point
Arithmetic (1991) reccommended by Xavier Leroy
2007-02-15 Social
Behaviours Applied to P2P Systems: An efficient Algorithm
for Resource Organisation "...smoothly evolves to a
small--world graph, where queries for resources are
efficiently and effectively routed."
A kernel method for
canonical correlation analysis Trying for the best of
classical linear and modern SVM approaches.
2007-01-30 Ontology from
Local Hierarchical Structure in Text
2007-01-24 Principal Type Schemes for Modular ProgramDerek Dreyer + Matthias Blume 2007 16p
2007-01-23 Universal Algorithmic Intelligence: A mathematical top->down approach
A complete set of
rotationally and translationally invariant features for images
Complex networks and
human language
Time and the Prisoner's Dilemma
2007-01-16 Statistical
Cryptography using a Fisher-Schrödinger Model
2007-01-10 Cooperative
Optimization for Energy Minimization: A Case Study of Stereo
Matching
2007-01-09 Recursion Schemes as Abstract Interfaces Daniel C Wang, Tom Murphy circa 2003
2007-01-08 Compression-based
methods for nonparametric density estimation, on-line
prediction, regression and classification for time series
2007-01-08 Bootstrap for
neural model selection
2006-12-30 A
type and effect system for atomicity Cormac Flanagan +
Shaz Qadeer sigplan 2003. ConcurrentJava. This looks like a
practical alternative to software transactional memory which
moves the work from runtime to compiletime.
Type and
Effect Systems Flemming Nielson + Hanne Riis Nielson 1999
2006-12-27
Stratification in P2P
Networks - Application to BitTorrent
2006-12-24
The Missing Link -- Dynamic Components for ML Andreas Rossberg 2006: This is what Alice does. Sounds good!
2006-12-19
Failure Resilient
Distributed Commit for Web Services Atomic
Transactions
An asynchronous,
decentralised commitment protocol for semantic optimistic
replication
Goedel Machines:
Self-Referential Universal Problem Solvers Making Provably
Optimal Self-Improvements
2006-12-15
OO Programming
styles in ML Bernard Berthomieu
LAAS Report #2000111, March 2000 (148p). (Found on the excellent MLton references page
An Extension of ML with First-Class Abstract Types This is the paper on adding abstract types to ML which is referenced by the above paper. NB: No syntax changes required(!)
Dynamics in ML Xavier Leroy &al also cited by above OOP paper.
2006-12-11 OLPC Human Interface Guidelines -- "Makes MacOS look like what it is -- boring and unoriginal" according to the slashdot reviewer.
2006-12-04 About
the Lifespan of Peer to Peer Networks -- another Rudi
Calibrasi paper!
2006-12-04 Michaels Tcl/Tk
Extensions (interesting because stuff that plugs into
Tcl/Tk will work nicely with Mythryl's tk7).
TkOGL,
OpenGL-in-Tk solution favored by Michael above.
tclogl claims to be an improvement on TkOGL
tcl3d brings together the above
plus many similar extensions.
RELAX NJ XML specs
with a fraction of the verbosity. ISO standard.
2006-11-29The INRIA Reactive Programming page has
a bunch of good stuff. In particular, the SugarCubes project
described here was the basis for the SML/NJ reactive programming
library (for which Tim Bourke has some comments and patches).
(Note that SugarCubes has been superceded by the apparently much more
efficient Junior project -- if I start using the SML/NJ reactive library stuff, I should look at updating it to Junior's algorithm.) The award-winning Icobj graphic-programming stuff also looks worth study.
2006-11-28
Scale-Free Overlay
Topologies with Hard Cutoffs for Unstructured Peer-to-Peer Networks
Genetic Programming for
Kernel-based Learning with Co-evolving Subsets
Selection
Neural Computation with
Rings of Quasiperiodic Oscillators
Why the Maxwellian
Distribution is the Attractive Fixed Point of the Boltzmann
Equation
BOSAM: A topology
visualisation tool for large-scale complex networks
2006-11-23
Channel Coding: The Road to Channel Capacity
Very Sparse Stable Random
Projections, Estimators and Tail Bounds for Stable Random Projections
A higher-order active
contour model of a `gas of circles' and its application to
tree crown extraction
Discovering Network
Topology in the Presence of Byzantine Faults
Heap Reference Analysis
Using Access Graphs
2006-11-14
Linear-Time
Pointer-Machine Algorithms for Path-Evaluation Problems on
Trees and Graphs "Our algorithms compute nearest common
ancestors off-line, verify and construct minimum spanning
trees, do interval analysis on a flowgraph, find the
dominators of a flowgraph, and build the component tree of a
weighted tree."
Multivariate Integral Perturbation Techniques - I (Theory)Brief comments on
potential applications in finance are given, including
options, models for credit risk and derivatives, and
correlation sensitivities.
Advances in Self
Organising Maps ... "the most popular artificial neural
algorithm for use in unsupervised learning..."
On the Solution-Space
Geometry of Random Constraint Satisfaction Problems "our
results establish rigorously one of the two main hypotheses
underlying Survey Propagation, a heuristic introduced by
physicists in recent years that appears to perform
extraordinarily well on random constraint satisfaction problems.
How to Authenticate and Encrypt
2006-11-11
Adaptive Software Transactional Memory
VJ Marathe, WN Scherer III, ML Scott 2005 15p
Software Transactional Memory for Dynamic-Sized Data Structures Hirlihy, Moir, Luchangco, Scherer 2003 10p This implements DSTM described in ASTM paper above.
Concurrent Programming Without Locks K Fraser, T Harris 2004 48p This implements the OSTM described in ASTM paper above. Source code is here
Composable memory transactions
Tim Harris, Simon Marlow, SIMON PEYTON JONES, and Maurice Herlihy. ACM
Conference on Principles and Practice of Parallel
Programming 2005 (PPoPP'05). -- the Haskell transaction system implementation.
2006-11-09 Lambda
Types on the Lambda Calculus with Abbreviations this
looks like a beautiful piece of work which simplifies typed
lambda calculus by increasing the symmetry between term-
and type-level functions and expressions.
2006-11-09 On Conditional
Branches in Optimal Decision Trees -- compiling switch
statements taking into account processors with predictive
branching &tc.
2006-11-08 Efficient, Dynamic Indexing and Aggregation of Moving Objects
Nonextensive Pythagoras' Theorem
2006-11-03Jerry pointed out: Web 3.0 and the Widgetized Web -- webcrawling
without ever leaving Google thanks to the various optional widgets one
can add to a start page there.
2006-11-02 Efficient
constraint propagation engines
Hedgin predictions in
machine learning
2006-10-31 A
Review of Bayesian Restoration of Digital Images Employing Markov Chain Monte
Carlo
2006-10-30
A Taxonomy of
Peer-to-Peer Based Complex Queries: a Grid perspective
ECA-RuleML: An Approach
combining ECA Rules with temporal interval-based KR
Event/Action Logics and Transactional Update Logics
Information filtering via Iterative Refinement
Low-complexity modular
policies: learning to play Pac-Man and a new framework
beyond MDPs
Nonlinear
Estimators and Tail Bounds for Dimension Reduction in $l_1$
Using Cauchy Random Projections
2006-10-25 Metric learning pairwise kernel for graph inference
2006-10-20 Inference in
Binary Pair-wise Markov Random Fields through Self-Avoiding Walks
2006-10-16 Vector
field visualization with streamlines
An Application of the
Mobile Transient Internet Architecture to IP Mobility and Inter-Operability
A Mobile Transient
Internet Architecture
2006-10-11 sml_tk: Functional Programming for Graphical User Interfaces
2006-10-11 CR-precis: A
deterministic summary structure for update data streams
2006-10-11 Towards
a Bayesian framework for option pricing
2006-10-11 Streaming Max-Min
Filter Using No More than 3 Comparisons per Element
2006-10-10(from Stephen Weeks:)
Adding Threads to Standard ML http://mlton.org/References#CooperMorrisett90
A Distributed Concurrent Implementation of Standard ML http://mlton.org/References#Matthews91
Procs and locks: a portable multiprocessing platform for Standard ML
of New Jersey.http://mlton.org/References#MorrisettTolmach93
2006-10-09 A kernel
for time series based on global alignments
2006-10-04 ABCD:
Eliminating Array-Bounds Checks on Demand Bodik, Gupta Sarkar
2006-10-02 Conditional
Expressions for Blind Deconvolution: Multi-point form
"The CE can detect multiple blur all at once. We illustrate
the multiple blur-detection by using a test image.
Simple method to
eliminate blur based on Lane and Bates algorithm "A
simple search method for finding a blur convolved in a given
image is presented. The method can be easily extended to a
large blur. The method has been experimentally tested with a
model blurred image."
2006-09-29 Tina's Randum
Number Generator Library, apparently very well-analysed,
well-founded, distributable LFSR based pseudo-random number generator
library. (http://arxiv.org/abs/cond-mat/0609584)
2006-09-28 Efficient Open
World Reasoning for Planning
2006-09-25 Support Vector Machine Tutorial by UMD's Christopher J.C. Burges.
Motion Primitives for
Robotic Flight Control
2006-09-21 Approximating
Rate-Distortion Graphs of Individual Data: Experiments in
Lossy Compressino and Denoising
2006-09-06 Anonymous
Authentication Protocol in Mobile Ad hoc Networks
including a distributed reputation algorithm.
2006-09-01 The Tree
Inclusion Problem: In Linear Space and Faster
2006-08-30 TreeP:
A Tree-Based P2P Network Architecture
2006-08-01 An
Introduction to the DSm Theory for the Combination of
Paradoxical, Uncertain, and Imprecise Sources of Information
2006-07-31 Hidden
Markov Process: ...
Escape Analysis by
Abstract Interpretation
Topological Grammers for
Data Approximation
Leading strategies in
competitive online prediction online regression --
USEFUL FOR STOCK TRADING?
2006-07-28 Expressing
Implicit Semantic Relations without supervision
Security Policies as
Membranes in Systems for Global Computing
2006-07-17 Cepstral
speach-to-text is proprietary, but might be a good indication
of the state of the art, and benchmark comparison for open
source equivalents.
2006-07-09 Punch "LSA" (Latent Semantic Analysis) into
arXiv.org/cs.
Look up Princeton musician Dmitri Tymoczko's 2006-Jul-07 music theory
article in Science -- first one they have ever published.
2006-06-05
Getting started with Wacom tablets in Linux
2006-06-01
A parent-centered radial
http://www.cs.cornell.edu/Info/Projects/NuPrl/cs611/fall94notes/cn14/section3_4.html layout algorithm for interactive graph visualization and animation
General Compact Labeling
Schemes for Dynamic Trees with applications to efficient
distributed computation.
2006-05-29
Classification of Ordinal
Data with applications to support vector machines and
neural networks.
2006-05-23
A direct formulation for
sparse PCA using semidefinite programming -- sounds
somewhat interesting in itself, but mainly, looks like a good
pointer into the literature on principal component analysis.
Distributed Selfish Load
Balancing -- sounds potentially very useful!
2006-05-14
What's the secret sauce in Ruby on Rails: Finally, a thoughtful, knowledgable, useful, balanced third-party review of what's right about Ruby on Rails. E.g., relative to similar frameworks, it sacrifices flexibility for conciseness, substituting conventions for vast configuration files. I like the sound of that. :)
2006-05-11
Strong Atomicity for Java Without Virtual-Machine Support 2006 from the UW WASP project 2006. Efficient compile-time optimization of multiprocessed transactions -- LOOKS WORTH CAREFUL STUDY.
Continuations, proofs and
tests -- types for CPS (continuation-passing-style) code
translation.
2006-05-09
A Formal Measure of
Machine Intelligence
2006-05-04
On the Foundations of
Universal Sequence Prediction"
2006-04-23
An O(n**2.75) algorithm
for online topological ordering. Friedrich 2006-Apr-20
Good for interactive pointer loop detection and such. Also
has a good review of other topological sort algorithms.
2006-04-16
Program Verification for Optimized Byte Copy Edoardo S Biagioni 1994 19p CMU-CS-94-172 (The Hello OS prof.)
Sequence Types for Functional Languages Edoardo S Biagioni 27p 1995 CMU-CS-95-180. (The Hello OS prof)
Biologically Inspired Hierarchical Model for Feature Extraction and
LocalizationLiang Wu, 4p, 2006 Apr
2006-04-10
An O(n^3)-Time Algorithm
for Tree Edit Distance
Music Theory .net
The
FLux OSKit: A Substrate for Kernel and Language Research.
Might be an architecture template to base an ML OS upon? Not in
ML, but they implement SML on the bare metal. :)
2006-03-31
A
Portable, Unobtrusive Garbage Collection for Multiprocessor
Systems Damien Doligez POPL 1994 14p
(I believe this is the basis of the Ocaml garbage collector.)
2006-03-24
Topological Grammars for
Data Approximation Gorban Sumner Zinovyev
Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML Atsushi Ohori + Nobuaki Yoshida 1999 12p
(The SML# folx.) Claims to relax the value restriction and eliminate
the exponential-time typechecking cases while generalizing the
type system -- sounds cool!
2006-03-21
Peer-to-peer
communication across network translators "This paper
documents and analyzes one of the simplest but most robust and
practical NAT traversal techniques, commonly known as "hole
punching." Essential reading! See also:
The hole
trick: How Skype &Co get around firewalls
Packrat Parsing:
"Simple, powerful, lazy, linear time."
Concensus Propagation
-- basic distributed computing.
Yet another efficient
unification algorithm More essential reading.
2006-03-05
Better networking with SCTP. Supposedly a superior replacement for TCP, already in the Linux 2.6 kernel.
Solution of the crystallographic phase problem by iterated
projections V. Elser 2003 -- presents the general "difference
map" algorithm which also solves Sudoku puzzles and such
according to the ScienceDaily writeup
2006-02-21
Implementing
Type Classes Peterson + Jones 1993 10p
"This paper is meant to serve as a practical guid for the
implementation of type classes."
2006-02-15
How to Beat the Adaptive
Multi-Armed Bandit Dani, Hayes 2006-02-14
Emergence Explained
Abbot 2006-02-12
Multilevel Threshholding
for Image Segmentation through a Fast Statistical Recursive
Algorithm Arora Acharya Verma Panigrahi 2006-02-12
2006-02-12
The Fusion
Machine Gardner Laneve Wischik 2002-03-27 18p "There
have been only two distributed [pi-calculus type]
implementations": Facile and JoCaml.
The Fusion
Calsulus: Expressiveness and Symmetry in Mobile
Processes Parrow + Victor Dec 5 1997 UUppsala 28p --
this appears to be the original fusion calculus paper.
A Calculus of Mobile Agents Fornet Gonthier Levy Maranget Remy (INRIA) 1996 16p The original "distributed join calculus" paper.
The reflexive CHAM and the join-calculus Fournet Gonthier (INRIA) 1995-Oct 32p -- The original "join calculus" paper.
The Chemical Abstract Machine Berry + Boudol (INRIA) 1992 13p
Pict: A Programming Language Based on the Pi-Calculus Pierce + Turner (Indiana U) 1997-03-19 26p
No Assembly Required: Compiling Standard ML to C Tarditi + Lee & Acharya (CMU) 1992 17p -- in SML/NJ with 50% speed penalty: "sml2c".
Dependent types with subtyping and late-bound overloading Castagna + Chen 1998-06-23 76p -- looks like a good overview/tutorial too
2006-02-07
Explaining Constraint Programming
Information Theory and Thermodynamics
2006-01-31
Understanding and Evolving the ML Module System Derek Dreyer (thesis, Harper, Crary, Lee, MacQueen) 2005 May 262p
TIL: A type-directed optimizing compiler for ML, Tarditi, Morriset,
Cheng, Stone, Harper, Lee 1996, 25p
2006-01-30
A Separate
Compilation Extension to Standard ML 2006 58p
2006-01-28
Sound and Complete Elimination of Singleton Kinds Karl Crary 2000 25p
"a translation from a language with singleton kinds to one without
... useful for type-preserving compilers... by normalizing
type equivalnet derivations using Stone and Harper's type
equivalent decision procedure..."
Perl
Golf book -- be nice to analyse what techniques are most
often used, with possible application to ML.
2006-01-26
Nonequilibrium
Thermodynaimcs of Wealth Condensation
2006-01-25
Artificial Sequences
and Complexity Measures
Extracting in an automatic and agnostic way, information from a
generic string of characters. ... use data compression
techniques to define a measure of remoteness and distances
between pairs of sequences... applies to any kind of corporate
independently of the type of coding behind them ... results
for language recognition, authoriship attribution ...
Fast Lexically
Constrained Virterbi Algorithm (FLCVA): Simultaneous
Optimization of Speed and Memory"
Sharing intermediate results between separate Hidden Markov Models
HMM. Simultaneous computation of the a posteriori probabilities
of all the words in the lexicon.
2006-01-24
Topology of covert
conflict Nagarja 2006 13p Attacking and defending
peer-to-peer networks
Formal Verification of Dead Code Elimination in Isabelle/HOL Blech Gesellensetter Glesner 2005 10p
Includes the result that dead code elimination, normally cubic, is
only quadradic on code in SSA form.
Dependent types ensure partial correctness of theorem provers Appel + Felty 2004 17p
Automation for Interactive Proof: First PrototypeMeng + Quigley, Paulson UCambridge 2005 26p. (NB: last author is Isabelle's creator.)
Optimizing Code Generation from SSA Form: A Comparison Between Two Formal Correctness Proofs in Isabelle/HOL"Blech + Glesner + Leitner Mulling, U Karlsruhe 2005 18p (use Konqueror not Mozilla)
2006-01-22
Proofs, Programs and Executable Specifications in Higher Order Logic thesis of
Stefan Berghofer 2003 143p -- based on Isabelle and SML/NJ. (Try xpfd if gv crashes on the .pdf)
Isabelle/HOL tutorial -- Nipkow + Paulson + Wenzel, 2005 235p(!)
Executing Verified Compiler Specification Okuma + Minamide 17p 2003
Found above after poking around a bit for the state of the art
in compiling natural semantics definitions. Uses Isabelle/HOL
to autogenerate SML/NJ code. Scheme-like source language
compiled to Java bytecodes -- clearly a proof-of-principle
level of achievement.
2006-01-17
Singleton Kinds and Singleton Types Christopher Stone 2000 174p (Thesis)
2005-12-31
Wobbly types: type inference for generalized algebraic data types Peyton Jones + Washburn + Weirich 2004 POPL 15p: "Generalized algebraic data types (GADTs), sometimes know as guarded recursive datatypes" or "first-class phantom types", are a simple but powerful generalization of the data types of Haskell and ML..."
Compare to: Programming with Static Invariants in OmegaLinger + Sheard 2004 18p, which (e.g.) shows that a binomial heap implementation can be
proved largely correct by the SML/Haskell typechecker using such
techniques.
(Also among Sheard's recent papers
is
Languages of the Future OOPSLA 2004 14p -- sounds like it obsoletes MetaML.)
First-Class Phantom Types, Cheney and Hinze, 32p circa 2004. They credit the phantom types idea to
Domain
Specific Embedded CompilersLeijen and Meijer 1999 14p.
2005-12-30
A
Type-Theoretic Interpretation of Standard ML, Robert
Harper and Christopher Stone, 1999 29p.
and
its companion tech report (1997, 78 pages) which appears to obsolete the previous year's
A Type-Theoretic Account of Standard ML 1996 (Version 2) Harper + Chone Sep 10, 1996 82p.
In updated form, this looks poised to become the standard
semantics for successor ML, "sML".
Also worth checking out are recent papers (including 2002 thesis) by
Stone and
Harper
papers such as (on callcc)
Typing
First-Class Continuations in ML (Harper Duba MacQueen
1993 15p)
(not to mention Andrew W Appel)
such as
Implementing the TILT internal language 2000 and
A type
system for higher-order modules Dreyer+Crary+Harper 2004
65p.
Bidirectional Type Checking
2005 9p looks at first blush at least to be a breakthrough in typed
intermediate languages. Peyton Jones comments "Bidirectional
type inference is one powerful tool" in his wobbly types paper.
Also worth a peek: Twelf
User's Guide V1.4 2002 98p
"The Wizard of TILT" Tom Murphy 2002 22p CMU-CS-02-120 senior thesis w
Harper + Crary mentions Wadler's "views" for pattern-matching
ADTs.
Pattern Matching and Abstract Data Types Tom Murphy VII 2002 36p slideset gives more detail, gives
Views: A Way For Pattern Matching To Cohabit With Data Abstraction Wadler 1986 18p (which has a nice overview of "join lists", which support linear time appends) as the reference, then gives as an improvement
Active Patterns (
A New Look at Pattern Matching in Abstract Data Types Pedro, Pena, Nunez 1996 12p and a without-language-extensions
(but with-performance-hit) approach "Programming with Recursion
Schemes" Wang + Murphy 2002.
Existential types are introduced in Abstract Types Have Existential Type Mitchell + Plotkin 1988 33p
Linear Types
can change the world!Philip Wadler 1990 21p
A Prettier Printer Philip Wadler 22p, 1997 revised 1998 an improvement on Hugh's prettyprinter. Try Konqueror if gv won't render it.
Wadler's homepage
2005-12-14
IPP2P, filter used to kill/restrict
"peer-to-peer" traffic. Should study it before designing any
new peer-to-peer protocol, to make sure we can evade ipp2p abuse.
2005-10-30 Compiling
with Proofs, George Ciprian Necula under Robert Harper &tc
1998 CMU Thesis 277p
2005-10-24 SECURING DEBIAN MANUAL
2005-10-21 Solipsis, a shared virtual world in python
posted by JCLawrence to mud-dev, download page here.
Built on xw-python, twisted, and the python imaging library PIL.
WordseyeOn Tuesday, Bob Coyne, one of the developers of Symbolics' S-Paint
system, will be speaking at the next meeting of Lisp NYC about his new
project, WordsEye [via Jim Thompson].
WordsEye allows untrained users to spontaneously and interactively
create 3D scenes by simply describing them. By using natural
language,
ordinary users can quickly create 3D scenes without having to learn
special software, acquire artistic skills, or even touch a desktop
window-oriented interface. Creating graphics with natural language
gives a new sense of power to words and suggests applications in
education and creative play as well as the creation of visual art
itself. WordsEye relies on a large database of 3D models and images
to
depict objects and surface textures. WordsEye is written in Common
Lisp and runs on Linux
(Posted to mud-dev by JCLawrence)
2005-10-17J Furuse'sG'Caml
stuff, in particularGeneric polymorphism in ML.
If the INRIA parentage isn't recommendation enough, Stephen
Weeks also sounded very impressed on the MLton list.
2005-10-04 NILFS, a linux
log-structured filesystem released by NTT, supporting access to
past states of the filesystem.
2005-10-03 hOp/House
-- Haskell User's Operating System and Environment.
Design and Implementation of an Operating System in Standard ML 1999-09 Fu (UHawaii MS Thesis) 46p describes the Hello operating system kernel. A shorter version is here and the source code here.
2005-09-01 Shimon Edelman, David Horn, Eytan Ruppin, Zach
Solan, "Unsupervised Learning of Natural Languages", Proceedings
of the National Academy of Sciences Vol 102 No 33, introducing
their ADIOS (Automatic Distillation of Structure) method.
Adios
project, Zach
Solan's thesis webpage (now dead, but see
here). This is the "crazy israeli" paper
-- my favorite paper of the last decade.
2005-08-31 Jon Smirl's 2005-08-31 The
State of Linux graphics -- an extremely good summary with
lots of context, links to further reading, and recommendations.
2005-06-22 Tim
Sheard's stuff on Omega, equality qualified types and such
-- some are generalizations of his MetaML.
2005-06-14"Scout: A Hardware-Accellerated System for
Quantitatively Driven Visualization and Analysis", McCormick,
Inman, Ahrens, Hansen & Roth, 2004 IEEE" -- using GPUs to attain
12X speedup over CPU.
2005-05-10 Dual Photography -- using Helmholtz duality to generate images of a scene from the light source's point of view (a video projector)...!
2005-04-20 Unix System Programming with Standard ML
Including a webserver!! Version 0.1 Mar 2002 -- may be mostly
vaporware, not sure.
2005-04-17 Standard ML# of Kansai:
SML# extends SML with polymorphic field selection
and polymorphic non-destructive field update operation. Furthermore,
polymorphic field accesses are always complied into efficient index
operations. (For a formal description of SML#, see my paper "A
Compilation Method for ML-style Polymorphic Record Calculi", POPL 1992
(its dvi file can be found in this directory.) I hope that the
extensions embodied in SML# (or something like them) be integrated in
the standard of future Standard ML.
SYNTAX OF SML#.
It is the same as Standard ML except:
- Flexible record patters (and the derived form of #label) are now
first-class patterns, and can therefore used without type
constraints, as explained above.
- The expression constructor of the form
#> exp => {lab1=exp1,---,labn=expn}
is added. (The sequence #> is now a reserved word and cannot be
used as an identifier.)
- A type variable can be constrained with a record kind by the
syntax:
'a # {label_1:type_1,---,label_n:type_n,....}
The trailing "..." is optional.
2005-04-12 Fusions:
"Bjorn Victor and Joachim Parrow invented the fusion calculus in
1996-1998. Their inspiration was two-fold: to simplify and make
symmetric the pi calculus, and to model concurrent
constraint programming.
Meanwhile, independently, Yuxi Fu invented the chi calculus,
essentially the same as the fusion calculus."
Other keywords mentioned: equators and solos calculus.
Selected
Bibliography on Mobile Processes -- excellent review and
reading list updated through Feb 1998. The sections are:
- General Ideas of Mobility
- Basics of Mobile Processes
- Encoding of Various Computational Structures
- Asynchronous Pi-calculus
- Expressiveness in pi-calculi
- Types for Mobile Processes
- Programming Languages based on Mobile Processes
- Other Topics
2005-03-13 Distinctive Image Features from Scale Invariant Keypoints -- realtime feature-matching, used in
his SIFT Keypoint
Detector and for Object recognition and generating panoramas and 3D scene reconstruction from video
2005-03-02 Debian
Cluster Components -- we'll be clustering sooner or later,
plus their selection of (e.g.) Shorewall is a strong third-party
recommendation.
2005-02-23 Kevin Knight's
home page -- mainly I want to read up on the machine
translation by automated learning from matched text corpi stuff.
2005-02-19: Protein Interaction Databases
2005-02-16: GNU
TeXmacs, which is available as a standard Debian package.
2005-02-15: Paje "a
graphical tool that displays traces produced during the
execution of multithreaded programs."
2005-02-05:
Glitz -- 2D widget type stuff built on OpenGL for hardware
accelleration!
2005-01-29:
Automatic Meaning Discovery Using Google -- another Rudi Cilibrasi
gem!
2005-01-22: Open
3D Visualization Toolkit from the Science Museum of Minnesota.
2005-01-21: Ruby on
Rails, some sort of website development package.
2004-12-26:
"JAVELIN: A
Flexible, Planner-Based Architecture for Question
Answering" -- CMU goes beyond LCC and Piquant.
"IBM's PIQUANT II in TREC2004"
"Retrieving Definitions from Scientific Text in the Salmon Fish Domain by Lexical Pattern Matching" BS thesis at ULimerick Jan 2004 -- NB that Chapter 2 is a valuable literature review:
Chapter 1
2,
3,
4,
5,
6,
Appendices
2004-12-01:
mGTK: An SML binding of Gtk+, Larsen & Niss, DIKU, 6p freenix2004 (LGPL source on sourceforge.)
SML-Gtk: Gtk+ bindings for SML/NJ 2003 Allen Leung (he says he also has bindings for OpenGL, ncurses and other, but the links are dead :(
2004-11-10: Nonparametric inference for ergodic, stationary time series, Morvai, Yakowitz and Gyorfi Ann Statist 1996 9p
2004-11-02: ProofPower, a GPL "suite of tools supporting specification and proof in Higher Order Logic (HOL) and in the Z notation."
2004-10-27: Tiny C
Compiler -- "C Scripting Everywhere Small! Fast!
Unlimited! Safe!"
2004-10-16: Inkulator9000: Comic-style "drawings"
from 3D meshes. C++/Windows, but GPL open source on SourceForge.
2004-10-12: Croquet, a
Squeak+OpenGL-based project oriented towards shared telepresence
and collaboration of large numbers of people -- currently mostly vaporware.
WorldForge an (overly?)
ambitious open-source MMPORG game engine effort. Says no
playable games generated yet as of 2004-10. Looks worth
checking back from time to time.
3D Outside The Box shareware
app, I mostly want to check out the excellent linklist at some point.
WizzyTeX "is an emacs minor
mode for incrementally viewing LaTeX documents that you are editing."
advi: "Active-DVI is
a presenter and previewer for texts or slides written in LaTeX,
hence the presentation tool of choice for the discriminating hacker."
GODIVA tool for
generating GODI (ocaml) packages.
Gnome Human Interface Guidelines 2.0
Correctness
proof for a full copying gc(!)
Chris Osaki's practical examples of 3rd, 4th, 5th and 6th-order functions.
Also see here.
Stats on use of higher-order functions arehere
Graphviz
and particularly its dot tool recommended on caml list
for directed graph presentation.
POMAP is an example of using it from Ocaml.
Tulip was also mentioned.
And later AGD ("built on
top of LEDA").
Tom Lord's arch.
I've always detested CVS. Tom sounds like he has his head
screwed on straight. Worth investigating.
Ditto David Roundy's "Theory of Patches"-based Haskell-implemented
darcs
NASA's World
Wind planetary viewer and 3D display engine: "World Wind
allows any user to zoom from satellite altitude into any place
on Earth, leveraging high resolution LandSat imagery and SRTM
elevation data to experience Earth in visually rich 3D, just as
if they were really there."
Nebula2I
3D C++ game engine with MIT-style license.
Irrlicht
3D C++ game engine with BSD-style license -- supposedly
impressive and with big user community.
GlSurf:
ocaml app displaying surfaces from implicit specs via OpenGL.
sip-typed-applets.ps.gz -- sandboxing ocaml.
PPMd 64-bit bugs
distcc: a fast, free distributed C/C++ compiler
Variational Shape
Approximation -- fast, mathematically sound 3D mesh simplification.
Independent Component Analysis of EEG data in realtime
GPUs as CPUs
at UW CSci
Regular Expressions in Haskell
RMS, the (Haskell) Robust Mail Store
Metasploit
Free
Culture: How Big Media Uses Technology and the law to lock
down culture and control creativity by Larry Lessig
Sphinx, CMU open-source high-quality speech recognition
Fault Tolerant
Shell (2004-03-15)
PiceSpy Social
Network Bot: Inferring and Visualizing Social Networks on IRC
Mnemonics -- figure alphabet
How to Memorize&tc
Caml
PARC's Obje
Software Architecture
Anti-Spam Solutions
and Security, Part 1 and Part 2
The
Spam-Filtering Accuracy Plateau at 99.9% Accuracy and How to
Get Past It
Dobly spam filter.
Deep Inside KDE 3.2
subversion
Mark Newman's slick
percolation algorithm for analysing
social networks.
Converting an existing development system to the 2.6 kernel
Migrating to Linux kernel 2.6 -- Part 2: Migrating device drivers to Linux kernel 2.6
CD-Writing HOWTO
NILO, the GNU
network boot loader.
NdisWrapper to run
Windows Centrino drivers under Linux -- or pay $20 for the
Linuxant solution
5,000,000 hi-res WW II RAF aerial photos
Genius and Autism
One Day Glass
md5 disk tuning
Office Display Cabinet
GNU/Linux AMD64 HOWTO
Debian AMD64 page
AMD64 fixes for 2.6.0
State of linux on AMD64
BrookGPU
Econ stats
bacterial evolution
Verse Virtual Collaboration Server
Nil
Loqairou the 3D Sketchpad
Connector
"Good-Turing estimator and Alon Orlitsky's improvements
Exercises
Hacker's Diet
low back
exercises and
Taking Care of Your Back, from the American Phystical Therapy Association
Real-Time Soft Shadows Project
MUTE
WINW and BadBlue
Mayo clinic on exercise
Open Source Desktop Technology Road Map
Intel's open-sourcePNL,
"provides, for the first time in
science, a formal way of describing causality"
Note: This list is primarily a personal mechanism to find things
that interest me quickly, such as:
Search:
Alta
Vista/
Raging,
Gettyimages,
Goo/
img,
T10,
NatGeo
images,
DejaNews,
FTP Search,
CiteSeer,
Which RPM,
FAQs,
PGP Keys,
Austin/
Seattle
weather,
Prices:
PRICEWATCH,
Froogle,
PriceGrabber,
shopping.com,
shopper.com,
mySimon,
DealInfo,
Reputations:
bizrate,
reseller ratings,
ePinions
Lookup:
EB,
OneLook,
Dicts
(+Chinese),
NZ Library,
PR:
Goo,
BBC,
CNN,
Reuters,
AsiaTimes,
NewsTrust,
Spiegel,
CSMon,
IHT,
AmChron,
Economist,
WaInd,
TStar,
NBER,
HenryCKLiu,
Max Fraad Wolff,
SwissInfo,
Briefing,
SCSentinel,
SJMercury,
Newsblaster,
Yahoo
headlines/
/news/
biz/
airfares,
pda,
Gossip:
Slashdot,
Register,
Inquirer,
Hacker News,
arXiv:
cs,
physics,
math,
qbio,
blog,
Moore,
baez,
DebianAdmin,
EET,
TRN,
Librenix,
ArsT/
Linux,
NewsForge,
TechReport,
OSOp,
Telepolis,
C,
Cryptome,
infoshop,
DevShed,
DDJ,
HitB,
SourceForge,
Risks,
Giggles:
Doonesbury,
User Friendly,
Dilbert,
SinFest,
Joy of Tech
Science:
SciDaily,
PLoS/CompBio,
Express,
Nature,
PhysOrg,
SciBriefs,
NewInSci,
NewScientist,
Mixed States,
UTexasPhysSem,
+CSciSem,
PLoS Biology,
PhysWeb,
AIP,
UW CSE
Overseas:
Copenhagen Post,
LeMonde,
Spiegel,
repubblica,
laStampa,
ilGiorno,
elMund
Debian:
Weekly,
debian.org/
diagram
Linux:
Devices/
KernelTrap/
Watch/
Linux
docs
and
HOW-TOs,
Ency,
Programmingl,
Security/
Weekly/
Daily/
distros/
doc/
guru/
Gram/
kernel/
traffic,
source,
Today/
Org/
Planet/
Power/
HQ/
Gazette/
World,
Perl:
Perl/
guts/
timeline/
PDL/
mod/
news/
archives/
modules/
doc/
CPAN/
Tk/
Tix/
Gtk
perl
tut
ref,
kibitz,
Language:
Ruby,
Tcl
/cookbook
Togl,
Python
/Qt,
Graphics:
RenderMan
Spec,
Repository,
FAQ,
GNU,
SIG2000.
RenderMania,
Raytracing News,
Apps:
FreshMeat,
AppWatch,
Gimp/
plugins/
.com,
Grokking,
My.
Gnus,
procmail,
NetPBM,
Xanim
Xemacs,
/Gtk,
lisp,
Qt,
Gnome,
/intro
Kdevelop,
KLPP,
Esd,
VNC,
Compression FAQ,
Indy,
Mon,
AP,
aJ
ViWes,
asia,
ABC,
CBS,
bush,
TechWeb
ET(UK)
Nando,
OutThere,
Prosa,
Skeldale,
TheNation,
Zmag(w Chomsky),
MoscowT,
counterpunch,
OpenSecrets +
FundRace
NEC,
Bell Labs,
Lucent,
LBO,
FedTimes,
Detroit,
Star,
NewsWorks,
Scripting,
ISF
coSrc,
bazaar,
HelpWanted,
RJava,
JWorld,
INews,
NavalArch,
News.com,
totalNews,
SeattleTimes,
BizWeek,
wirednews,
CRN/R,
CNet,
ZiffD,
PCWeek,
InfoWorld,
Asahi,
JT,
Nikkei,
Kyodo,
Hong
Kong,
China,
Taiwan,
Korea,
Bangkok,
Singapore,
Philippines,
Malaysia,
Melbourne,
Oz,
Russia Today,
Central Europe,
St Petersburg,
Canoe,
Globe+Mail,
Africa,
Hindu,
Iraq,
ArabView,
JPost,
Ha'aretz,
Law,
Palest.,
Hezbollah,
PLO,
IINS,
Palestine,
Jordan,
PSQ,
EurekAlert,
TR,
SciAm,
SciGuide,
SciCentral,
Cornell/Sci,
Nature,
amateur,
Science,
NewScientist,
GPGPU,
UW CS&E,
Econs,
Nasdaq,
NewsAlert,
WorldlyInvestor,
Individual,
Datek,
ETrade,
EchoTrade,
ESchwab,
Barron's,
Granma,
NewsPage,
NewsLink,
LightWave,
UNPO,
Oneworld,
APC/PGS,
Nunatsiaq News,
Stanford Daily,
NOAA weather,
UW weather page,
SantaCruz
weather
Internet Weather Report,
Austin
movies/
TV,
SC
movies
Seattle
traffic and
movies (also
Universal,
Paramount,
Warner Brothers
Disney,
MGM,
20thC Fox),
Meteosat,
ONSALE/
SurplusAuction/
Chip/
TMQ/
Intervest/
IME/
pcZoo,
Intol
CDW
SurplusD,
and semi/live images of
SF Exploratorium,
WWall,
Dublin,
Red Square (UW), the
Seattle Harbor,
San Francisco,
the Fish Cam,
Saas Fee(!!),
san diego
Banff/
banffcam
San Diego (& Qualcomm!:),
Copper Mountain, CO
Hong Kong,
Biodome Penguins,
Geek
haven!
(+from air),
MB KelpCam/
MBARI,
UCSC,
SF Bay Bridge,
Norway,
Santa Monica,
Niagara Falls,
Sydney,
Weather Cams,
&tc.
Today in History,
And the
Astronomy Picture of the Day!
I recommend searching it for a keyword of interest, if looking for
something specific. Also fun:
switchboard white-pages,
USWest yellow pages, the
search page,
myfreeemailsearch,
See also Net Indices below.
cynbe@muq.org
Hotlist Menu
Google.
Yahoo, with an excellent daily
What's New.
Alta Vista:
Spectacular new (95Dec) web index -- just try to
find something nontrivial not listed in it!
AOL (nee UW) WebCrawler. (See
also the
metacrawler.)
Lycos: Full Home Page (CMU search engine).
See also
here.
The InfoSeek search engine, which found more
sea otters for me, but I don't like the display format as much.
The new Architext
search engine found a great set of URLs for my "Muq" query -- almost
instantly. This one looks worth keeping an eye on.
See also the
Netscape catalog of Web search engines and the
University of Geneva search engine catalogue.
Cern WWWeb Subject Catalogue. (This is great!)
Cern WWWeb catalogue of non-WWWeb net resources..
SIFT -- emails you when stuff that interests
you appears on netnews or in online computer science
techreports!
Spider's Web: An amiable index of 1500 links plus introductory materials.
Guide to Cyberspace 6.1: Contents.
MecklerWeb.
Neurosciences Internet Resource Guide.
Scientific Visualization bibliography (annotated).
Virtual Tourist II, a geographic net index.
EINet Galaxy.
Global Network Navigator.
SUSI II Mega Internet search WWW, an index of indices.
harvey's Cyberspace Jump Station:
SIKS of Unified Computer Science Tech Report Index -- Whee!! Searchable!
UCDavis list of Computer Science Research Resources (Tech Reports &tc).
National CS Tech Report library project, hosted at Cornell.
UW CS&E has
Tech Reports and
Colloquia.
"Harvest" CSci Tech Report searchable index. Automated.
HCI Bibliography: 10,900 abstracted Human-Computer Interaction refs.
IBM Research CyberJournal: Thousands of tech reports online!
IEEE Times Best Engineering sites.
Central Source Yellow Pages: 10,000,000 business phone numbers.
Switchboard: 90,000,000 personal names, phonenumbers and addresses.
Online newspapers index.
Stuff I've added recently, in most-recent-first order.
This is so my regular visitors don't have to scan the
complete hotlist to find what new baubles I've brought
home recently grin.
Latest Mythryl
docs
Joel On Software -- a
voice from the trenches.
My personal picks for most outstanding web pages:
Best nerdic humor page.
Most stunning computer graphics:
3-D strange attractors, quaternion fractals and chaotic kin.
A definite "must see"!
Most stunning photographs:
Chinese Scenery.
Best dolphin page.
Most important single Web site:
International PGP Page,
defending civil rights in the electronic age.
Best research collection:
The Silk Road virtual collection, with
thousands of maps, paintings, photos &tc &tc.
Best charity page:
The Hunger Site: Every click feeds someone, somewhere.
Best Popular Mathematics Page:
The
MacTutor History of Mathematics archive, covering Greek math
through General Relativity with great biographical material.
Best online daily news:
Electronic Telegraph(UK): Not just the
usual wire feed, but good stuff with lots
of hotlinks.
Best Weather Service:
Intellicast,
"Your online guide to weather, ski and ocean conditions,",
including a
Seattle page.
Most thought-provoking:
Anders Main Page, my personal pick for overall
best Web page. Check out the transhuman page in
particular. I still don't believe in
traversable wormholes,
but this is good stuff to get the mental gears
turning!
First runner-up:
The Telson Spur, A Way Station for Snark Hunters, with
oodles of good science fiction quotes and science links.
Most intriguing science site:
Astronomy picture of the day. Consistently smashing!
See also: Snow
Crystals.
Best voice of reason keeping tabs on the psychos:
Fascist New World Order page.
Best search engine: Alta Vista.
I used to like the WebCrawler and Lycos, but Alta Vista
is in an entirely different class. DEC has thrown a
dozen people and CPUS at the problem and the result is
simply amazing.
Best browsable index:
Yahoo. I was reading their
What's New daily for awhile.
Best
under construction sign.
(Originally found on CubaWeb.)
Best documentary/photo essay:
Bosnia: Uncertain paths to peace.
Some of my personal favorites from Nasa's
Astronomy Picture of the Day:
Craters,
Shuttle,
NGC7742,
Uranus,
Infrared Hubble Deep Field,
M27,
Leonids,
Dust,
NGC7635,
NGC7635,
NGC3132,
Saturn
Catseye,
Deep Field,
Sol,
NGC253,
RCW38,
NGC1818,
M57!,
M6,
Terra,
Galactic Center,
Oberon,
Milky Way,
ISS!,
NGC1316,
M87,
Spacewalk,
1987A!,
NGC1850,
Luna!,
Chamaeleon,
Butterfly,
Mars,
Hale-Bopp,
M10,
NGC2997,
VLT,
Miranda,
Ganymede,
Mars!,
Reflection Nebula,
Io's Shadow,
Luna,
NGC4945,
Hodge 301,
Bear Claw,
NGC206!,
NGC4604!,
Giants,
Keyhole!,
Wide Orion,
Orion,
Horsehead,
Laguna,
SanFran+SCruz,
Warped Spiral,
Polar Ring,
Ara,
Eagle's Eggs,
Barred Spiral,
Birth/Death,
Triffid Pillars!!,
Cygnus Loop,
Double Bubble,
UV Sun,
Lagoon Twist,
Milky Way
Internet
Access Providers (ISPs) in Mexico -- most promising at moment
appears to be cabonet.
bart.nl is one Dutch ISP recommended
by a local. EuroNet
is another, and caters to anglophones. Uses Suns.
Xs4all.nl is another, BSDI based, also catering to
anglophones. Same user describes NL.net
as "a heap of techie nerds who have no interest in service whatsoever" --
sound like my kind of folk. :) Branch of uu.net. Lots of Linux boxes
in their domain, but probably dial-in boxes belonging to users?
cobweb.nl runs RedHat Linux! And
caters to anglophones!! :) Ton del Kleer (adekleer@xs4all.nl) reports
that cistron.nl is a Debian Linux
based ISP.
Elkhorn Slough Foundation,
a group including our neighbor Mark Silberstein, maintaining a wetland
just
south of us on Monterey Bay.
The intel
wwweb and
ftp sites, including info on their
P6 processor and a
Design page
featuring stuff like their
VTUNE performance monitoring tool. See also the
AMD
and
Cyrix x86 clone chip producers.
Voluntary Human Extinction Movement.
Adelaide, The University of.
Institute for Policy Studies with (e.g.)
Top 200: The
Rise of Corproate Global Power.
Bell Labs.
Health Links at the UW
The Daily, the UW campus rag.
Biological Structure and the
Digital Anatomist program, including
Bharath's brainmapper page.
The Brain Project!
An
Automated Linear Registration Package for Stereotaxic Transformation
of MRI data.
Washington Dept of Transportation.
Technology
Reinvestment Project. Has pointers to DOD, DOT, DOE, NASA, NSF,
White House...
Nasa's
Technology Directions for the 21st Century page.
MIPS Technologies, Inc.
The Planetary Society.
Teracomputer.
United Nations.
IEEE (including an
emerging technologies page),
the
IEEE Computer Society, with journal ab- and ex-tracts.,
and a
Standards Organizations page.
Andrew II at CMU.
CMU.
Center for Neural Basis of Cognition.
UTexas/Austin libraries.
Penn State U.
JPL: NASA's Jet Propulsion Lab.
JPL Radar Imaging Lab.
JPL Mars Exploration.
Scripps Research.
Canadian Society for Computational Studies in Intelligence.
CPSR: Computing Professionals for Social Responsibility.
LBL (Lawrence Berkeley Lab) Particle Group.
National Center for Genome Resources.
Paris.
Library of Congress. with
Thomas guide
to legislative information, and
American Memory,,
"Historical collections for the National Digital Library".
NCSA, with a cool
streaming video clip archive.
NSF.
IGUANA: Independent Group of Unix-Alikes and Network Activists.
netbsd.org's home archive.
Usenix.
University of Chicago.
SGI. They say their 100MHz
R4300i consumer risc chip will be $35ea. They also have
OpenGL and
GLUT pages. Their
Indigo2 "Impact" packs a gigaflop graphics pipeline
in a desktop box, complete with hardware texturemapping.
NIST VR testbed site.
Health Sciences Center for Educational Resources -- make CDROMs &tc.
Sante Fe Institute.
Sun, including their
SunSolve Online support service.
.
NASA Information Services via World Wide Web.
Xerox PARC PubWeb Server.
NASA Ames Intelligent Mechanisms Group -- Dante Robet &tc.
Byrd Polar Research Home Page -- pics of Antartica, other good stuff.
University of Bristol.
The Well -- Whole Earth 'Lectronic Link.
Johnson Space Centre Virtual Reality Lab.
Microsoft.
SpacePort Canada, commercial polar launch site.
CeVis, Center for Complex Systems and Visualisation
at University of Bremen, Germany. Doing medical imaging
software for SGIs, including ACR-NEMA file support,
which latter code is available as part of the
ACRViewer for the NeXT.
Stanford Computer Graphics Laboratory, lots of code, mpegs...
Eurographics: European Association for Computer Graphics.
X Consortium.
Japanese Ministry of Foreign Affairs,
including
embassy of Japan in Canada.
NSF/ARPA Science
and Technology Center for Computer Graphics and Scientific
Visualization.
University of Utah - Computer Graphics and Scientific Visualization.
CNRI (Corporation for National Research Initiatives),
with IETF (Internet Engineering Task Force) stuff.
Sunrise at Los Alamos: "prototype uses of the coming
NII: National Information Infrastructure."
The World Bank.
Ariadne: Greek national academic and research computer network.
InterNIC directory and database services.
University of Victoria at Wellington NZ CSci homepage.
LPF (League for Programming Freedom), GNU/FSF's political wing.
EIT: Enterprise Integration Technologies, whose net
software
releases include
slideshow,
mmphone,
Shared Mosaic,
XShare,
wwwwais... and whose ongoing
projects include
AIMS (flexible manufacturing) ...
technologies include
Secure HTTP and employees include
Niels Mayer, who is currently working on their
WWWeasel wysiwyg HTML/multimedia system.
X/Open.
3space, "pioneering interactive graphics and VR".
Microspace Communications, "world's largest satellite broadcast data network".
US Robotics, longtime modem leader.
McConnell Brain Imaging Centre with neat brain MRI animatios &tc.
Kurzweil Music Systems.
Khoral Research, maintainer of Khoros.
UNC: CSci Dept, University of North Carolina, Chapel Hill, NC.
WTC: Washington Technology Center, including
HITL, Human Interface Technology Lab.
West Virginia High Technology Consortium Foundation.
NASA Software Independent Verification and Validation Facility,
Fairmont, West Virginia.
Seattle.
Boeing.
US Inspector General.
PCWG: Personal Conferencing WorkGroup, standards
for PC conferencing. Looks like an anti-Microsoft lineup.
Stanford Computer Forum (industry/research liason).
Yuma Desalting Plant, world's largest reverse-osmosis desalinator.
The World Wide Cemetery.
International Workers of the World (IWW) -- the Wobblies,
with lots of good links to other progressive stuff.
In Defense
of Marxism is a good change of analytical pace.
Democratic Socialists of America.
ATM Forum.
Boston University Medical Center, wwweb page
maintained by my friend Dan Winder (winder@acs.bu.edu).
MIT Media Lab.
id Software, purveyors of DOOM, with
screenshots of their Quake release.
Their QuakeC release is available for download
here.
Division, a major VR company spun off from Inmos.
Washington Utilities and Transportation Commission.
Taxpayer Assets Project, a Ralph Nader project.
Consumer Project on Technology, a Ralph Nader project.
3com.
Eskimo.com, longtime
Seattle BBS/Unix-site/Internet-port offering very competitive
pricing.
Electronic Frontiers Foundation (EFF)
with an Alerts page sounding
the tocsin on the latest attacks on worldnet...
Neural Networks Council.
NeuroCOLT: European Community ESPRIT Working Group in Neural and Computational
Learning Theory, with some interesting technical reports.
IRStax-help page.
Germany: official home page.
New York Public Library.
CubaWeb: Cuba homepage.
ACM, with lotsa goodies including
classics like
Ken Thompson's
ACM Turing Award talk and
sigapl with a pointer to the
J Software home page and the
U Waterloo
J archive with the (official JSoft Inc)
J FAQ,
Lamm's (independent)
J Programming FAQ
the (independent)
APL FAQ, Ames'
J For Idiots, and
Davies' Introduction to J, and
What Is J? introduction.
For a stunning sample program, see
ISI's ICFP
'98 Functional Programming Contest entry.
Cilk, winner of above
programming contest. I like it a lot.
CSPR, with a collection
of rants on computer crime and such.
Australian Federal Department of Communications and the Arts, including the
Communications Futures Project, a penetrating study of
projected telecommunications trends in Australia over the
next ten years.
National Library of Australia,
with a good
Government Policy and the Information Superhighway"> section.
Northeast Parallel Architectures Center (NPAC) for parallel computing
(at Tech Reportssection and
SCCS-736 Basic Issues and Current Status of Parallel Computing---1995 section.
US HPCC (High Performance Computing and Communications)homepage.
West Edmonton Mall in Canada,
complete with Dolphin Lagoon.
Washington Software Association, listing HTML, marketing
and financial resources.
Fraunhofer Center for Research in Computer Graphics<\a>,
doing stuff in medical visualization, telepresence &tc.
Cannes Film Festival.
Salt Spring Island.
Internet Society, with lots of nice stuff including a
history of the ISOC (Internet Society) and IETF (Internet
Engineering Task Force -- a heart of Internet).
Internet top-level
domain country codes.
Domain Name Buyer's Guide.
Dotcom.com is Network
Solution's belated attempt to offer value to their
customers, in the face of sudden competition. Ah, monopoly,
wherefore wert thou?
World Solar Challenge page, with a nice bit on
Paul MacCready's amazing Solar Challenger airplane.
www.bangla.net, first Web site in Bangladesh (96Jun12).
American Civil Liberties Union(ACLU).
Millenium Institute with
State of the World indicators, and an
economy simulation program, Threshold 21.
International Monetary Fund, with pointers to economic
statistics on various countries.
National Fraud Information Center, who are willing
to investigate and act on email pyramid schemes,
credit card fraud attempts &tc.
Hezbollah.
Paul Graham
John Walker
WWWeb FAQ.
Beginner's Guide to HTML.
Interface Hall of
Shame, a collection of how-not-to examples.
A Technical
Introduction to XML, a much more practical introduction than
the official specs for
XML,
XLL, and
XLL, and
XSL.
Help on composing good HTML documents.
Forms.
@LearnSkills tutorials on HTML, forms, clickable images &tc.
Official HTML specification.
Dan Connolly's HTML design notebook.(One of the originators.)
HTML 3.0 spec (95Apr internet draft standard)
SGML tutorial.
HTTP-NG: Why HTTP is so slow, progress on fixing it.
See also
the current HTTP spec.
Netscape release notes. See also the excellent
UFAQ: Netscape Unofficial FAQ.
HENSA, UK's Higher Education National Software Archives:
Mirrors Netscape site, has netlib, netstat, freebsd...
The
Cyberview 3D Document Generator Paul Burchard/The Geometry Center,
Minneapolis, MN, US: The Cyberview 3D Document Generator is a new WWW
server add-on that makes it easy to create HTML documents with inline,
rotatable, hyperlinked 3D images (3D imagemaps). These 3D pages are
created using ordinary HTML (together with one special IMG3D tag to
inline the 3D data), and can be viewed with any HTML 2.0-compatible
Web browser. Binaries for selected server platforms are freely
available from
The Geometry Center.
Icons, the Stanford collection.
fix-html.pl a perl script to legitimize old HTML files into SGML-abiding
HTML.
Filters to and from html. Also editors, including Phoenix for X.
Pushpull.html: Periodically updated HTML docs, driven from
server or client end.
Docfinder, NCSA perl/freeWAIS package to heavily index an
html document set and allow online searching of the resulting db.
Making transparent .gifs.
Online gif transparencies while you wait.
MIME Test Page: Test your external viewers. One of everything.
NCSA Mosaic and QuickTime, "A How To Guide", from the Yahoo
Computers: Multimedia: Video: Technical Information page.
Mail to web filters.
HTML Writer's Guild.
Writing secure CGI scripts. (Note that the list of unsafe
chars given to remove is incomplete: One must also remove
newlines!)
(I've given two links per RFC: If one is lagging, try
the other.)
RFC854:
Telnet Protocol.
RFC855:
Telnet option specifications. 1983 May; .
RFC856:
Telnet binary transmission. 1983 May; .
RFC857:
Telnet echo option. 1983 May; .
RFC858:
Telnet Suppress Go Ahead option. 1983 May; .
RFC859:
Telnet status option. 1983 May; .
RFC860:
Telnet timing mark option. 1983 May; .
RFC861:
Telnet extended options: List option. 1983 May; .
RFC885:
Telnet end of record option. 1983 December; .
RFC927:
TACACS user identification Telnet option. 1984 December;.
RFC933:
Output marking Telnet option. 1985 January;.
RFC946:
Telnet terminal location number option. 1985 May;.
RFC1041:
Telnet 3270 regime option. 1988 January;.
RFC1043:
Telnet Data Entry Terminal option:
DODIIS implementation. 1988
February;.
RFC1053:
Telnet X 3 PAD option. 1988 April;.
RFC1073:
Telnet window size option. 1988 Octr.
RFC1079:
Telnet terminal speed option. 1988 December.
RFC1080:
Telnet remote flow control option. 1988 November;.
RFC1091:
Telnet Terminal Type option. 1989 Feb.
RFC1096:
Telnet X display location option. 1989 March.
RFC1097:
Telnet subliminal-message option. 1989 Apr; .
RFC1116:
Telnet Linemode Option. 1989 Aug; .
RFC1143:
Q method of implementing Telnet option negotiation. 1990 February; .
RFC1184:
Telnet Linemode option. 1990 October.
RFC1372:
Telnet Remote Flow Control Option. 1992Oct.
RFC1408:
Telnet Environment Option 1993 Jan.
RFC1409:
Telnet Authentication 1993 Jan.
RFC1411:
Telnet Authentication: Kerberos Version 4. 1993 Jan.
RFC1412:
Telnet Authentication: SPX. 1993 January;.
RFC1416:
Telnet Authentication Option. 1993 February.
(See also the
draft telnet encryption/authentication standard.)
RFC1571:
Telnet Environment Option Interoperability Issues at sunsite.unc.edu.
RFC1572:
Telnet Environment Option at sunsite.unc.edu.
www.protocols.com
has a wide-ranging and up-to-date set of RFCs &tc indexed.
A good general RFC index is available at
graphcomp,
another is at
ohio-state,
a simpler (but often more up to date?) index
here.
(I've given two links per RFC: If one is lagging, try
the other.)
RFC602:
"The Stockings Were Hung by the Chimney with Care".
RFC706:
On the Junk Mail Problem.
RFC789:
Vulnerabilities of Network Control Protocols: An Example.
RFC791:
IP (Internet Protocol).
RFC792:
ICMP (Internet Control Message Protocol).
RFC793:
TCP (Transmission Control Protocol).
RFC821:
SMTP (Simple Mail Transfer Protocol).
RFC822:
Internet Text Message Format Standard.
RFC864:
Character Generator Protocol.
RFC913:
SMTP (Simple Mail Transfer Protocol).
RFC959:
FTP (File Transfer Protocol).
RFC968:
'Twas the Night Before Start-up'.
RFC977:
NNTP (Network News Transfer Protocol).
RFC1013:
X Window System Protocol v 11.
RFC1014:
XDR (Xternal Data Representation).
RFC1019:
Representation of equations.
RFC1045:
VMTP: Versatile Message Transaction Protocol,
a 1988 reliable datagram proposal.
RFC1057:
RPC (Remote Procedure Call).
RFC1112:
Multicasting.
RFC1118:
The Hitchhikers Guide to the Internet.
RFC1121:
Act One - The Poems.
RFC1149:
CPIP: Carrier Pigeon Internet Protocol.
RFC1180:
TCP/IP Tutorial.
RFC1217:
Memo from the Consortium for Slow Commotion Research (CSCR).
RFC1281:
Guidelines for secure operation of the Internet.
RFC1288:
Finger.
RFC1296:
Internet Growth 1981-91.
RFC1305:
NTP (Network Time Protocol).
RFC1321:
"The MD5 Message-Digest Algorithm.
RFC1393:
Traceroute.
RFC1421:
Mail Encryption and Authentication.
RFC1422:
Mail: Certificate-Based Key Management.
RFC1423:
Mail: Algorithms, Modes, and Identifiers.
RFC1424:
Mail: Key Certification and Related Services.
RFC1436:
Gopher Protocol.
RFC1459:
Internet Relay Chat.
RFC1480:
The US Domain.
RFC1510:
Kerberos.
Telnet RFCs.
RFC 1521:
Mime Pt I.
RFC 1522:
Mime Pt II.
RFC 1563:
Mime text/enriched content type.
RFC 1661:
PPP (Point to Point Protocol).
RFC1700:
ASSIGNED NUMBERS 1994 Oct;.
RFC 1713:
DNS Debugging Tools.
RFC 1737:
Uniform Resource Names.
RFC 1738:
Uniform Resource Locators.
RFC1750:
Randomness Recommendations for Security.
RFC1752:
The Recommendation for the IP Next Generation Protocol.
RFC1769:
SNTP (Simple Network Time Protocol).
RFC1780:
Internet Official Protocol Standards.
RFC1790:
Sun/Internet XDR/RPC agreement.
RFC1798:
Connection-less Lightweight Directory Access Protocol.
RFC1800:
INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC1805:
Location-Independent Data/Software Integrity Protocol.
RFC1806:
Communicating Presentation Information in
Internet Messages: The Content-Disposition Header.
RFC1807:
A Format for Bibliographic Records.
RFC1808:
Relative Uniform Resource Locators.
RFC1809:
Using the Flow Label Field in IPv6.
RFC1810:
Report on MD5 Performance.
RFC1812:
Requirements for IP Version 4 Routers.
RFC1813:
NFS Version 3 Protocol.
RFC1814:
Unique Addresses are Good.
RFC1815:
Character Sets ISO-10646 and ISO-10646-J-1.
RFC1816:
U.S. Government Internet Domain Names.
RFC1818:
Best Current Practices.
RFC1819:
Internet Stream Protocol Version 2 (ST2) Protocol Specification - Version ST2+.
RFC1824:
The Exponential Security System TESS: An
Identity-Based Cryptographic Protocol for Authenticated
Key-Exchange (E.I.S.S.-Report 1995/4).
RFC1825:
Security Architecture for the Internet Protocol.
RFC1826:
IP Authentication Header.
RFC1827:
IP Encapsulating Security Payload (ESP).
RFC1828:
IP Authentication using Keyed MD5.
RFC1829:
The ESP DES-CBC Transform.
RFC1830:
SMTP Service Extensions for Transmission of Large and Binary MIME Messages.
RFC1831:
RPC: Remote Procedure Call Protocol Specification Version 2.
RFC1832:
XDR: External Data Representation Standard.
RFC1833:
Binding Protocols for ONC RPC Version 2.
RFC1844:
Multimedia E-mail (MIME) User Agent checklist.
RFC1846:
SMTP 521 reply code.
RFC1847:
Security Multiparts for MIME: Multipart/Signed and Multipart/Encrypted.
RFC1848:
MIME Object Security Services.
RFC1851:
The ESP Triple DES-CBC Transform.
RFC1852:
IP Authentication using Keyed SHA.
RFC1853:
IP in IP tunnelling.
RFC1950:
ZLIB Compressed Data Format Specification version 3.3.
RFC2068:
Hypertext Transfer Protocol -- HTTP/1.1.
RFC2069:
An Extension to HTTP : Digest Access Authentication.
RFC2083:
PNG (Portable Network Graphics) Specification.
RFC2144:
The CAST-128 Encryption Algorithm
(also
here).
See also Constructing Symmetric Ciphers using the CAST Design Procedure and
CAST Encryption Algorithm Related Publications.
RFC2151:
A Primer On Internet and TCP/IP Tools and Utilities.
RFC2152:
UTF-7 A Mail-Safe Transformation Format of Unicode.
RFC2154:
OSPF with Digital Signatures.
RFC2181:
Clarifications to the DNS Specification.
RFC2182:
Selection and Operation of Secondary DNS Servers.
RFC2195:
IMAP/POP AUTHorize Extension for Simple Challenge/Response.
RFC2196:
Site Security Handbook.
RFC2200:
INTERNET OFFICIAL PROTOCOL STANDARDS.
RFC2202:
Test Cases for HMAC-MD5 and HMAC-SHA-1.
RFC2222:
Simple Authentication and Security Layer (SASL).
RFC2223:
Instructions to RFC Authors.
RFC2228:
FTP Security Extensions.
RFC2244:
ACAP -- Application Configuration Access Protocol
-- possibly useful for presence also?
RFC2289:
A One-Time Password System
-- S/Key, with 2048-word English integer encodings?
RFC2324:
Hyper Text Coffee Pot Control Protocol (HTCPCP/1.0).
RFC index at www.cis.ohio-state.edu.
RFC collection at sunsite.unc.edu.
See also
Ohio State RFC Search Page and
http://ds.internic.net/std/
and
http://ds.internic.net/rfc/
, and the
Internic
internet-drafts archive at internic, and
Current
Internet-Drafts at IETF.
Also useful: The
FEDERAL INFORMATION PROCESSING STANDARDS (FIPS) at NIST.
Mail Standards at
Internet Mail Consortium.
News Standards at
Internet Mail Consortium.
Architectural Considerations for Mobile Mesh Networking.
2006-11-05: PunchScan --
simple cryptographically secure voting system.
Smalltalk-72 manual
2005-09-15: caswell $300
aluminum anodizing kit with very practical-sounding
directions. Also touches on titanium oxidizing.
Mr Titanium Presents:
How to build an anodizer for chump change. He sells $100
kits. :)
Nice tutorial
on making an anodized-titanium liner-lock folding knife at home.
2005-05-10: mokume gane metal laminates for wedding rings and such -- beautiful!
2005-03-25: Homebrew xenon strobe
light schemantics + instructions.
2005-02-24: DNSreport,
a handy site for checking your dns zonefiles.
2004-10-21:Online futures markets:
Iowa Electronics Markets
Intrade
Hollywood Stock Exchange
Metal
Working (and Related) Web Sites
Democratic Election Methods, which
might be useful for distributed software, or even for distributed
software teams.
National Election
Studies, massive scholarly raw database for decades of
US elections.
FactCheck.org, debunking PR
statements from all two state-authorized political parties in the US.
Cooking for
Engineers -- great!
Calgary
Corpus, the academic world's benchmark text compression
corpus.
US Radio Spectrum allocation
BitScope -- open-design PIC-driven PC-based digital oscilliscope and logic analyser available as parts, kit or assembled, with free software for Windows and Linux.
Periodic Table
Scanning Tunnerlling Microscope Construction Kit
Fermat's Last Theorem (proof)
Build a useful X-ray
machine at home for $20!.
Anti-spam advice at
sendmail.org. Also relaying.
CVS docs.
Steel FAQ.
A Quantitative
Profile of a Community of Open Source Linux Developers.
Plan 9 docs,
including the Acme interface.
RIPE (Reseaux IP Europeens), with a
whois db and similar fun stuff.
ARIN, American Registry for
Internet Numbers, with another whois db, library &tc.
Netcraft -- find out what
sever software a given website is running, survey of what webservers
are leading &tc.
End-to-End
Arguments in System Design -- this has been called the most
important single paper in the history of computer networking.
C++ tutorial.
Arimetic
Encoding tutorial with source code.
Paleomap Project showing Earth
in various eras, including Pangea Ultima.
Zip
and Lempel meet Markov.
Namesys/ReiserFS,
a filesystem based on balanced trees and efficient handling of small
files, which allegedly outbenchmarks extfs across the board. Worth
further study.
Netscape
Plug-in Page (independent).
Tesseral Addressing.
See also
Raster Storage,
Quadtrees and Scan Orders,
Splitting Methods,
Spatial Data Handling: a Review of Commercially Available Options.
Source code for one implementation available at Dr Dobbs.
Midi
Database, links to 200,000 MIDI files.
Standard MIDI Files
on the Net.
LZO, very
fast GPL de/compression library.
Gregor Kiczales's
Aspect Oriented Programming:
home page,
position paper,
seminal paper.
Gregor also has a nice paper on
Efficient Method Dispatch in PCL.
Ascii Chart.
Federal Reserve Board
Statistical Releases, including its
Survey
of Consumer Finances, which LBO calls "One of the wonders of
modern social science".
Luxembourg Income Study,
international income and poverty data adjusted for comparability.
The
Collection of Computer Science Bibliographies.
ICQ protocol
and clone effort.
area code lookup.
Rutgers Libraries Economic Resources, excellent resource list.
Gamasutra on
Simple
Intersection Tests For Games.
Physically Based Modeling: Principles and Practice(Online Siggraph '97 Course notes)
Rigid Body Dynamics for games.
DynaMo: Dynamic Motion Library.
efg's Computer Lab
Reference Library: Simulation and Modeling.
Generating Random Fractal Terrain
at GameProgrammer.
Fractal Landscapes.
Terrain Generation and Rendering.
Kanga.Nu Library/Physics
with collision detection, moments, convex hull, liquid surfaces. Also,
a page of
related C source code.
TR-91-16Martin,
Andrew K. ``A Simple Primal Algorithm for Intersecting 3-Polyhedra in
Linear Time.'' Geez, I'd never have guessed it was possible in linear
time!
Does anybody really know what time it is? Does anybody really care?
The US Naval Observatory Time
Service Department does!
TrueTime sells commercial time
signal recievers and cards for computers (among other things); The
NTP distribution also includes
info on building a homebrew computer time standard receiver driven by
the Canadian CHU station (whose signal is easier to decode than US ones).
Www.usit.com has
a great collection of review of Recommended User Interface Books.
Neuro-cel,
Neuro-sys and
Neuro-dev:
Major preprint/article/database archives. See
here for
a discussion.
Free Database List of freely distributable database programs.
Spatial Datastructures, a comprehensive but sketchy overview.
OBBT, fast
free C++ collision detection package from Chapel Hill.
CS-267
Operating Systems I Electronic Handouts include an overview of
Two-Phase
Commit Protocol.
The
CMU Software
Technology Review also includes a discussion of
Two
Phase Commits. (Not to mention of
such good stuff as
Rule-Based Intrusion detection.)
X/Open is developing a
standard for two-phase commit, but I can't find the specs online yet
(98Apr21). They do note
here that
two-phase commits are much better avoided than implemented most of the
time, due to the performance &tc costs -- asynchronous replication
usually suffices. The also have an
Online
POSIX specification, or a close approximation thereof.
Technical Report
IDSIA-07-98: A Fast, Compact Approximation of the Exponential Function
Nicol N. Schraudolph.
Wotsit, UK repository of
file format documentation.
National Institutes of Health,
now featuring free public access to all of MEDLINE(!)
TIGR, with megabytes of
gene sequence data for everything from microbes to homo sap sap. (!)
Favorite Mathematical Constants.
The
ELF
file format is available from
ftp://ftp.intel.com/pub/tis/elf11g.zip.
The
GNU docs online at
www.cl.cam.ac.uk.
The
GNU docs (and others) online at
csugrad.cs.vt.edu.
HITL Knowledge BASE: General WWWeb indexing plus much bibliographic
material, centering on VR stuff.
See also the
HITL Projects page.
CERN WWWeb index of computing indices and bibliographies.
Snakes.
VRML 2.0
(Virtual Reality Modelling Language). See also the
VRML Review Board and the
VRML Repository which includes
3D
Object libraries,
Sound
Libraries and
Texture Libraries.
(San Diego Supercomputing Center)
See also the
Tecate Visualization System, and
their
Virtual Reality Behavior System (VRBS)
from the San Diego Supercomputer Center.
Other stuff on
reality.sgi.com includes the
The
Colossus Rebuild Project.
MCP: Moo Client Protocol.
SGI "Keystone" open software environment initiative.
National Human Brain Project at scripps.
National Space Science Data Center.
FAQ on image file formats, other good stuff.
Medical volume visualization FAQ.
ftp.ncsa.uiuc.edu/misc/file.formats/graphics.formats, which
has a number of dxf documents. Sound files are one directory over.
Intermud protocol proposals: Mail, nameserver, mudlist...
NCSA Mosaic Common Client Interface (CCI 1.0).
HyperMUD: Multi User Multi Modal Dialogue Systems.
MOOs and WWW, cern page.
MOO-WWW Research Directory: Lots of fun, including Pavel Curtiss'
. See also the
AstroVR Online Help.
Educational Technology (MUD) subpage at the
University of Geneva School of Psychology and Education
Teaching and Research Unit, with many good crosslinks.
W3 developments: "Sort of sign-up sheet for W3-related developments."
Georgia Tech techreports &tc.
Object Management Group archive for on CORBA (Common Object Request
Broker Architecture) and such -- the Unix answer to Microsoft OLE?
CORBA docs are apparently available only for cash, but see the
Fresco
docs, which explain a fair amount.
//ftp.ifi.unizh.ch/pub/standards/corba/has oldish CORBA docs.
Corba 1.2 spec (local postscript copy fetched from above).
A general introduction to CORBA.
A CORBA tutorial.
Computing at the WWWeb Virtual Library. Bibliographies with
hundreds of thousands of entries &tc.
Manpages for five different unices.
Computer Graphics via the WWWeb Virtual Library.
Computer Graphics, neat index of sites with thumbnail images.
MIDI.
Graphics
file formats, including 150 image file formats, 35 3-D file
formats, seven VR file formats, 15 movie file formats.
DICOM 3.0 (ACR/NEMA) standard.
MPEG FAQ and
ftp site (italy) or
another in Germany.
HDF FAQ. Hierarchical Data Format is the NCSA 2D and 3D
raster data file format. Supported by them, some commercial
packages, and some 3rd party packages.
Fractal image compression, Yuval Fisher at UCSD.
Fractal image compression, with
source, from
University of Milan CS Dept.
Digital terrain
models, Univ Milan CS Dept. Fractal interpolation,
visualization...
CMU Programming Language Research page.
Persistent Programming Group at St Andrews, including
Napier88, their language.
Self, the prototype based language from Stanford.
Programming languages via the WWWeb Virtual Library: Haskell, elisp,
python, tcl/tk...
Pexlib extensions to X11R6, with C binding.
CERT ftp 'tech_tips' directory, including
security_info,
anonymous_ftp, and
packet_filtering.
CERT advisories at Purdue.
BSDI unix manpages.
Templates for the Solution of Linear Systems: Building Blocks for
Iterative Methods.
Internet draft standards, US West coast.
Hawkeye on
nonblocking socket connects in unix.
Volvo stuff on the WWWeb.
Toyota Land Cruisers on the WWWeb.
Land Rover on the WWWeb.
GPS: Global Positioning System overview at Department of Geography, University of Texas at Austin.
CommonLisp the Language 2nd Ed, at UW.
Also available at
CMU. See also the
Meta Object Protocol.
dpANS3, aka draft 15.17 -- 1500 pages
of TeX/dvi. Also see my
html/postscript version.
clos-mop-spec: Common Lisp Object System Meta Object Protocol Specification.
"Resources in Interaction Design
is a comprehensive listing of useful
information for designers involved in the development of GUIs,
information kiosks, CD-ROMs, CD-Is, Interactive TV, consumer
electronic products and games. The listings are very much practice
oriented and covers user interface design tools, conferences and trade
shows, design schools, professional publications, useful net sources
and user interface job announcements."
Hierarchical Segmentation Satisfying Constraints,
promising paper Greg Heil pointed out to me.
National Imagery Transmission Format Standards board.
Military implementations of JPEG and such.
Kerberos FAQ at OpenVision. Bibliography
includes
a good ATT critique.
Draft C++ standard.
Modula-3 docs in HTML, courtesy of DEC.
PixelPlanes (now "PixelFlow") project at unc,
incl "Programmable Shading".
"The Graphics Page!" -- raytracing hotlist: software, docs, pics...
The Renderman Web Page.
RenderMan Repository.
POV-ray (Persistence Of Vision) homepage.
An online manual is here
POVbjects
is archive of 3D programs, models and other resources.
Creative GPU Uses
Comp.Answers/Graphics FAQ at rtfm.mit.edu, including lots
of intersection and raytracing pointers.
Hercules Monitor Database: Scan rates &tc for 100s of SVGA tubes.
madison.tdsnet.com with good monitor spec db.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Introduction to the Internet Protocols,
Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript.
The official source is
export.lcs.mit.edu/R5contrib, but you may have
more luck getting through to mirror site
gatekeeper.dec.com/pub/X11-contrib.
Motif/X: Links to lots of Motif and X stuff on the Web.
BSP Trees FAQ.
Introduction to the Internet Protocols,
Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript.
The official source is
export.lcs.mit.edu/R5contrib, but you may have
more luck getting through to mirror site
gatekeeper.dec.com/pub/X11-contrib.
Relaxed Balance Home
Page, research on less synchronous updating of balanced trees,
including b-trees and avl trees.
Introduction to the Internet Protocols,
Steven E. Newton's introduction to TCP/IP.
CLX manual online locally, as HTML index to postscript.
The official source is
export.lcs.mit.edu/R5contrib, but you may have
more luck getting through to mirror site
gatekeeper.dec.com/pub/X11-contrib.
UW CAC Unix security checklist.
Unicode specs at stonehand.com. The official unicode site is
unicode.org.
Computers, History at
yahoo, including a nice
Multics page.
LLNL's Wavelet page, incl pointer to
Yale Mathematics page of wavelet code and papers.
Natural Language Processing page at Yahoo.
Animal genome databases.
The Speaker Building Page formulas, software, tutorials &tc
on building amplifiers and speakers.
NSFNET Transition/ New NSF Architecture, including
Internet/NSFnet backbone traffic statistics. See also
Internet Growth Graphs by MIDS.
comp.speech FAQ,
including software, hardware, speech
processing, speech synthesis, and speech recognition, such as
Myers' Hidden Markov Model software, copyleft C++ code,
the
rsynth speech-synthesis package (available from
svr-ftp.eng.cam.ac.uk)
, and
AT&T Voices.
Lockpicking Guide, disowned by the MIT Hackers.
Rensselaer's List of Chemical Databases.
"Network-BasedElectronic Publishing of Scholarly Works: A
Selective Bibliography".
Introduction to Videoconferencing and the MBONE.
Computer and Communication Standards Documentation
Wow! Pointers to standards from dozens of organizations
from ACM through W3 Communications, ANSI through X.400!
Security stuff:
Cert Advisories.
SunOs Public Patches.
HPUX Patches & Support.
Unix System Security Checklist "This is a GOOD one!"
Satan program.
Nipple survey results.
FDA, including consumer advice on nutrition.
Prospero protocol V5, including ARDP (Asynchronous Reliable
Delivery Protocol).
Spec Table: Big collection of computer benchmark results.
Revised Code of Washington: State of Washington laws.
rs.internic.net,
with instructions on getting your own internet domain name.
X window access controls writeup by the UW's Dave Dittrich.
The XFree86-benchmarks Survey (xstones).
Video Card FAQ, with nice opinionated reviews.
Intel Secrets: Undocumented opcodes &tc.
System Optimization with
PC chipset info, BIOS manuals, overclocking info...
Wim Sweldens has some nice papers on
Kraig's Fountain of Wisdom.
Metric system, including "peta" and "exa".
Neuropsychology Central. -Brain Imaging- tutorials &tc,
with a pointer to
Ray Ballinger's Introduction to MRI.
Perl FAQ at ohio-state.
See also
Perl FAQ
and
Perl Docs
at
perl.com,
Dylan Reference Manual.
UCSC (UC Santa Cruz) Perceptual Science Laboratory,
with a nice
facial animation
section.
Jack is
a commercial articulation animation system (including facial animation?)
from the
UPenn Computer and Information
Science Dept.
.
HITLab Human Modelling page. Another human animation resource
is
VLNet (Virtual Life).
Physics FAQ.
Mosaic X Resources.
Tree of Live: "A distributed Internet project containing
nformation about phylogeny and biodiversity".
PNG -- Portable Network Graphics, the probable replacement
for .gif files.
Association of Lisp Users, with various lisp faq's &tc.
ODE User's Guide.
Eigenfaces at MIT (reference Kevin gave me). See also
.
National Standards Systems Network
(NSSN), central repository for ANSI and other standards.
Are We Cruising a
Hypothesis Space?, a very intriguing sketch of Information Geometry.
The
Stanford-Berkeley-MIT-IBM
Quantum Computation Research Project.
Oxford Quantum
Computation Group
has a A
short introduction to quantum computation with a sidebar
on Factoring
on quantum computers, and also the
Oxford
Archive which includes an online copy of
"Shor's Quantum Algorithm for Factorising Numbers".
Quantum Computation
mailng list.
U
Montreal Laboratory for Theoretical and Quantum Computing.
UCLA
Quantum Information Page.
Quantum information
and Quantum computation at IBM.
SURPRISE
(Surveys and Presentations in Information Systems Engineering) for
May-June
1997 has a nice quantum computing section.
Algorithms in Quantum Information Processing BRICS '98.
Physics Today Quantum
Computing Links has a number of online papers.
US
Army Redstone Arsenal Quantum Computing and Cryptography page.
Hutter Prize for compressing data.
The Plan to
Singularity, Coding a
Transhuman AI 2.0a.
AAAI: American Association for Artificial Intelligence.
MIT Artificial Intelligence Lab.
Artificial Intelligence Research Group and its
publications.
Soar source code.
Improved Heterogeneous Distance Functions.
CMU Link Grammar,
a practical-sounding robust parser for English text.
Computational Methods for Intelligent Information Access
including a section on Latent Semantic Analysis/Indexing.
I'm interested in three critical technologies: biotechnology,
artificial intelligence, and space development. Of the three,
biotechnology is going great guns, artificial intelligence is
waiting for better hardware, and I'd thought space development
was dead in the water until I discovered:
SpaceDev, a public corporation
devoted to exploring (and then developling) the asteroids.
Space
Studies Institute, Gerard K O'Neill's space colonies outfit,
has done a lot of great work both popularizing the concept and
also developing the technology.
Textile experts at Cornell University tell
How To Remove 250 Stains From Clothes And Textiles
Repetitive Strain Injury: Using keyboards without getting crippled.
Typing Injury FAQ, including keyboard alternatives.
Coalition for Positive Sexuality, with their
Just Say Yes page.
Dr Ruth's SexNet.
SawStop -- stops a
table-saw in 5 milliseconds upon encountering a finger.
Memory improvement.
Medinet runs a background check on your doctor for $15.
BAT chord keyboards.
ErgoWEB: Ergonomics pages..
Aura from
Poetic Technologies -- the ultimate ergonomic chair and workstation? :)
Chord keyboards.
VI Powered page, logo and resources.
Japanese Online, free
language lessons.
Sarasota Country Florida
Property Appraiser, with online searches and
Travis Country, Texas
searchable tax assessor records
ditto for
boston,
dc
and Long Island -- with
pictures.
courtclerk.org.
Learning Japanese
LASIK surgeon track records.
Quotation Home
Page -- I especially like the
-- href="http://www.geocities.com/~spanoudi/quote-05.html">
Proverbial Wisdom section. "Vulnerant omnia, ultima necat."
(You'll have to look!)
Get Home Prices
Physicist Sornette
predicts stock anti/bubble evolution using log-periodic fits.
Mortgage rates --
shop for the best rates via FSA!
Free Trip -- fantastic cartrip
planner! See also MapQuest.
MacTutor
History of Mathematics archive, a wonderful popular resource
covering Greek math through general relativity.
The Net Advance of Physics: Review Articles and Tutorials in an
Encyclopaedic Format.
Superstrings! Links.
M-theory, the theory formerly known as Strings.
CarWizard, with online
pics and prices for most new models.
Family Search genealogy
website with 400,000,000 names, provided by the Mormon church.
WordBot
turns your browsers into a multi-language dictionary with definitions
for any world available at a keystroke.
Directory of Mark Twain's maxims, quotations, and various
opinions, nicely sorted by topic.
German dictionary.
Roget's theosaurus.
TheWord Detective.
Nine Planets.
CIA: World Maps &tc from the top terrorists.
Xerox PARC Map Viewer: world 54.03N 5.64W (34.1X)
How Far Is It? -- computes distance between two given
locations.
The
Roman Forum: Through the Ages.
UW Libraries.
Atlas of Canadian Communities.
Netnews FAQs.
History of Computing.
Ancient World web at evsc.virginia.edu.
Classical texts at the UW (TeX format).
Classic Greek art, archeology & literature at Tufts.
Classics online at U Michigan.
Classics online at Oxford.
Oxford Text Archive.
The classics online: Homer, Herodotus, Aristophanes...
Koran.
Classics: Ancient Greece and Rome, net resource index.
Project Gutenberg.
Mutopia, with
free musical scores.
Online Book Initiative.
CMU online books, including a
banned books online section.
Athena: Authors and Texts, an index of classic online books &tc.
Collected works of Aristotle at
Houston Community College System's library.
Familiar Quotations, 1901 ed.
Graphion's Online Type Museum: Typography biographies and essays.
Hernias.
The Geology of Orcas Island, Washington, from the yahoo
Regional Information: States: Washington page.
"The
ancient city of Athens is a photographic archive of the
archaeological and architectural remains..."
Virtual Museum of Computing.
The Otter.
A Chronology of United States Historical Documents
at
The University of Oklahoma Law Center, from
The Iroquois Constitution (reputed source of the US
Constitution) through
M.L. King'S "I have a dream" speech.
Blind Links, resources for the blind, including
The Archimedes Project, the
Equal Access to Software and Information page, the
Australian Royal Society Interface for Blind Users,
and the
Design of HTML (Mosaic) Pages to Increase
Their Accessibility to Users With Disabilities
page.
Warren Bloomer's (excellent!)
Machine Learning page.
Locksley Hall by Tennyson (ca 1842):
For I dipt into the future, far as human eye could see,
Saw the Vision of the world, and all the wonder that would be;
Saw the heavens fill with commerce, argosies of magic sails,
Pilots of the purple twilight dropping down with costly bales;
Heard the heavens fill with shouting, and there rain'd a ghastly dew
From the nations' airy navies grappling in the central blue;
Salary calculator: Figures in cost-of-living for different areas.
Yahoo maps -- type in any US street address and get a map!
Rig Veda page in Australia. There's also a
Rig Veda page at Washington State University.
Nationwide US Job Bank run by US Dept Labor.
US Federal Election Commission,
with raw candidate disclosure info, indexed more nicely by
Tom Raymond,
Mother Jones, and the
Center for Responsive Politics.
Rate Exchange with bandwidth
market quotes.
InfoBeat, mailing
requested categories of news to you in daily updates.
Intellicast,
"Your online guide to weather, ski and ocean conditions,",
including a
Seattle page.
Weather Info courtesy of UW Atmospheric Sciences Dept.
USG Current Weather Maps/Movies.
NOAA Weather page.
Seattle Traffic.
U/Seattle: Upcoming entertainment.
Antarctic Ozone Soundings at Neumayer.
The Nando Times: Online newspaper.
The Electronic Telegraph.
Seattle Gay News Weekly.
The Sailing Source: "The weekly web sailing magazine!"
Iceland Review: Daily news from Iceland, and MORE :).
The Alternative Media Project (Noam Chomsky & The Web.
The Chess Connection WWW Magazine.
"NetWatch - NetWatch is bi-weekly Internet Magazine [...]".
"the realtime United States Microgravity Lab 2 web pages".
Jerusalem Post Internet Edition.
Current Seattle Movies.
.
My sortaDaddy, and his
flame
on the Communications Decency Act.
Steve, my sortabrother,
Cyndy, my eldest sortasister, and my
sortafamily's
House of Chaos Central page.
OJ aka OliverJones aka David Moore.
Pakrat.
Irielle(!) and
Anton.
Jerry, my biobrother, with an paper on the
political science of the Internet.
Laura Holmbeck.
Hawkeye, maintainer of
tinyFugue.
Michael Snoswell, another creative-genius type friend, who is
among other things author of
CyberTerm, "VR for the rest of us" (WAVE).
Jingoro, aka Jim Lick.
Krissy, my first netfriend!
(See also my
glia menagerie of friends.)
Whitefire, whose
art has been improving by leaps and bounds!
Theresa Smith.
Ami Varsanyi.
Sandy, my flipside!
Adrick.
Codrus!. See also
here.
Charles Owen.
Alvis Harding, Jr.
Wyatt Miler, innovative Mu* hacker.
Torin (Darren Stalder): Seattle Linux/Perl/&tc hacker.
Bazilians.org, home of Jon Singer (another omniscient:).
Whitedove.
Ernie Kent.
Jack Dietz, aka "Dietz" :).
Erasmatazz
Library, with some great essays on world design &tc, including
volumes of the Journal of Computer Game design.
The MUDdex, with some good history.
See also
http://csugrad.cs.vt.edu/soc/, which includes lists
of
mudserver types and known muds.
Snowfox, with pointers to lots of Furry communities &tc.
See also the
Hypertext Guide to FurryMUCK, including a good list of
Furry home pages.
"Cityspace, a virtual city
environment built collaboratively by
kids
across the internet.
Pt MOOt: Anatomy of a short-lived experimental community.
Muds.
Amberyl's Automated MUSH List.
MUSH Server Reference Page, including MUSH-realted mailing lists.
Fantasia images...
home page.
GNA virtual campus, currently including four MOOs.
Virtual spaces: Muds with gopher servers, MUD FAQs...
WebWorld, a 3-D virtual world you can explore or add to.
"There's stuff for
generating villages, taverns, cities, caverns, dungeons, mazes, worlds
(terra-like only), isles, random bits of terrain, solar systems,
galaxy sectors but no source code for any of it (apart from the one
for solar systems but that's Accrete and doesn't count)."
Doran's Mudlist in Finland
also available
in England.
Inter Actions, new directions in performance art.
CyberTerm, VR using only PCs and modems.
Chaco supplies a
client aimed at text and multimedia muds. Together
with IBM and Velocity Inc, Chaco is proposing a
Universal Avatar standard.
CyberSight, a chat/hotlist/etc site.
Citadel-list, archives for the citadel@pyrite.rutgers.edu
mailing list for Unix Citadel developers.
The furrymuck home page.
ftp://ftp.parc.xerox.com/pub/MOO/papers/, with lots of Pavel Curtis'
stuff, plus some historical MUD stuff. No mention of Pavel's "Jupiter"
or "Fabric" projects, that I can see, though.
Diversity University is at moo.du.org 8888.
Textuality In Cyberspace:Muds and written experience.
(Found in
Sociology of
Cyberspace 391.)
Worlds Chat, Windows/Internet based attempt at
networked interactive 3D VR. Binary-only client
and no server distribution, looks like.
Internet Cafes.
htMUD, a simple perl/cgi hypertext mud by
Nicholas Shectman.
KidLink, "a grassroots project aiming at getting as
many children in the age group 10 -15 as possible
involved in a GLOBAL dialog.
Prototype GreenSpace User's Guide.
The River,, a user-owned spinoff of the WELL.
The Citadel Home Page and
Citadel Software by OS. See also
History of Haven BBS.
DragonSpires, a graphic mud.
Project Xanadu, Ted Nelson's WorldWideWeb pre-invention effort
from 1960 on. Also see
this article.
Bog People, Muddy Places, an excellent U Texas collection of mud resources.
Immersive Systems, peddling
Meme, sort of a toy version of Muq, for $500. :)
Momoko,
"An Open Source Modular, Extensible, Multi-User Environment"
similar in spirit to Muq but done in Java. 140K as of 1999/Nov06
The Palace, from Time Warner, which they're pushing as
the ultimate distributed internet chat system.
CRASH: "Computers, Robotics, Artists Society of Houston":
Live-minds bunch of zanies doing neat netstuff.
Teeny.org in Oregon is run by Jason Downs and
distributes TeenyMUD among other things.
Heaven's Door.
Moose Crossing, "a MUD for kids designed to help kids 9-13 learn reading,
writing, and computer programming."
VR from Disney. (Wow!)
Worlds.net with WorldChat and AlphaWorld,
interesting graphics mud prototypes.
BigBook, a Yellow Pages service including a
3D overview of selected cities.
Some Thoughts on Behavior in VR Systems, and
Distributed Virtual Reality -- An Overview are
reasonably good informal think-pieces by
Bernie Roehl, author of
REND386 and lots of other things.
CyberCity 96, another interesting VR effort by
Fujitsu, which has been doing quite a few such,
starting with acquiring Habitat from Lucasfilm and
including the Greenspace Project with HITLab.
eRoom
from Instinctive is an impressive-sounding commercial offering.
Electric Communities also
has their hat in the commercial-community ring, based on a realistic
looking set of Java extensions...
WebMuseum netword -- a
fantastic and growing resource, whether you're looking for
medieval illuminated manuscripts or famous paintings or...
Milton Greene
Archive with photos of various celebrities.
3-D Graphics FTP archives.
Mpegs of various animations.
UK VR SIG, with the
UK VR-SIG 3D Object Archive (also available via
ftp) including VRML models and browsers.
Excellent Icon access page.
Daniel's Icon Archive.
Nurse's Tile Archive -- Skeletal wwwallpaper!
OTIS Home Page: Tons of art images.
NOAA AVHRR Pathfinder Satellite stuff: Mpegs of seasonal changes &tc.
EOS Volcanology, including good index of other satellite archives.
Regular polyhedra from netlib.
Virtual Medical Center, indexing much medical imaging, movies, software...
Animania, NY School of Arts animation mpegs.
Primes, largest known, and related info.
SCOP: Structural Classification of Proteins.
Internet connectivity from UWisc: Maps of countries
accessable via internet, email &tc.
Historical Maps online a umn.
Fortune 500 searchable db online.
Avalon/Chinalake
3D Library...
("the famed repository for hundreds of public-domain models
and textures." --
J Goodman)
started by Francisco X. DeJesus (ftpadmin@vislab.navy.mil)
and currently located at viewpoint.com.
2000Dec15: Preceding links seem dead but check
POVbjects
archive of 3D programs, models and other resources.
"Reflectually", a privage German 3-D object/texture archive.
ftp.povray.org, including a mirror of avalon/chinalake.
Sunni page, links including
HyperQur'aan Project and various translations, including English.
Natural Resources Research Information Pages
at Virginia Tech dept of forestry.
Statistics Canada.
Statistics New Zealand.
US Bureau of Census.
New Zealand Treasury.
The Art Bin, Swedish smorgasbord including online stuff
by Geoffrey Chaucer, Ambrose Bierce, William Butler Yeats,
HG Wells, John Stuart Mills, Adam Smith, Henry David Thoreau, Francis Bacon, David Hume...
Classical_Music/Reviews at Yahoo.
CelticNet, including Scottish clan directory, history of tartan...
Ascii art.
Neil Sloan has an online collection of known integer sequences:
Mail "lookup 1 1 2 3 5" to sequences@research.att.com to look
up a sequence in it.
Solar system stuff in VRML.
"Super, Natural British Columbia", including hierarchy of
maps, scenic Window screen savers...
Textures, clipart and images at ImageSys.
"Pretty Pictures", an amazing trove of astronomical image sites.
April the Otter, mpeg from the
CNN video vault.
As We May Think,
Vannevar Bush's classic postwar article.
Three reconstructed
Purkenje Cell neurons.
Medieval prices.
History of Rome.
Politics, by Aristotle.
National Research Council of Canada has some nice
3D scans of humans and
3D VRML
texture-mapped vases and such. They seem more
interested in selling than giving their data, however.
Constructed Languages page.
Digital Humans,
selling Visible Human CD-ROM for $19.95.
Engineering Animations
does a variety of neat stuff, including reconstructions
based on the Visible Human dataset.
Beyond RISC - The Post-RISC CPU Draft paper.
Official Internet Timeline.
Internet Domain Survey.
GVU WWW User Surveys.
Resources for economists on the Internet: A good
index of economic, financial &tc statistics and data on the wwweb.
White House Briefing Room, with links to various Federal statistics.
US Science + Engineering Indicators 1996.
"This fat volume is the prime source of basic data about the
whole system, from the education of students to society's gain from R&D investment. It should be studied, thought
about, and acted upon." -- Robert M. Solow, winner of the 1987 Nobel prize in economic science.
3D Starmaps, a delightful page by a fellow SF nut :)
SPIRO architecture slide library: 15,000 indexed images.
FMSO: US Foriegn Military Studies Office.
NIH page with
Human Genome Map.
Albatross photos!
(More code sources are also in specific sections such as Linux
or Crypo.)
Computer Vision
Software, an excellent linkset at CMU.
Freeware Central.
Mozilla.org, with
netscape navigator source code posted, along with source
source docs.
Computers and Software, a good index of freebiew Windows downloads.
3D Graphic Engines
(old US version
here).
A very rich set of Graphics Links.
decuac.dec.com, a fairly large FTP archive with clipart, code &tc.
prep.ai.mit.edu, the central GNU ftp archive.
XEmacs.
gatekeeper.dec.com, a major
ftp archive. Also available via
WWWeb.
wuarchive.wustl.edu, a major ftp archive.
The Programmers
Corner Archive with oodles of organized source code.
ftp.shsu.edu, a major TeX archive.
ftp.tex.ac.uk, another major TeX archive.
MetaIndex of Solaris Resources at sunsite.unc.edu, with Solaris binaries for emacs &tc.
ftp.dante.de, another major TeX archive.
gd 1.2: On-the-fly .gif creation for html by
Thomas Boutell. Gd has a
gd.pm perl wrapper by
Lincoln Stein.
Perl archive at U Minnesota.
ADL
"The World's Best Automated Test Generator" (free, support for C
and Java).
Net browsers, movie viewers &tc.
WIT, an www Internet archive mirroring wuarchive.
Internet Goodies: Software listing intended for sysadmins.
uC++, a free g++ based multithreaded (?) compiler.
Volren, a volume renderer for SGI Onyx.
SGI OpenGL examples, conversion aids from GL &tc.
XForms, "Forms"-based XLib based GUI toolkit, incl SGI binaries.
Jpeg utilities.
Neil's Mayer's Winterp X widget+xlisp package.
Meme, something vaguely like Muq but $2500/copy.
WWWeb developer stuff, including using Mosaic as a DB frontend.
muck2html converter by Lawrie.Brown@adfa.oz.au, and
LawriesMUD,
a muck accessable via it.
Ygl, a freebie (partial?) GL implementation with
source.
Image Star, a public domain image processing library by
Simon A.J. Winder
ftp-able as
ftp://axiom.maths.bath.ac.uk/pub/imgstar/,
designed to work with PBM.
The Jeneric muf library by Bryan Feir.
Muq, my Mother Of All Mudservers, supporting most
of CommonLisp, multiple languages, software virtual
memory, garbage collection, pre-emptive multi-tasking
with pipes, locks and job control, peak bytecode issue rates
in excess of 1 MIPS, X windows, "mechanism not policy"
kernel implementation, and the kitchen sink. (Sorry,
but transparent networking, VRML/OpenGL graphics, MIME
support, and dancing creatures of your favorite species
and gender won't be available until next year grin.)
Absolute Reality is a souped-up MOO server by Pat 'wu' Moss,
pmoss@gxeng.microserve.com.
StormMIST, "stands for Multi-user Interactive Stimulated Thought,
and will in the near future provide a 3 dimensional
interface, which will update itself automagicly."
httpd_1.3 is the http server I've been using.
I'm told much of the world is switching to
Apache, an independent guaranteed publicly-available
effort that started with the httpd1.3 source.
For a comprehensive comparison of WWW servers,
see
here.
NetPBM.
Unix MPEG-I compressor.
ftp.cc.utexas, nice graphics
archive including NetPBM and mpeg_encode-1.2 source. Mpeg_encode 1.3
is also available from
berkeley.
ftp.cs.ubc.ca,
a place I prefer for NetPBM and gspreview.
A trove of html translators, including texi2html.
Another
trove of converters, including
c2html.
Canonical archive for
texi2html by Lionel.Cons@cern.ch.
LaTeXinfo: like texinfo, but with LaTeX as the canonical form.
Tcl/Tk Resources.
Tcl Manual Pages.
"Why You Should Not Use Tcl.".
Python programming language.
See also this
Python
resource list, including the
Vaults of Parnassus
and Guido's Python for
Beginner's page.
daVinci: Definitive automatic graph layout program+bibliography. Soon to be changing its name for
legal reasons: See
here
NPSNET: Copyleftish Navy distributed VR for SGI machines.
GeomView, a very nice copyleft 3-D visualization package
for SGI/X/Mac. Let them know if you're using it, so they can
keep getting Federal funds to work on it. :)
The 'radio'
program for transmitting audio broadcasts among SGI, Sun &tc
machines. Includes the "playulaw" program usable by Netscape.
xfig at ftp.x.org: draw in X with postscript output supported.
You'll want to get
transfig, the output converter, also.
ImageMagic at
ftp.x.org: Sounds like a free X Photoshop :).
LASSPTools, freebie visualization and numerical tools for unix.
Graphics viewers, editors, utilities and info, a (GREAT!) ncsu index.
Xmgf,
at export.lcs.mit.edu/contrib/applications: 3-D image viewing.
ColdX, a ColdMud server maintainance effort.
They're proposing
VEIL as a mud client-server protocol.
RosettaMan, an improved standalone manpage formatter from Berkeley.
VolPak, a nice volume rendering package from Stanford.
Also vprender, a Tcl/Tk based application built on it.
Mesa, a free OpenGL-compatable graphics library by
brianp@ssec.wisc.edu.
There's also a
Mesa Voodoo driver page
and a
3Dfx Glide Porting
page with an xfree86 server for Banshee.
See also the
XFree86 3D Status Report.
And now an Nvidia
software drivers page which includes Linux drivers.
OpenGL.org
Shase virtual shareware library at Oakland.
Ray Tracing, good index of packages, image collections, FAQ...
Nice fractal flames: Copyleft code and sample images.
The BRL-CAD Package, a solid modeling and ray tracing system.
Simulated animated muscles.
"dyncomp:
An efficient dynamics compiler for 2D articulated figures using a
recursive Newton-Euler formulation with symbolic simplification. It
produces 'C' code."
Radiance, a free radiosity rendering suite. Sounds like the standard.
www.haskell.org
Mailing Lists
Green-card, "A Haskell
Foriegn Function Interface preprocessor" (i.e., C library importer)
Haggis "a basic framework for writing graphical user interfaces" in Haskell
Happy, the parser
generator system for Haskell
HDirect, an IDL compiler
for Haskell
nofib Haskell benchmark suite
O'Haskell
O'Hugs, the
O'Haskell interpreter
The
Glasgow Haskell Compiler Commentary, a hacker's tour of the
ghc compiler.
Eager Haskell
Variations of
Haskell, an excellent list of closely related languages.
HUGS, the standard Haskell
interpreter with mailing list
here
Timber, a real-time adaptation of O'Haskell with addition of clean records.
Haskell Wiki
HaskellTwo
Regular Expressions in Haskell
gtk+hs: "A GTK+ Binding
for Haskell". Also see
gtk2hs "a rewrite of
gtk+hs with a couple of improvements"
HOpenGL: An OpenGL/GLUT
binding for Haskell.
RMS "the Robust Mail Store", written in Haskell
Goffin: Distributed Haskell Library
The
Glasgow Haskell Compiler from the Glasgow Functional
Programming Group, is one of the highest-quality available
compilers for Haskell, the 'standard'
functional language (and in my opinion probably the most advanced
and promising programming language available today), with source (and
binaries for Alpha, HP, Linux, Iris and SGI, SunOS and Solaris)
available from the UK, Sweden, and the US. See
here for Haskell Report version 1.3
and
here for the Yale fp/haskell page.
Happy is a parser generator for Haskell.
Gofer, the Haskell interpreter.
GHC (Glasgow Haskell Compiler), including Linux binaries.
Yale Haskell Project and related stuff.
Draft Haskell 1.3 Report from England via ftp. (Also the
libraries.) Available in NA from
Yale.
John Launchbury, with some nice FP papers, including one on
Lazy Imperative Programming in Haskell.
Pan
is a Haskell-based functional language for image synthesis by
Conal Elliott, Sigbjxrn Finne and Oege de
Moor at Microsoft
Research's Graphics Group.
Jim Blinn Home Page.
Mercury,
an interesting speed-oriented compiled Prolog variant claiming twice the speed
of the next fastest Prolog implementation.
Visual2/Visual3/pV3 visualisation software, including SGI version.
Where to get unix ZIP.
Medical imaging: Index of 65 programs, packages and libraries.
NCSA toolkit for volume rendering and visualization.
VolVis from SUNY, volume visualization library. Supports SGI.
Manchester Scene Description Language, complete with
code.
Manchester NURBS library, complete with
C code.
Blue Moon Rendering Tools, binary-only shareware Renderman software.
SGI is a supported platform.
Self, the prototype based language from Stanford.
Manual and implementation.
SUIF parallel+optimizing compiler toolkit from Stanford.
Netlib Repository at UTK/ORNL: Oodles of math code.
Free C numerical computing code from netlib, a nice index. Nurbs, wavelets, matrices,
good portable random, matlab lookalike, simulated annealing...
PVM3: Parallel Virtual Machine. Good, practical
distributed computing library for C and Fortran under Unix.
Fresco, an X consortioum "object-oriented application programming interface (API) for graphical user interfaces, covering functionality in Xlib and Xt, and adding structured graphics and application embedding."
DataView, 3-D fluid dynamics visualization for SGI or X.
Dennis's index of CSci theory related software.
GAMS: Guide to Available Mathematical Software at NIST.
sdbm.shar.Z, a nice ndbm clone, at decuac.dec.com/pub/sources/.
tcp_wrappers at info.cert.org.
"SGI/Template Graphics VRML viewer". See also
SGI WebSpace VRML browser,
the
i3D VRML browser from CERN (originally from
Italy), and the
sdsc list of vrml browsers.
Courtney, a CIAC package for detecting SATAN attacks &tc.
Gnuplot, at ftp.dartmouth.edu, official North American archive.
CLRMosaic - An
FTP-able, extended version of NCSA Mosaic for X integrating
interactive 3D model, mapping, and hypermodel support. (for SGI
hardware).
NCSA DTM (Data Transfer Mechanism) "is a message-passing
library. It is designed to simplify the task of interprocess
communication and to facilitate the creation of sophisticated
distributed applications in a heterogeneous computing environment. To
accomplish this, DTM provides a method of interconnecting applications
at run-time and reliable message-passing complete with synchronization
and transparent data conversion. DTM has been optimized for large
messages (100 Kbytes and up), but is also efficient for smaller
messages. DTM is available on most platforms that support Berkeley
sockets library, including Cray Systems, CONVEX, TMC CM-2 and CM-5,
most UNIX-based workstations, Macintoshes, and MS-DOS machines."
asWedit "an easy to use HTML 3 text editor for X Window System and Motif.
In addition to standard text editing features it offers a context-sensitive
HyperText Mark-up Language (HTML) mode for editing files used on the
World Wide Web (WWW)."
xdvik via ftp, cited by GNU autoconfig author djm@va.pubnix.com (David J. MacKenzie) as an example of X window autoconfiguration.
djgpp: DJ Delories' port of gcc to dos. A standard, and a good one.
One reason I gave up writing a 386 C compiler.
SGI ftp sites.
Proxima, comp.answers/graphics/algorithms-recommended 3D collision-detection code in C++.
WebLib: Perl+C support for WWWeb interfaces to mixed doc dbs.
perlWWW, an index of Perl-based WWWeb libraries.
ImageEngineis a multi-user, objected-oriented, client-server
database system for the storage, retrieval, integration and sharing of
a wide range of medical images." -- U Pitts, NLM funded.
ohio-state
elisp archive -- this is the central Emacs lisp archive.
(If it is busy, here is a
mirror.) Also
fun is
hm-html mode.
xanim, the Quicktime (&tc) viewer for unix,
with
source.
Hylafax, a top-quality copyleft FAX package for unix
by
Sam Leffler, author of libTIFF and much, much more :).
BIND, Berkeley Internet Name Domain, from the
Internet Software Consortium, including a
FAQ.
ACM SIGMOD Index of publicly available database software(!!)
ML: Free x-based IMAP mailer with some mosaic/netscape support.
CU-SeeMe overview at Cornell (originator). See also
CU-SeeMe overview at NCSU,
indstate CU-SeeMe overview and FAQ, and
NASA TV.
WAFE, a tcl/athena widget X inteface toolkit, by one
of my favorite hacking gurus. His latest great hack is
Cineast, an extensible WWWeb browser.
CMU CommonLisp implementation.
"Jon's WWW server include access counter": Hack to
publish text count of accesses to your HTML page. If
you like graphic counts, he recommends
Eugene E. Devereaux's counters. See also
Access Counts on yahoo's
Computers: World Wide Web: Programming page,
and
Counter 3.2.
UW ftp.cac.washington.edu FTP archive, including
dial-ip software for UW PPP lines.
EPA 'dbf'
utilities -- translating data between dBASE dbf, ASCII, and
ARC/INFO formats.
GMT is a
free, public-domain collection of ~50 UNIX tools that allow users to
manipulate (x,y) and (x,y,z) data sets (including filtering, trend
fitting, gridding, projecting, etc.) and produce Encapsulated
PostScript File (EPS) illustrations ranging from simple x-y plots
through contour maps to artificially illuminated surfaces and 3-D
perspective views in black and white, gray tone, hachure patterns, and
24-bit color. GMT supports 20 common map projections plus linear, log,
and power scaling. INCLUDES 57MByte COASTLINE DB.
pthreads at MIT:
Copyleft, relatively portable parallel threads package for unix based
on POSIX1003.4a Draft 8, with online docs here
and canonical archives
here and
here.
Phantom "is a new interpreted language designed to address some of
the problems presented by large-scale, interactive, distributed
applications such as distributed conferencing systems, multi-player
games, and collaborative work tools," with homepage
here.
Obliq " is a lexically-scoped untyped interpreted language that
supports distributed object-oriented computation. An Obliq
computation may involve multiple threads of control within an address
space, multiple address spaces on a machine, heterogeneous machines
over a local network, and multiple networks over the Internet. Obliq
objects have state and are local to a site. Obliq computations can
roam over the network, while maintaining network connections."
3-D Reconstruction page at
NASA Ames Biocomputation Center.
Info-Mac HyperArchive Root.
The Ghostscript (a postscript clone) home page. Curiously, prep.ai.mit.edu
doesn't seem to be tracking recent releases.
dbCGI, "An embedded SQL toolkit for connecting databases to the World Wide Web".
cs.purdue.edu/pub, with lots of good stuff including
tools/unix/netmon/netman/sgi network monitoring tools
etherman, geotraceman, interman and packetman.
mSQL, written by
miniManual, a
canonical FTP archive,
and a mailing list: mSQL-list-request@bont.edu.au.
ftp.cs.berkeley.edu, a UW-recommended source for
Eric Allman's BSD sendmail 8.7.1 which
"works great on our SunOS, Solaris, HPUX, IRIX, and Linux platforms".
NetSound is an
MIT Media Lab project using
CSound, a PD standard+software for synthesizing music, and
MIDI.
Multi-resolution Java curve editing, courtesy of
Greg Heil.
Fuzzball, the mudserver for
FurryMuck
maintained by Garth Minnette (
Foxen,
Revar)
is available from
belfry.com and
best.com.
Free translators into VRML format at ocnus.com, starting from
alias, 3dstudio, wavefront, softimage, iges, dxf.
See also the
SGI translators.
Free Widget Foundation home page.
Hurd (GNU unix kernel) home page.
GIMP, General Image Manipulation Package for Linux &tc.
LessTif homepage: LessTif is a copyleft clone of Motif.
Garnet, the Cadillac of Lisp user interface toolkits.
RTIME, a 3D world kit
based on the quarter-billion dollar SIMNET/DIS military effort.
BrainMap effort.
MOMspider, a promising-looking Perl package for
detecting obsoleted links &tc on your web site.
Image Processing & Assorted Graphics Source Code and Links
including marching cubes algorithm descriptions and source
code links.
Amanda, the Advanced Maryland Automatic Network Disk Archiver,
for doing backups.
There's crypto/authentication stuff all over here, of course -- see
in particular Other RFCs. The Crypto/Authentication
section is for stuff that didn't fit better elsewhere. The Java
JDK now includes MD5, SHA and DSA; PGP of course is a popular
free crypto/authentication package. Rumor says the RSA patents
expire shortly?
The
RSA FAQ is an
excellent overview. RSA Labs also publishes
CryptoBytes, a nice newsletter of relevant developments.
International Cryptography page -- looks very comprehensive.
Crypto Resources page.
Cryptome carries
daily crypto newslinks.
Sources for Spooks
has pointers to code sources including RIPEMD-160, DES and Blowfish.
cryptlib
includes
source
code
for "DES, triple DES, IDEA, MDC/SHS, RC2,
RC4, RC5, SAFER, SAFER-SK, Blowfish, and Blowfish-SK conventional encryption,
MD2, MD4, MD5, RIPEMD-160 and SHA hash algorithms, and Diffie-Hellman, DSA, and
RSA public-key encryption." with home page
here in NZ.
Wei Dai's Crypto++ 2.2 Page has C++ source for damn near everything cryptographic:
symmetric block ciphers: IDEA, DES, DES-EDE, RC5, Blowfish, Diamond2, TEA, SAFER,
3-WAY, GOST, SHARK, CAST-128, Square
generic cipher modes: CBC, CFB, OFB, counter mode
stream ciphers: SEAL, WAKE, Sapphire, BlumBlumShub
public key cryptography: RSA, DSA, ElGamal, Diffie-Hellman, BlumGoldwasser, Rabin, LUC,
LUCDIF, LUCELG, Elliptic Curve Cryptosystems
padding schemes for public-key systems: PKCS1, OAEP, PSSR
one-way hash functions: SHA, MD5, HAVAL, RIPE-MD160, Tiger
message authentication codes: MD5-MAC, HMAC, XOR-MAC
hash functions as ciphers: Luby-Rackoff, MDC
pseudo random number generators (PRNG): ANSI X9.17 appendix C, PGP's RandPool
Shamir's secret sharing and Rabin's information dispersal scheme
DEFLATE (gzip compatible) compression/decompression
fast multi-precision integer operations
prime number testing and generation
various miscellaneous modules such as base 64 coding and 32-bit CRC
A high level interface for most of the above, using a filter/pipeline metaphor
benchmarks and validation testing
The Cryptographic Software page has lots of good stuff including an
excellent Cryptographic Libraries section with libdes, alodes, SSLeay, Crypto++, CryptoLib, Wincrdll, CryptLib, RSAREF, &tc &tc &tc.
cryptolib
source at stanford.
The
Crypto-Log is a very comprehensive index including a big list of
source code (&tc) archives including Mike Johnson's
massive code archive.
Ron Rivest's excellent
Cryptography and Security page, which includes an excellent
Software archives section.
JCrypt 0.1 is one of the few Java crypto offerings at present. MD5, DES, RSA, Diffie-Hellman. See also Jef Poskanzer's free Java code, including some nice crypto stuff: IDEA, SHA-1, DES, Blowfish, and of course Rot13. See also the big, free
Cryptix-Java suite (MD5, SHA, Blowfish, IDEA...) from Systemics, and its excellent list of
More Java Crypto.
The leading commercial Java crypto offering seems at the moment to be
J/Crypto.
home page of IEEE P1363: Standard for Public-Key Cryptography also has lots of pointers to recent work and proposals, including
SRP: Secure Remote Password.
Public-Key Infrastructure Standards at NIST.
PKIX drafts at internic.
International PGP Home Page.
See also MIT PGP Distribution site.
PGP Attack FAQ.
IDEA HomePage.
Diffie Hellman is a very pretty, well established way of establishing
a shared secret between two parties separated by an untrusted channel:
http://www.rsa.com/rsalabs/newfaq/q24.html,
http://www.racal.com/rdg/products/diffie.htm. JavaDoc for
one grad student's implementation:
http://www.cs.princeton.edu/courses/cs461/jdoc/AcmeNet.Assn3.DiffieHellman.html
.
SKIP(Simple Key-management for Internet Protocols
is a pretty key-management system based on Diffie-Hellman.
Enhanced Diffie Hellman with X.509 Certificates.
A Secure Talk Client, Final Report has a good overview of available
algorithms in appendix G. Includes C source, including for IDEA.(?)
Another survey of
Strong Cryptographic Algorithms.
The Shortcomings of X.509 Certificates.
Public Key Infrastructures and related topics (SSL X.509 X.500 &tc).
Public-Key Infrastructure, Internet Drafts.
FIPS180 contains a spec for the SHA-1 Secure Hash Algorithm.
Code for RIPEMD, an alternative to SHA-1, was published in Dr Dobs,
Jan 1997, code is online as the
rmd160 package.
SSLeay
contains C source for lots of crypto stuff.
SSL 3.0
IETF draft document..
The ESP CAST128-CBC Algorithm is a fast symmetric encryption algorithm free of patent restrictions, proposed as an internet draft standard. A free C implementation by Peter Gutmann
is available for use with his
cryptlib
.
Pate Williams's page has lots of
good crypto/bignum/prime related C code posted, with pointers to
specialist-level books.
Death of peer-to-peer?
Pascal Brisset's Linux kernel source code development 3D animations,
source code and related links.
Ultimate
Linux Machine spec by ers, Darryl Straus and Rick Moen
History of
Unix page with big family tree and lots of good links.
Scientific Applications on
Linux: Thousands of apps neatly indexed!
Linux
in Business -- Case Studies.
IBM Developerworks on setting upjournalling
and ReiserFS on linux 2.4, plus tmpfs and other good stuff.
i-opener faq.
As of 2000Jul or so at least, free FrameMaker beta releases for
Linux were downloadable from Adobe.
Munitions "a mega-archive
of cryptographic software for the linux operating system."
Open Inventor has been released by SGI underl LGPL and ported
to Linux! here.
Linux
Distribution Db -- search for the one that meets your needs.
KDE Linux Packaging Project.
The
C10K problem by Dan Kegel has a good discussion of asynchronous
I/O techniques under Linux. The
KAIO FAQ
describes an SGI (?) implementation of AIO in the Linux kernel
.
NSA Security-Enhanced Linux(SELinux/SE-Linux).
Index
of Documentation for People Interested in Writing and/or Understanding the Linux Kernel..
Sunsite
Linux C development tools, including
ccmalloc-0.2.3.tar.gz An easy to use memory profiling and malloc
debugger and the similar mpr-2.2.tar.gz package and
lots more goodies.
Linux firewall
configuration tool, by author of Linux Firewalls.
Pocket Linux.
US Linux User's
Groups, including two near me, the
Santa Cruz Linux User Group and the
Silicon Valley Linux User Group.
The CVS Book, free
online or available as treeware with bonus chapters.
Creative Labs
Linux Soundblaster Support page.
Linux MIDI+Sound pages.
Open Sound System, a commercial
implementatiuon of OSS, the
evolving open (?) sound standard for Linux, BSD &tc.
Raid-1,4,5 for Linux! Beta kernel support for distributing
data across multiple disks so that no single disk dying costs
you data.
WINE(Windows on Unix emulator).
Linux filesystem defragger.
GVD homepage. The GNU
Visual Debugger is an alternative to DDD, written for Linux in Ada.
Crystal Space is a
LGPL C++ 3D game engine running on Linux and Windows, on top of Glide,
OpenGL and others. Scripting, reflections, everything good.
Linux Applications and Utilities (also
here).
Also see the
Linux Mall.
MultiGIF, a cross-platform utilty for creating animated GIF images.
Davide's Linux Resources, with lots of good security stuff.
Linux
Applications and Utilities Page, a nicely organized index.
Linux Network Monitor.
PcDen,
with some of nice Linux links.
Linux Machine,
an excellent index of Linux docs and resources.
Linux applications, another good index.
Bill Adams'
Linux Compatible Software is yet another good list.
Linux on IBM 770x Thinkpad.
Linux International
specializes in promoting Linux via outreach and
fundraising.
GGI is an exceedingly
cool-sounding project to put a new low-level API between apps and
the video hardware -- safe, fast app access to video ram! :) :) ;) Plus
lots more good cleanup/abstraction.
Enlightenment, an exceedingly cool-looking X window manager.
See also
here.
Inti is a
RedHat developed GUI toolkit build on GTK+ (the GTK C library)
as a simpler alternative to Gtk--.
Linux Information
at
SSC - Specialized Systems Consultants, Inc in
Seattle, publisher of the excellent
Linux Journal.
They also have a nice
Linux distributions compared table.
Here's an excellent Debian
Links page.
Debian Linux (the version I run), which has
canonical ftp archive
here
and primary ftp backup sites include
microworld.net
and
tsx. For a positive review, see the
databus's
Debian GNU/Linux: The User-Community Developed Distribution of Linux.
Debian mirror-2.8-5 at ftp://rosebud.sps.queensu.ca/pub/Debian.
The story of the PING
program, by its author.
(iConnect sells
Debian Linux CDROMs for $30, updated daily.)
OSF Linux: Linux on top of Mach for Intel and PowerMac platforms.
See also the Apple page
and the
Linux/MIPS FAQ.
ens12.univ-mrs.fr: Linux.
www.linux.org: Linux.
Linux ftp archive at sunsite.unc.edu (also available in
HTML); See also
tsx-11.mit.edu:/pub/linux (with
HOWTOs) and the canonical archive
ftp.funet.fi:pub/OS/Linux/. See also the
Linux Publicity Project.
Linux-FT (ELF version)
at "Lasermoon, the Unix freeware specialists",
Linux International,
Seattle/PugetSound Linux User's Group,
Linux Journal (with
HOWTOs)
,
Linux Installation and Getting Started online (and printed) book,
and the
LinuxNET developer's mailing list archives. For
commercial Linux support including WordPerfect for
Linux &tc, see
Caldera.
For Java on Linux, see the
Java-HOWTO.
Linux for Hams, a Linux distribution with packet radio stuff &tc.
Due to US export restrictions, Linux SSH (Secure Socket Handler,
I think) is distributed from Europe,
here and
here.
"ssh - a replacement for rlogin, rsh, rcp, and rdist
Ssh (Secure Shell) is a program to log into another computer over a
network, to execute commands in a remote machine, and to move files
from one machine to another. It provides strong authentication and
secure communications over insecure channels. It is intended as a
replacement for rlogin, rsh, rcp, and rdist."
More
on mastering the secure shell" is a SunWorld article on installing
and configuring ssh.
Getting started with
SSH
appears to be the "official" user tutorial.
Purdue
SSH Links list, including the
"Official" SSH Homepage .
Also has a lot of cracker-oriented links.
NiftySSH is
a free SSH for the Max.
Vortex Linux drivers for 3c595 cards, from the
Beowulf Project, a nasa 16-processor Linux cluster workstation.
[LATER: These are now standard with recent Linux kernels.]
Xfree86 is the
free X Window System release for PC boxes: The
home page
is mirrored at:
http://xfree86.pacificrim.net/XFree86,
http://x.physics.usyd.edu.au/,
http://www.uni-paderborn.de/mirrors/xfree86/,
http://www.xtreme.it/xfree86/,
http://sunsite.mff.cuni.cz/XFree86/, and
http://www.redhat.com/xfree86/.
RedHat security
update RPMs and installation instructions
.
FreeBSD, another free Unix.
Compaq test-drive --
free developer software evaluation shell accounts on 64-bit Alpha Debian (&tc) systems.
Beta RealPlayer for Linux.
Duke Of Url.
Nagios "is a host and service monitor designed to inform you of network problems before your clients, end-users or managers do."
Info on securing Linux, especially securiting Red Hat:
http://packetstorm.securify.com/papers/unix/Securing-Optimizing-RH-Linux-1_2.pdf.
Info on blocking email relays:
href="http://weber.u.washington.edu/~dittrich/misc/spam/email.blocking.txt
http://weber.u.washington.edu/~dittrich/misc/spam/relay.rejection.txt
http://www.sendmail.org/antispam.html
TCP Wrappers home
site. (Note that ftp://ftp.win.tue.nl/pub/security is no longer
maintained and has been compromised.)
Tripwire
home site.
ssh home site cs.hut.fi.
sudo home site.
crack/a> home site.
tamuk/a>
(Texas A&M University security package, including TIGER diagnostic
scripts) home site.
swatch
syslog filter/report tool.
npasswd
tool.
And for something completely different:
Linux Loving Sluts.
GNU Emacs on Windows NT and Windows 95, an excellent port by the UW's Geoff Voelker.
A free ssh implementation for Windows is reportedly available courtesy
of the Cygwin project (GNU-4-Window) at
ftp://dome.its.uiowa.edu/pub/domestic/sos/ports/.
http://www-personal.engin.umich.edu/~gsar/,
with lots of good binaries for Windows, including Perl/tk.
cyGNUs (ftp here) has lots of relevant stuff, especially the
GNU-Win32 Projectpage
and associated ftp site.
MI/X, "a professional, free, x server for Windows and Mac".
Virtual Network Computing:
View unix or windows desktops from any remote Windows or Unix host,
detach and re-attach sessions -- Whee! Free and GPL. Just might be
exactly what I've been looking for, for Muq...
Unix to NT Resource Center.
The New England NT Users Group.
ActiveState (nee'
ActiveWare), best Windows port of Perl.
Also of possible interest:
http://www.socks.nec.com/, SOCKS 5 home page, which includes RFC1928, the SOCKS 5 REF.
Roasted Java News.
Brad Appleton's Java Links (excellent!)
Java packages
for Red Hat Linux (Hungary).
Linux Java at pico.org,
including recommended RedHat versions.
SW-Tech/Java a good
set of links and discussions.
IBM's AlphaWorks has
lots of fun, free Java tools available, including the
RDF for XML
data parse/search/manipulate technology,
XML for Java, the Jikes Java compiler, and the Jinsight profiler.
The Code Book
"We have a great problem / solution ratio. 91% of all
problems posted to this web-site get solved!"
Jasmin, an
assembler for the Java Virtual Machine.
Kimera Project at
UW, which caught lots of security holes in commercial JVMs and is
developing a more secure alternative.
Mocha, the original Java decompiler. See also the
DeJaVu and WingDig decompilers.
Jacob,
a class and package browser for Java. It uses Gnu Emacs for displaying and editing the source files of your project classes.
PJama,
(Persistent Java) persistent heaps for Java.
JESS, Java Expert System Shell, a CLIPS clone for Javafolk.
JOS, an (over?)ambitious copyleft
Java OS just starting development (98Jan).
IFC Developer Central.
JOLT is the
umbrella effort to develop a freely redistributable Java software
suite, with components including
Kaffe, a copyleft Java Virtual Machine
implementation with bytecode interpreter and Just-In-Time compiler,
guavac,
a Java compiler, and possibly
BISS, a copyleft AWT
that works with Kaffe and
Kream, an implementation of
the non-AWT libraries.
SAWT, Simple AWT is an
X-based AWT implementation effort, ftp archive
here.
The Hungry Programmers offer
Japhar, another free JVM.
Toba is a U
Arizona Java-to-C compiler.
SubArctic
is a powerful Java GUI toolkit built on a decade of research at
Georgia Tech, available with full source.
OptimizeIt, commercial Java development product.
Reliable Software Technology has
various commercial test-coverage &tc tools available, and also hosts the
Hostile Applets page.
SunTest has Java test tools
including JavaStar.
Software
QA/Test Resource Center has various stuff including a Java section.
Telnet applet, complete with source.
Jef Pokanzer's free Java code, including some nice crypto stuff.
BrainWave,
a commercial Java neural network simulator.
Java Resources
at SGI, including a thought-provoking fractal landscape generator.
Koala GUI toolkit.
CAL Container and
Algorithm Library.
Pizza, free compiler
for a superset of Java, featuring Parametric polymorphism, first-class
functions and class cases and patternmatching -- Haskell for the
Java world? :)
Java Linux at
blackdown, an excellent resource.
IBM's alphaWorks' Linux JDK.
Open Group
Research Group's Java for Linux Port (noncommercial use).
They also have various compilers and tools for Java in development or testing.
Focus On Java (including the 3D spec)
Ding! JavaDocs
Gamelan
Java API Overview @ javasoft
JDK 1.1.2 Documentation (local)
Java Platform 1.1.1 Core API Package Index
DevEdge Online - Netscape Directory SDK
Java Networking FAQ
LDAP and X.500 Protocol Web Resources
LDAP, kinetoscope.ldap & kinetoscope.asn
Netscape DevEdge - IFC
IFC Frequently Asked Questions
Object Serialization Specification
ObjectSpace, Inc. JGL, the Generic Collection Library for Java?
Packages -- basic java class docs
Remote Method Invocation Specification
Aaron's Free Warped Java Page(tm)
Java CGI FAQ
Microline View Toolkit Programming Manual
HotJava specs &tc (official). I get
faster response from
WebRunner, however -- I find the
programmer docs particularly useful. See also the
digital focus
Java Developer page, especially the
How Do I? subpage.
For Java demos, see
Gamelan.com.
CAB files,
Microsoft's subverion of JAR archives.
On-line magazines:
Java Developer's Journal
Javology
Javaworld
JavaBeans Advisor
Web Sites:
Java Financial Objects Exchange
The Java Oasis
Cup o' Joe
Geocities Java Zone
http://www.wco.com/~sharenet/enternet/java.html
Gamelan, The official Java Repository
Sun Java Developer Connection
ditto (?)
JavaSoft
"Java Tools!!!" - IDE's at a glance, Available Tools, etc...
SunSITE UTK Java SITE
The Java Repository
Microsoft's Java Center
Java Applet Rating Service(JARS)
Javology
Java News
Que's Java Resource Center
Books:
The Java Programming Language Ken Arnold, Gosling (Addison-Wesley)
The Java Application Programming Interface, Volume I, II Gosling, Yellin, Java Team (Addison-Wesley)
Java Networking and AWT SuperBible Maso, Srinivasan, Nagaratnam (Waite Group)
Core Java Cornell, Horstmann (SunSoft Press)
Graphic Java: Mastering the AWT Geary, McClellan (SunSoft Press)
The Java Class Libraries, An Annotated Reference Chan, Lee (Addison-Wesley)
Online Books:
Special Edition Using Java, 2nd Edition
Java Quick Reference
NewsGroups:
comp.lang.javacomp.lang.java.*
comp.lang.java.api
comp.lang.java.programmer
comp.lang.java.tech
comp.lang.java.announce
comp.lang.java.security
comp.lang.java.misc
comp.lang.java.setup
comp.lang.advocacy
Mailing lists:
advanced-java@xcf.berkeley.edu
How to Subscribe:
Send mail to majordomo@xcf.berkeley.edu
Body:
subscribe advanced-java
end
Sun's Mailing Lists: http://java.sun.com/mail.html
CD-ROMS:
An introduction to programming Java Applets (MindQ)
Java Programming & Core Class Libraries (MindQ)
GNUish Java efforts underway include the
guavac
bytecode compiler and the
GROW Java to
Scheme translator. (Is this the same as the
Kawa
Scheme-to-Java-bytecode compiler?) See also
Jaja, another
Scheme written in java,
and
SILK, "Scheme in 50KB in
Java".
Programming Languages for the Java Virtual Machine.
Cygnus is building A
Gcc-based Java Implementation for good native performance.
JavaBeans - Component APIs for Java
Java Component Depot, a sun
index of commercially developed JavaBeans.
Beans/Components Catalog
http://components.sun.com/
http://www.developer.com/directories/pages/dir.java.html
(link to JavaBeans->General for lists of Beans and
tools)
Beans/Components Tools List
http://java.sun.com/beans/tools.html
http://www.javaworld.com/javaworld/tools/jw-tools-index.html
http://www.developer.com/directories/pages/dir.java.html
(link to JavaBeans->General for lists of Beans and
tools)
Examples of companies with Tools and/or Beans:
BulletProof Corporation's JDesignerPro 2.1;
Corda Technologies, Inc. http://www.corda.com
HotObject Inc. http://www.hotobject.com
Imperial Software Technology's Visaj
Infospace, Inc SpaceSQL http://www.infospace-inc.com/
KonaSoft's KonaSoft Packajar 1.1
KL Group Inc http://www.klg.com
Lighthouse Design's JavaPlan
NetDynamic's NetDynamic 4.0
(was JRad Technologies' j.rad)
NetFactory, Inc. http://www.netcharts.com
NovaLink USA Corporation http://infoweb.novalink.com/
ObjectSoft's BrewMaster s1.10
Objectshare, a division of ParcPlace
http://www.objectshare.com
OMNIS Software's OMNIS Studio v. 1.0
Penumbra's Super Mojo
Quadbase Systems Inc http://www.quadbase.com
Rogue Wave Software, Inc http://www.roguewave.com
SFS Software's Iavadraw
SunSoft's Java Studio
Taligent, Inc. http://www.taligent.com
The Connection Factory http://www.tcf.nl
Unify's Vision
Visix Software's Vibe
Visual Engineering, Inc. http://www.cdrom.com/pub/viseng.html
Visual Numerics, Inc. http://www.vni.com
Visualize, Inc. http://www.visualizetech.com
Webvibe Corporation http://www.webvibe.com
Whirlwind Guide to SGML Tools and Vendors.
Jumbo,
Java classes for XML presentation.
Lark, XML processor as 10
Java classes.
LT XML, unix filters for XML doc
processing -- sggrep &tc.
MSXML, Microsoft
XML parser written in Java.
NXP, Norbert's
XML Parser, full free Java XML parser.
.
RI.XMLSean
Russell's UOregon Java XML parser.
TclXML, XML parsing from
Tcl.
XDK C++ and
Java XML developer's kits including parsers.
XMLLINK, Java programs
for parsing and processing HTML documents.
XMLVIEW, XML
viewer applet.
JADE, free DSSSL and XS (soon?)
SGML/XML/HTTP program from James Clark, technical lead on the XML
Editorial Review Board.
Extensible
Markup Language Versions 1.0 Part I: Syntax, the definitive W3C
standard.
language.perl.com, a good
jumping-off place for things Perl which includes a brief
cool modules
list plus a
full CPAN modules list, a good
Documentation page
and lots more goodies.
"Take
Ten Minutes to Learn PERL".
Yahoo
Perl Page.
WWW Developer
Tools (NASA).
WW Developer Tools (jhu).
Sun product documentation
including online manuals on
packaging etc.
www.ibiblio.org (was Unc) archive of free solaris software.
(See the
E-zine list or the
E-text Archives
for much more extensive listings.)
Alternate View by
John Cramer -- science fact articles for Analog.
Web Review"VR for the People".
The Progressive Review.
Mother Jones.
IEEE Computer Graphics & Applications.
Journal of Computer-Mediated Communication, including
a Dec95 issue on
Electronic Commerce.
See also
Trinity College Dublin
Computer Science Department
Networks & Telecommunications Research Group's page on
Network Payment Mechanisms and Digital Cash.
Duif's Hot Chess News.
Neural Computing Surveys, "A refereed electronic journal
published on the World Wide Web".
the wars for viet nam:
1945-1975.
Abuse of the Executive Order in America: The US has officially
been in an extraordinary state of emergency suspending normal
legal safeguards since 1933. The US President is today empowered among
(many!) other things to unilaterally take over all modes of transportation,
the communication media, all electrical power, gas, petroleum, fuels and minerals,
all food resources and farms, all health, education and welfare functions,
to relocate communities,
to mobilize civilians into work brigades under government supervision,
and to operate a national registration of all persons. Reassured?
Here's a discussion of the
twelve current US states of emergency.
East Timor, site of continuing US-backed genocide,
with about 1/3 the population slaughtered so far,
focus of 1996 Nobel Peace Prize. Send blank email
to timor-info@igc.apc.org for more info on mailing
lists &tc.
Phillipine-American War, 1899.
Shell on Earth: Ogoni struggle in Nigeria.
HateWatch tracks the
delightful human habit of dividing up into "us" vs "them" and
then having a jolly little spot of violence.
The War Machine. Landmines cost $3-$30 to lay, $1000 to remove.
100,000,000 are in place, with another 100,000,000 stockpiled...
Red Light, Green Light: The Global Trafficking Of Women.
Children Victimized by Asian Brothels.
International Sexual Slavery.
Bosnia: Uncertain paths to peace.
Chechen war.
See also
here and
here.
This is less an outrage than just self-destructive
stupidity:
A statistical overview of software patents.,
a follow-on to
, both part of the
EFF Intellectual Property page.
O'Reilly associates exposes some Microsoft lies: Gates is charging
hundreds of dollars more for Windows NT Server than Workstation, which
differ only in two internal switch settings. Anything to rip off
the public, apparently!
Zapatistas.
Tamil Eelam (LTTE, Liberation
Tamil Tiger) homepage, separatists fighting for autonomy in
Sri Lanka (Ceylon).
This section is dedicated to memory all the untold millions killed
by contagious mental diseases.
I mourn the hundreds slaughtered by Moses immediately after being
told "Thou Shalt Not Kill." (Are they the first such victims known
to history, if history it be?)
I mourn the thousands slaughtered indiscriminately in the Temple by
the Crusaders, "until the blood ran high as a horse's bridle."
I mourn the millions slaughtered in Europe during the Dark Ages for
the hideous crime of being perhaps non-Christian.
I mourn the thousands of children dead after being sent to walk
through minefields on the promise of a shortcut to "heaven".
I mourn the dozens who died at Heaven's Gate.
I mourn the handful who died at Salem.
I mourn those who died alone, victims of cult-crazed bombers
and assassins.
I mourn them all.
I mourn not only the dead, but those otherwise caught as
"collateral damage" in these mad maelstroms:
I mourn the thousands of children lost to the Children's
Crusade.
I mourn the needless obsessive compulsives wasting their lives
in fruitless rituals.
Not least, I mourn the billions of minds stunted for life by
ruthless childhood indoctrination, and the guarantees of future
deaths, hatreds, obsessions and insanities they carry within them.
AFF Cultic Studies keeps track of
some of the most dangerous, offers treatment advice for friends of
victims, and conducts education and research.
The Cult Awareness Network
has been driven into bankruptcy by 50 Scientologist lawsuits over a
four year period.
Christian Hall of Shame.
The Reading of the Riddle,
Neo-Tech
Home Page,
PRIVACY JURISPRUDENCE AND THE APARTHEID OF THE CLOSET, 1946-1961
and
Northwesten University Korea University are four of the five
hits
Alta Vista returns
for the query "contagious mental disease" (the fifth is a dead link);
Alta Vista returns no hits whatever to "contagious mental diseases".
Appears to be a quite amazingly effective suppression of a problem
affecting billions of people and responsible for untold millions of
of pointless deaths.
Claude Shannon invented information theory, the base for much of
modern computing and hence of the modern economy. I suspect much
of biology and artificial intelligence will eventually been seen
as based on it. Lucent (nee Bell Labs) established an
Information Theory page to mark the 50th anniversary of the publication
of his
seminal
paper; It also includes
a
biographical sketch.
Necessary
Illusions, A Noam Chomsky Page.
Susan Stepney.
"People On The Net" index.
The indefatigable
Eric S Raymond.
Ted Nelson's last book is
THE FUTURE OF
INFORMATION: Ideas, Connections, and the
Gods of Electronic Literature.
Tomas Kindahl,
bright, interesting guy with a good take on AI.
Marcus J Ranum.
Tom Almy,
author of xlisp-plus.
Also relevant:
xlisp-stat
or Niel's Meyer's
Winterp
or Dave Betz's Xlisp 3.0.
Books and Articles. by
William H Calvin.
Alex Stewart stewarta@netcom.com - Richelieu @ Diversity University MOO
Paul Danset has lots of good pointers in his homepage.
Randy Pausch, guiding light behind the
Alice (Python-based VR) system.
Jaron Lanier: coined "virtual reality", started VPL, musician, poet...
Brandy Alexandre, porn film star.
Andrew James Bolt ,
mudserver hacker among other things.
Graucho,
aka Marcel Harkema, (picture
here)
co-author of
ASCaT, a portable microkernel.
wave, aka Michael B Johnson, and his amazing graphics/bots.
Richard Diamond, professional magician.
Rooth/Dragon.
Lanya, aka Jane Catherine August. Fictional, but
cute! A creation of vargaa@ochre.stu.rpi.edu.
Greg Heil.
Peter Shirley, good graphics guy. E.g., see his
"James Boswell & Robert Burns: Sons of Ayrshire": Very nice weblet.
TCS Virtual Rolodex of 295 theoretical computer scientists on the Web:
Dijkstra,...
Fuzzy, author of
Julia
(older page
here).
Mozart, a
brief bio with some midi renditions of his music. (See
here and
here for lots more Mozart midi
files.)
UCSD Secret Islandia Club.
Susan Dennis, with
Where the Girls Are,
a collection of internet resources for Women,
and also a nice
New Zealand page.
Isaac Asimov, FAQ.
Jef Pokanzer.
Andreas Meyer, N2FYE, unix hacker, ex-Citadel sysop,
friend of Bob Perigo...
Lincoln Stein, director of informatics for Genome Project and perl hacker.
Claire L. Benedikt (the Claire, of mudding fame!)
U Texas prof into muds, writes good humor too!
Dan McGauley, interesting guy doing everything from
movie special effects to a botany db to an apartment
locator to an ambitious multimedia graphics mud.
Håkan "Zap" Andersson, idiosyncratic fan
of VRML behaviors among many things...
Nobel Prize In Physics, 1901-1994.
Kelvin Nilsen, research scientist at Iowa state,
into hardware-supported garbage collection. Sponsoring
a real-time-Java effort.
Paul Wilson, UTexas prof into pure-software
garbage collection.
Dave Snowdon, sponsor of
Collaborative Virtual Environments 1996 (CVE'96), working
on AVIARY
(a "a high level generic multi-user Virtual Environment") for his
PhD thesis,
VirtuOsi (support for virtual organizations), and
DEVRL (a " Distributed Extensible Virtual Reality Laboratory")
and webmeister for the
UK VR-SIG.
Dr. Gordon E. Moore, Chairman and Co-founder, Intel Corp,
in an
Red Herring Magazine interview.
Ed Lazowska's Annual Faculty Lecture, mentioning
Moore's Law.
Alan Kay's Observations About Children And Computers
talk, May 1994, from
Apple's Advanced Technology Group
.
Marshall Van Alstyne: MIT nonstupid interested in Jerry's
Cyberspace paper, neural nets, and doing the Greek pushups on
related topics.
Dennis Zorin, doing nice work on multiresolution editing,
adaptive polygon mesh subdivision and such.
Wolfgang Broll, doing hot stuff in VR relating
to 3D Interactions, Complex Object Behavior, Multiple Users,
World Wide Distribution.
Pellionisz, with some intriguing stuff on the brain as a
tensor engine and application of contravariant vs covariant
tensors.
Amy Bruckman,
MIT Media Lab founder, author of MOOse Crossing, generally very
intriguing and cool-sounding MUD and virtual community researcher.
A quotations
page I half like and half resent... :)
The Investment Faq.
QuoteWatch.
Universal Currency Converter. money, foriegn exchange, exchange rate
DiamondBack Software
has an overview of
Option Trading
Strategies and a nice
Links page.
Econs.
Nasdaq.
Datek.
ETrade.
ESchwab.
Chicago Board Options Exchange.
WallStreetE,
with "On-line Trading of stocks, bonds, options and mutual funds" at
$20/trade for stocks, including an
options tutorial.
"Institute for Options Research".
World Link Futures, Inc.
"Specializing in Serving the Beginning Futures Trader."
Silicon Investor, "the
largest discussion community on the Web!
Silicon Investor stores 4,000,000
messages in its database."
Basic Option Pricing, analytical solutions.
Stocks4Less, discount outfit
charging $8 per stock trade. Options $25 + $2.50/contract.
Futures and
Options reading list.
Stock quotes from Security APL.
The Motley Fool, trendy net-based
investment site/formula.
MIT Stockmaster.
Starting Point - Investing at Superhighway Consulting Inc.
Net Stock Analysis from the
Global Village.
Virtual Reality Investor, with an
archive of past articles.
Salary.com claims their Personal
Salary Report is the most accurate public service for computing
what you're worth in salary.
JobEngine.
.
The jobsOnline
Big Board.
The Monster Board.
CareerPath, searching national paper want ads &tc.
The guide to
Silicon Valley Careers, compiled by the San Jose Mercury staff.
Next three were cited in a web article as TI's favorite EE recruiting spots:
CareerMosaic.
E-span employment listings/services/resources.
Online Career Center.
IEEE Salary level charts.
IEEE job listings.
Electronic Commerce Resource Center
'ECRC' Bremerton, WA, USA.
InterBizNet has a
Top 100
Electronic Recruiters page.
International Homeworkers Association.
How
to find a job online.
jobs-telecommuting:
"We Can Help You Get Employment Working From Home As A Full/Part Time
Employee or Independent Contractor".
Smart Valley has a
Telecommute America: California
Style page with
1997 Survey,
Emergency
Telecommuting Survival Kit,
and a
Experiences
with Telecommuting page.
Telecommuting and AT&T, who is hosting
Telecommute America.
A Telecommute
links page.
San
Diego Telecenter Information on the benefits of telecommuting &tc.
Region
Office Telecommute Program at USDA Forest Service.
Mining Co Guide
to telecommuting,
including a
Research
Links page, an
Alphabetic list of businesses that hire telecommuters,
and a
Help Wanted page.
Telecommuting
research paper.
Interagency
Telecommute Program at the
US General Services Administration.
General Teleworking
sites.
The Changing Face Of
The Workplace: Teleworking at the Virtual Law Firm network.
Telecommuting
page by
Melody Talcott at
University of Maryland Communication and
Business Services.
Telecommuting
page at Telecommuting Success,
Inc.
TAC: Intenational Telework
Association, including a good
Telecommuting Links page.
Yahook
Telecommuting page.
"Lone
Eagle" recruiting at
Business@Home.
Telecommute
Programming Jobs at
Jobs for Programmers.
Private and
commerical sites with telework interest.
Telecommute Hall of Fame.
InnoVisions Canada and CTA, The
Canadian Telework Association.
11 million American telecommuters?!.
Telecommuting page at
TrafFix, A Regional program
for Transportation Alternatives.
Tele-Work
Still A Slow Commute, (Christian Science Monitor Business & Money
Oct 14 1997).
The Virtual
Office: A Day in the Lives of Three Remote Workers
on Connect! Magazine.
Telework
Links.
Texas Telecommuting
Advisory Council's Telecommuting News.
Pacific Northwest TeleWork Advisory
Council.
Pacific
Bell Telecommuting Guide.
Telecommuting
page at
Three Rivers Freenet, with a
number of good links.
Telecommute resources page at
Telecommuter Magazine
Online.
Telecommuting Resources
at SloNet in San Luis Obispo.
Telecommuting Jobs page.
The Death of Distance: Challenges of new communications means
by
Alexandra Joseph.
Ranks of telecommuters explode across U.S., in
Detroit News.
Telecommuting from Overseas: Expatriate & Offshore Internet
Telecommuting Using The Internet For Offshore Communications at
EscapeArtist.com.
Telework at DPA: Californa Department of Personel
Administration.
Telework
Resources page at
Fleming LTD on
Mother.com in Davis,
CA.
Telecommuting Safety & Health Benefits Institute (TSHBI)".
Web sites: Telecommuting at
Meridian Technology
Corporation.
Gil Dordon Associates: Rethinking
the Workplace: Telecommuting, Teleworking, and Alternative
Officing,
with a
Do You
Want to Telecommute? page and other good stuff.
Telecommuting
Link Directory in the
Telecommuting Resource Center at
Symantec. Also:
Telecommuting
Success Stories.
Career Resource Center Telecommute Links.
Telework links at KLR
consulting.
National Library of Australia,
with a good
Government Policy and the Information Superhighway" section.
Australian Federal Department of
Communications and the Arts, including the Communications
Futures Project, a penetrating study of projected
telecommunications trends in Australia over the next ten years.
Telecommuting &
alternative officing link page at
Dallas/Fort Worth Metroplex Chapter
of International Facility Management Association.
Motorola Guide to Telecommuting with
products,
technologies
and
Resources
pages.
Telecommuting page at
TriChi (Computer
Human Interaction, Research Triangle Park), in
ACM (Association for Computing
Machinery).
Telecommuting article at
MicroTimes.
Telecommuting
Resources page at
Connecticut Environmental
Information Center.
Workers commute without leaving home:
The Herald July 20, 1997.
Are
you a candidate for telecommuting? on
cnet.
Telecommuting --
Getting Started.
Telecommuting
Bibliography.
Telecommuting: What is it, and where is it going?.telework links at
Telework Analytics
International.
Telecommuting from home becomes reality for millions.
Telecommuting and Other Alternative Work Situations, on
Workforce Online.
AT&T Alternative WorkPlace Solutions offered for
telecommuters.
All Apartments, nationwide
listings.
Buy your home in the Monterey Bay Area.
Cute Cottage.
www.realtor.com.
www.homescout.com.
www.maxsol.com/homes/.
www.financenter.com.
www.homefair.com.
National Real Estate listings.
Vacation rentals by
owner.
Edmunds, with new and used car
and truck prices, buying and negotiating advice, and more.
AutoByTel: buy a car without
leaving your keyboard.
Kelly Blue Book, free online
access to Blue Book pricing for new and used cars.
CarPrices.com has more online
new and used car prices, classifieds, title checks, buying tips,
reviews, recalls, reliability ratings &tc.
Carpoint has more car ratings and
prices, if you have no ethical problem using Microsoft Network.
Consumer Reports Online
still takes no advertising so as to bring you unbiased reports. Extra
information available to subscribers.
WomenAutoHelp, "A special
place for women with questions about cars".
Classic Auto Registry Service helps
you find those oldies but goodies.
Cars on Line has more
old-car photo ads.
MIKADO Logo 20 R/C helicopter with 2.4GHz live video
AE Innovations'
3-Gen headmounted display -- look just like sunglasses.
uClinux --
Linux/Microcontroller, as of 98Feb15 running on 68000 stuff,
specifically PalmPilot and TRG SuperPilot Board.
Hobby Lobby:
"Radio Control Model Airplanes, Boats, Helicopters
We specialize in Electric Flight!"
Tower Hobbies, "The World's
Premier Supplier of the Finest in Radio Control Models" R/C RC
carrying stuff like the Futaba T6XA, with a good
R/C Web links page.
B-squared specialty books
for modellers, with a high-quality set of links.
Sheldon Hobbies, another major R/C website.
TeleHobbies, a
R/C hobby shop with a good links list.
Richards Rocket
Fleet Page. He likes the PIC microprocessor for avionics.
FiberLay has various
vacuum-bagging, epoxy, polyester, foam and fiberglass resources
suitable for R/C aircraft construction.
Northeast Sailplane Products has
various goodies including
Auto Vac vacuum bagging
system for Aerospace composites products and a
Vacuum Bagging
Videotape -- and the
Zagi EPP flying wing.
Zagi home page featuring the
Razor,
and the new even more indestructable
Zagi EPP.
with order page
here.
Fat Lion
has great links pages for R/C gliders &tc, including a great
index
of EPP combat slopers, such as the
Studio B epP-38 sloper.
eMachineShop, "where you
can design, price, and order your custom parts online!"
Kits R Us linkpage has
a ridiculous number of cool electronics/rc/cnc links.
TEC Systems "Night Ops"
Lighting system for R/C airplanes -- I want one of these!
comp.robotics.research
home page has an archive full of goodies such as
sources
for accellerometers.
(NB: I was checking out Alta Vista for hits on the ADXL50
accellerometer when it died for the morning. Should finish
the search sometime.)
Personal Numeric Control
Machine Homepage (PNCM) -- "CNC Machine Plans and Kits Designed
for the Hobbyist" -- "Designed for the R/C aircraft enthusisast, this
machine can cut wing ribs, bulkheads, foam wing cores, fuselage sides..."
-- Build a CNC machine for a few hundred bucks!
USCyberlab, selling
home CNC robotic machining tools "starting at $695".
Mr Bill's
Affordable CNC and Motion Control.
CNC Retro-Fit
Links is an excellent set of links to motors, encodors, drivers,
you name it.
MAXNC-10 CNC (computer
numerical control) machining center for a kilobuck or so -- good way
for making aluminum wing molds? 3D digitizing probe also available.
Minitech
is another source of hobbyist-priced CNC mills and lathes.
The rec.crafts.metalworking
FAQ is useful and surprisingly difficult to find -- regular FAQ
indices don't have it. Mentions some CNC stuff.
AhHa sells everything you need to
convert stuff to CNC yourself, but at pretty non-hobbyist prices.
Nuts and Volts, a
great rag I keep getting pointed at for NC controllers and such.
Allegro
with various sensors for sale, including Hall-effect.
The Machinist Home
Page has tons of resources.
Robotics FAQ
has tons of resources: Companies that sell actuators, sensors,
wireless lans &tc &tc &tc.
ADXL202
"is a low cost, low power, complete 2-axis
accelereometer with a measurement range of 2 g. The ADXL202
can measure both dynamic acceleration (e.g., vibration) and static
acceleration (e.g., gravity) [...] bandwidth of the ADXL202 may be set
from 0.01 Hz to 6 kHz". (Used to
add a
tilt sensor to the PalmPilot.)
Model Research Labs, with
designs, materials and advice for competition hand-launched gliders.
Author claims to be nearly undefeated in the sport over decades.
Sensoray has various nice A/D,
I/O and image capture products for PCI, Compact-PCI, PC/104 and
PC/104-Plus.
Lamerholmhas various neat
low-cost sensorts including a six-axis gyro/accelleromter combo.
Too bad it weighs 1.5kg.
tecquip.co.uk
has some good stuff including the
AF10 Airflow
Bench for basic airflow experiments and measurements.
Blue Earth Research's
products include
"sensors to detect humidity, temperature, pressure, light, vibration,
speed, magnetism, acceleration, toxic gasses, etc. We offer a select
few of these sensors that are inexpensive and easy to use. Complete
device information along with hardware/software application notes are
included with each sensor type. Interface circuits that boost the
signal level of low output type sensors are also available."
maclab-europe has various
fun things including a
in-virto organ chamber with electrodes, oxygenator, force transducer
and micromanipulator.
labX, "Worlds Largest Scientific
Equipment Trading System" has a
used lab
equipment page.
Endevco
sells various neat
sensors including the
7264B-500
Monolithic Silicon Accelerometer and
7591/7592 and
7593
Variable Capacitance Accelerometers that look fun for avionics -- maybe their
Absolute Pressure sensors could give altitude also? --
and is currently pushing their
Smart Sensor Network
System.
OceanaSensor also produces
various accelerometers.
Gyration makes some exceedingly
cool consumer microgyros used in their
midair mice
and also available in their
developer's kit
for nerds &tc. (I've emailed asking for a price on this, no reply as
of 97Jan27.)
Horizon Hobby's offerings
include the
CSM Piezo Gyro intended for R/C model helicopter yaw
control. However, it is $300... I have to wonder if one can't womp up
something more fun with the Gyration two-axis mechanical gyro
offering.
Newport Online sells oodles of
cool sensors and actuators, plus has a great set of design
tutorials
on things such as
Motion Control Basics.
Mide
Technology makes a line of magnetostrictive actuators that
might be fun for flexing wings?
Perry Designs Co
"PDC3100 Digital Autopilot & Ground Station for Unmanned Air Vehicles
$4500
Capable of fully autonomous control..." and other neat GPS/autonomous
type stuff for R/C aerothings.
Aero Telemetry has
more good stuff, but aimed at military purchasers and priced in the
$2000 -> $20,000 range.
Aveox builds world-class brushless
electric engines for R/C aircraft, efficiency 85% or better, power
output up to a horsepower.
Sophia offers
a 3.6lb turbojet engine with 14 lb of thrust for $2-4K.
From the Austin, TX Robot
Group's blimp design notes: "I have recently designed a telemetry
system for use on my R/C airplanes that uses a 68HC11 and
SuperCircuits ATV transmitter. The audio channel is driven by a modem
chip off the HC11's serial port so I get full motion video and 1200
baud data on the audio. A modem on the audio output of the TV
receiver feeds my HP palmtop with the data at RS232 levels and the
palmtop stores it on flash disk. My only regret is that I didn't go
with PC electronics for my transmitter - the lack of a sync pulse
stretcher on the SuperCircuits transmitter prevents sufficient sync
signal integrity to drive a VCR from the recovered video."
The RoboBlimp folx (above) think SuperCircuits
has really cool microvideo stuff suitable for remote sensing.
The ham Slow Scan
TV page has pointers to useful hardware, software and wetware.
Savon
Hobbies DataLogger onboard telemetry hardware and software sound
interesting, but site isn't responding at moment. :(
Effective
Engineering R/C animatronics page.
The UGuelf
Complete R/C Webdirectory.
ProtoAndroid
has lots of good links, for example to
Clippard "minature fluid
power and control devices" -- pneumatics and related electronics -->
-- &tc
and the
Proxim Wireless LAN PCMCIA adapter -- what an idea for R/C
telemetry! :)
RadioLAN claims their
10Mbps building-to-building wireless lan link is 5x faster
than 2.4GHz spread-spectrum based devices. But it's $3K/node...
Nucleusmakes embedded PC
products such as the
JJ.420 PC104 Single Board Computer and also mobile GPS systems such
as MDT1000.
PC104.ORG, home base for PC/104
embedded PC technology.
Diamondsyssells
a variety of PC/104 boards.
PCmods.com with high Cool Factor
PC boxes &tc.
Real Time
Devices
is another PC/104 vendor, including starter kits and development systems.
Embedex has a good
list of PC/104 vendors.
Advantech sells the PC104
cards used in the
mp3mobile --
Linux-powered mpeg3 soundsystem for a Miata.
Keep an eye on the
Linux/Microcontroller project, might be useful for in-flight stuff.
Embedded
Systems is a distributor for various PC/104 stuff, including
some low-power CPUs.
RemoteProcess has
various embedded controllers including the
RPC-320 with 5mW
standby power consumption, programmable in C and BASIC.
The iRC
2.0 is an MIT Media lab microcontroller board design based
on the PIC16F84 -- page has overview, vendors &tc &tc -- looks like a goldmine.
LEGO MindStorms appear to
be iRDA-programmable consumer PIC processors. I was going to invent
that myself, but they seem to have done it first. :)
PIC library and links.
PIC Microcontroller
Source List.
PC-SERVO Datasheets, App
notes and test code.
RC Electronics Projects of
Ken Hewitt, electronics consultant for Radio Control Models and
Electronics, including a
PIC-based Direct Servo
Controller.
Low Power Radio
Solutions Ltd with fun toys such as the
BiM Transciever, suitable
for use with a PIC.
ITU Technologies,
with PIC ICEs, programmers, compilers, books...
David Tait's PIC
Links.
JUMPtec's DIMM-PC: a PC in less than one cubic inch.
here is a website
running on it, and instructions for getting Linux up on it, plus a
(photo)
iPIC,
webserver running on a PIC(!).
Excellent microcontroller resource list.
Flying
Wings airfoil page.
PROFOIL-WWW: Design airfoils interactively on the web via inverse analysis.
The legendary SoarTech 8 is available from
SoarTech Publications /
c/o Herk Stokely /
1504 N. Horseshoe Circle /
Virginia Beach, VA 23451 /
herkstok@aol.com /
The
UIUC Low Speed Airfoil Tests (LSAT) have yielded
GPL'd airfoil data
for a variety of airfoils including the outstanding SD7037.
WingCalc,
interactive Java wing analysis program.
FDRL
Projects & Research page with MIT-developed aero-related software
including free for download
Visual3.
XFOIL, an MIT "interactive program for the design and analysis of
subsonic isolated airfoils". It's freely available for academic and
teaching use, if you ask nicely. No open download. Appears to be
best of breed.
W H Mason's page of downloadable aero programs &tc.
NACA Airfoils and
programs to generate them.
Public Domain Aeronautical Software
on CDROM.
Stuart Norris's collection of aero software, with source.
COSMIC
distributes over 800 NASA-developed programs; Many may be freely
modified and incorporated in commercial code.
Jens Trapp's Java
Page has applets to generate NACA 4- and 5-digit series airfoils
online, also Elliptical profiles.
Fletcher
"An F3B high performance model sailplane design study".
Team Ariane,
a similar F3B site, with details on airfoils, wing cutters &tc.
New Airfoils for R/C Sailplanes. Most popular Unlimited Thermal
Soaring Competition airfoil: SD7037, 40 of 101 entries surveyed.
Free Flight Team
Finland with a good
Model Aeroplane Oriented Links page.
Applied Aerodynamics: A Digital Textbook: Crippleware trying to
sell you a CD, but looks like some meat present all the same.
DAW Thermal
Foamies, nearly indestructable trainer R/C thermal gliders.
Durable Aircraft
Models has the
EPP
P-51.
Great Planes has the
Spirit 2M ARF.
Hobby Lobby has various ARFs
and kits.
MAD Aircraft Design has
the Highlander EPP.
Minimax has the
Minimax 700.
Bowman's Hobbies has the
EPP Commanche.
Sailplanes Unlimited imports big
European R/C gliders.
Pibros,
"A cheap, simple foamie for fun & combat designed by Marcel Guwang."
Sig Manufacturing Company makes
the Ninja and
Samurai.
Birdworks
has a gull.
MAV page on
hand-sized military/police spyplanes.
Carbon
Dragon, record-breaking foot-launchable ultra-light.
"The Homepages for the Electric Flyers -- Fly Cleanly ... Fly Quietly
... Fly Powerfully!" with lots of good links from getting started
to parts and clubs.
E-Zone, "The Virtual Home of
Electric Flight".
Silent
Satisfaction
"The Definitive Soaring Page".
Articles from
Second Wind.
Some durability-oriented power R/C models:
DuraPlane, independently reviewed
here.
US Air Core also features
highly durable plastic planes.
Exotic Wood Crafts's
burl-veneer computer cases.
Powell's Books -- New, Used and Out
of Print -- fantastic resource, in person or purchase via web!
AA Research
Universal Book Service "Internet Search Co-ordinator" -- I was
very impressed by their free used book search results!
ABAA (Antiquarian Booksellers' Association of America) free book search page.
Acorn Books 1436 Polk
Street / San Francisco, CA 94109 (415) 563 1736
Guide to US West Coast Used Book stores.
Recollection Used Books in Seattle.
Kruse International,
selling collectible cars like 1955 Thunderbirds.
ClassicCars.net,
selling collectible cars like 1955 Thunderbirds.
auto leasing
mini-lesson at emich.edu at the
National
Institute for Consumer Education (NICE).
AutoAuction,
selling collectible cars like 1955 Thunderbirds -- also appraising
them, and featuring online slide shows.
ClassicCarMall,
selling collectible cars like 1955 Thunderbirds.
AutoClassics,
selling collectible cars like 1955 Thunderbirds.
cars.net -- an online car co-op?
VMR, with classic car pricing.
Barredt-Jackson,
"The Worlds' Greatest Classic Car Auction & Exposition",
selling collectible cars like 1955 Thunderbirds.
vintage
t-bird link page.
tbird.org.
International Thunderbird Club.
O'Reilly Associates.
The people for technical unix books, by and large.
The Algorithm, Inc: Good list of raytracing books.
The Macmillan Bookstore: Computer books via net.
Eagle Express: Send flowers via internet.
Vintage Instruments: Guitars and banjos.
$30 for 16 3-D color prints (lenticular).
ZyXel with modems for sale, including the
ISDN/V-34 modem w/fax capability.
1995 Boat Buyer's Guide / Global Shopping Network.
Western Electronic Surplus: Online swapmeet, computers, ham stuf...
MagNet: Discount magazine subscriptions via Internet.
Bug Free Shirt, with integral mosquito-mesh hood &tc.
Homonid skulls: Quality plaster replicas from $80 or so.
PCZoo, a microcomputer discount sales barn.
Graphics cards are improving too quickly to keep links here
to the good ones: check out
Graphics Card User at ZiffD for this months hottest contenders.
Industry.Net, peddling
everything from used Macs to robotics... "Over 10,000 new product
descriptions... from over 3,300 leading companies".
Net Express, with great advice and pricing on PC
components, FreeBSD, Linux, NetBSD... These guys have
great prices and great advice, and will ship custom
systems with Linux pre-installed..
NCA, cheap computer systems &tc from San Diego.
(Codrus says San Diego's
The Chip Merchant has 16Meg of ram for $375. <- Yow! Down to $82!
(619) 268-4774. Tristar may be a teeny cheaper yet.)
Ernie mentions that
KC Computers
"prices aren't always the
lowest, but he provides support and will take anything
back for any reason."
(In general, I use PRICEWATCH
to find vendors for products these days, so I'm not maintaining links
here to cut-rate vendors of vanilla stuff any more.)
VA Research Linux Systems isn't particularly cheap, but has Linux
info, expertise and configuration.
Dan Kegel's Fast
Ethernet page points out you can call 1 800 net 3com and select the
promo option: This lets you order two 3c595-tx or 3c590-tx
for $79 each!
The Big Picture is a nice online review of buying 20"
and 21" monitors.
NCT also has some reviews.
Big Picture, Big Value: MacWorld review of 17" monitors.
NEC Select Direct: Official (?) NEC Monitor &tc specs, features.
FamilyPC rave review of NEC XV17 monitor.
MonitorMania, with Diamond Pro 17TX as Editors Choide.
http://ice.gactr.uga.edu/
has a table with tech specs on 280 monitors, listing
Viewsonic 20G at $1495,
Samsung 20GLS at $1599.
Comprehensive Connections, has a very informative monitor pricelist
with cheap closeouts and suchlike:
Viewsonic 20G for $1159,
Samsung 20GLS for $1179.
Avalon Software & Computers, selling preconfigured Linux Boxes.
CSC: wholesale prices on 30,000 disk drives.
Amazon.com, "a big-big
internet-only book catalog with a million books listed and over
300,000 in stock".
Artics, selling computers-for-the-blind software,
primarily for DOS and Windows (used by ASCII EXPRESS).
For the Mac, see
outSPOKEN from
Berkeley Systems, also available for Windows,
and more generally the Apple
Disabilities page.
Starry Night, a $28 shareware Mac planetarium program.
Monitors 'n More, selling closeout monitors and suchlike.
Ian's VR Buying Guide: Prices, sources and locations
for Head-mounted displays (HMD), 3D sound convolvers, "Haptic
devices" (tactile output), data gloves, 6DOF (6 degree of
freedom) mice and wands, and simulation manager software.
If you've got the megabucks, they've got the deals! :)
Spy Stuff,
Spy Shop,
Spy Shoppe, and
U Spy
have everything James Bond needs: surveillance, covert video cameras, bugs,
bug sweepers, stun guns, night vision, crypto, tracking devices,
bomb detectors...
Seattle Times classified.
Internet Memory Exchange, with good simm prices.
Companies: Various online indices of companies.
Emerald Web: Seattle/Puget Sound area Internet access providers.
Great Lakes Schooner Company, run by
a relative :).
Parity, selling SGI ram among other things.
ISP (Internet Service Providers), a UW discussion
with pointers to lists worldwide and in Puget Sound.
ISP (Internet Service Providers), a large North American list.
NoHands mouse, operated by feet.
Oriontel carries the Celestron
Premium 80 with wood alt/az tripod that my Dad bought. I want one!
Despair, Inc -- great
"Power of Positive Pessimism" posters &tc.
"Very
early C compilers and language".
Clones-R-Us.
Jackie Chan flicks
for sale on the web.
"Jackie
Chan Store".
Jackie
Chan DVDs
and videotapes for sale.
Grant Bright's Quotations
page
VR in Medicine
x
x.xS4
penrose
online
![[NOTscape logo]](notscape.gif)
No HTML standards were harmed in the construction of this web page.
2009-08-20:
DRAM Errors in the Wild: A Large-Scale Field Study
2008-01-20:
Survey of Technologies for
Web Application Development -- excellent overview of
web tech advances 2000-2007 and the principal products and
packages as of 2007 -- what's hot, what's not.
2006-02-20:
Functional programming languages for verification tools: a comparison of Standard ML and Haskell Leucker Noll Stevens + Weber 2005-02-15 11p
Type Classes in Haskell Hall, Hammon, Peyton Jones, Wadler (Glasgow) 1996 30p
"Industrial-grade" practical guide to implementing Haskell-style type
classes. Many useful references.
2006-02-01:
The Next 700 Programming Languages, Landin's 1966 paper generally credited as originating the functional programming field.
2006-01-31:
Why Dependent Types
Matter Altenkirk, McBride, McKinna 2005Apr 21p
Design rationale of Epigram: Well, U Nottingham and U St Andrews are very enthusiastic about
dependent types! :) Most of the SML crowd seems to think
of them as problematically difficult to implement in both theory and practice.
2006-01-20:
An
Expressive Language of Signatures Ramsey, Fisher +
Govereau ICPF 2005 14p: Set operations on signatures to
facilitate dealing with interface clashes in large
software systems. Sounds worthwhile.
Practical Datatype
Specialization with Phantom Types and Recursion
Schemes Fluet + Pucella: "Datatype specialization is
a form of subtyping that captures program invariants on
datastructures that are expressed using the convenient and
intuitive datatype notation. Of particular interest are
structural invariants such as well-formedness. We
investigate the use of phantom types for describing
datatype specializations. We show that it is possible to
express statically-checked specializations within the type
system of Standard ML. We also show that this can be done
in a way that does not lose useful programming
facilities such as pattern matching in case
expressions".
Anything which gains power without adding machinery is worth
careful examination! :) This paper references their previous
paper
Phantom Types and Subtyping Fluet + Pucella 2002 41: "We
investigate a technique from the literature, called the
phantom-types technique, that uses parametric
polymorphism, type constraints, and unification of
polymorphic types to model a subtyping
hierarchy. Hinley-Milner type systems, such as the one
found in standard ML, can be used to enforce the
subtyping relation. We show that this technique can be
used to encode any finite subtyping hierarchy (including
hierarchies arising from multiple interface
inheritance). We formally demonstrate the suitability of
the phantom-types technique for capturing subtypring by
exhibiting a type-preserveing translation from a simple
calculus with bounded polymorphism to a calculus
embodying the type system of SML.".
2006-01-14:
Should ML be Object-Oriented? David MacQueen 2002 19p.
Why
Functional Programming Matters, John Hughes' 1984 23p
classic. I need to read the lazy evaluation modularization examples
really carefully at some point wrt whether there are good alternatives
in SML.
2005-11-18:
Message Dispatch on Modern Computer Architectures
1994 Karel Driesen, Urs Ho:lzle, Jan Vitek
2005-10-17:
Phantom Types, James Cheney, Ralf Hinze, Cornell, 18p 1999 or so
I skimmed this mostly to get a clue what Stephen Weeks was talking
about when mentioning "phantom types". :) (It appears to be obsoleted
by J Furuse's 2001 G'Caml stuff.)
2005-05-08:
David B MacQueen Summary of Accomplishments Jan 2001 -- great summary of his career starting at INRIA with stream-based dataflow programming, then on Hope, ideal semantics of types, and of course SML/NJ.
Alice in the Land of Oz "An Interoperability-base Implementation
of a Functional Language on Top of a Relational
Language"
Lief Kornstaedt 2001 16p
Built on top of SML/NJ. "Logic variables (which are better termed
holes in the context of functional Languages) are
powerful but error-pront: For increased safety, Alice
only provides futures and promises, which are
non-transparent logic variables."
"Futures must be anticipated virtually anywhere in Alice data structures."
That sounds bad. :( Sounds like they have cleverly managed to obtain
the worst of both worlds:
"The present implementation of Alice nearly attains that of Oz,
but of course cannot compete with high-perofmrance ML implementations."
2005-01-31:
Aspect-Oriented Programming 1997 25p Kiczales, Lamping, Medhekar, Maeda,
Lopes, Loingtier, Irwin
"Aspect-Oriented Programming" seems to pop its head up every decade
or so. I keep waiting for it to show something really
convincining. Here is one guy who spent six months on it and gave up,
citing state and side effects as crucial unsolved problems -- rr
showstoppers, depending on one's optimism. (A setting like SML,
less state- and side-effect-oriented, might ameliorate these
problems?) He also suggests viewing it as a special case of
code generation -- perhaps MetaML and multistage programming
are relevant? I also wonder if SML modules and aggressive
compiler inlining don't perhaps alreadcy address the typical
examples of AOP? I'm currently betting against AOP having any great
longterm significance.
2005-01-30:
The
Holographic Principle Raphael Bousso 2002 52p
Nice invited review for Reviews of Modern Physics.
One of those theories which looks too pretty and cogent to
be fundamentally wrong.
To me, it appears to squarely fit
one of the central physics themes of the last century, to wit:
Theory need not explain the unobservable.
It is impossible to observe the state of any volume of
space at any given instant, hence theory need not explain
any such observation. In particular, the entropy of a
given volume at a given instant need not be explicable
by physical theory.
What can be observed as being
'simultaneous' is the information carried by an incoming
light wavefront -- a surface -- and thus it is this which
we should expect to prove theoretically fundamental.
Aint hindsight wunnerful? :)
2005-01-25:
Interactive Graph Layout: The Exploration of Large Graphs
25KLoC C++ (about 10% layout algorithms), built on the Arizon
Retargetable Toolkit for graphics support.
Very general -- should study for ideas for MuqSMLNJ toolkit.
Was this the prototype for daVinci...?
2005-01-11:
-
Retrospective: The Essence of Compiling with Continuations
2003 2p Cormac Flanagan, Amr Sabry, Bruce F. Duba, Matthias Felleisen
A retrospective on CPS vs ANF.
The original article was
The Essence of Compiling with Continuations 1993 11p Conference on
Programming Language Design Implemenntion
-
Type-Preserving Garbage Collectors (Extended Version)
2000 55p Daniel C Wang, Andrew W Appel
Preliminary work on moving the garbage collector out of the
trusted base, allowing it to be typechecked like other support
library code. This is something I'm very interested in, but it
does not correspond to anything currently in the SML/NJ
implementation, so I'll defer it for now.
-
Proof-Carrying Code, Transylvanian
George Necula's
nice if dated overview and bibliography of
the field, containing in particular a pointer to
Proof-Carrying Code,
his seminal POPL97 paper on the subject.
REVISIT when I've got more immediate concerns under control.
-
The Essence of ML Type Inference
2003 127p Francois Pottier and Didier Remy
A wonderful resource -- a two-month-old draft of a new textbook,
including answers to exercises! REREAD AFTER READING
PIERCE'S TEXT
-
An Implementation of Standard ML Modules
1988 12p David MacQueen
This is a really good overview of the SML/NJ implementation of
stamps, static environments, signature matching,
thinning, structure sharing and such. REREAD CAREFULLY.
2005-01-10:
-
Type Systems
1997 42p Luca Cardelli
Fantastic -- just the type theory introduction I needed! (Man, I
love the Internet.)
Wish I'd read this last summer before diving into
the Definition of Standard ML and such. :)
Explains "contravariant" vs "covariant", [A/X]B &tc.
(But not \ alas.)
-
What is a recursive module?
1999 14p Karl Crary, Robert Harper, Sidd Puri
This is a very nice paper which I want to RETURN TO after reading
Pierce's introductory book on type theoory.
-
Units: Cool Modules for HOT Languages
1998 13p Matthem Flatt, Matthias Felleisen
2005-01-09:
-
Relaxing the Value Restriction
23p Jacques Garrique
Provides a clear explanation and motivation of imperative type
variables and the "value restriction"
-- which is very welcome by itself! -- plus motivation and a
suggestion for a "relaxed value restriction".
-
Principled Scavenging
2001 11p Stefan Monnier, Bratin Saha,Zhong Shao
Writing a provabely type-safe garbage collector. They claim
they have started implementing this in FLINT, but for now I
believe it is not required for grokking SML/NJ internals, so
I'm deferring careful reading.
-
Semantics for Communication Primitives in a Polymorphic Language
1993 18p Atsushi Ohori, Kazuhiko Kato
"These primitives allow any polymorphic programs definable in
ML to be used remotely in a manner complete transparent
to the programmer."
Referenced by below paper. Keyword: dML.
They are interested in very heterogeneous environments, so only
communication of simple base values (bool, int...) is supported.
They also dodge concurrency among other things. Doesn't excite
from a near-term Muq perspective.
See also: Papers of Kazuhiko Kato
-
Fully Reflexive Intensional Type Analysis
2000 34p Bratin Saha, Valery Trifonov, Zhong Shao
Without which, it is "impossible to code applications such as garbage
collection, persistency, or marshalling which must be
able to examine the type of any runtime value."
Need to re-read carefully at some point, but for now it
doesn't relate to grokking current SML/NJ internals.
-
Scaling Proof-Carrying Code to Production Compilers and Security Policies
1999 13p Andrew W Appel, Edward W Felten, Zhong Shao
Appears to be basically their grant proposal for the (DARPA) project.
A readable overview of where they are headed with PCC. PCC is not
immediately relevant to grokking SML/NJ but looks highly applicable
to online virtual world stuff build on top of SML/NJ.
NB: Also allows end-to-end checking of code -- an effective
defense against compiler bugs.
-
SubTransitive CFA Using Types
1998 17p Bratin Saha(Yale), Nevin Heintze(Bell Labs), Dino Oliva(Bell Labs)
Going beyond traditional "known/escaping" style function classification.
Done on SML/NU v110.7. CFA="Control Flow Analysis".
This doesn't seem to be part of the production compiler.
-
Tag-free Garbage Collection Using Explicit Type Parameters
1994 11p Andrew Tolmach
Using Hindley-Milner derived type information to avoid explicit
tagging in the heap -- in order to get block length and non/pointer info,
the garbage collector traverses a separate stored typegraph as it traverses
the heap. Polymorphic functions -- the sticky issue -- are handled by
passing explicit additional type information at runtime.
Tagless implementation used Xavier Leroy's Gallium/CamlLight compiler.
-
Implementing Typed Intermediate Languages
1998 11p Zhong Shao, Christopher League, Stefan Monnier
Keeping combinatorial explosions in the type checker from
killing compile performance. In particular, keeping dags from
exploding into trees via use of hash-consing, memoization and advanced
lambda encoding. Describes SML/NJ as of 109.24, 1997-Jan.
2005-01-08:
-
1998 37p Christonpher League, Zhong Shao
Formal Semantics of the FLINT Intermediate Language
Describes SML/NJ 110.5, 1998-Apr-08. Higher-level than I
have patience for at the moment, but worth careful reading at some point.
-
Type-Directed Continuation Allocation
1998 20p Zhong Shao, Valery Trifonov
Getting ML and safe-C to play nice with each other. (Not relevant to
existing SML/NJ internals per se.)
-
Inlining as Staged Computation
2003 29p Stephan Monnier, Zhong Shao
Next stop after MetaML and MacroML.
-
Optimal Type Lifting
1998 36p Bratin Saha, Zhong Shao (Yale TR)
Basically, moving type application overhead from runtime to linktime
-
Flexible Representation Analysis
1997 14p Zhong Shao
- Compiling Standard ML for Efficient Execution on Modern Machines
1994 145p Zhong Shao (Princeton PhD thesis under Andrew Appel -- with
Matthias Blume as an officemate)
Great review of SML history plus overview of SML/NJ internals as of
1994. The meaty part covers implementation of
type-directed compilation, space-efficient closure
representations, and list unrolling. Provides the
most detailed discussion of those, since a PhD thesis doesn't have the
space constraints of most published papers.
- Unrolling Lists
1994 11p Zhong Shao, John H. Reppy, Andrew W. Appel
Beyond the cons cell: Using refinement types to eliminate
linkfields and nil checks. AKA "compile-time
cdr-coding".
Very nice! Similar to what I was trying to do for trees via "fat
leafs" -- but done as a source-to-source transformation.
I wonder if they've done that too? SHOULD FOLLOW UP AND SEE AT SOME
POINT, because it would be a big win if we could
similarly speed up generic use of binary trees.
- Sexy types in action
2003 8p Chung-0chieh Shan (Harvard)
Attempting to go beyond Hindley-Milner: Peyton Jones' "sexy types".
Looks like an excellent survey of where ML-family type systems are, and
where they are headed.
"Skilful use of sexy types can often turn what is usually regarded as
a runtime invariant into a compile-time check."
OOP, existential types, phantom types,
invariant enforcement, converting between monads, eigenvariables, deforestation...
THIS IS WORTH RE-READING SLOWLY AND CAREFULLY!
- Standard ML of New Jersey
1991 13p Andrew W Appel, David B MacQueen
"The Standard ML of New Jersey compiler has been under development
for five years now."
"We remark that it would have been helpful if the definition of
Standard ML had included an LR(1) grammar for the language."
Excellent overview of SML/NJ parser organization and operation.
NB: Discusses tricks used to build LALR(1) parser for the language.
Briefly discusses static environments, type-checking and
weak type variables vs imperative type variables.
NB: At this point the type system was called "Damas-Milner" instead of
"Hindley-Milner".
Outlines the series of problems and design revisions in the module
system implementation.
Grumbles about expense of implementing polymorphic equality as defined.
A nice list is included of who did what:
John H Reppy: runtime, signal handling, call/cc, ffi, CML, eXene.
Trevor Jim: CPS representation, match compiler, closure-converter,
float library, external asm prims.
Bruce F Duba: match compiler, CPS constant-folding, incline-expansion,
spill, callcc, various.
James W O'Toole: NS32032 code generator.
Norman Ramsey: MIPS code generator.
Andrew P Tolmach: SML/NJ debugger, pure-functional style static environments.
Adam T Dingle: debugger's Emacs interface.
James S Mattson: First ML-lex implementation
David R Tarditi: Production quality ML-lex, plus ML-yacc, debugger's
type-reconstruction, ML-to-C compiler.
Lal George: floating point support, debugging.
Zhong Shao: Common subexpression eliminator, calle-save convention.
Nick Rothwell, Mads Tofte: Initial separate compilation support.
Gene Rollins: Improved separate compilation support.
- Callee-save Registers in Continuation-passing Style
1992 30p Andrew W. Appel, Zhong Shao
Introduces CPS, "closure-passing style" CLO, and shared closure
records, among other stuff. This paper is so early
that everything is described in future tense. :)
Also features the first (?) SML/NJ encounter with
space-complexity safe closure synthesis.
2005-01-07:
- Typed Common Intermediate Format
1997 13p Zhong Shao
"FLINT is based on a predicative variant of the Girard-Reynolds
polymorphic calculus Ew, extended with a very rich set
of primitive types and functions."
Part of SML/NJ since 109.24 (Jan 9 1997).
Covers both the formalism and also how such implementation techniques
as hash consing, memoization and lazy suspensions are used to improve efficiency.
Covers type specialization, lambda reduction, flexible representation
analysis and closure conversion.
EXCELLENT OVERVIEW material for the SML/NJ compiler hacker.
- Typed Cross-Module Compilation
1998 12p Zhong Shao
Joint work with David MacQueen. Used in SML/NJ starting with 109.24
- Transparent Modules with Fully Syntactic Signatures
1999 25p Zhong Shao
"In the future we plan to use the module calculus presented in this
paper to formalize the configuration language used in
the SML/NJ Compilation Manager CM. We also plan to
extend our module calculus to support dynamic linking
and mutually recursive compilation units."
Over my head at the moment -- I need to find a tutorial on
existential types and such. WORTH RETURNING
TO. Apparently the only open issue at this point is recursive modules.
-
An Overview of the FLINT/ML Compiler
1997 10p Zhong Shao
Short and readable overview. Most of the material is covered in
more detail in his other papers.
- Recursive Modules in SML
1995 11p Dave Mason
- Lambda-Splitting: A Higher-Order Approach to Cross-Module Optimizations
1997 13p Mathhias Blume, Andrew W Appel
Cross-module inlining. Improved SML/NJ code by 4-8% when
introduced. Encourages modular coding by reducing the
performance penalty.
- Shrinking Lambda Expressions in Linear Time
1997 11p Andrew W Appel, Trevor Jim
Describes aspects of SML/NJ CPS "contract" optimization phase such as "shrinking
inlining" and "shrink-normal form".
- Continuation-Passing, Closure-Passing Style
1989 11p Andrew W Appel, Trevor Jim
Gives an overview of the SML/NJ "middle end", at least as of
1989. Still provides a good overview and motivation.
- Optimal Spilling for CISC Machines with Few Registers
2000 10p Andrew W Appel, Lal George
Using integer linear programming (ILP) to do a better job of copy
elimination during register allocation on x86 -- 10%
faster than the previous iterated register coalescing code used in 110.23
SML/NJ! The brilliant part is doing it fast enough
for production use. They describe using the external modelling
language AMPL together with the simplex solver CPLEX
("which sometimes dumps core"), so I gather this is a proof of
principle rather than a production part of SML/NJ.
- Efficient and Safe-for-Space Closure Conversion 2000 33p Zhong Shao, Andrew W Appel
A spiffed-up version of their 1994 "Space-Efficient Closure
Representations" paper (below).
- Zhong
Shao's publications page
- Hierarchical Modularity
2000 34p Matthias Blume, Andrew Appel
How SML/NJ's CM handles large module collections.
- An Implementation of Standard ML modules 1988 12p David MacQueen
- Empirical and Analytic Study of Stack versus Heap Cost for Languages with Closures
1996 27p Andrew W Appel
This is essentially "Why SML/NU is right not to use stacks even
though everyone says it is stupid". See also
Cache
Performance of Fast-Allocating Programs 1995 13p
Goncalves, Appel
or more generally Andrew Appel's research papers
- Separate Compilation for Standard ML
1994 11p Andrew W Appel, David B MacQueen
This is actually the best introduction I've seen to SML/NJ
internals. It motivates and describes the compiler global
architecture, the link model, static and dynamic environments in the
internal code sense, pids, stamps, pickling, de-/re-hydration, compilation units, "bin files," the global interactive
read-eval-print loop, "visible compiler," bootstrap
loading, cross-compilation, and in general the "view from ten thousand
feet" conceptual basis for understanding the SML/NJ implementation.
Describes "IRM," an early version of CM.
- Reflections on Standard ML
David B MacQueen
Reading MacQueen on SML is like reading Einstein on General
Relativity. :)
(This and the below both gleaned from the excellent
Frodo's Technical
Report Collection.)
- A Critique of Standard ML
1992 24p Andrew W Appel
Fascinating overview from one of the core SML/NJ implementors. E.g.:
"... lazy languages are constantly updating lazy closures ... from the
[garbage] collector's viewpoint ML has many fewer assignments
than Haskell..." I hadn't thought of that!
- HaMLet "an
accurate reference implementation"
"HaMLet evolved as a byproduct of the Alice project, and owes much
of its existence to the first version of the ML Kit,
which took a very similar approach." mlkit
- Defects in
the Revised Definition of Standard ML13p 2004
Andreas Rossberg
"a comprehensive list of all known bugs, ambiguities, problems and
grey areas"
- Unboxed objects and polymorphic typing12p 1992 Xavier Leroy
2005-01-05:
2005-01-04:
- A Portable Multiprocessor Interface for Standard ML
of New Jersey
1992 ?p J Gregory Morriset, Andrew Tolmach CMU
This looks to be the SMP implementation present in the
SML/NJ 110 runtime codebase.
NB: They comment that using processes sharing address space
-- rather than kernel threads -- keeps the signal interface
uniform, reducing the amount of runtime change needed to
support SMP.
NB: They outline what must be done at the SML level to
do mutual exclusion in the SMP environment -- implementing for
example a pipe. This is handy
given that only SML C support code seems to ship with SML/NJ
at present. (Maybe older versions can be mined?)
- (The below links come from the link treasure trove
MIT>LCS>PDOS)
-
Exokernel: An Operating System Architecture for
Application-Level Resource Management
1995 16p Dawson R Engler, M. Frans Kaashoek, James O'Toole Jr
Protected control transfer is almost seven times faster than the
best reported implementation. Exception dispatch is five times faster
than the best reported implementation. One hundred times faster than
Ultrix 4.2. Flexibility not available in microkernel
based systems. Exokernel Aegis, library kernel ExOS.
Very nice -- open up traditionally kernel level code to application
programmers for optimization by separating protection from management.
Exokernels (unlike monolithic kernels) respect the Fairness Principle that programs shouldn't pay
a price for facilities they don't need or want.
Core mechanisms: secure bindings, visible revocation, abort protocols.
"Secure bindings allow the kernel to protect resources without
understanding them."
-
Tarzan: A Peer-to-Peer Anonymizing Network Layer
2002 14p Michael J Freedman, Robert Morris
"Tarzan is the first anonymizing communication system that is both
self-organizing and fully-decentralized."
Looks like mix-net anonymizing finally Done Right.
Yet another facility I've long wanted. I'd given up
this fight as lost, but this paper renews my faith. My only
complaint: since it is the
natural prey of Carnivore, it should have been called Herbivore. :)
-
Efficient Peer-To-Peer Lookup Based on a Distributed Trie
10p 2002 Michael J Freedman and Radek Vingralek
Cool! This does what I was going to do using power-of-two
skiplists (I recently realized random skiplists
world probably work just as well) but much more
nicely. In particular, they piggyback all index maintainanace
on lookup requests -- brilliant! Supports strong anonymity at
a constant cost in extra messages/lookup. Points to Chord, CAN,
Tapestry and Pastry as competing ideas/systems.
-
Real-time Concurrent Collection on Stock Multiprocessors
24p 1988 Andrew W Appel, John R Ellis, Kai Li
NB: John Reppy says (below) that this is what SML/NJ will
likely use to reduce GC latency in future. Depends on virtual
memory page faults, which others have reported to be a
performance problem. Maybe we need an exokernel? :)
- A
High-performance Garbage Collector for Standard ML
1993 20p John H Reppy
NB: This SML/NJ design takes explicit cognizance of Nettles's
replication-based incremental copying collector.
- A Debugger for Standard ML
1993 47p Andrew Tolmach, Andrew Appel
Essentially a later, scaled-up version of the below paper. The
debugger grew from 3200 to 7900 lines of SML/NJ.
- Debugging Standard ML without reverse engineering
1990 12p Andrew Tolmach, Andrew Appel
Very nice -- debugging by rewriting the source syntax tree instead of
by mucking around in the generated code! 3200 lines of
SML/NJ. Code executes about 1/2 to 1/4 as fast under
debugger. 3Also
supports reverse execution, checkpointing via persistent
datastructure approach instead of by
fork()ing. Everything is "time"-based -- simulates
location-based breakpoints via time breakpoints.
Gives stack traces in
SML/NU even though SML/NJ has no stack! :)
Much side-effect-tracking logic could be shared between this
code and Venari-style transaction support.
- Asynchronous Signals in Standard ML
1990 Reppy 18p
-
No-Longer-Foreign: Teaching an ML compiler to speak C "natively"
2001 14p Matthias Blume -- brilliant!
2004-12-30:
-
JoCaml: a Language for Concurrent Distributed and Mobile
Programming Fournet Fessant Maranget and Schmitt
30p 2002
At first blush (at least) this Join-Calculus based formalism looks
prettier than CML, plus it folds distributed and concurrent
programming into one paradigm instead of needing two.
Unfortunately, the source is QPL, so we'll have to re-implement it
from scratch, presumably using CML as the jumping-off point.
The JoCaml homepage
has links to lots more docs. Implementation is about 100KL of Ocaml
and 40KL of C.
-
Ensemble Reference Manual 1997 Hayden & Rodeh 91p (in Ocaml): Ensemble son
of Horus son of Isis obviously has a lot of practical
design and implementation experience behind it, which is
