xtal_freq

4 ms·

1. 1.▲
   by xtal_freq 11mo ago

   I wonder what the ultrafinist argument against theorems about the natural numbers as defined in Coq would be.
2. 2.▲
   by xtal_freq 1y ago

   Location: London, UK Remote: Yes Willing to relocate: Yes Technologies: C++, Linux Resume: jtag.bearblog.dev/resume Email: jakob.koblinsky@gmail.com Hi. I'm a recent Computer Engineering graduate looking for my first role.
3. 3.▲
   by xtal_freq 1y ago

   Not that this is your main point, but I find this take representative, “do you believe there's anything about humans that exists outside the mathematical laws of physics?”There are things “about humans”, or at least things that our wor
4. 4.▲
   How to Beat a Robot at Rock Paper Scissors(jtagrgh.github.io)

   2 points by xtal_freq 2y ago|0 comments
5. 5.▲
   by xtal_freq 2y ago

   Huh I’m not too far familiar with vectors. How do we know that R dot (-p) > 0 always
6. 6.▲
   by xtal_freq 2y ago

   How do you get a vector that's perpendicular to the line formed by p and S(-p) and in the direction of the origin?