Hi all, this is Gui’s tech blog.
In general I will share my thoughts on algorithms, technology, etc., and record my hobby projects here. I have the following topics in mind that I’m going to write down soon.
- I will write about some interesting algorithm problems I encountered on leetcode and while TAing for algorithm courses:
- variants of lazy implementations of Dijkastra without using the
decreaseKey
operation, and bottleneck of the super lazy version - some Dynamic Programming problems on leetcode that doesn’t have very clear solutions (like Burst Balloons), or in CLRS that doesn’t have correct solutions anywhere online (like CLRS Problem 15-10, for which I think almost all the online solutions I can found are wrong, like this).
- variants of lazy implementations of Dijkastra without using the
- I will write about my recent hobby project on porting a gnome shell extension to Gnome 42 with Wayland, and I’m also trying to add a “turning background to green” functionality to evince so I will also write about it.
- I plan to write a series of posts on PCPs (Probabilistically Checkable Proofs) from a programmer’s perspective. I will try to explain how to composite a robust PCP with a PCPP (PCP of Proximity) in a form that can be easily transformed into programs.
- Occasionally I will also provide some oversimplified expositions on TCS papers (mainly on computational complexity) I found interesting, but I will write about my own papers first ;)
Currently I’m using blogger and writing my posts with StackEdit. But I will probably build a simple blog system hosted on my own website later.
Theorem. StackEdit only supports KaTeX, which doesn’t support math theorem environments, so I have to write theorems like this.