Re: A sad thread - RMS vs. OpenBSD | KernelTrap

Re: A sad thread - RMS vs. OpenBSD

view
thread

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

[view in full thread]

From: Duncan Patton a Campbell

Subject: Re: A sad thread - RMS vs. OpenBSD

Date: Monday, January 7, 2008 - 12:37 am

On Sun, 6 Jan 2008 22:21:14 -0500
"Eliah Kagan" <degeneracypressure@gmail.com> wrote:

quoted text> (There are also multiple useful,
> mutually-inconsistent formal systems in both fields.)

Provably so?

Dhu

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:

A sad thread - RMS vs. OpenBSD, Mihai Popescu B. S., (Sun Jan 6, 1:37 pm)

Re: A sad thread - RMS vs. OpenBSD, chefren, (Sun Jan 6, 4:16 pm)

Re: A sad thread - RMS vs. OpenBSD, L, (Sun Jan 6, 4:36 pm)

Re: A sad thread - RMS vs. OpenBSD, Francisco J. Tsao Santin, (Sun Jan 6, 6:23 pm)

Re: A sad thread - RMS vs. OpenBSD, Matthew Szudzik, (Sun Jan 6, 7:38 pm)

Re: A sad thread - RMS vs. OpenBSD, Eliah Kagan, (Sun Jan 6, 8:21 pm)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Sun Jan 6, 8:51 pm)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 12:37 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 1:00 am)

Re: A sad thread - RMS vs. OpenBSD, Reid Nichol, (Mon Jan 7, 1:02 am)

Re: A sad thread - RMS vs. OpenBSD, Reid Nichol, (Mon Jan 7, 1:26 am)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 2:18 am)

Re: A sad thread - RMS vs. OpenBSD, Eliah Kagan, (Mon Jan 7, 2:22 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 2:41 am)

Re: A sad thread - RMS vs. OpenBSD, Tony Abernethy, (Mon Jan 7, 3:18 am)

Re: A sad thread - RMS vs. OpenBSD, William Boshuck, (Mon Jan 7, 10:02 am)

Re: A sad thread - RMS vs. OpenBSD, Richard Stallman, (Mon Jan 7, 10:15 am)

Completeness & consistency, was: A sad thread, Ingo Schwarze, (Mon Jan 7, 12:24 pm)

Re: A sad thread - RMS vs. OpenBSD, Duncan Patton a Campbell, (Mon Jan 7, 2:14 pm)

Re: Completeness & consistency, was: A sad thread, Reid Nichol, (Mon Jan 7, 5:47 pm)

Re: Completeness & consistency, was: A sad thread, Eliah Kagan, (Mon Jan 7, 6:09 pm)

Re: Completeness & consistency, was: A sad thread, Predrag Punosevac, (Mon Jan 7, 6:14 pm)

Re: Completeness & consistency, was: A sad thread, Tony Abernethy, (Tue Jan 8, 12:17 am)

Re: Completeness & consistency, was: A sad thread, Duncan Patton a Campbell, (Tue Jan 8, 12:41 am)

Re: A sad thread - RMS vs. OpenBSD, chefren, (Tue Jan 8, 10:48 am)

Navigation

Popular discussions


linux-kernel:
Ingo Molnar	Re: [PATCH 0/3] v2 Make hierarchical RCU less IPI-happy and add more tracing
Jeremy Fitzhardinge	Re: Linux 2.6.28.10 and Linux 2.6.29.6 XEN Guest Support Broken x86_64 in BUILD
Nick Piggin	Re: [patch] CFS (Completely Fair Scheduler), v2
Gary Hade	Re: [PATCH 0/5][RFC] Physical PCI slot objects
Dave Johnson	Re: expected behavior of PF_PACKET on NETIF_F_HW_VLAN_RX device?
linux-netdev:
Arnd Bergmann	Re: 64-bit net_device_stats
Stephens, Allan	RE: [PATCH]: tipc: Fix oops on send prior to entering networked mode
frank.blaschka	[patch 3/5] [PATCH] qeth: support z/VM VSWITCH Port Isolation
Wu Fengguang	Re: [PATCH] dm9601: handle corrupt mac address
David Miller	Re: [PATCH net-2.6.24] Fix refcounting problem with netif_rx_reschedule()
git:
Junio C Hamano	Re: [PATCH] [RFC] add Message-ID field to log on git-am operation
Junio C Hamano	Re: Handling large files with GIT
Karl	Re: [ANNOUNCE] pg - A patch porcelain for GIT
Josh Triplett	Re: [RFC][PATCH 00/10] Sparse: Git's "make check" target
Pierre Habouzit	Re: [PATCH] git-daemon: more powerful base-path/user-path settings, using formats.
git-commits-head:
Linux Kernel Mailing List	MIPS: RBTX4939: Fix IOC pin-enable register updating
Linux Kernel Mailing List	regulator: update email address for Liam Girdwood
Linux Kernel Mailing List	[SCSI] ipr: add message to error table
Linux Kernel Mailing List	powerpc/32: Wire up the trampoline code for kdump
Linux Kernel Mailing List	USB: omap_udc: sync with OMAP tree
openbsd-misc:
Josh Grosse	Re: error : pkg add phpMyAdmin
Brian Candler	Re: OBSD's perspective on SELinux
Jacob Meuser	Re: /dev/audio: Device busy
David Vasek	Re: Inexpensive, low power, "wall wart" computer
William Boshuck	Re: Richard Stallman...

Colocation donated by:

Syndicate