On Wed, Jul 10, 2013 at 9:41 PM, Asumu Takikawa wrote:
> For `grep` there is `ack` for example. There are many versions of the
> `locate` utility, many competing ntpds, fetchmails, many pagers, and so
> on. It seems like in these cases what's more important is the "service"
> (or perhaps "interfac
On Thu, Jul 11, 2013 at 11:54:35AM -0400, Matthias Felleisen wrote:
>
> What is a type=theoretical program verifier? How does it related to
> modern things such as Coq/HOL/friends?
It was an attempt to do something like coq and agda.
I managed to use it to verify a merge sort. This was in the
On Jul 10, 2013, at 10:41 PM, Asumu Takikawa wrote:
> On 2013-07-10 18:03:07 -0400, Sean McBeth wrote:
>> -- Embrace more of the Unix philosophy of small programs doing one thing
>> well. You cannot deny that programs like ls, cd, mkdir, grep, etc. have
>> lasted a very, very long time and have
What is a type=theoretical program verifier? How does it related to modern
things such as Coq/HOL/friends?
On Jul 10, 2013, at 8:26 PM, Hendrik Boom wrote:
> How can I resist this request to talk about ancient code? Even if it
> seems off-topic?
>
> My own long-lived examples are a type-th
On 2013-07-11 00:03, Sean McBeth wrote:
> [...]
> The opposite side of this coin: a game I started writing in Microsoft
> XNA, that I am still terribly keen to complete, but now XNA is a dead
> platform. So *technological progress made the underlying API obsolete,
> /but not the project itself/* (i
On Wed, Jul 10, 2013 at 10:14:31PM -0400, Sean McBeth wrote:
> Hey! Thanks for the story! Yeah, here I'm complaining about unstylish code
> over 15 years, you've got a completely different problem! Very interesting.
>
> In a way, it fits one of my categories. I'm sure there was a motivation for
>
On 2013-07-10 18:03:07 -0400, Sean McBeth wrote:
> -- Embrace more of the Unix philosophy of small programs doing one thing
> well. You cannot deny that programs like ls, cd, mkdir, grep, etc. have
> lasted a very, very long time and have no need for being changed (beyond
> the occasional disc
Hey! Thanks for the story! Yeah, here I'm complaining about unstylish code
over 15 years, you've got a completely different problem! Very interesting.
In a way, it fits one of my categories. I'm sure there was a motivation for
writing an Algol 68 compiler, a motivation that just did not stand up t
How can I resist this request to talk about ancient code? Even if it
seems off-topic?
My own long-lived examples are a type-theoretical program verifier,
and an Algol 68 compiler.
In 1972 I started an Algol 68 conpiler, worked on it for a few years at
the University of Alberta, decided to aba
On Wed, Jul 10, 2013 at 06:03:07PM -0400, Sean McBeth wrote:
> particularly suited for TDD?
Let me guess -- Test-Directed Development? Test-Directed Design?
-- hendrik
Racket Users list:
http://lists.racket-lang.org/users
I just spent the last several hours sifting through the folders and folders
of code that have accumulated on my hard drive over the last 15 years. I do
this about once a year or so, so there actually wasn't anything from as far
back as 15 years because somewhere in the middle I was ashamed of how m
11 matches
Mail list logo
