Home

Search results

"tag:"work""

1 2 Next >>

Title and summary Date/time
1
FreeBSD's Robert Watson on open source and computer science in general
20 minutes well spent.
27-Oct-2012
21:30:00
2
Open sores
And so it begins. I thought I was past this. Anyway, it's fun, and my first ever git commit and pull request got through in a breeze.
28-Sep-2012
09:59:00
3
MacOS synching in Limbo
Dear Apple engineers and marketing department, may I question the wisdom of scrapping MobileMe (for synching e.g. contacts) 8 weeks before releasing MacOS 10.8, which would allow my handful of 10.6 devices to sync again? Did you seriously think I'd ...
23-Jul-2012
12:10:00
4
Maude for Solaris 10 x86
After a lot of trial and error (the trick is to build GMP with --build=i386-pc-sola...
24-Aug-2011
18:13:00
5
Academics
AcademicsLooks like not everyone around here deserves a PhD in natural sciences ;)
24-Jun-2011
12:28:11
6
Wissenschaftliche Mitarbeiter
Für jene, die sehr lange wissenschaftliche Mitarbeiter waren, aber es nie zu einer Professur schafften, gab es früher trotzdem Anstellungen sogar auf Lebenszeit. Man hat diesen Menschen Freiraum gegeben und sie auch aus sozialen Gründen mitgetragen. Diese ...
22-Jun-2011
15:48:00
7
Research vacancy at UNU-IIST on "EAE — Engineering Accountable Ensembles"
Read the full notice.
10-May-2010
11:29:00
8
Turing Machine
I have to say I appreciate the pointless detailed description of its features. But I'd expected a serial console after the point where he explains how to load a program. (This just in via Einar. Waaaa, I've become a YouTube-MLPer.)
30-Mar-2010
10:40:00
9
Dissing Subversion
Strong-worded opinion from Joel Spolsky on Subversion: If you are using Subversion, stop it. Just stop. Subversion = Leeches. Mercurial and Git = Antibiotics. We have better technology now. Read Distributed Version Control is here to stay, baby. ...
19-Mar-2010
09:54:00
10
Making the news
The University of Oslo gave everyone who arrived in like the last quarter a big welcome and survival guides. I guess if you wouldn't get into a group where half of the people are ex-colleagues anyway, it indeed could be a bit frustrating up here. ...
19-Mar-2010
08:17:00
11
Can't get no sleep
Note to self: next time be more specific if airport pickup is at 4:30 AM or PM. *yawn*
25-Feb-2010
11:36:00
12
Pop Quizz: Programming Language Semantics and Software Engineering
If you're doing OO software development, then chances are high that you recently refactored something like... class M { A a; g() { ... this.a.m(); this.a.n(); ... } ...into... class M { class A { A a; g() { ...
23-Jan-2010
10:36:00
13
rCOS Modeler Release v1.2.4
New features in the rCOS Requirements Modeler v1.2.4 (22. January 2010): Initial implementation of composable model transformations as outlined in the new publication An integrated Multi-View Model Evolution Framework (J. Innovations in Systems and ...
23-Jan-2010
09:08:00
14
The grass is always greener on the other side.
So, here I am, finally returning to Europe. I hope it was the right decision. Things I won't be getting now are practicing my Mandarin with native speakers, or good weather and beaches for most part of the year. I've also not taken the opportunity to get ...
22-Jan-2010
01:15:00
15
An integrated Multi-View Model Evolution Framework
Abstract: A Unified Modeling Language model of a software system can be represented by a sequence of model transformations, starting from an empty model. To effectively support the design of complex systems, transformations help the developer to proceed ...
20-Jan-2010
03:46:00
16
Horses on the road in Pune, India
Horses on the road These guys were galloping down the road among the traffic in Pune, India. I didn't even notice that there were two, until reviewing the pictures just now. All in all TECS Week at Tata was fun, I met a lot of motivated students ...
11-Jan-2010
02:52:50
17
Seeing Manu Chao, or getting killed trying?
Manu Chao and band in Rio! On the night of the ICFEM'09 conference dinner, and more surprisingly, right around the corner---of both the dinner and my hotel (sometimes you have to win). It's not sold out (surprise?), but I guess I'll wait until I get to ...
03-Dec-2009
15:01:00
18
Short trip to Beijing
After ATVA'09, I'll be off to Beijing for a few nights again to the Verified Software Workshop. After that there's a small stint to meet Dr. Zhenbang and his colleagues in Changsha.
11-Oct-2009
17:36:00
19
Vacancies at UNU-IIST
Apart from two computer science post-doc positions in the Applied Runtime Verification (ARV) project at our institute (in conjunction with the rCOS group, there are also two full-time positions for Research Fellows in e-Governance.
15-Sep-2009
06:32:00
20
Pop Quizz: java.lang.StringBuffer
True or false? "".equals(...
11-Sep-2009
13:46:00

1 2 Next >>