To those who are struggling with Microsoft's outlook, please give #mutt http://www.mutt.org/ a try. It works very well with outlook (beyond some configuration), has sane searching capabilities, and does exactly what you want it to do. I have been using it to survive email in #usyd.

A few important tips for folks running #mastodon instances (also for people who run their own microbloging instances like #ktistec) https://denise.dreamwidth.org/91757.html

Has any one gotten #chatGPT3 to do a literature survey correctly? It summarizes the research in many fields reasonably well, but it always makes up papers. I couldn't get it to cite even a single real paper.

I am at SPLASH (Auckland) today; If you are there and would like to meetup, please drop me a note.

For those in Australia, applying for #DECRA #ARCDECRA  NIT will be now assessed by the assessors!

https://www.arc.gov.au/news-publications/media/media-releases/simpler-national-interest-test-nit-statement-will-help-researchers

Should I use open or closed parenthesis in an inline list (1) like this or 2) like this? Is there any style guide on this? #english #writingstyle Does any one have any suggestions? 

/@seresearchers #seresearchers #ComputerScience #grammar

Does anyone know if there a solution to random sampling from an ambiguous context-free grammar without duplication in the derived strings (not the derivation trees)? or is this still an open problem?

/@seresearchers #seresearchers #ComputerScience #softwaretesting #typetheory

For the type theory folks out there, when contrasting between writing unit tests and providing type annotations, is there some thing in type annotations and type checking that correspond to coverage? and more specifically coverage adequacy?

Dear #fediverse #seresearchers /@seresearchers, I will be at ESEC/FSE 2022 Singapore from 14th November onwards. If you are there, please drop by.

/@seresearchers

My #introduction: I am a lecturer (Assistant Professor) working in Software Engineering at University of Sydney.  My focus is on Program Analysis, Automatic Repair, Mutation Analysis, Specification Mining, and Grammar Based Generators. I am also extremely interested in all Parsing techniques.

I am here to meet with other like minded researchers who are working in similar areas. If you are ever in Sydney, Australia, please ping me, and we will arrange a meet up.

#SoftwareEngineering
#seresearchers
#SE
#research
#ComputerScience

Finally, if you are looking to host your own instance for free, I have a write up here.