login
Login
/
Register
Search
Search this site:
Forums
News
Blogs
Features
Site
Home
»
Mailing list archives
»
openbsd-misc
»
2008
»
January
»
7
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
Mailing list archives
Recent posts
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