Viewing profile — b9r5

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 …

I think Laser Maze is a lot of fun. https://www.thinkfun.com/products/laser-maze/

I thought this post was fun: https://blog.codeminer42.com/overcoming-challenges-and-craft...

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 scient…

Agreed. Just trying to help OP, who also appears to be young ("I graduated with a CS bachelors degree a few years 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, …

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 …

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 unfortun…