Mikael Hall's JazzLispandBeer Wiki

CoolStuff

Here there are some cool things. You can add you're own!!! Or just say hello. Or not.
A link and its label go between brackets , e.g [yourlink yourlabel] - thats it!

click here to post

dough collins

majk on Fri Jun 26 01:59:53 2009 #

If you need to laugh, Dough Collins.

and while I'm at it

majkel on Mon Apr 28 00:14:55 2008 #

RIOT

savage

majkel on Sun Apr 27 23:58:35 2008 #

is one of the best heavy metal bands

Aiin't no fit place

superrecursivity

majkel on Fri Mar 28 10:51:11 2008 #

It's often assumed that computations must "give useful results for someone" and that computation can be regarded as terminating when giving the result. However, since this have not always been seen to be true (take life on earth for example) Mark Burgin believes the church-turing thesis is wrong. is it worth while to analyze computations where no result is defined/determinable?

SK-combinators and birds

majkel on Wed Mar 12 13:57:15 2008 #

To Dissect a Mockingbird:
A Graphical Notation for the Lambda Calculus with Animated Reduction

Jazz in hell

majkel on Tue Feb 19 13:27:42 2008 #

does'nt sound like this - this is heaven.

Well I

majkel on Sun Feb 17 15:24:48 2008 #

understand!

Qi

majkel on Sun Feb 17 12:48:41 2008 #

is a nice language built atop of Lisp. Here is a blogg which explains SK combinator calcalus to us in a very fun way - all math and logic need is your mouse! Kung Fu Qi

Stevie Nicks

Majkel on Thu Jan 17 01:24:38 2008 #

pearl.

Very nice

Majkel on Thu Jan 17 01:17:37 2008 #

A whish this kind of naked seriousness would reemerge.

Ironscheme

Majkel on Mon Jan 14 00:50:54 2008 #

on the way!

Chicken scheme install guide

majkel on Tue Jan 8 14:03:26 2008 #

let's try!

Haskell based introdution

majkel on Fri Dec 21 11:56:50 2007 #

to category theory

A very good discussion

majkel on Fri Dec 21 00:41:32 2007 #

of categories. The following is section 5 of a paper explaining how to unify physics, it gives a nice and short intro to category theory.

Brainstorming

majkel on Thu Dec 20 11:41:21 2007 #

about machine learning and category theory in: The n-Category Café.

On the Haskell

majkel on Thu Dec 20 09:30:54 2007 #

wiki there is a good introduction to category theory.

I haven't read these

majkel on Thu Dec 20 01:33:09 2007 #

publications yet, but they seem to revolve around the things I'm interested in. For instance I now view category theory to be very similar to my intuition about observers. Several years ago when I wanted to do my "c-uppsats" (candidate level paper) in mathematics I heard about categories it just seem to be a very abstract tool in mathematics, but since "my first axiom" about observation is that it needs, or even is the generator of, the possibility of change, I have come to the view that mathematics is the theory of change. If so mathematics cannot be platonic, or ultimately viewed as describing mathematical objects. If change is fundamental, then an object most likely is an static description of (regular or common types of) change. You can view an observer to be a process able to refer to change. This is in fact a very easy explanation or motivation for my theory of Observers. Initially I've always wanted to formalize this theory in terms of music, so the cycle C=(tonic-> subdominant -> dominant) has always been prime candidate elements of my pre-formalized theory. You can view this cycle to be just (beginning -> middle -> end). Categories can also be viewed as being built out of such a notion of cycle; it relies heavily on drawing pictures made of arrows. Hence I'm probably just have to learn category theory to make personal progress on the in my view vital problems.

In the paper "The Constructed Objectivity of Mathematics and the Cognitive Subjectivity", see the first link above, Giuseppe Longo writes :

" Mankind in its historical existence has been giving to itself a rich variety of forms of
knowledge, exactly because the phenomenal world presents itself in different forms. It is
too early, if ever possible, to pick up a method and propose it as absolute. "

Well, this is my goal and so therefore I have been reluctant to abandon my interest. I'm convinced there is such a method, mostly because of the very common fault Longo's argument seem to illustrate - any reference (that is anything on the scale between name and description) is produced by an observer; hence Longo confuse the product made by some producer with that producer. This error is why realism is just bullshit. Now there is an "reality", but it is related to the producer, not to the products he/she/it produce.

No Zero!

majkel on Wed Dec 19 12:11:12 2007 #

This site seems very nice.

Axiom of choice

majkel on Wed Dec 19 10:00:32 2007 #

Do you really have a choice?

The Banach-Tarski paradox

majkel on Tue Dec 18 10:29:50 2007 #

An easy to skim explanation of the fact that you can reassemble a sphere cut in pieces and get an sphere of the double size!

Grigori Perelman

majkel on Tue Dec 18 08:55:18 2007 #

Seems to be an interesting man, to say the least! Does anyone know more about him?

Remember Iron Maiden?

majkel on Sat Dec 15 01:10:21 2007 #

... they had Eddie kill Margret Thacher on a early album!

Genghis Khan

this is Iron Maiden

majkel on Sat Dec 15 00:56:54 2007 #

