I really like papers about type systems or programming languages, recently I read Extensible Records with Scoped Labels which is really good (I actually made it the basis of my bachelors thesis).
As a side note (and a shameless plug :D), together with a few fellow students, I co-authored a paper about the control software of our satellite that will launch in 11 days! The paper was presented an published at EUCASS
30+ years of tech, retired from an identity intelligence company, now part-time with an insurance broker.
Dev community mod - mostly light gardening & weeding out spam :)
I really like papers about type systems or programming languages, recently I read Extensible Records with Scoped Labels which is really good (I actually made it the basis of my bachelors thesis).
As a side note (and a shameless plug :D), together with a few fellow students, I co-authored a paper about the control software of our satellite that will launch in 11 days! The paper was presented an published at EUCASS
waves hello fellow satellite engineer :)
I'm going to vote for Distributed Systems and Gamification, I used to work with a research team in BT looking at massive scale online games..