Recent Changes - Search:

CSE dept.


This site contains wiki-pages for the department of computer science and engineering at Chalmers and GU.


edit SideBar

PatrikJansson

My official homepage is at https://www.chalmers.se/en/Staff/Pages/patrik-jansson.aspx


Travel / workshops / vacation:

  • 2014-04-14/21: Easter vacation (Hudiksvall)
  • 2014-04-29/2014-05-02: Idris developers meeting with CeIo, NiBo and others.

If I'm away, and you need to contact somebody

If you really need to get hold of me, you could always try calling +46 (0)7-6369-4349.

Links

Log/links

2014-03-23/28
IFIP WG 2.1 meeting #71 on Algorithmic Languages and Calculi, in Zeegse, the Netherlands.
2014-03-26
My presentation (done in emacs org-mode) on A Parallel Parsing formalisation using Algebra and the associated file of simple proofs.
2014-03-16
The Chalmers ICT "area of advance"
2014-03-03/04
EU application writing (work meeting), the Netherlands. Prel. title: GRACeFUL: Global systems Rapid Assessment tools through Constraint FUnctional Languages. Aiming at the FETPROACT1-2014 call on Global Systems Science.
2014-02-18/20
EU application writing (work meeting), Potsdam. Prel. title: MAGIA: MAthematical models for a Global systems science of International Agreements. Aiming at the FETPROACT1-2014 call on Global Systems Science.
2013-12-21/2014-01-07
Family vacation (with some work interspersed)
2013-12-13/17
Not at work
2013-12-04
Full-day workshop (Chalmers chefsdag @ Lindholmen)
2013-12-02/03
GSDP final review meeting in Brussels
2013-11-18/22
Research week
2013-10-25/2013-11-03
Family vacation
2013-10-21/24
Research week
2013-09-22/28
Research week (but unfortunately not attending ICFP + associated workshops, Boston, MA, USA)
2013-09-12/18
Research week: Nicola Botta visiting from PIK and then the Agda meeting in Gothenburg. Formalising Sequential Decision Problems in Agda with Nicola Botta
2013-09-05
Interesting visualisation of citations. Unfortunately the coverage for computer science seems quite bad.
2013-09-09/13
Research week: Formalising Parallell Parsing as Transitive closure of (hopefully sparse) matrices. (in Agda) with Jean-Philippe Bernardy
2013-08-27
Reading up on Agda records and modules. Quite powerful but takes a while to get used to.
2013-08-26/2013-09-01
Research week: spend 20+ hours formalizing Bernardy's Parallell Parsing
2013-08-09
A useful paper on research papers as assets in a publication economy with concrete suggestions and good explanations.
2013-08-09
Interesting paper about "pseudo-quantities" like university rankings.
2013-08-09
Read the classic Relational Parametricity and Units of Measure.
2013-08-08
Read the current ACM code of ethics while renewing my membership. Good read.
2013-07-08/2013-08-04
Family vacation (working a few hours here and there)
2013-07-01/05
70th Meeting of IFIP WG 2.1 on Algorithmic Languages and Calculi (@Schloss Reisensburg, near Ulm, Germany)
2013-07-02
NX client and Ubuntu unity: http://magiksys.blogspot.de/2012/05/ubuntu-1204-and-nomachine-nx.html
2013-06-22/29
Family vacation
2013-06-06/12
Vacation followed by Second Open Global Systems Science Conference (in Brussels)
2013-05-27
Plots of all kinds in LaTeX with pgfplots
2013-04-17/21
In St.Petersburg presenting a position paper on a Sustainable Energy Future through Education and Research
2013-04-16
Cezar Ionescu's Advanced Functional Programming course in Potsdam
2013-04-22
Nice talk about parallelism by Kevin Hammond.
  https://github.com/ParaPhrase/skel
