Elias Castegren

269 posts

Elias Castegren

Elias Castegren

@CartesianGlee

Researcher by day; jazz musician by night (he/him)

Uppsala, Sverige Katılım Temmuz 2017
144 Takip Edilen92 Takipçiler
Elias Castegren retweetledi
Eva Darulova
Eva Darulova@malyzajko·
Open PhD position in PL (lots of type opportunities) with Tobias Wrigstad at Uppsala University: jobb.uu.se/details/?posit…
English
0
3
8
1.6K
Elias Castegren
Elias Castegren@CartesianGlee·
This was my burger wrapper today. The actual text is… weird…
Elias Castegren tweet media
English
0
0
0
125
Elias Castegren retweetledi
Alex Boruch-Gruszecki
Alex Boruch-Gruszecki@abgruszecki·
8 days left until the July 12th IWACO deadline! Calling all wackos interested in Aliasing, Capabilities, Ownership: submit your papers!
English
0
2
4
1.4K
Dani ✨🐚
Dani ✨🐚@starsandspirals·
huge thanks to everyone who came to my talk! and thanks to all the attendees, speakers and organisers for making the conference a great experience - this was my first Lambda Days but hopefully it won't be the last 😄 these slides are now available here: starsandspira.ls/docs/ld23-slid…
Dani ✨🐚@starsandspirals

putting the final touches on my @LambdaDays slides! come along at 3:30pm on Tuesday (or watch the video later!) for a whirlwind tour of linearity, uniqueness, ownership and borrowing, and to find out about a framework of graded types expressive enough to accommodate them all 💙

English
1
6
19
3.3K
Jonathan Müller
Jonathan Müller@foonathan·
What's a good name for a hash table that supports only insert and lookup but no erase?
English
70
0
30
21.1K
Elias Castegren
Elias Castegren@CartesianGlee·
Current state of writing
Elias Castegren tweet media
English
1
1
7
1.3K
Elias Castegren
Elias Castegren@CartesianGlee·
@JAldrichPL In English, I go with the autobiography of one of the Animaniacs: "I, Wakko". In Swedish I would go for something more like "ih-wha-co", with the accent on the "wha". I also like mirroring "Idaho". There are many possibilities (much like at the workshop!)
English
1
0
2
59
Jonathan Aldrich
Jonathan Aldrich@JAldrichPL·
Submit to IWACO'23...the latest in one of my favorite workshop series! And no, I don't know how to pronounce the name either, but the people are great and the interactions are always lively!
Alex Boruch-Gruszecki@abgruszecki

Interested in Aliasing? Capabilities? Ownership? Already working on a problem, or just have an insight to share? Lucky you: the CfP for IWACO'23 is out! #SPLASH23 We accept papers on work-in-progress, novel ideas and open questions. Find out more: #Call-for-Papers" target="_blank" rel="nofollow noopener">2023.splashcon.org/home/iwaco-202…

English
2
1
5
1.3K
Elias Castegren
Elias Castegren@CartesianGlee·
Holy aliasing control, Batman! IWACO is back! This is a great venue for discussing all things aliasing, capabilities and ownership. Borrowing? We’ve got you covered! Fractional permissions? Any time of the day! Maybe something completely new? Welcome to submit before 12 July!
Alex Boruch-Gruszecki@abgruszecki

Interested in Aliasing? Capabilities? Ownership? Already working on a problem, or just have an insight to share? Lucky you: the CfP for IWACO'23 is out! #SPLASH23 We accept papers on work-in-progress, novel ideas and open questions. Find out more: #Call-for-Papers" target="_blank" rel="nofollow noopener">2023.splashcon.org/home/iwaco-202…

English
0
2
5
1.9K
Elias Castegren
Elias Castegren@CartesianGlee·
@_foxandsheep My three-year old managed to derail your train somehow… Sorry about that!
Elias Castegren tweet media
English
0
0
0
22
Elias Castegren
Elias Castegren@CartesianGlee·
I would love to teach them some Coq or Isabelle, but for a 5 credit undergrad course there is only so much you can cram in there. I’m looking to keep the overhead low.
English
0
0
0
83
Elias Castegren
Elias Castegren@CartesianGlee·
Hey PL Twitter! I’m teaching a course on semantics next semester. Does anyone know an easy-to-use tool for playing around with operational semantics? I’m thinking stuff like building derivation trees using a set of inference rules. Doesn’t need to do induction or anything fancy.
English
3
0
0
233
Elias Castegren
Elias Castegren@CartesianGlee·
I wonder if they serve nasal demons?
Elias Castegren tweet media
English
0
0
1
95
Jules Jacobs
Jules Jacobs@JulesJacobs5·
Are there any compilers courses where you build a compiler for the language that you write your compiler in?
English
14
0
28
4.9K
Elias Castegren
Elias Castegren@CartesianGlee·
@afd_icl My goto example for explaining complexity is putting socks in a washing machine (linear time) vs. pairing them up afterwards (quadratic). Doubling the number of socks doubles and quadruples time taken. Maybe not the most compelling example for a 14 year old though :)
English
1
0
4
286
Alastair Donaldson
Alastair Donaldson@afd_icl·
I have signed up to give a talk about algorithms and complexity to high school kids - 14-16 year olds. Any suggestions for good examples to illustrate concepts to that age group - or even better examples of good talks online for that kind of audience? Thanks!
English
19
1
29
11.2K
Elias Castegren retweetledi
David Broman
David Broman@DavidKarlBroman·
Today my Ph.D. student Viktor Palmkvist made an excellent presentation of our paper on Statically Resolvably Ambiguity at POPL 2023 in Boston, popl23.sigplan.org. I'm really proud of the work and Viktor's results. See the open access version: doi.org/10.1145/3571251
English
0
2
3
280
Elias Castegren
Elias Castegren@CartesianGlee·
@JAldrichPL Thanks for recording it! I’m torn between tutorials and now I’m happy to know I won’t miss it completely.
English
0
0
1
13
Jonathan Aldrich
Jonathan Aldrich@JAldrichPL·
We will accommodate remote participants so if you can't make it to Boston, please join anyway! We'll record the tutorial too, but it's best live because we can walk you through the exercises and answer questions, plus we're integrating discussion with other educators throughout.
English
1
0
2
385
Jonathan Aldrich
Jonathan Aldrich@JAldrichPL·
Want to learn a proof assistant for PL? Want to teach PL with a proof assistant, but keep the learning curve gentle? Check out SASyLF (sasylf.org) at our Mon @poplconf'23 tutorial, "Using a Proof Assistant to Teach PL Theory, Without the Overhead." With @boylanduwm
English
1
4
31
9.8K
James Noble
James Noble@jameskjx·
Arrived @poplconf to give a tutorial tracing the history of Regions, Uniqueness & ownerShip Types etc. The biggest brochure is from Jane Street about their new type system that enables stack allocation in OCAML :-) Right Place, Right Time?
English
2
2
23
1.7K

Keşfet

@starsandspirals @sadisticsystems @foonathan @JAldrichPL @_foxandsheep @drossopoulou @JulesJacobs5 @christophkirsch