I wrote up the behind-the-scenes story of "c2rust", a newly-released piece of software from my former employer, which people have been asking me about since it's quite similar to my own "Corrode" project. tl;dr: I have mixed feelings about it. https://jamey.thesharps.us/2018/06/30/c2rust-vs-corrode/
@jamey thanks for writing this. Lots to think about.
@sajith I mean, I'd already worked for Galois as an employee for two years, largely on the DARPA-funded https://smaccmpilot.org/ project, so I kind of knew how it worked. And frankly I think that, _in principle_, federally funded organizations like NSF are a pretty good idea. Even the departments of Defense and of Homeland Security, which I don't like on principle, fund a lot of work I like. It just sucked to try to deal with the behemoth as an individual.
@jamey I think I understand that, to some extent. The project I am working on is funded by Department of Energy. My PI seems to have lost most of his hair over the years. :-)
Also, I am currently reading Milton Friedman's "Free to Choose". I don't have strong opinions yet, but I wonder if he has ideas about how to fund science and engineering work that is important but may not be immediately profitable. Guess I'll see.
I've heard of Ivory. I know acoltzer from my time at Indiana University!
@sajith Oh, awesome! Adam is a wonderful human being and one of the many people I met at Galois who I'm glad I've kept in touch with since I left.
I'm always curious about alternative ways to support public-benefit work, but not usually curious enough to actually read a book. 😅 If you find something interesting I'd love to hear about it!
@jamey Adam is great! He was a TA when I took Dan Friedman's PL Principles class (I sucked in it), and I contributed a perf. table to his ICFP paper and became a co-author (unfairly IMO). :-)
Since Milton Friedman is the archetypal free-market conservative, I doubt he'll have ideas on this, but I want to know. Another book I read ("Glass House", by Brian Alexander) lays the blame for industrial America's decline on Friedman's and Ronald Reagan's doorsteps, which is why I'm reading this book.