grhkm - Network

While my elliptic curve does its 4-descent, I do my descent-into-madness.

While my elliptic curve does its 4-descent, I do my descent-into-madness.

Somehow I’m “lucky” for not attending this isogeny days because I’m sick as fuck right now ☹️ (food poisoning + flu-like thing)

Somehow I’m “lucky” for not attending this isogeny days because I’m sick as fuck right now ☹️ (food poisoning + flu-like thing)

I’ve reached the point where I can clearly remember my terminal font is Iosevka Term SS18 - help

I’ve reached the point where I can clearly remember my terminal font is Iosevka Term SS18 - help

Why does Mathstodon have only 500 characters limit? Are they forcing me to type Chinese? 有人會明咩？Anyways I was reading some stats...

Why does Mathstodon have only 500 characters limit? Are they forcing me to type Chinese? 有人會明咩？

Anyways I was reading some stats book on some basic probability theory (with my non-existent measure theory background and a search engine), and it’s scary how informal and hand-wavy many arguments and even definitions are. I understand things but also not really, it’s quite unsatisfactory. I can probably explain the concepts to others, but not to myself. :wtf:

I attended the Isogeny Club workshop (Eurocrypt affiliated event) for the past two days, where we split into discussion groups and worked on...

I attended the Isogeny Club workshop (Eurocrypt affiliated event) for the past two days, where we split into discussion groups and worked on open problems. The open problem our group tackled was related to computing higher dimensional isogenies. We spent a good majority of time looking at how past algorithms were done. I am too lazy to go into more details, so enjoy this screenshot of my notes, as I continue to read Milne's notes...

I also received a sweatshirt with "The Isogeny Club" on it. Guess I am officially accepted to the club? 😗 #isogeny #eurocrypt

While I continue to "prepare" for my next "real" Mastodon post that probably won't come in the next month,...

While I continue to "prepare" for my next "real" Mastodon post that probably won't come in the next month, here's are some small updates:

1. I have submitted and presented my final year essay! (More commonly known as a dissertation.) It is on theorem proving, more specifically formalising a result from extremal combinatorics in Lean 4. You can find my essay and code at https://github.com/grhkm21/LeanCornerFree

2. I installed Linux on my Mac :D There are many reasons and I probably should write a blog on it. One of the reasons is that you see, I have been using yabai on Mac for almost 3 years now, and I realised that it's pretty shit. And I know that yabai (kind of) is a try-to-be i3 for Mac users, so I figured I would try i3 out on a Linux instead. It's going great :D This also fixes another issue, that my Mac installation is very messy. Stuff's been slowly building up the past 4 years and has gotten quite terrible, so yea. Also I feel like I know what I'm doing more on Linux, e.g. I have quite a lot of terminal experience via CTFs already. I chose >> ARCH << directly because I love to suffer, and it's going great, it's fun setting up everything from scratch and "fixing kernel panics" (editing bootloader config)

3. A bit sadder news: I have not been doing great mentally! I realised that I suck as a human being in many ways, it's not fun to interact with me, and I try to fix it, but I fail, and then people including myself hate me :D

4. Finally I've been learning a lot of math recently, mainly filling my massive gaps in category theory, some homology cohomology theory, etc

5. Oh and I implemented part of the SEA algorithm. It took like 2 hours? (I haven't read the EA parts before):
https://gist.github.com/grhkm21/79a76f155fdd073faf6e6bba8193893e

Happy to share this news! Thank you to @luca_defeo for the offer.

Happy to share this news! Thank you to @luca_defeo for the offer.