mastodon 4.8.0-alpha.2+glitchSenior Lecturer at ANU School of Computing, Ngunnawal/Ngambri Country. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
English, 한국어, 日本語, Lingva Latina
No AI-generated content, please.
A few weeks ago, I postulated several conjectures, and my PhD student thought about them and came up with proofs or counterexamples for each of them. I was overjoyed and excited for our future work together.
I imagine a scenario where instead I had asked a chatbot to prove the theorems for me. Even if it did prove the theorems (extreme doubt), I think getting such a proof wouldn't have made me feel anything. No one's achieved anything.
I quite enjoy reading the weeknotes from @byorgey@mathstodon.xyz and @jonmsterling@mathstodon.xyz. Even though my research doesn't really overlap with theirs, it's nice to read people's thoughts and reflections in a format which is more considered and interesting than microblogging or social media. Has anyone else started weeknoting?
Feeling pretty devastated. The vast majority of my first year students failed their second midsem test, with over half of the submissions having compile errors. This is for a _second_ programming course, where they're given and recommended to use IntelliJ. I'm racking my brain to see if I could have done anything differently. I don't think the test had too little time, it took tutors 25 minutes to complete (100%) and I gave the students 90 minutes. I gave them a practice exam that was the same format and structure (and very similar content) to the actual exam. I gave them homework exercises that are for nominal marks but primarily designed for programming practice and nearly half of the students have never even forked the repo to start homework 1, which came out 10 weeks ago. My class of over 100 students gets lecture attendance of around 10.
Why do I even bother?
I got really pissed off at news coverage about the British heatwave. This is record-breaking summer temperatures *in May*, and I see reporting like how everyone was happy to be going to the pool or the beach and enjoying the "sunny weather". Stop. This is endangering people and not adequately educating the public on how to deal with this. British people are not properly educated about hot weather and sun dangers, and this kind of reporting will claim lives.
RE: @liamoc@types.pl
I can gladly retract this call for assistance, my student is absolutely brilliant and has solved the problem and proved her theorem in Isabelle/HOL!
I'm very blessed that my students are smarter than I am.
My ult. rant is prompted by academics saying that the reason they train students rather than just do research themselves with claude doing all the legwork is that there's value in the apprenticeship, in training a person. To me that's a bad argument because it presupposes both that we should be prioritising efficiency above all else (definite disagree) and that working with AI is more efficient in the long run than working with a student (also disagree but falsifiable)
I want to like the Vivaldi browser, because their project has worthy goals and they promote lots of good things like RSS and mastodon, but their UI is just a mess.
Does anyone who follow me have strong expertise in descriptive set theory and topology? My student and I are stumped by a fairly particular problem.
RE: @marioguzman@mastodon.social
I'm glad. I can probably just skip 26 and go straight to 27
Another one bites the dust.
Come and hear me sing with a great Canberra chamber choir.