My Personal Link List (enjoy) MIL Useful Bremen Scouts Astro Words Soft CS BRICS Bits

[ links to German pages are marked with - those to Danish pages with ]

Covid-19: - 7 Tage Inzidenz Bremen: Syntax Error

MIL - Most Interesting Links

• Written words: (not necessarily in jargon [monolithic] )

  paper killer - Isaac Asimov weirdo - Douglas Adams, play the hitchhiker game

  a-guy-with-fantasy - Terry Pratchett master - J.R.R Tolkien

  oldie - Shakespeare anarch - Monty Phyton

  MASS - The Gutenberg Projekt [via ftp] Harmonics - S&G | Supertramp | Floyd

• Small und Smart: ASCII-Art [see also DMOZ Meta Index]

  Crude Oil Gopher Menue Various Collections [Search]

  Johnsons' Collectibles Allen Mullen' collection Dish of the day

  Stark's Site Guide to Cows Stereogramms

• Highly official:

  Papa Calypse Now - Vatican Home Page	Breakfast in the White House	... and "denk ich an Angie bei der Nacht..."
  	US Embassy Copenhagen (VISA) Danish Embassy in Washington

• Tales from the tech support
• What you ever wanted to know about the Movies (but did not dare to ask)

  Movie Database and the Movie-Web!

  There's also TV-Movie (magazin) Cooking Chicken? - Muppets Show Fan Page

  Bundology & NO MA'AM

• Right of Pictures! - Comics (to avoid disapponitments...)

  Arthur & Merlin die Dilbert Zone Walt's Disney Larson Cartoons II Epidermophytie

  the unforgettable Calvin & Hobbes Physics Cartoon Non-Funny Cartoons ... and a good comic root page

  Marude's Bunte Bilder South Park Studios: Asylum Simpson's Collectibles Sherman's Lagoon

• Worldwide wired

  Data security - Index und der DSS Factsheet clean MUD - Nightfall

  Donottrust the Telekom sending ASCII Faxes

  chatten champion - SWF3 or Chatcity chatten Swiss - Sharelook Basic Drinks or Cocktail DataBase

• ... and everything:

  The best Dialog Boxes How to make BIG words? - citation cast The Bacon Game Via Rail through EuRoPe Be a Virtual Tourist Some travel info

  predict the future - Forsight eXchange Stenkelfeld - Häng mit drin! Zamonien! Nichts für schwache Nerven : Die Nacht! No niveau - JBO Movies in Augsburg The world from the left Ozonix Data Today A way in Norway

  History of Math Talking Hands Geo Map Archiv Magical - The Gathering (card game) Card Game Rules ! USA a la carte: Mapquest Not-Secret: CIA Factbook Soul site: Tao & Poetry Hundert histories on Hemp

Useful Links

• Manual Pages en Masse [SEARCH]
• WWW-Server in Germany
• Dangerous goods - RAPEX helps to identify them
• Life role playing game - an incident: Osrams Fluch
• Once in a life: HTML with character - beginner's guide, the W3C HTML 4.0 recommendation and the ultimative validator
• Reading MS documents in your browser (word, excel, powerpoint, other nonsense): Freeviewer
• The whole truth about XML
• Detailled search on whatever - Essen is data food
• Links to Postal ZIP Code Pages (all over the world)
• Special library for integer sequences (Fibonacci & co. at AT&T):
  go here or send request via email ( "Subject: lookup 1 1 2 3 5 8 13" ) & recieve amazing answers
• On the move in Germany
  • ...and on the road: Getting from A to B
  • You want to travel convieniently? - Forget it! Die Bundesbahn and her PLAN
  • getting around well equipped - Lauche & Maas
  • four wheels and one money sink? - MOBILE.de
  • Some cities in Germany know(n) better: Berlin, Hamburg and München maps online (Gelsenkirchen and Krefeld included as a bonus)
    Try the Stadplan.Net
• ...and moving outside:
  • On Air - cheap flights, Priceline, Ryan-Air, LTU and Lufthansa
  • On Cash - recent exchange rates [Calculate]
• ``Without music there would be no point in living'' (L. Bernstein) -- try to get something straight on a blues harp
• News from nowhere - Magazines and Television
• Offroad - ADAC
• Online Banking - Sparkasse NU-Illertissen vs. Sparkasse Günzburg, and Sparda Net Banking
• Email und e-mall - Net@ddress / GMX / hotmail
  But: Remember, Text is THE standard. (See the song Text. )
• Before you forward EMAIL alerts (virus warnings, petitions etc.) :
  check a HOAX info service, Hoaxbusters, or (an der TU Berlin) !
  (a hoax tries to spread false information, often scary or irritating - DO NOT FORWARD HOAXes!)

Bremen: Getting in and around

(links in this section are mostly German )

• MIX - find out whats going on NOW
• your films are numbered - Summed-up Kinoprogramm (Weserkurier)
  Or one by one:
  • Kino 46
  • Cine-Space
  • Cinestar (Kristallpalast)
  • City Filmtheater
  • Atlantis, Gondel, Schauburg
  • big cheese - CinemaXX
