TheZoq2

@thezoq2
692 Followers
289 Following
3K Posts
Developing http://spade-lang.org, https://surfer-project.org/ and other fun stuff in Rust. PhD from Linköping university, now working as a post doc at Hochschule München
Gitlabhttps://gitlab.com/thezoq2
Pronounshe/him
Websitefransskarman.com
Matrix@thezoq2:matrix.org
@byorgey I just wanted you to know that I read http://ozark.hendrix.edu/~yorgey/forest/00FD/index.xml out loud to my students today at the end of the last day of my PL course, and several of them told me that it spoke to them. Thank you (again) for putting it into words.

behold, the jpeg shader

#niri

time for another photography thread! Have been taking plenty photos again, lots of architectural and illusive shots, enjoy!

bridge to the skies #photography

Someone who is good at commputer help me budget this

From our friends at Sydney Metro.

Stop using anti-train language.

#MetroTrains

The big insight I finally had to make this happen is that while it takes a second or two to compile projects from scratch, almost all of that time is spent inside unit bodies.

For the LSP, we only need to compile unit heads apart from the unit that is currently being written. So now I can mostly keep clean building projects and still have a responsive LSP without caching or something 

I've been dreading adding completion to the Spade LSP for like a year because I thought it'd be hard

Turns out it wasn't, this is after a day's work

The past years have seen horrendous attacks towards trans people. We have a duty to protect the most vulnerable members of our communities.

There is no #Haskell without the trans people who have shaped it through the years.

This June is a month of celebrations, but the struggle continues. ✊🏳️‍⚧️λ

@Cheesylorry Probably relevant to you :)