b9r5

10 ms·

1. 1.▲
   by b9r5 2y ago

   In a practical sense, hasn't type theory already replaced ZFC in the foundations of math? Lean is what working mathematicians currently use to formally prove theorems, and Lean is based on type theory rather than ZFC.
2. 2.▲
   by b9r5 3y ago

   I think Laser Maze is a lot of fun. https://www.thinkfun.com/products/laser-maze/
3. 3.▲
   by b9r5 3y ago

   I thought this post was fun: https://blog.codeminer42.com/overcoming-challenges-and-craft...
4. 4.▲
   by b9r5 4y ago

   Have you considered working at any of the national labs (LLNL, LANL, ORNL, etc.)? When I worked there I knew a lot of former armed forces members who had learned interesting scientific or technical specialties. It’s just an idea, in case it
5. 5.▲
   Blocky: Scratch Scrolling Platformer Creator(scratch.mit.edu)

   1 points by b9r5 5y ago|0 comments
6. 6.▲
   by b9r5 5y ago

   Agreed. Just trying to help OP, who also appears to be young ("I graduated with a CS bachelors degree a few years ago").
7. 7.▲
   by b9r5 5y ago

   I had a friend in grad school who entered the Ph.D. program after spending four years in industry. He was very passionate about his research area, persistent, a fountain of ideas, and wonderful to talk with. He ended up winning the ACM doct
8. 8.▲
   by b9r5 5y ago

   I don't think there is a clear-cut answer, but rather some pros and cons, which you're already weighing. I'll just pass on some helpful advice that I got, and some of the things I learned while doing a Ph.D. - A Ph.D. opens u
9. 9.▲
   by b9r5 5y ago

   One lab that regularly tests for heavy metals, albeit in dietary supplements rather than spices, is ConsumerLab [0]. Their detailed findings are behind a paywall, which is unfortunate, but probably necessary for them to provide the service.