Gavin Zhao @[email protected]
history = (λx. x x) (λx. x x)
When life gives you lemons, don't make lemonade. Make life take the lemons back! Get mad! I don't want your damn lemons, what the heck am I supposed to do with these?
Joined May 2022
Gavin Zhao
boosted
⠀⠀⠀⠀⠰⢷⢿⠄
⠀⠀⠀⠀⠀⣼⣷⣄
⠀⠀⣤⣿⣇⣿⣿⣧⣿⡄
⢴⠾⠋⠀⠀⠻⣿⣷⣿⣿⡀
🏀 ⠀⢀⣿⣿⡿⢿⠈⣿
⠀⠀⠀⢠⣿⡿⠁⠀⡊⠀⠙
⠀⠀⠀⢿⣿⠀⠀⠹⣿
⠀⠀⠀⠀⠹⣷⡀⠀⣿⡄
⠀⠀⠀⠀⣀⣼⣿⠀⢈⣧
Gavin Zhao
boosted
Gavin Zhao
boosted
I'm excited to announce a new "prefaculty" position working with the type systems team at Jane Street on the OCaml compiler!
I think this should be an exciting position for someone who is starting off their academic career and is looking to learn more about large scale practical applications of type systems, and to build longer term research connections.
Please retoot!
https://www.janestreet.com/join-jane-street/programs-and-events/visiting-researcher-prefaculty/
Gavin Zhao
boosted
Unfortunately due to an upcoming #furlough, I will need to look for other work (full-time or otherwise). If you or someone you know need a senior #frontend / full-stack dev, in #EU (I live in Finland, remote work), please boost, ping, slide into DMs or email me (in CV).
I put together an image with some tech. info and what I do in my free time, CV posted below with link as well. Requirements and preferences in 🧵
https://joshuastrobl.com/CV.pdf
Boosts greatly appreciated ❤️
Gavin Zhao
boosted
Coming to Mastodon from Twitter feels like busting in the door loudly brandishing a half drunk bottle of tequila and finding everyone sitting in horrified silence holding cups of tea and academic papers
我对Bazel真是又爱又恨。不出问题的时候就感觉是世界上最好的构建系统，甩了CMake和Meson好几条街；开始报错修bug的时候就恨不得一行sudo rm -rf /下去毁灭世界
Gavin Zhao
boosted
@mashiro 70%宣传过头了，没有那么夸张。翻了一下原论文，里面说对于短(shorter sequences)的数组的排序的速度提升70%，但对于长度超过25万的数组的速度提升只有1.7%。而且这个优化没有太复杂，说简单点就是在Assembly里面找到了一个多余的%mov指令，在我看来并不算开发了一个新的算法。
Gavin Zhao
boosted
llm based git conflict resolver when
@GitHubDaily 整个Fediverse凑不出半个ikun 
I really want to see Arthur Whitney do competitive programming. Imagine a link-cut tree in three lines of C...
@phoronix I understand what their point is, but perhaps the language could've been phrased better. Maybe the author wrote it after they got annoyed by a few users kept asking them to fix X.org-related bugs. I've experienced similar situations and they are indeed often frustrating.
@mashiro 你给我住手啊啊啊啊啊啊ヽ(#`Д´)ノ
Gavin Zhao
boosted
It is time for #Solus to embark on a new voyage. The journey ahead is incredibly exciting for users and contributors alike - the very foundations of our project, the ideas that held us together over the years, are finally coming to fruition.
Read more at https://getsol.us/2023/04/18/a-new-voyage
Gavin Zhao
boosted
Hey folks, Josh here. Long time no see.
We got a new post up on Reddit and will have a blog post forthcoming on Tuesday, with organizational structure changes, plans for #Solus 4.x, Solus 5, and more.
https://www.reddit.com/r/SolusProject/comments/12ndrvt/righting_the_ship/
Gavin Zhao
boosted
Gavin Zhao
boosted
history = (λx. x x) (λx. x x)
When life gives you lemons, don't make lemonade. Make life take the lemons back! Get mad! I don't want your damn lemons, what the heck am I supposed to do with these?
Joined May 2022