• new in town ? - pin board, and announcements
• Stay connected - NordCom (ISP)
• Can you have sunshine every day? - the weather
• (Okay, there is virtual sunshine and wellness: Oase Weserpark)
• Highway or car park? - current traffic info
• Traffic and the City - These sites are Under Construction
• car sharing - Cambio
• on foot: Deutscher Alpenverein or rambling at the Bunker (Gröpelingen)
• on tram: Bremer Strassenbahn AG
• on ice: Paradice
• On ear: Meisenfrei, and Aladin
• A voice in the city - Waller Heartchor

Scouting: Pfadfinder im Netz

• Meetings
  • Scout Moots, German Contingent in the land of Oz
  • Big meeting, before the millenium falls - World Jamboree, Chile 1999 - event - ...
  • Jamboree on the Internet - JOTI [some Fotos from AuXburg 1997]
• Info
  • Greetings from the world scout movement - WOSM
  • The Scout Net UK (registration required)
  • Scouting in Germany - Scout Net Deutschland
  • Bundesamt DPSG - HIIIIGHLY official
  • In the wild south - DPSG in Bavaria
  • Stilish & useful links - St. Barbara Dümpten
  • Kaiserslauten eminates - Pfadi-Tech-Seite
  • Scout Nets in an overview (ThanX, Huli)
• AuXburg Special
  • Wö-DAK-News (Inuit!2002)
  • Magazin: Maxelle online
  • Wö-WBK 3.-11.4.1998 - sad enough, it's over now :(
  • Diözesan-Wölflings-Camp 1997 of Augsburg!
    - memories of the TicTacToe
  • Stephen Simmat's Link List
  • DPSG Burgau Stamm Tilly
  • Friedberg and Photos for fast views!
• Border line Jugendringe - BJR, Schwaben, KRJ Günzburg
• Some fun stuff
  • Adventure outdoor - simple role-playing games
  • The WBK Song - the importancy of having woodbadge...
  • A general translation help for scout vocabulary

Astronomy Acurate

• The big data basis - National Space Science Data Center
• Wherever we come from - where do we GO? - Katalog von Astronomie-Seiten and a search for Pictures (Yahoo)
• Daily pleasures for the eye - APOD [search] [index] - bodies shown are strictly astronomic!
• Freaks are never allone (in space) - Kern Astronomical Society
• Lind's links on space exploration, extraterrestrial planets and - more
• Informations & pictures - walkabout our solar system
• Through the looking-glass: Hubble News
  Bring a Sky Map, so you know what you are looking at

Words don't come easy to me...

