gmane.org.ballistichelmet.lambda archive
109 archived articles, newest first (page 1 of 2). Latest articles →
[Fwd: PLT Scheme v299.200]
Tue, 09 Aug 2005 09:05:48 -0400Re: ASTREE
Thu, 26 May 2005 16:18:37 -0400 (EDT)[Fwd: [Pl-seminar] Semantics Seminar Schedule]
Thu, 26 May 2005 15:48:28 -0400VAGUE Organizational Meeting
Thu, 19 May 2005 14:20:19 -0400Fwd: GNU Ghostscript 8.16 is released
Wed, 18 May 2005 14:25:28 -0400 (EDT)Community Wi-Fi in Champaign-Urbana Illinois
Sat, 14 May 2005 14:10:30 -0400[Fwd: Re: [Cybertalks] Fwd: COSC Dept. Colloquium - Monday, May 16, 2005, 4 PM]
Wed, 11 May 2005 09:27:01 -0400[Fwd: [Cybertalks] Fwd: COSC Dept. Colloquium - Monday, May 16, 2005, 4 PM]
Wed, 11 May 2005 09:26:35 -0400Ann: The Fortress Language Specification
Fri, 29 Apr 2005 17:29:07 -0400R6RS Progress Report
Wed, 27 Apr 2005 10:28:50 -0400Re: RMS: BitKeeper bon-voyage is a happy ending
Mon, 25 Apr 2005 19:10:58 -0400 (EDT)GPL progs are Debian 'non-free'
Tue, 19 Apr 2005 15:32:24 -0400 (EDT)Free math needs free software
Fri, 15 Apr 2005 15:00:19 -0400 (EDT)April 13: Tales from the other side -- Craig Damon
Tue, 12 Apr 2005 13:09:43 -0400EFF Announces 2005 Pioneer Award Winners
Fri, 8 Apr 2005 22:51:36 -0400Free LaTeX manual
Thu, 7 Apr 2005 13:26:44 -0400 (EDT)Re: Implementing Syntactic Reflection in Nuprl
Tue, 05 Apr 2005 13:18:39 -0400Implementing Syntactic Reflection in Nuprl
Tue, 05 Apr 2005 12:55:39 -0400Re: upcoming change in PLT Scheme v300
Fri, 1 Apr 2005 15:54:54 -0500 (EST)[Fwd: upcoming change in PLT Scheme v300]
Fri, 01 Apr 2005 13:37:39 -0500April 11: Software Security and Control-Flow Integrity -- Ulfar Erlingsson
Mon, 28 Mar 2005 14:52:19 -0500[Fwd: [PLT announcement] PLT Scheme v299.100]
Fri, 25 Mar 2005 16:46:59 -0500The Software Freedom Law Center
Fri, 25 Mar 2005 13:43:18 -0500security v. usability
Wed, 23 Mar 2005 14:09:32 -0500 (EST)Felleisen on Knuth
Tue, 22 Mar 2005 12:23:10 -0500icfp: start early!(?)
Thu, 17 Mar 2005 10:49:44 -0500 (EST)The POPLmark Challenge
Thu, 17 Mar 2005 10:22:45 -0500[Fwd: CALL FOR PAPERS: ACM SIGPLAN 2005 Workshop on Scheme and Functional Programming]
Fri, 11 Mar 2005 09:42:58 -0500WiLiKi
Thu, 10 Mar 2005 13:42:19 -0500 (EST)Language Guide
Tue, 8 Mar 2005 13:48:48 -0500 (EST)Free as in bombs
Tue, 8 Mar 2005 11:47:27 -0500 (EST)Re: Polymorphism and effects
Fri, 04 Mar 2005 13:04:20 -0500Polymorphism and effects
Fri, 04 Mar 2005 13:01:54 -0500Cybercrime Discussion Panel
Thu, 03 Mar 2005 11:32:53 -0500[Fwd: [TYPES] Summer School on Reliable Computing: Call for Participation]
Thu, 03 Mar 2005 10:35:12 -0500Curry's Paradox
Thu, 3 Mar 2005 00:06:15 -0500Lectures on the Curry-Howard Isomorphism.
Wed, 2 Mar 2005 23:51:27 -0500OSI: expanded programs, counsel, and board. Raymond steps down
Wed, 02 Mar 2005 15:02:37 -0500Fwd: A Call to Action in OASIS
Tue, 22 Feb 2005 12:50:33 -0500the famous al* petrofsky's head
Wed, 02 Feb 2005 14:44:29 -0500[Fwd: [Church-announce] Aspects Day, Boston, March 8]
Sun, 23 Jan 2005 10:00:45 -0500[Fwd: [Pl-seminar] Semantics Seminar Schedule]
Tue, 18 Jan 2005 14:26:56 -0500Fwd: [emacs] SML-mode 4.0
Fri, 17 Dec 2004 00:46:43 -0500[Fwd: Scheme 48 1.2 available]
Tue, 14 Dec 2004 10:37:58 -0500[Fwd: [TYPES] Ph.D. scholarships at the IT University of Copenhagen]
Tue, 14 Dec 2004 10:34:19 -0500[Coq-Club] YOUNG RESEARCHER POSITION and PROGRAMMER POSITION on MATHSAT AVAILABLE
Sun, 05 Dec 2004 18:55:28 -0500Type Erasure: Breaking the Java Type System
Thu, 02 Dec 2004 10:49:46 -0500[Fwd: [qcpls] QCPLS séminaire12 novembre, McGi ll]
Tue, 09 Nov 2004 10:37:18 -0500[Fwd: 11/8 @ 4pm: Exploring Grand Challenges in Trustworthy Computing]
Sat, 06 Nov 2004 10:47:21 -0500Retraction (fwd)
Fri, 5 Nov 2004 17:11:13 -0500 (EST)International computer professionals go on strike
Wed, 3 Nov 2004 13:25:01 -0500 (EST)GNU/FSF Event: RMS will speak on 2004-11-09 in Burlington, Vermont, USA (fwd)
Tue, 26 Oct 2004 10:38:43 -0400 (EDT)[Fwd: [Ann] Montreal Scheme/Lisp User Group meeting]
Mon, 18 Oct 2004 10:08:07 -0400[Fwd: [Scheme-Boston] Scheme Boston: next meeting 20 October 2004]
Tue, 12 Oct 2004 16:53:17 -0400Lightweight Languages 2004 (LL4)
Tue, 12 Oct 2004 16:46:09 -0400Pattern matching
Tue, 12 Oct 2004 11:17:54 -0400SML dynamic web site tools (fwd)
Thu, 30 Sep 2004 09:14:34 -0400 (EDT)Re: TeX typesetting
Thu, 26 Aug 2004 10:18:42 -0400 (EDT)[Fwd: module security, part 2]
Wed, 25 Aug 2004 10:45:21 -0400TeX typesetting
Tue, 24 Aug 2004 23:06:28 -0700 (PDT)[Fwd: module security]
Wed, 11 Aug 2004 16:22:37 -0400MzTake
Wed, 11 Aug 2004 16:48:13 -0400Free Event in August at ISE
Tue, 3 Aug 2004 14:53:14 -0400 (EDT)s48 release
Sun, 04 Jul 2004 13:44:21 -0400Lambda the Ultimate Revisited
Fri, 25 Jun 2004 10:32:04 -0400MSIA Security Conference -- Norwich University
Wed, 16 Jun 2004 12:02:26 -0400Shriram
Fri, 11 Jun 2004 09:46:59 -0400[Fwd: [Ann] MSLUG meeting]
Fri, 11 Jun 2004 09:39:39 -0400Implicit configuration pearl
Fri, 11 Jun 2004 09:25:54 -0400NEPLS rocked the house
Thu, 10 Jun 2004 22:41:21 -0400 (EDT)[Fwd: [Coq-Club] Release of Coq V8.0]
Wed, 21 Apr 2004 14:06:26 -0400[Fwd: CSL: seminar 4/21]
Wed, 21 Apr 2004 07:26:44 -0400European Software Patents
Mon, 12 Apr 2004 12:44:14 -0400 (EDT)[Fwd: [FOM] ICCL Summer School 2004]
Tue, 13 Apr 2004 15:31:31 -0400History Types and Verification: Monday April 12, 2004
Tue, 06 Apr 2004 17:18:12 -0400Re: Tutorial: Using GNU Privacy Guard
Mon, 5 Apr 2004 19:05:39 -0700 (PDT)Tutorial: Using GNU Privacy Guard
Mon, 05 Apr 2004 20:41:00 -0400[Fwd: Release of scsh 0.6.6]
Mon, 29 Mar 2004 09:51:50 -0500Comments: GnuPG tutorial
Sat, 27 Mar 2004 11:09:18 -0500word-of-the-day.ss
Mon, 22 Mar 2004 22:10:10 -0500Re: Pattern Matching (was: pointers in "RRRS Authors"
Thu, 18 Mar 2004 16:52:51 -0500 (EST)Platform for Privacy Preferences (P3P) 1.1 Working Draft Published
Wed, 17 Mar 2004 17:19:35 -0500SRFI 53: Syntactic computations with computation-rules
Tue, 16 Mar 2004 21:37:45 -0500[Fwd: [Scheme-Boston] URL for filesystem proposal]
Tue, 16 Mar 2004 21:37:04 -0500Enigmail tutorial
Tue, 16 Mar 2004 17:14:14 -0500Re: Re: pointers in "RRRS Authors"
Fri, 12 Mar 2004 14:06:48 -0500Re: Re: pointers in "RRRS Authors"
Fri, 12 Mar 2004 14:04:14 -0500Re: pointers in "RRRS Authors"
Fri, 12 Mar 2004 13:47:50 -0500 (EST)pointers in "RRRS Authors"
Fri, 12 Mar 2004 13:41:35 -0500 (EST)[Scheme-Boston] Scheme Boston meeting: Tuesday, March 16, 2004
Thu, 11 Mar 2004 11:14:50 -0500[Fwd: IBM Watson PL Day]
Wed, 10 Mar 2004 14:01:10 -0500Re: for once in agreement with MS ?
Mon, 08 Mar 2004 17:03:53 -0500[Fwd: [Pl-seminar] Semantics Seminar Schedule]
Mon, 08 Mar 2004 15:59:26 -0500Re: for once in agreement with MS ?
Mon, 8 Mar 2004 15:50:03 -0500 (EST)for once in agreement with MS ?
Mon, 08 Mar 2004 12:24:18 -0800[Fwd: [Caml-list] Announce: Nativize 0.1]
Mon, 08 Mar 2004 07:52:07 -0500FCS04: Foundations of Computer Security - 2nd call for papers
Sat, 06 Mar 2004 21:24:18 -0500[Fwd: [Caml-list] Job: OCAML/Java/XML Research Sofware Engineer]
Fri, 05 Mar 2004 15:45:21 -0500Re: Russell / Capital Destroying Jobs / Mar 04
Fri, 05 Mar 2004 12:01:00 -0500Russell / Capital Destroying Jobs / Mar 04
Fri, 05 Mar 2004 11:59:39 -0500
lmpx.com only provides a reader for public news (NNTP) servers. It is not
affiliated with the servers or forums shown here and is not responsible for
the content of articles, which is written by their respective authors.