You can use C-Reduce with any language
https://bernsteinbear.com/blog/creduce/
@tekknolagi it's weird how this works. something something about syntax.
@tekknolagi but please also try David MacIver's shrinkray, it's spookily good at formats that C-Reduce is not good at
@regehr @tekknolagi for python in particular it's not that spooky that it's good because there are a lot of python specific passes in it.
But yeah the generic passes work better than they have any right to.
@DRMacIver @tekknolagi what's up, David? have not heard much from you lately. would be awesome to catch up. I have no plans to visit the UK but would love to
@regehr Hello! Things are going OK. I've been a bit busy with a contract and generically winter ill (and depressed about politics) so I've not been doing much visible recently.
It would indeed be great to catch up. Fancy a video call some time?
@DRMacIver that would be fun! maybe in a few weeks once I'm out from under the semester? also over winter break I'm pretty free until about Jan 5
@regehr Yup, in a few weeks sounds good.
Also how are things with you? What have you been up to?
@DRMacIver just the same old stuff-- trying to spend more time with students and doing research and less time getting money and doing administrative work
@regehr @DRMacIver The eternal struggle.
@DRMacIver We've been missing you too! Hope you feel better soon