• Indispensable - Leo's Dictonary English-German
• The Weizman - dictionaries
• Polylingual with IATE (formerly EurodicAutom)
• Why is "abbreviation" such a long word? - Acronym Database (DSCC) or ADB in Berlin
• RTFM's final answer - Usenet FAQs by group
• Book bargain - Amazon Books and Amazon and Amazon and Amazon
• Enzeklopedia Britannica online (restricted access)
• Somewhat more sloppy, but a lot cheaper - Hitchhiker's Guide (Don't panic!)
• The little book might be all you need - Strunk & White: Elements of Style
• Wait - WWWebster online dictionary
• Diabolic - The Devils Dictionary of Ambrose Bierce (no worries, it's not HIM)
• Eliza's daughters - talking software
• Fresh - Internet Wörterbuch
• Mathematical - FOLDOC (free on-line dictionary of computing)
• Standard - Dictionary of Algorithms, Data Structures, and Problems of the National Institute for Standards and Technology (NIST)
• Direct - telephone book Germany [see also: local Phonebooks | Zip Codes ]
• Information is yellow - Gelbe Seiten Deutschland
• Langenscheid explains Foreign Words
• German Words - (politically) correct: Duden
• Magazins: New Scientist, Scientific American, Spektum der Wissenschaft , Der Spiegel , and Heise News
• NEWS - BBC, Süddeutsche Zeitung and Hamburger Morgenpost
• Eye of the Beholder - TV today

Software to Download

• SEARCH on several FTP server (Lycos fast FTP search)
• Demonic Problems? - try the UNIX reference desk
• "Trust the Source, Luke!" - SourceForge (Linux/UNIX)
• Shareware Index: Jumbo
• Standard: ftp Stuttgart
• Some scripts I wrote myself
• A link for Mark: EMTEX (Ulm) and EMTEX (Manheim)
• Loser? - a win-win Scenario!
• FTPfeast in America: SunSite
• GAMS : Guide to Available Mathematical Software (from NIST)
• Scientific software archiv (Chemistry, Physics)
• Loads of Files from over the hedge Two Cows have it!
• Swift was mistaken - the uses of YAHOO
• Other famous download sites include IT PRO Downloads and Sunsite (Swiss)
• Before desparation kicks in - universal hint system on YAHOO
• Virus protection: F-PROT (PC)
• Internet Relay Chat - Look at the IRC box to find your client
• Browser-based chats - The Scoop on Chat Links
• I seek you - ICQ Mirabilis
• "Avoid the gates of hell -- use LINUX!"
  

  Debian Distribution Linux Mama knows best

  The infamous Linux HOWTO Index Linux on Kenneth E. Harker's Links

  Kernel Archive Go and Get It!

• Big names in small print
  Rather Software

  Activision Bullfrog Franz Inc.

  Origin Westwood

• ... or are you in for hard stuff:
  

  Compaq

  MediaMarkt

Computing & Science

Programming Languages

• Little links list to Scheme
• Common Lisp (ok... this might seem a bit nostalgic, but I still like it)
• Who said 'lots of inSane parenthesis'? - Scheme 48 Reference Manual for release 0.57
• Like many, I could not get around Java
• Prolog : Intro and SIXTus
• ML : Intro SML NJ/SML --- the French connection: Caml
• C : ANSI C[++] without esoteric
  see also: C++ annotations (tutorial style) and C++ libraries at Boost.org and Mark Dettinger's Comment
  very good index (also to download): GNU C library

Automated reasoning & related

• Otter for friends of nature and of automated reasoning
• Reasoning with Larch - small cursus and an index
• Emacs assistance with Isabelle and co: Proof General
• Finally without Lisa - MONA 1.3
• Termination of Prolog programms - TermiLog
• A hint on binary decision diagrams (BDD's) - try them
• Involved: Intel

TeX is just the beginning...

• Mostly harmless: Michael Doop's Gentle Introduciton to TeX
• Help, I get confTeXed - online help on LaTex
• HelpHelp - I didn't find anything! - even more help
• the LaTeX Navigator (an indexed Enzeklopedia)
• TeX user group
• Still here??? ok - you're a candidate for the CTAN catalouge
• You might want to have a look at the FAQ of a comprehensive TeX newsgroup (comp.text.tex). (See alos DANTE-FAQ)

... and all the rest.

• Brave new computer world - Virtual Lexicon special issue: AI (not too complete)
• Belief it or not - Bayesian Reasoning
• A Computer Algebra Tool : Maple V
  - EDU - NewMexico - France - RiceUni - UserGroup - Brown Uni tutorial
• Distributed Algorithms:
  • DISAS Page
  • Calculi for mobile Processes
  • Paola's PI-calculus links
• Some &^%$^$&^%(&*^%&^% on Cryptology
  • Pretty Good Privacy - International PGP homepage and links to some Public Key Server
  • The Cramer Shoup Crypto System - send me a very secure email message (you need a Browser capable of doing Java and Javascript)
  • Break my code and win 1000,- DKK
• If life is not complex enough - Hard Core Complexity Theory:
  • GI-Fachgruppe in Trier
  • Complexity Zoo - around 200 classes to look at
  • ECCC Journal
• Is logic logical? - join the chorus with the Non-Standard Logic Song
• beloved oldtimer - see my Commodore 64 page, there is even some old software there
• Ccard - a cardgame to download... probably one of the most abstract cardgames in the world.

DAIMI Web-Mail Mind Term Crypto Logon HTAs

The BRICS Institute & PhD School

• Welcome to DAIMI, have a look at today's events
• Dig the Books: State Library of Denmark (and it's charming lookup Broomhilda), Århus Kommune Library, the DAIMI Library, its e-journals,
• Aarhus Tourist Information
• Map Search in Denmark (KraK) + Getting from A to Å: Bus Schedule , Travel-Planning, Århus airport, Billund airport
• Weather patterns general (from wunderground) and in Århus (from CNN)
• International Student Center - ISC
• Yang's Survival Guide to Aarhus and Paola's Bookmarks
• Moving Pictures - Cinemar Program (Jylland) , Århus , Filmklubben
• Partner branch: BRICS Aalborg at Aalborg University
• BRICS health security on travels: Europæiske Rejseforsikring A/S
• Internal Infos: ALCOM, Lego Lab, Logic Seminar, Formal Systems Group, CoKa, Juniorklubben
• PhD Fall'98 I: Discrete Mathematics, Logic Course, Programming Languages
• PhD Fall'98 II: Algorithms, Outdated: http://www.brics.dk/~vs/DistComp/index.html
• Spring'99 Tutoring : Fundamentale Modeller [ Flemming; Thomas Morten Federico Lasse ]
  PhD Spring'99 I: Semantics Analysis for Algorithms PCP Theorem Complexity Theory
  PhD Spring '99 II: Cryptography Verification
• PhD Spring'00 I: Abstract Interpretation Concurrency Workshop (CoW)
  PhD Spring'00 II: Computability Theory , Verification [Toolpage] , Casual Category Theory
• PhD Spring'01 Verification [Toolpage]
• Kim's course Datastructures & Algorithms for Modelchecking

Bit-Vectors: some older work

• The Bit-Vector Homepage: English or German
• Notes from the FMCAD 98
• An old CAV-Konferenz '97 in Haifa
• Some Quotes from the CAV '97

                             |\      _,,,~~~,,_
                             /,`.-'`'    -.  ;-;;,_
                            |,4-  ) )-,_..;\ (  `'-'
                           '~~~''(_/--'  `-'\_)  

Last modified: Sun Apr 8 13:08:38 2018