I can't imagine what it feels like to be accepted to a PhD program, and then told my CS background is so weak that I have to essentially go take a first year course to learn the basics.
We have a few incoming PhD students in the PL group that did their undergrad here. Since we don't teach PL, and don't even really teach discrete math to our undergrads, they're having to do a lot of catch-up.
Right now we're helping them work through the first-year CS foundations course from Cambridge.
I would have more sympathy for the students that failed this exam if it seemed like they really tried.
No, the failing students answered nearly every question with irrelevant/nonsense answers, often clearly copy+pasted from the internet.
So 60-70 is considered a good score here in the UK. Only a few students are getting those kinds of scores, but I think even those scores really aren't equivalent to "A" work. I don't want to be like a weird CS elitist, I'm sure the students are trying and going through a lot, but like, how did they take the whole course and not learn how to fill out a truth table or remember what XOR is?
Just got my org-mode files syncing to my phone, to an Android task management app.
this server is now running on an 8GB Linode due to the generous support of our supporters on Patreon
also we have a Patreon now. it's https://patreon.com/typespl
announcement (boosts appreciated)
We're delighted to announce the HoTTEST Summer School, which will take place online everywhere in the world during the months of July and August 2022.
The school will run both synchronously and asynchronously. The lectures will be delivered live (between 2:30-4pm UTC) and paired with various tutorial sessions run by teaching assistants. The course will also feature a discord-based all-hours Q&A and an online archive of all course materials so that participants can follow along on their own schedule.
This school is for everyone and anyone with some familiarity with abstract mathematics or theoretical computer science and an itching to learn about homotopy type theory. Our goal is to make homotopy type theory accessible to, and inclusive of, everyone who is interested, regardless of cultural background, age, ability, formal education, ethnicity, gender identity, or expression. We believe HoTT is for everyone, and are committed to fostering a kind, inclusive environment.
Read more: https://groups.google.com/g/homotopytypetheory/c/Ir2joc7imyI
Join the Discord: https://discord.gg/tkhJ9zCGs9
I've been doing some background reading on program synthesis for a grant proposal, and I love this 1977 paper "A Methodology for LISP Program Construction from Examples"
This is the only book about Java that I own.
Lecturer in Computing, University of Kent. FP and compilers. Socialism is cool.
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.