3
points
ykonstant
Joined 2,631 karma
I am a research mathematician working in homogeneous dynamics and number theory; also interested in proof assistants, math outreach and personalized mathematics education. I do shell scripting and general-purpose programming in Lean as a hobby.
Webpage: https://ykonstant1.github.io Contact: ykonstant@gmail.com
- ykonstantYoung poops?
- This is fascinating.
- No, they are not saying that at all??
- I prefer a billion dallars tax free, but here we are:(
- I need to check the rust parts of the kernel, I presume there is significant amounts of unsafe. Is unsafe Rust a bit better nowadays? I remember a couple of years ago people complained that unsafe is really hard to write and very "un-ergonomic".
- Lucky you.
- The CLIpocalypse is coming!
- The "I do NOT hold the legal rights to share or distribute this content" checkbox made me laugh out loud!
- Interesting, can you share specifics?
- Best I can do is tree fiddy. Perhaps a little ragebait could give it that extra oomph it needs.
- Unfortunately, recently more and more sites fail to work with Tor Browser. Notably, I am informed by people who are not me, Anna's archive and libgen.
- It does?!
- The wholesomeness and ingenuity made my day!
- Better translation of epi- : on top of.
- But what is a good hobby project with a strong focus on concurrency that will not swamp a beginner to this topic?
- >I read it as a person trying to understand the situation.
I have been on the receiving end of such comments enough times to read it as a person trying to appear as if they are trying to understand the situation.
- >Someone else posted here they had 10 pages of proofs per week, for one course.
Huh. As a professor, I would not be able to grade this kind of volume in any serious capacity. Especially since proofs need to be scrutinized carefully for completeness and soundness. I wonder how their instructor manages.