I just read this [1] post, and I think we can do it at a big scale here at HN.
So, if you need any help with a project, a startup, or an idea, just post it here. Mention any details that might be required, and make sure to add contact details!
Let's see how we can get some good rolling here.
[1] http://tomcritchlow.com/post/82380207991/let-me-know-how-i-can-help
Help me out:
I just finished a PhD in math. Before that, I did a bunch of tech startups. I'm not staying in academia, nor am I looking for a job right away. Here's some of the things I'm thinking or would like to talk about:
- I haven't done much hacking in about 7 years. Loosely speaking, I'm looking to bring my new math/analytical skills to bear while renewing my technical skills.
- designing hardware. I've designed an built a few boards, know some Verilog, etc., but looking to increase my EE knowledge and design capability.
- building EDA tools, think learning "compilers for hardware".
- formal proof systems, HoTT, Coq, etc.
- learning some probability theory (something I never had to learn properly) with an eye, perhaps, towards finance.
How I can help:
- Math. I know some. My research is in topology, I'm not sure that would be of practical use to anyone (unless you're trying to learn topology).
- deep background in compilers, computer architecture, programming languages (co-founder of compiler/tools startup, bunch of patents, Fortune 500 acquisition)
- lots of tech startup experience, but I'm not sure I have anything special to add beyond what the larger HN community can offer.