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…
Location: Philadelphia, PA, USA Remote: yes Willing to relocate: no Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA Email: m24@florianstecker.net Website: https://florianstecker.net…
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…
Location: Philadelphia, PA, USA Remote: yes Willing to relocate: no Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, Haskell, CUDA Email: m24@florianstecker.net Website:…
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: no, but can travel occasionally Technologies: Rust, C/C++, Python, Linux, machine learning Email: m24@florianstecker.net Website:…
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: no, but can travel occasionally Technologies: Linux, C/C++, Rust, Python Email: m23@florianstecker.net Website: https://florianstecker.net Résumé/CV:…
That's just saying git doesn't connect to the internet (or whereever the remote is) to check for updates without you explicitly telling it to. I think that's a desirable property, though the message could be clearer.
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: maybe Technologies: Linux, C/C++, Rust, Python (scientific & ML) Résumé/CV: https://florianstecker.net/resume.pdf Email: m23@florianstecker.net Website:…
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…
Location: Philadelphia, PA, USA Remote: yes Willing to relocate: no Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA Email: m24@florianstecker.net Website: https://florianstecker.net…
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…
Location: Philadelphia, PA, USA Remote: yes Willing to relocate: no Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, CUDA Email: m24@florianstecker.net Website: https://florianstecker.net…
Location: Philadelphia, PA, USA Remote: yes Willing to relocate: no Technologies: C/C++, Rust, Python (incl. Numpy, Tensorflow, Pytorch), Linux, Haskell, CUDA Email: m24@florianstecker.net Website:…
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: no, but can travel occasionally Technologies: Rust, C/C++, Python, Linux, machine learning Email: m24@florianstecker.net Website:…
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: no, but can travel occasionally Technologies: Linux, C/C++, Rust, Python Email: m23@florianstecker.net Website: https://florianstecker.net Résumé/CV:…
That's just saying git doesn't connect to the internet (or whereever the remote is) to check for updates without you explicitly telling it to. I think that's a desirable property, though the message could be clearer.
Location: Tallahassee, FL, USA Remote: yes Willing to relocate: maybe Technologies: Linux, C/C++, Rust, Python (scientific & ML) Résumé/CV: https://florianstecker.net/resume.pdf Email: m23@florianstecker.net Website:…