Fruitbox

The Keybuoy!
If you drop your keys in the water, they’ll float right back at you, this is the Keybuoy! (did I spell that right).

I laughed so much while listening to this:
Daily Giz Wiz 149: Keybuoy

So you want more visitors to your website, homepage, weblog, blog, blogsite, webpage, bloghomesitepage, whatever?
I got an answer to the question: Write about how to increase website traffic!

What a wonderful recursion.

Here’s a very interesting paper:
Full-screen magnification for Windows using DirectX overlays [PDF]
This is exactly what I’m after, so now I’m trying to decide which tools to use. Managed DirectX, SlimDX, OpenGL, …?

One day I’ll upload my music to YouTube as well.

Good luck getting this tune out of your head for the rest of the day.

The fruitbox is becoming somewhat confusing with the Swedish/English mix everywhere, so I’m trying to change this by organising the content a bit differently.
Most posts on this page will be in English and I’ve set up a dedicated page for my Twitter feed, which will be in Swedish, so I’ll try to keep the smaller, more personal things there.
Sometimes one wishes there would only be one language.

“It’s your language, I’m only trying to use it” — Victor Borge

ZoomText 9 är för närvarande långsamt, trögt, söligt, segt, … sa jag långsamt? Vad gör man åt det? Man köper en ny dator med två, fyra, eller rent av åtta kärnor, och hoppas på att ZoomTexts prestanda ska förbättras, men det man möter är ingen trevlig syn.
Vid uppstart kommer ZoomText 9 att se till så att alla program som är igång (och de du kommer starta) inte kan använda mer än en kärna (CPU 0). Vilken smidig lösning på prestandaproblemet!
Jag kringgick detta genom att använda ett program som sätter processortilldelningen och ser till att inte ZT kan ändra det. Get and Set Affinity heter det.
Tillslut valde jag ändå att gå tillbaks till ZoomText 8, som verkar vara för gammalt för att ens känna till flera kärnor. Ha!

Jag är inte mycket för denna typ av musik, men Whammer Jammer är ett undantag!

And my artist page: Daniel Innala Ahlmark

What is it?
Flimag (pronounced fly mag), the fast and lightweight magnifier is a screen magnifier for Windows. Right now it is just an idea.

What is so special about it?
Flimag is intended to be different than e.g. ZoomText and MAGic. Its main purpose is to be fast, responsive and compatible, providing a lightweight alternative for people who just needs a basic full-screen magnifier that is fast and works well with other applications.

Why not use what is available?
The big magnifiers out there certainly have many nice features, but they are slow, doesn’t keep up well with new technology, require immense system resources, and in addition to that they might disable graphics acceleration and maybe even secondary cores on multi-core systems. The architecture they use is old: There should be better options today.

How will Flimag do it?
The big magnifiers out there use custom device drivers they hook in between the GDI and the graphics driver, and I intend to stay away from that. I have not yet decided on a replacement, but right now I am looking at using hardware overlays. Doing so would have the benefits of very little overhead and working hardware acceleration (since that is what it uses anyway).

In what language will Flimag be written?
Probably C#.

Will Flimag be open-source?
Yes!

When will the development start?
Yes folks, this is the hard one. I have already been thinking about this project for about a year now, so who knows. Every now and then I am experimenting with something related to this, and that is the way it is going to be for a bit longer, until I feel I know enough about the underlying technology.

Do you have ideas? Suggestions?
Know the Windows API?
Know a lot about DirectX/OpenGL?
Contact me!

Vad sägs om en härledning som visar att efterföljaren till 0 är 1?
Givet har vi funktionen Succ:
Succ := (λwyx.y(wyx))
och heltalet 0:
0 := (λsz.z),
och vi ska visa att Succ 0 = 1:
S0 = (λwyx.y(wyx)) (λsz.z) = λyx.y((λsz.z)yx) = λyx.yx = 1.
Steg för steg:
Vi utgår från S0 = (λwyx.y(wyx)) (λsz.z):
1. Vi ska ‘beräkna’ funktionen, så vi använder substitution. w i funktionen ersätts med 0, dvs (λsz.z), vi får då kvar λyx.y((λsz.z)yx).
2. Nu appliceras den inre funktionen på y. Alla s ska ersättas med y, men det finns inga s i funktionskroppen, så kvar får vi λyx.y((λz.z)x).
3. Den kvarvarande inre funktionen är förståss identitetsfunktionen, applicerad på x, och vi får λyx.yx som är 1.