2013-03-29/2013-04-07
Family vacation (påsklov, Budapest)
2013-03-29
SOLVED! LaTeX Error: File `mathdots.sty' not found.
  sudo apt-get install texlive-generic-extra
2013-03-27
https://ec.europa.eu/digital-agenda/help-us-improve-our-analysis-and-measurement
2013-03-26
Some blog entries about recent publications touching on Global Systems Science: Sustainable Energy Future, Testing vs proving, Dependent types and economic modelling
2013-03-25/26
FP winter meeting
2013-02-12/18
Family vacation (vintersportlov, Hudiksvall + Gräftåvallen)
2013-02-07/08
"Global Systems Science: role of models and data" workshop (in Brussels)
2013-02-01
Towards a Research programme in Global Systems Science. One important aspect will be discussed in the "GSS: models and data" workshop later this week.
2013-01-22
Don't interrupt a programmer
2013-01-17
Intressant film om det nedlagda pappersbruket Papyrus i Mölndal
2013-01-14/15
CSE department steering group kick-off meeting (Nääs Fabriker)
2013-01-08
http://www.chalmers.se/s2/EN/news/news-archive/project-supports-female
2012-12-15
Färdiga självvärderingsrapporter skickade till HSV: Datateknik civ.ing., kandidat, master
2012-12-07
GSDP second year evaluation meeting (Brussels)
2012-11-30
SMOSZ új hely
2012-11-19
Interesting talks about FP and C++. Should be related to Concepts = Type Classes.
2012-11-15/18
Vacation (Budapest)
2012-11-08/10
GSDP annual conference (Brussels): First Open Global Systems Science Conference
2012-10-29/2012-11-05
Vacation (Egypt)
2012-10-22/24
HSV-evaluation writing workshop (near Gothenburg)
20121020
Command line VPN activation
nmcli con up id Chalmers
20121006/14
IFIP WG 2.1 meeting #69 in Ottawa
20121007
Interesting paper about technology transfer and DSLs: Lessons learned from real DSL experiments by David Wile.
20120728
A nice blog entry about FP in the real world
20120503/04
GSDP meeting in Barcelona
20120502
Parametricity workshop @ Strathclyde
20120421
Read about problems with exponential growth: http://physics.ucsd.edu/do-the-math/2012/04/economist-meets-physicist/
20120414
Läser Datateknolosektionens styrelseprotokoll
20120403
nLab dependent type theory
20120319
Haskell parallelism: installing ghc-7.4.1, gtk and ThreadScope, cabal install parallel. Exercises for the PFP course.
20120317
Instruktioner för BankID på kort, SEB Ubuntu 10.04, 32-bitar.
20120217
The CSE department announces a position as Professor in Formal Methods
20120217
DSLs in the real world - blog post about the upcoming EclipseCon 2012
20120130
Tydlig (svensk) video-instruktion om att göra enkäter med Google Docs
20120125
Interesting projects: http://code.google.com/apis/gdata/ , http://code.google.com/p/google-docs-fs/
20120111
Links to many global models
20111228
Nice fusion examples
20111227
Useful read to understand Haskell / ghc / cabal install package problems
20111218
http://xkcd.com/976/
20111123
The portal page at GU for the Advanced Functional Programming course - linked here to help it gain strength in search results.
20111113
Read the FET call on 'science of global systems' - (in)directly generated from the GSDP project
20111113
Read the FET Proactive Intiative: Dynamics of Multi-Level Complex Systems (DyM-CS). I could be in a such application, but it is too late to pull at one.
20111111
Programming for kids
20111027
An interesting alternative Haskell mode for emacs
20111019
Interesting Science Code Manitesto about public access to scientific software.
20111006
Fyra lärare (+fyra till senare) erbjuds forskarutbildning på Chalmers!
20111003
Nice BSc thesis proposal: Water: en ersättning för Fire, baserad på versionshantering
20110924
Interesting read about increased female enrollment in CS
20110907
First commits to a public GitHub repository: the CSE-programme description (current draft)
20110905
Snart är nya vägen klar från Enånger till Hudiksvall
20110829
All the magic numbers in one place (ekonomi, administration: projektnummer, kostnadsställe, KST, ...)
20110826
Tünde is a member of the Young Academy of Sweden
20110825
Help your kids explore computing
20110822
Hänvisningskoder för Chalmers bordstelefoner
20110816
Welcomed new CSE students to Chalmers
20110811
Chalmers språkregler
20110729
Preliminary meeting schedule for IFIP WG 2.1: every 37 weeks, next meeting (#68) in Rome in Feb. 2012.
20110705
IFIP WG 2.1 (of which I am a member) now has a wikipedia page
20110629
Quite a nice piece of "Proof engineering": Relation-Algebraic Theories in Agda
20110612
Sibylle Schupp has announced a Ph.D. Position (Source-Code Analysis/Generic Libraries) in Hamburg
20110610
Learn programming in 10000 hours!
20110525
Interesting-looking workshop on Software Research and Climate Change
20110524
Chalmers ACM publication page
20110518
Geek feminism 1 and 2
20110513
To read: http://en.wikipedia.org/wiki/How_to_Solve_It
20110511
Läser igenom 2010/2011 års dtek-styrelsemötesprotokoll
20110511
Anyanyelvi tábor (Summer camp for Hungarian-speaking kids in Sweden.)
20110505
21 pages of FP exam in three hours
20110503
Science of Global Systems
20110501
Fun from "Cortègen": Save the environment - walk to work, Wheel in wheel
20110427
Att skriva rapporter med LaTeX
20110415
Chalmers library is experimenting with Publication profiles
20110411
Morality and temptation - a blog entry with commuting diagrams and generic functional programming.
20110401
Academic writing (Calvin and Hobbes)
20110324
Submitted Embedded Parser Generators to ICFP 2011
20110324
Interesting video about (physics) teaching: make sure to be explicit about false turns
20110317
Nice blog by Bob Harper
20110315
This looks like an interesting introductory course: Cyber Millenium
20110228
An overview of Open Access publishing and an even shorter version.
20110203
An interesting start-up company SkrivaPå using Haskell to implement enabling technology for contract signing.
20110129
Chalmers file server migration seems to have "double-encoded" all utf-8 file names. To fix it, use convmv -f UTF8 -t latin1 or similar.
20110128
LaTeX: mathtools.sty not found. Solution: sudo apt-get install texlive-latex3
20101220
Hard facts about white Christmas from SMHI - Gothenburg seems to have around one in three years
20101130
Fritz Henglein got the Hiperfit grant!
20101128
Theorems for Free! Parametricity for Dependent Types: work in progress by Bernardy, Jansson, Paterson
20101103
Interesting language: ATS combining a subset of C++ with a functional language + dependent types.
20101102
Stow your ghc versions
20101015
It turns out that cabal install bzlib (indirectly used by timberc) requires sudo apt-get install libbz2-dev
20101010
Interesting papers by Andy Pitts: Parametric polymorphism and operational equivalence and Polymorphism is Set Theoretic, Constructively
20100831
Computer Sweden rapporterar om Funktionell Programmerings frammarsch
20100830
Finally got time to set up eduroam properly following these instructions including copying this file: remote12.chalmers.se:/etc/pki/tls/cert.pem.
20100820
Climate change - computer model
20100816
Type checking with type families makes my head hurt. I need (optional) explicit type application in Haskell (like foo<Bar>(x) in C++).
20100813
Interesting combination: SE and Martin-Löf type theory
20100810
Installing some Haskell software
20100629
Interesting read about HPC and programming languages
20100629
Read the new five-year plan for Chalmers (related documents)
20100213
I wish more people would use the international date standard!
20100212
Installed Ubuntu Netbook Remix 9.10 for the second time (on Sony Vaio X11S1E this time). The graphics driver needs these instructions including the mem=2000MB.
20091222
the-year-in-haskell/ and a nice Haskell tutorial
20091221
PhD comics - note the emergency button below the strip!
20091217
Ponty vagy Pinty = Karp eller Fink
20091204
Why do machine-oriented programmers confuse Halloween and Christmas? Because oct 31 = dec 25.
20091201
Teacher pages about MSc theses
20091127
Chalmers is advertising a 4-year position as assistant professor in the broad field of Information and Communication Technology. The position comes with funding for a PhD student and there are possibilities for a tenure. Information and ad can be found at http://www.chalmers.se/advance and the department can be found at http://www.chalmers.se/cse/EN/. If you have further questions please contact the head of department Catarina Coquand, catarina.coquand@chalmers.se.
20091119
Arguments in favour of Advanved Functional Programming: Curiosity --- math meets machine, widely applicable (Climate Modelling, Banking, Telecom, ...), Industry wants FP experts, Gothenburg is _the place_ for FP! Haskell Platform downloads, Eric's amazing Channel9 viewing figures. Higher-order functions in Visual Basic, monads in F#...
20091107
Nice summary of Lord of the Rings at xkcd Movie Narrative Charts
20091103
Setting up JPB's lic.
20091031
<a href="http://jansson.homelinux.com/julia/">Julias första egna hemsida</a>
20091030
Celebrating a new Putting FP to Work Using DSLs grant
20091023
Read about Seemingly impossible functional programs
20091011
Read about multi-core Haskell
20090930
A nice verification project (using Haskell models and a C implementation of an OS micro-kernel) http://ertos.nicta.com.au/research/l4.verified/
20090922
Engrish for a smile or two http://www.engrish.com/2005/10/help-oneself/, http://www.engrish.com/2007/10/are-you-smiling/, http://www.engrish.com/2002/12/cafeteria-sign/, http://www.engrish.com/2008/04/i-wash-it-in-what/,
20090827
Haskell catching a math error
20090713
Learned more about WALL-E - Erik's favourite film
20090710
Fixade droppande Mora-kran enl. denna tydliga instruktion.
20090703
http://www.engineergirl.org/
20090614
Haskell for Maths looks fun.
20090611
Wouter Swierstra talks about Chalk
20090506
Avhandling om skogskanter
20090504
Read about Debugging template metaprogramming
20090427
Read about Haskabelle fun
20090421
Large increase in applicants to engineering education
20090324
Talking to Don Syme about F#
20090323
Upgraded to OpenOffice 3 on my Ubuntu 8.10 laptop
20090319
Läser fakultetsrådets protokoll för Januari (med intressant presentation om karriärvägar och de strategiska ansökningarna) och Februari (med diskussion om grundutbildningsekonomi med små kurser, lärarutbildning mm.).
20090314
BioHaskell by Ketil Malde (Haskell libs for bioinformatics)
20090225
Haskell Style Guide
20090217
Some polytypic links what is, copy of GP from wikipedia?, recent W. Cook talk, "The evolution of a Haskell programmer", some comment, LtU on reflection, Bootstrapping cabal-install, POPL impact list (I think), some LtU comment
20090217
Chalmers email sub-domain clean-up information: http://www.chalmers.se/its/SV/epostinfo
20090216
Swedish spell-checking in emacs
  sudo apt-get install aspell-sv
20090211
Reading about Wikipedia:Non-Uniform Memory Access,Wikipedia:Cache only memory architecture, Wikipedia:Symmetric multiprocessing, Wikipedia:Asymmetric multiprocessing, Wikipedia:Grand Challenge problem, http://www.gridipedia.eu/, Taverna, Scientific wokrflow software OMII BPLE, Wikipedia:Folding@Home > 4 petaFLOPS!, Wikipedia:BEinGRID EU-project for business applications of GRID-computing, Wikipedia:Enabling Grids for E-sciencE, Wikipedia:NorduGrid developing the middleware ARC, Wikipedia:EUFORIA project, Wikipedia:Advanced Resource Connector middleware, Wikipedia:Globus Toolkit, Compare Grids and clouds, http://www.gridcafe.org/, Wikipedia:LAPACK, Wikipedia:OpenMP - an API for multi-threaded, shared memory parallelism, Wikipedia:GROMACS - a molecular dynamics simulation package, Enabling Grids for E-science, Wikipedia:KnowARC, Wikipedia:Open Grid Forum, http://www.swegrid.se/
20090210
Reading about Wikipedia:Grid computing, BOINC
20090203
Problem with cabal install haddock solved by
  sudo aptitude install libedit-dev
20090203
Students may be interested in an FP summer project
20090127
Mitt första möte som del av fakultetsrådet: http://document.chalmers.se/doc/937111484
20081210
Swedish hyphenation in LaTeX (texlive): sudo apt-get install texlive-lang-swedish
20081209
New mobile phone number: 07-6369-4349
20081206
Reading: Some numerics in Haskell: http://www.hmatrix.googlepages.com/, a Haskell IDE http://leksah.org/, associated types, and a Haskell Cheat Sheet
20081205
http://haskell.org/asn1/
20081205
http://comonad.com/haskell/category-extras/
20081205
Towards Haskell to FPGA compilation: http://www.cs.york.ac.uk/~mfn/reduceron2/
20081205
A new journal is started by Peter Apell: Chalmers Open Journal of Student Research (CHOJS) (vice rektor decision)
20081127
Moved my old web pages from cs to cse and added a redirect. Copied all the files and directories from the old site to the new (using rsync --archive --progress). Created a file .htaccess in the top level directory of the old site (/deprecated/cs/homepages/patrikj - do chmod a+r as well) with the following content:
RewriteEngine On

RewriteCond %{HTTP_HOST} ^.*cs\.chalmers\.se$ [NC]
RewriteRule ^(.*)$ http://www.cse.chalmers.se/~patrikj/$1 [R=301,L]
20081119
cabal install pandoc - a nice program to convert from markdown (almost plain text) to more structured formats (like HTML, LaTeX, .....). The ubuntu version is "old" (Jan 2008) so apt-get install pandoc did not provide the features I needed (code blocks in particular).
20081117
sudo apt-get install texlive-publishers
20081110
Educate yourself: http://www.gapminder.org/ has amazing visualisations of world development statistics
20081027
lhs2TeX-1.14 with Agda support (http://people.cs.uu.nl/andres/lhs2tex/Agda.html)
20081022
Thomas Arts is lobbying for software in Sweden: http://swedsoft.se/
20081009
Where should repos be stored locally? Is cvs.coverproject.org:/usr/local/CVS really a stable place?
20081009
http://www.kth.se/ingenjorsutbildningarna/program.html
20081009
C3SE: http://www.c3se.chalmers.se/index.php/Main_Page
20080709
Useful keybindings when using NX client for remote desktop work: (from NoMachine via this blog)
  • Ctrl + Alt + M to minimize or maximize fullscreen window
  • Ctrl+Alt+Shift+Esc to get rid of a not responding session
  • Ctrl + Alt + T to terminate a session
  • Ctrl + Alt + F to switch to fullscreen/windowed
  • Ctrl + Alt + arrow keys to viewport navigation
  • Ctrl + Alt + keypad arrow keys to viewport navigation
  • Ctrl + Alt + R to switch “auto-resize/viewport” mode.
  • Ctrl + Alt + E to toggle the lazy encoding
  • Ctrl + Alt + J to fix a visualization problem
  • Alt + F4 when the window manager is present, suspend or terminate a session
20080621
Finally got bidirectional access to GCal from Thunderbird + Lightning + Provider. The "New Calendar" menu entry was greyed out. After some searching I found the following discussion explaining that an "old" version of c++ is needef _before installing_ lightning. On my ubuntu 8.04 system this was the missing command:
  sudo apt-get install libstdc++5

followed by a reinstall of the provider and lightning (0.8) plugins.

20080529
The JFP LaTeX style file imports "epsf.sty" which was missing in my Ubuntu texlive setup. Problem solved by adding this package:
  sudo apt-get install texlive-generic-recommended
20080123
Läser D-programmets alumniundersökning 2007: http://www.chalmers.se/sections/ar_student/programhemsidor/datateknik_180_200_p/o/enkatresultat . Det vore bra att utnyttja "kontakten" med dessa alumner för att göra intervjuer för rekryteringsmaterial.
20080112
Mina första erfarenheter med wikin - skapar ett par toppnivåsidor och ger läsrättigheter till alla på Site.SideBar (den var blank annars).

Some old travel:

  • 2012-05-17/18: Vacation / working at home

...

Edit - History - Print - Recent Changes - Search
Page last modified on April 10, 2014, at 08:34 AM