|
|
|
|
|
only Ђ 0,20 pm (Oct 11 2003 09:59 GMT) - De betere zaterdagmiddag pron: time to bone. |
Lambda the Ultimate
|
A gentle introduction to TLG, the Curry-Howard correspondence, and cut-elimination (Oct 11 2003 09:58 GMT) - Barker Chris. A gentle introduction to Type Logical Grammar, the Curry-Howard correspondence, and cut elimination This paper aims to give an introduction to Type Logical Grammar (TLG) for the general linguist who may not have a background in logic or proof theory. This paper will briefly describe the logical heritage of TLG, sketch a simple TLG analysis, convey the spirit of the Curry-Howard result, discuss Gentzen’s famous cut-elimination result, and motivate multimodal extensions of Lambek’s logic. A short introduction to some of the same topics discussed in Girard's book plus an introduction to Type Logical Grammar for those who are interested in linguistics. |
Heli's Heaven and Hell Radio
|
IN JAIL WITHOUT BEING CHARGED (Oct 11 2003 09:57 GMT) - Hassan Almrei was arrested on allegations of having ties with al-Qaeda. No evidence has been released to Almrei or his lawyer to substantiate this allegation. He's been jailed for two years and is now in solitary confinement. Since a few days he is on hunger strike. |
|
New Protocol Idea - Rendezvous OPML (Oct 11 2003 09:56 GMT) - Sitting in Stuart's Rendezvous session at foo camp, I was next to Sam Ruby, Jeremy Zawodny & Dave Sifry.I said we need a Rendezvous way to find blog feeds - Dave said 'use OPML'.So, the idea is to advertise local blog feeds via OPML, over Rendezvous. Usage scenario: walk into a conference, open your Aggregator, and it shows you all the locally relevant feeds - bloggers attending the conference, a session time feed, local info feeds. |
Radio Free China
|
Nepal attack ends rebel truce. ... (Oct 11 2003 09:55 GMT) - Nepal attack ends rebel truce. Maoist rebels kill at least three policemen in an attack, ending a nine-day ceasefire declared for a Hindu festival. [BBC News | South Asia | World Edition] |
Radio Free China
|
Isaiah 41:10. Fear not, for ... (Oct 11 2003 09:55 GMT) - Isaiah 41:10. Fear not, for I am with you; be not dismayed, for I am your God; I will strengthen you, I will help you, I will uphold you with my righteous right hand. |
nf0's Life
|
Nightly Link Dump (Oct 11 2003 09:55 GMT) - Presence's SHN Server - Zepplin SHN's GOOD EATS FAN PAGE Fanboy Radio 108 out A script for easily emailing a NetNewsWire item MacMinute: MacForce to open new digital lifestyle center Gizmodo : KiSS upps the ante Slashdot | Dreambox DM7000: Hackable DVR (Produced by BookmarkBlogger.) Comments (0) |
Java-Channel
|
IVJ Logger (Oct 11 2003 09:55 GMT) - You can download a fresh-n-clean logging API from here. It's different from java's logging API and log4j in the following ways: - It has an extremely simple design (makes it easy to extend, and in fact, creating your own loggers is encouraged and explained how-to) - It's run in a background minimal priority thread pool (it doesn't drain any perfromance from your pogram) - It's design is very efficient (it's capable of processing huge amount of data in a matter of miliseconds when your program isn't working) - It makes your log very easy to maintain by automatically creating monthly and yearly ZIP archives. |
Java-Channel
|
Swing Sightings Volume 18 (Oct 11 2003 09:55 GMT) - One of the most exciting kinds of e-mail that the Swing/JFC team receive is a product announcement for a new JavaTM application that features a Swing GUI. A close runner-up is the URL for a new game or a compelling never-before-seen applet. Over the years we've collected many links to this information. In fact, if you walked down the hallways here you would see the walls plastered with hundreds of screenshots from applications developed outside of Sun. Therefore, we have decided to launch a Swing Connection feature to share this bounty. |
Java-Channel
|
IBM Toolkit for MPEG-4 (Oct 11 2003 09:55 GMT) - The IBM Toolkit for MPEG-4 consists of a set of JavaTM classes and APIs with five sample applications: three cross-platform playback applications and two tools for generating MPEG-4 content for use with MPEG-4-compliant devices. |
Java-Channel
|
Google JSP Tag Library (Oct 11 2003 09:55 GMT) - With the Google JSP Tag Library, developers and designers can easily incorporate Google queries, search results, cached pages and spelling suggestions into any web site or application. |
ONSZIN.BLOG
|
lekker ouderwets... (Oct 11 2003 09:55 GMT) - Morse vroeger als kind we eens gebruikt om geheime berichten te sturen. Ik weet nog dat we kabeltjes van het ene naar het andere huis legden (wel makkelijk als je in een grote flat woont) met een batterij en een speakertje en een zelfgemaakte seinsleutel. 's Avonds berichten senden. |
Radio Free China
|
China Sets Space Flight for ... (Oct 11 2003 09:54 GMT) - China Sets Space Flight for Next Week. BEIJING After a decade of preparation and months of speculation, China made a concrete commitment Friday to human space travel, announcing plans to launch a manned capsule into orbit next week. [Los Angeles Times World News] |
Njallinn tmu tjni!!!
|
Barnauppeldi н dag (Oct 11 2003 09:54 GMT) - Mitt innlegg н umrжрuna, foreldrar н dag eru flestir fнfl og krakkar юar af leiрandi upp til hуpa algerir asnar!!! Annars e ... [1] [2] |
TMA Latest Posts
|
Knocknarea: Leafpile (Oct 11 2003 09:52 GMT) - This page from a travel site is of interest because it shows a picture of the cairn on top of Maeve's Tomb in 1999 (About 2/3 of the way down the page) as well as an account of a visit to Carrowmore Cemetary. Compare the cairn in 1999 with the 2003 picture: http://www. themodernantiquarian. |
XXX Joke - Adult Sex Jokes and Free Sexy Stories
|
Picture galleries (Oct 11 2003 09:50 GMT) - Bitch gets jizzed in her mouth hot lesbians masturbating on boat hot teen girl removes pink panties Cutie showing her hot body outdoors Ebony with a fine booty gets fucked Hard fucked shaven ebony hottie older couple taking a shower... |
|