flostk

6 ms·

1.
by flostk 2y ago
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 combi
2.
by flostk 2y ago
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://fl
3.
by flostk 2y ago
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 peopl
4.
by flostk 2y ago
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://fl
5.
by flostk 2y ago
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: https:&#x2F
6.
by flostk 3y ago
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: https:/&#x
7.
by flostk 3y ago
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: htt
8.
by flostk 3y ago
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.
9.
by flostk 3y ago
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@florian