Ideas/Wrathchild Phantom Transylvania
It's a pity Paul Dianno (vocals) and Clive Burr (drums) drank themself out of Maiden.

Yes I'm an Atheist too!

majkel on Wed Dec 12 01:57:03 2007 #

Richard Dawkins Daniel Dennett - Don't miss this one!!!
Sam Harris

lisperati

majkel on Tue Dec 11 13:02:22 2007 #

has a very good Haskell tutorial.

Get me there!

FSHARP and VISUAL STUDIO!

majkel on Fri Dec 7 19:40:36 2007 #

Now while F# has good visual studio support it doesn't work on the free express versions. But now you can download Visual Studio 2008 Shell, which makes you fsharping the nice way. For those that don't yet know what F# is I just wanna say that googling fsharp or f# will give insights to the future - F# is Microsoft's version/implementation of a very good functional language called Ocaml. You must learn it!!!!

Download .Net.
Download and Install Visual Studio 2008 Shell.
Download and Install F#.

GET FUNKY with Word Completion etc etc... Nice!

NEJ!!!!!

majkel on Wed Nov 28 05:15:51 2007 #

usch&fy

Not Aphex but

mejkel on Wed Nov 28 00:41:24 2007 #

a very cool little doll.

Chris Cunningham

majkel on Wed Nov 28 00:25:23 2007 #

has made this amazing video with Aphex Twin music.

Aphex Twin!!!

majkel on Tue Nov 27 23:21:17 2007 #

Varning - Extremely good song.

You must draw a line sometimes!

Majkel on Sat Nov 24 14:49:41 2007 #

Lines

I'm not falsified!

majkel on Thu Nov 22 23:03:10 2007 #

My theory of observers is something I hate sometimes, because I probably wont gain anything from it. I'm a bit theoretical when it comes to results - if I feel I'm right, then I'm satisfied.

But a very nice support for my theory has been established! My theory can be said to have two states and three colors and since I claim human intelligence is described by my theory there should exist very competent systems this small. As it now turns out, the smallest possible universal Turing machine is one with two states and three colors! I have predicted this for years and it's seems to be true! Hence I can't resist working on my theory anymore. Which is going to torment me plenty because I am sinking rapidly into complete economic and self loathing hell. Trying to be focused with panic in my system is not healthy for me.

Give me a job!

majkel on Thu Nov 22 22:47:29 2007 #

I have not been able to get a job after my projects at the Mid Sweden University ended a couple of years ago. Although I still work to produce something, I also have to deal with the pains of not being chosen - I can't even get jobs which demands only high school maths (I can't get jobs as a dishwasher even ... ). I studied mathematics because I had to know what it was about and because I figured that very few people are prepared to invest the time mathematics demands. The last project I was involved in did not even give me the data I needed, so failure was hard to avoid. So my studies only meant that I for a while was allowed to compete with others on equal terms - If I wrote higher scores than most other on exams, everyone could see it, including me. Of course I had to borrow money to get this chance.

Hugo chavez

majkel on Thu Nov 22 22:21:29 2007 #

Hugo for president!

World champion!

majkel on Thu Nov 22 21:30:27 2007 #

I am now a ukulele world champion!
Uk'em Duk'em!

Clapton as I majkel wannabe?

majkel on Tue Nov 20 00:24:51 2007 #

Yes the Clapton has evolved!

Slashdotted!

Emo

majkel on Mon Nov 19 10:30:22 2007 #

Buhu!

hehe

Majkel on Mon Nov 19 10:24:44 2007 #

Humor doesn't have to be serious, okey?

my youngest!

majkel on Mon Nov 19 10:11:46 2007 #

Spookey!

FI

majkel on Mon Nov 19 08:01:39 2007 #

Jag trodde aldrig att skulle säga att jag håller med kvinnorna i FI :
"Resultaten ljuger inte. Det finns biologiska skillnader. Skillnader som vi på FI menar att man bör ta tillvara på istället för att förneka. Män och kvinnor fungerar inte likadant. Med tanke på detta sympatiserar vi inom FI med tanken om att män och kvinnor därför inte heller bör ägna sig åt samma typer av uppgifter i arbetslivet. Kvinnor och män bör inte heller behandlas lika. Dagisfröknarna borde få använda lite olika pedagogik beroende på vem de pratar med. Att det feministiska tänkandet präglar så många situationer idag och får så mycket uppmärksamhet är bisarrt med tanke på att deras spekulationer om jämlikhet inte ens grundar sig på fakta. Det måste vi göra något åt. Vad tycker du att vi kan göra?"

Europa!

majkel on Sun Nov 18 08:54:50 2007 #

Brittni Paiva plays ukulele.
very nice!

Israel - the king of uke

majkel on Sun Nov 18 08:49:49 2007 #

Rainbow/Wonderful World

Norman Mailer is dead

majkel on Sun Nov 18 07:49:15 2007 #

"The rightwing is always ready to give up the joys of the intellect",
Cheers!

One more

Capital success?

majkel on Sun Nov 18 04:34:20 2007 #

Noam Chomsky is not to play with:

Chomsky
The quote of every day - "That's a terrible argument!".