flostk · HackerTrans

2 năm trướcdiscuss

In this interview Mike Clark from AMD explains that a little, search for "third scheduler":

https://chipsandcheese.com/2024/07/15/a-video-interview-with...

The way I understand it, it's a combination of a unified scheduler for floating point being difficult to implement because many FP instructions need multiple cycles, and FP code being more regular in practice, so you don't need the scheduler to be as powerful.

flostk

2 năm trướcdiscuss

    Location: Philadelphia, PA, USA
    Remote: yes
    Willing to relocate: no
    Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA
    Email: [email protected]

Website: https://florianstecker.net

Résumé/CV: https://florianstecker.net/resume-hn.pdf

I'm a mathematics researcher with software development experience, particularly in systems level programming on Linux. For the last five years, I was a math professor (postdoc at UT Austin and Florida State University), but now I want to switch to software engineering. As a mathematician, I'm used to independently solving difficult, often vaguely defined problems, and I really enjoy diving deep into some technical topic and learning lots of new things on the way.

Hence I'm most excited to work on software engineering problems with challenging technical/algorithmic aspects or performance/resource constraints, for example compilers, high performance computing, GPU computing, embedded systems, computer algebra, cryptography, formal verification, symbolic execution, computer security, etc. But I'm open for any opportunity where my skills could be useful!

flostk

2 năm trướcdiscuss

I'm sure this also depends a lot on the field within mathematics. Areas like mathematical logic or algebra have a pretty formal style anyway, so it's comparatively less effort to translate proofs to lean. I would expect more people from these areas to use proof checkers than say from low-dimensional topology, which has a more "intuitive" style. Of course by "intuitive" I don't mean it's any less rigorous. But a picture proof of some homotopy equivalence is just much harder to translate to something lean can understand than some sequence of inequalities. To add a data point, I'm in geometry/topology and I've never seen or heard of anyone who uses this stuff (so far).

flostk

2 năm trướcdiscuss

    Location: Philadelphia, PA, USA
    Remote: yes
    Willing to relocate: no
    Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA
    Email: [email protected]

Website: https://florianstecker.net

Résumé/CV: https://florianstecker.net/resume-hn.pdf

I'm a mathematician with software development experience, particularly in systems level programming on Linux. I have been programming for 20+ years, as a hobby and as part of my work, recently mostly building computer experiments for math research (see my website). I've worked as a professor (postdoc at UT Austin and Florida State University) for the last few years, but I want to switch from academia to industry. As a math researcher, I'm used to solving hard problems without established solutions, and I enjoy learning new things every day.

I'm most interested to work on software engineering with challenging technical/algorithmic aspects or performance/resource constraints, for example: compilers, high performance computing, GPU computing, embedded systems, computer algebra, cryptography, formal verification, symbolic execution, computer security, etc. But I'm open for any opportunity where my skills could be useful!

flostk

2 năm trướcdiscuss

    Location: Philadelphia, PA, USA
    Remote: yes
    Willing to relocate: no
    Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, Haskell, CUDA
    Email: [email protected]

Website: https://florianstecker.net

Résumé/CV: https://florianstecker.net/resume.pdf

After I got my PhD in math, I've worked as a university professor (postdoc) for a few years, but now I want to switch from academia to software engineering or related fields. I have 20+ years of coding experience (as part of my job and as a hobby), particularly systems level programming in Linux.

As a math researcher, I'm used to solving hard problems without established solutions, and I enjoy learning new things every day. I'm open for any opportunity where my skills can be useful. Examples I have in mind are working on compilers, high-performance computing, or machine learning (both on the math/statistics side and the algorithms/optimization side), but I'm also happy to hear about anything else!

flostk

2 năm trướcdiscuss

    Location: Tallahassee, FL, USA
    Remote: yes
    Willing to relocate: no, but can travel occasionally
    Technologies: Rust, C/C++, Python, Linux, machine learning
    Email: [email protected]

Website: https://florianstecker.net

Résumé/CV: https://florianstecker.net/resume.pdf

I'm a math professor (postdoc) at Florida State University, and software developer with 20+ years coding experience (as a hobby and as part of my job). I'm looking to transition from academia to a job in software engineering or related fields.

As a mathematician, I'm used to solving hard problems without established solutions, and I enjoy learning new skills. While I'm open to almost anything, I'm particularly excited about work where my math background is useful, like machine learning, data science, quantum computing, or which has an interesting algorithms or performance aspect, like compilers, high-performance computing etc.

comments