🦞🌯 Lobster Roll

Stories by lenary

Type Driven Development with Idris (Edwin Brady's Book) is finished! (twitter.com)
What are you working on this week?
It's Monday, and I wanted to post in this thread, but it wasn't up yet, so I decided to make it so. Please share links and tell us about your current project. Do you need feedback, proofreading, collaborators?
Read any good Books in the last year?
I find I do around 90% of my fiction reading around Christmas and New Year (mostly because I get days to just read, nothing else; and also because people give me books), so usually have quite a queue. Right now it seems a bit empty though. So I thought I'd ask what are some good books people have...
What do I do when a colleague is taking all the credit for my work?
I have an issue at the moment where one of my colleagues is taking all the credit for work they had little to no part in, and I worked hard on for a long time. Until now I've just let it slide, but I definitely feel this hasn't been the right approach. I don't mind getting confrontational, but I'...
The 8-Byte Two-Step (zinascii.com)
Interview with Authors of Paper awarded POPL 2019 Most Influential Paper (research.fb.com)
SIGBOVIK 2015 Procceedings are Available (sigbovik.org)