patrikja

patrikja, 2 months ago to random

Please consider submitting to the Workshop on Type-Driven Development (TyDe). Submission deadline 2024-05-27, workshop 2024-09-06 in Milan, Italy. https://icfp24.sigplan.org/home/tyde-2024#Call-for-Papers
Org. by Sandra Alves and @jesper

patrikja, 2 months ago to random

I will give a research talk today (Friday, the 1st of March) at 11:00 (CET = UTC+1) in our local Functional Programming research group seminar.

There is a Zoom link for the stream which should hopefully work: https://chalmers.zoom.us/j/65586341322 (Password: f,p.t:a;l,k without the punctuation).

Title: Tensors DSLs and Curved Space-Time

Abstract:
Tensor calculus uses a terse but effective language for expressing physical laws. It was instrumental already a century ago in the formulation of Einstein's general relativity, and its usage has spread to many areas of science. We use category theory, linear types, and algebraic simplifications to implement two tensor DSLs embedded in Haskell, and the conversions between them. We also provide helper functions to view the tensors in Einstein index notation and as diagrams. As an example we express Einstein's General Relativity equation for the curvature of space-time and verify that the Schwarzschild metric tensor is a solution.

Paper on arXiv: https://arxiv.org/abs/2312.02664

patrikja, 3 months ago to random

Come and do a PhD with us!
https://www.chalmers.se/en/about-chalmers/work-with-us/vacancies/?rmpage=job&rmjob=12588&rmlang=UK
Five PhD Positions @CSE in Gothenburg. The topics covered include program synthesis, functional programming, cubical type theory, correctness-by-design, and much more. (In total ~20 topics, out of which 5 will be filled with the best applicants.)
Application deadline: 2024-04-15

franco_vazza, 5 months ago (edited 5 months ago) to Astronomy

The Universe is full of stars!

By extrapolating some numbers based on local measurements, we can guess there are about 1e12-1e13 galaxies just in the observable part of our Universe, for a total of at least~1e24 stars.

When did the Universe form them? How well do we know?

Here is an #AstrophysicsFactlet about this.

#astronomy #astrodon #astronomia

patrikja, 6 months ago to haskell

The local season for writing MSc thesis project proposal is here and I have formulated a few ideas for students to start from. They are posted in Chalmers' "MSc thesis portal" and linked from here:
https://patrikja.owlstown.net/posts/1968-msc-thesis-proposals

In short, if you want to come to Gothenburg and work with #Agda or #Haskell in relation to some of my research interests, do get in touch.

patrikja, 8 months ago to random

I'm planning a MSc/PhD course on "Functional Programming and Climate Impact Research" - see
https://github.com/DSLsofMath/FPClimate

and I'd like to find out who would be interested in it. I could do it either in Nov-Dec 2023 or Mar-May 2024 depending on the response from potential students (mainly for local PhD students, but could perhaps by on zoom as well).

Please get in touch by 2023-10-02 if you think this would be a good fit for you.

/P

patrikja, 8 months ago to haskell

Another talk from "home":
HasTEE: Programming Trusted Execution Environments with Haskell
Abhiroop Sarkar Chalmers University of Technology, Robert Krook Chalmers University of Technology, Sweden, Alejandro Russo Chalmers University of Technology, Sweden, Koen Claessen Chalmers University of Technology
#icfp week #Haskell 2023

HasTEE top level architecture
Abhiroop Sarkar Chalmers University of Technology

patrikja, 8 months ago to random

#icfp 2023 keynote on
TypeScript: Static types for JavaScript
Anders Hejlsberg Microsoft https://youtube.com/live/d0zFruedB-w?si=9JAxPYvF2J1R6QKS

patrikja, 8 months ago to haskell

ICFP'23 week started - here is the #Haskell Implementor's Workshop livestream https://www.youtube.com/watch?v=MZxLegtkUlk&list=PLyrlk8Xaylp7Ea-Zu98G_VuxGtUnK_jB8&index=5

patrikja, 9 months ago to random

For anyone interested, I have now posted the questions and suggested solutions to the August re-exam for the course "Domain-Specific Languages of Mathematics" on github:
https://github.com/DSLsofMath/DSLsofMath/tree/master/Exam/2023-08

The course book source code is also available in the same repository and physical copies can be bought from Amazon and other book-sellers.

• Main repo: https://github.com/DSLsofMath/DSLsofMath

• Publisher homepage for the book:
  https://www.collegepublications.co.uk/computing/?00024

• Amazon.com page for the book:
  https://www.amazon.com/Domain-Specific-Languages-Mathematics-Patrik-Jansson/dp/184890388X/

patrikja, 9 months ago to haskell

Hi, I'm Patrik Jansson, professor in the FP group at Chalmers. I just moved here from types.pl following some of my friends and colleagues.

Here is the text from my Profile:

Computer scientist, #Haskell hacker, catalyst of research ideas, likes to connect the big picture with formal details, software & language technology advocate.
Have worked on Domain-Specific Languages of Mathematics, #Agda, Climate Impact Research, Parametricity for Dependent Types, Testing, Parsing, polytypic programming, ...

More about me and my work can be found on my homepage: patrikja.owlstown.net/