Tue Mar 24 17:05:46 CET 2009

txt.png Singularity-Paper

Yesterday I published my paper about Singularity on paper.kickino.org.
Singularity is a Microsoft research project. I wrote some notes about Singularity in an earlier blog entry.

The university marked it (together with a presentation) as 2.0. :-)


Posted by Sebastian Wieseler | Permalink | Categories: studies, science |

Mon Dec 1 19:41:53 CET 2008

Singularity

Currently my blogging queue is a little bit huge, but my time is inverse proportional. Nevertheless was my presentation about Singularity some weeks ago.
It's a Microsoft research project with the main point of security, and not of performance.
There you've got the concepts of the so called Software Isolated Processeses (SIP). You need the MMU only for one huge address space so you save a lot by doing a context switch.
Again: You do the process isolation only in software and not in hardware any more.
That's why there are a lot of things which aren't allowed now: for example plugins and shared memory communication.

In the next months I will publish a short paper 'bout Singularity. I do this for university, so don't call me a Microsoft guy. The whole arrangement is about secure operating systems.
At least it's a very interesting start point to think about security.


Posted by Sebastian Wieseler | Permalink | Categories: studies, science |

Tue May 22 22:34:16 CEST 2007

unknown.png Haskell: Advantages

At the end of our Haskell excurs I would like to list some advantages of this really nice functional language.

  • You can write mathematical functions in Haskell in the same way like you did before.
  • In the end everything is a function.
  • The lazy evaluation is a really nice feature because you can write undefined values for example into lists and can evaluat the rest nevertheless. That can helps you in any case because the values are not calculated before you really need them.
  • You can proof any function in Haskell really fast because it bases of mathematical functions. So you can make induction (of the structure) on the base.
  • The input and output is handled through monads. But in my opinion we lost some advantages of the functionality with input/output because we must define when it should happens, so it is iterative somehow.
  • You can write your own data types and put it into the default classes easily. For example you can compare "Monday" with "Thursday" and Haskell will tell you that it's bigger (if you put your data type weekday into Ord).
  • Another feature of Haskell is the possibility to use list comprehensions to creat a list based on existing lists.
  • And you can use the lamda calculus to use functions without giving them explicit names. So it's easier to handle big formulas.

Posted by Sebastian Wieseler | Permalink | Categories: studies, projects/programming |

Tue Apr 3 14:41:13 CEST 2007

unknown.png Haskell: Intro

This semester we must study Haskell.
It's a functional language. This means that you have to use in Haskell a lot of functions to program.

It also has got pattern matching, lazy evaluation, monads and so on as features.
At present I read the tutorial Haskell Tutorial for C Programmers . Hopefully I'll understand this paradigm at some time.

It's a nice language nevertheless to do something absolutely different to C or C++ or the whole procedural programming languages.


Posted by Sebastian Wieseler | Permalink | Categories: studies, projects/programming |

Mon Nov 13 08:08:01 CET 2006

gallery.png Pictures of Studying

I've added some pictures of my studies to my gallery.

These pictures include also those about the demonstration in Erfurt against the costs of studying.


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Thu Oct 19 11:02:21 CEST 2006

Noia_64_mimetypes_font.png Kant Lesson I

On Wednesday was my first lecture about I. Kant. We learned a little bit about his life and the time he lived in. Then we started to read his work - Critique of Pure Reason.

Just because I've read some parts of this book, I thought that I've got a better chance. But the interpretation of our mathematic professor is very different. We read the whole introduction last time. So we got Kant's definition of science and then we discussed if computer science is really science. Funny. Really.


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Fri Oct 13 22:37:16 CEST 2006

calc.png Math Lecture

Yesterday were some math lectures (1, 2) on my time table. It was a little bit strange to get some facts about our mathematically universe twice - but it was okay. We learned some old facts about sets and functions.

After English I had got some free time today, so I decided to join Astrid's math lectures this morning as well. There the students learned some facts about the basic sets, too, but then also some new facts about how to solve the term: x^2 = -1 ; x = +/- sqrt(-1).

The solution is to define some new numbers - the complex numbers. There you have got the term: x^2 = -1 ; x = +/- i. It was quite cool to listen to the professor and just sit down next to a wonderful person. *gg*

Because of the hint of StevenR (an EE) I would like to make clear that it is j because of the confusion with a changing current, not i. ;-)


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Mon Oct 9 09:50:14 CEST 2006

humans.png First Week

Hm. I don't know where to start, because the last week was very interesting and exciting. I've got a lot of information about the connections of the university (network) and had some very nice talks with very nice humans (partly computer scienctists and engineering cybernetics). I also got in touch with girls. ;-)

The clubs (bc, bd and bh, bi) are awesome and the SAP (start party in the mensa) was very cool. The speeches of the professors and the meetings with our tutors contain as much information for us as possible.

Today my math lessons will beginn at 1100 UTC. Enjoy your day!


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Sun Oct 1 21:57:02 CEST 2006

Noia_64_apps_ark.png Move

Tomorrow I will move to Ilmenau. Strange feeling nevertheless. What will happen? Can I be successful? Am I going to meet some nice people there? Too many questions, to less answers.

If you notice some strange actions on the services of nanofortnight, please get in contact with one of the forkbomb guys. I will have a connection through the FeM network in a few days (hopefully).

Nice night and a great week to everybody (especially for the Erstis ;-)).

Update 2006-10-03 20:19: I am wired now. :-) More 2morrow.


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Tue Sep 19 21:58:49 CEST 2006

identification.png Trip to IL

I traveled today to Ilmenau to sign up my rental agreement for my flat in house A.

Furthermore I went to the city hall to tell them that I will live there for the next years.

Beside that the walk through the town was really lovely. I think it's a good place to study there. :-)


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Thu Aug 3 21:18:19 CEST 2006

Matriculation

I'm very happy to tell you that I received today my matriculation papers. Now I am a member of the university of technique in Ilmenau. Furthermore I got thoska+ - the smart card for the university network.


Posted by Sebastian Wieseler | Permalink | Categories: studies |

Thu Jul 27 20:25:38 CEST 2006

Boarding school agreement

Today I got the agreement for the boarding school in Ilmenau.
I will live there at house A.

This was very important for me, because I plan to study at the university of technique in Ilmenau. My studies will begin there in October and I am really happy now. :-)


Posted by Sebastian Wieseler | Permalink | Categories: studies |