On Wed, 3 Apr 2002, Fisher Mark wrote:
> Why it is that Perl has this large of a community is probably really OT for
> cypherpunks, though...
Cypherpunks write code.
--
There is less in this than meets
In passing about category theory and ML:
* ML supports generic programming by a language feature called
a "functor." I don't know enough category theory to know how
close ML's notion of "functor" is to a mathematician's.
this page is a small intro
http://ww
On Wednesday, April 3, 2002, at 06:54 AM, Julian Assange wrote:
> Category theory is nice, but would be nicer if could draw in
> information theoretic and cognitive metaphors. Maths is a programming
> language selected over time for execution on (perhaps slightly
> modified) human brains. The fai
Tim May writes:
> * object-oriented systems. In my view, this one _has_
> basically lived up
> to its billing, largely because it works for building more complex
> systems (and is arguably how Mankind has usually built
> complex systems
> like bridges and skyscrapers and chips). But some of t
> 4. Perhaps even more strangely, but more practically, there may be some
> very interesting uses for Cypherpunks visions. Weirder than Baez,
> weirder than Egan...in some ways. The basic insight is that just as
> category theory is about "objects/things" (called categories) and the
> "transfo
On Tuesday, April 2, 2002, at 02:58 PM, Sampo Syreeni wrote:
> On Tue, 2 Apr 2002, Tim May wrote:
>
>> I've been having a lot of fun reading up on "category theory," a
>> relatively new branch of math that offers a unified language for
>> talking
>> about (and proving theorems about) the transf
Sampo Syreeni said:
| >* "game theory." We all know that most human and complex system
| >interactions have strong game-theoretic aspects.
| Cooperation, defection,
| >Prisoner's Dilemma, Axelrod, etc. But thinking that "all crypto is
| >basically game theory" has not been fruitful, so far.
|
| A
On Wed, 3 Apr 2002, Sampo Syreeni wrote:
> >The fact that we use "Alice and Bob" diagrams, with "Eve" and "Vinnie
> >the Verifier" and so on, with arrows showing the flow of signatures, or
> >digital money, or receiptswell, this is a hint that the
> >category-theoretic point of view may be e
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Tim wrote:
>* "general systems theory," a la Bertanlanffy. I knew a guy who was
>majoring in this as an interdisciplinary self-study program. Whatever
>became of this?
>(And this is kissing cousin to Operations Research, which is mostly a
>high b
On Tue, 2 Apr 2002, Tim May wrote:
> Category theory is basically about the common categories (sets,
> topologies, algebras, recursively-computable functions, stuff even from
> computer science) and the diagrams that link them. There's more to it
> than just saying "it's about talking about d
On Tue, 2 Apr 2002, Tim May wrote:
>I've been having a lot of fun reading up on "category theory," a
>relatively new branch of math that offers a unified language for talking
>about (and proving theorems about) the transformations between objects.
Baez convinced you, no? He seems to be a categor
Cypherpunks,
I've been having a lot of fun reading up on "category theory," a
relatively new branch of math that offers a unified language for talking
about (and proving theorems about) the transformations between objects.
I'll say a few words on why this is more than just the "generalized
ab
12 matches
Mail list logo