I love the idea for this thread. Contact information in my profile.
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.
If you have any interests in road network routing (tons of interesting topological problems there) we might be able to help each other out. This is where about 90% of my time is spent.
As for interests, however...
Feel free to get in touch with me to talk EDA and EE stuff as well. I'm presently a bit fed up with EDA usability, and I'd love to discuss ideas for how to move low-cost EDA away from "mspaint" and toward REPL.
I'm also very interested in building a tight-loop GNSS/inertial navigation system from scratch using an RF front-end (MAX2769) and a 9DOF IMU on-a-chip. I believe all current DIY inertial nav projects like this use absolute position output from an off-the-shelf GPS. I think by including inertial information during the signal processing phase it's possible to get accurate and precise absolute and relative positioning.
Along those same lines, I think it'd be cool to try to build a single-station RTK GPS by measuring carrier phase across multiple GNSS systems/bands. I'm not 100% sure how to go about this however, but I have a feeling it involves a tunable multi-band receiver or multiple single-band receivers feeding into an FPGA.
A random thought on this - would topology encompass, say, better ways to unwrap 3D models / project textures onto said models? If so, various 3D / gamedev people might be interested in talking to you...
I don't know! Systems where there are rigid notions of angle, distance and position are generally thought to be geometric, not topological. However, often a topological viewpoint can be useful even in solving geometric problems, e.g. circuit autorouting. What are the outstanding problems in unwrapping 3d models (I have no idea what that is) / texture projection?
cottonseed -- do you have a dummy email address at which I can contact you? I work for a startup that leverages topology for data analysis, and we are hiring.
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.