Zeyuan Hu
zeyuanhu.bsky.social
Zeyuan Hu
@zeyuanhu.bsky.social
Researcher
It’s been long known that any strategyproof mechanism (mechanisms that elicit truthful preference of agents) for placing two facilities on the line to serve agents within the same metric space is Omega(n)-approximate of social cost.
July 12, 2025 at 2:45 AM
最近近况更新

好久没有在这里写东西了。原来想要坚持每年至少写一次的年终总结也没有在写了。原来单身很多话想要去说,但又苦于没有合适的人去说,所以就在这里随便写些东西。现在有些想法,都会及时和妻子沟通表达,所以写作欲望大减。其实这里并不是说和亲人可以完全代替写作,只是随着自己研究繁忙,压力甚大,已经好久没有办法心静下来,去窥视自己,去表达情感于纸面上。很多时候,自己压力大,睡不着觉,只有一个人不自知的刷手机,而不是把一些想法流落在这里。也许这个平台长篇写作的形式给自己太大压力,无法随便开启。…
最近近况更新
好久没有在这里写东西了。原来想要坚持每年至少写一次的年终总结也没有在写了。原来单身很多话想要去说,但又苦于没有合适的人去说,所以就在这里随便写些东西。现在有些想法,都会及时和妻子沟通表达,所以写作欲望大减。其实这里并不是说和亲人可以完全代替写作,只是随着自己研究繁忙,压力甚大,已经好久没有办法心静下来,去窥视自己,去表达情感于纸面上。很多时候,自己压力大,睡不着觉,只有一个人不自知的刷手机,而不是把一些想法流落在这里。也许这个平台长篇写作的形式给自己太大压力,无法随便开启。 现在还在苦于和我在UT-Austin导师斗争中,等事情告一段落,我准备逐渐回顾我过去5年来所经历的事情。在这之间,也希望能看到这篇文章的人能避开Daniel Miranker 这个人,不要像我一样白白浪费自己5年的时光,以及无时无刻不要去忍受他的PUA。用甄嬛传里的台词来说就是:终究是错付了。当然,我希望我能在未来的回顾里比较客观的表述为什么我觉得Miranker这个人是个极度自私,本性很坏的人。在这里我连接几个我之前写的博客记录了我当时的一些情绪,希望这些文章能稍微提供一些作证。也欢迎联系我,询问我关于Miranker的事以及UT-Austin计算机系的一些我了解到的情况。 科研日志6 科研日志7 经过5年,我现在准备从UT-Austin退学了。至于接下来的动向,请允许我之后再做说明。在这个博客之外,我也建了一个substack账号: 并且尝试迁移了一些文章。不知道为什么,不是所有这里写的文章都能被迁移了过去。现在也没有放弃在这里写作的打算。如果哪天真要说完全迁移,也会在这里告知。可见的未来,我估计会在这里以及substack那里都会写一些东西。希望我今年睡不着觉的时候,能多把思绪放置在这里。晚安!
zeyuanhu.wordpress.com
March 31, 2025 at 11:49 AM
Reposted by Zeyuan Hu
Found this on HN today: Writing an OS in 1000 lines operating-system-in-1000-lines.vercel.app/en

The tutorial nicely explains how to build a minimalist OS — works great as an intro material. I think understanding basic OS concepts is essential for performance tuning and debugging.
Intro - Operating System in 1,000 Lines
operating-system-in-1000-lines.vercel.app
January 8, 2025 at 3:52 PM