Functional reasoning for distributed systems with failures. ~ Haobin Ni, Robbert van Renesse, Greg Morrisett. arxiv.org/abs/2510.121... #ITP #Rocq
Functional Reasoning for Distributed Systems with Failures
Distributed system theory literature often argues for correctness using an informal, Hoare-like style of reasoning. While these arguments are intuitive, they have not all been foolproof, and whether t...
arxiv.org
October 18, 2025 at 4:03 PM
Everybody can reply
1 reposts
1 likes
Woke up at 1pm 😞😞 but !! Lots of haobin when I woke up annddd I do not regret staying up so late :3
October 18, 2025 at 12:38 PM
Everybody can reply
2 likes
Lipeng Zhu, Haobin Mao, Ge Yan, Wenyan Ma, Zhenyu Xiao, Rui Zhang: Movable and Reconfigurable Antennas for 6G: Unlocking Electromagnetic-Domain Design and Optimization https://arxiv.org/abs/2510.13209 https://arxiv.org/pdf/2510.13209 https://arxiv.org/html/2510.13209
October 16, 2025 at 6:32 AM
Everybody can reply
1 reposts
Lipeng Zhu, Haobin Mao, Ge Yan, Wenyan Ma, Zhenyu Xiao, Rui Zhang
Movable and Reconfigurable Antennas for 6G: Unlocking Electromagnetic-Domain Design and Optimization
https://arxiv.org/abs/2510.13209
Movable and Reconfigurable Antennas for 6G: Unlocking Electromagnetic-Domain Design and Optimization
https://arxiv.org/abs/2510.13209
October 16, 2025 at 4:34 AM
Everybody can reply
hearing after this that people asked haobin to their faces about their sex life is actually crazy .... crossing so many lines i hope they get blacklisted for life
October 15, 2025 at 7:59 AM
Everybody can reply
2 likes
Haobin Ni, Robbert van Renesse, Greg Morrisett: Functional Reasoning for Distributed Systems with Failures https://arxiv.org/abs/2510.12131 https://arxiv.org/pdf/2510.12131 https://arxiv.org/html/2510.12131
October 15, 2025 at 6:34 AM
Everybody can reply
Haobin Ni, Robbert van Renesse, Greg Morrisett
Functional Reasoning for Distributed Systems with Failures
https://arxiv.org/abs/2510.12131
Functional Reasoning for Distributed Systems with Failures
https://arxiv.org/abs/2510.12131
October 15, 2025 at 5:03 AM
Everybody can reply
1 saves
it'd be hilarious if haobin also hard launched right now
October 14, 2025 at 5:31 AM
Everybody can reply
2 likes
just got back from a haobin nowornever compilation and they are starting to look like colleagues or am i just off the yaoi?
October 12, 2025 at 6:44 PM
Everybody can reply
haobin 😍🤭
October 12, 2025 at 5:42 PM
Everybody can reply
1 likes
HAOBIN has been sus (complimentary) from day 1. I always thought TaeRae was super visual but no one else seemed to agree!
October 6, 2025 at 12:02 AM
Everybody can reply
1 likes
In fact if you've been following the group, Taerae and Jiwoong also have been having an Interesting Dynamic as of late (not to mention Haobin).
October 6, 2025 at 12:00 AM
Everybody can reply
1 likes
Haobin pre-show
October 4, 2025 at 6:30 PM
Everybody can reply
1 quotes
1 likes
ok so the banners were fun as hell there and my fav were the kiss on! one, the taerae italy flag (i saw so many taerae enjoyers and one even called my self made plush cute, i love y’all!!!) but i also can recall seeing a hot girls love kim jiwoong and haobin banner and thats awesome i think👍👍👍
October 2, 2025 at 7:58 PM
Everybody can reply
1 likes
Yi Zheng, Jiarui Wu, Chenlei Fang, Qingbing Ji, Wei Pan, Haobin Shi
Practical security of local local oscillator continuous-variable quantum key distribution systems with pulse width mismatch
https://arxiv.org/abs/2509.26021
Practical security of local local oscillator continuous-variable quantum key distribution systems with pulse width mismatch
https://arxiv.org/abs/2509.26021
October 1, 2025 at 7:01 AM
Everybody can reply
Yi Zheng, Jiarui Wu, Chenlei Fang, Qingbing Ji, Wei Pan, Haobin Shi: Practical security of local local oscillator continuous-variable quantum key distribution systems with pulse width mismatch https://arxiv.org/abs/2509.26021 https://arxiv.org/pdf/2509.26021 https://arxiv.org/html/2509.26021
October 1, 2025 at 6:50 AM
Everybody can reply
Practical security of local local oscillator continuous-variable quantum key distribution systems with pulse width mismatch
https://arxiv.org/pdf/2509.26021
Yi Zheng, Jiarui Wu, Chenlei Fang, Qingbing Ji, Wei Pan, Haobin Shi.
https://arxiv.org/pdf/2509.26021
Yi Zheng, Jiarui Wu, Chenlei Fang, Qingbing Ji, Wei Pan, Haobin Shi.
https://arxiv.org/abs/2509.26021
arXiv abstract link
arxiv.org
October 1, 2025 at 4:34 AM
Everybody can reply
theres a whole haobin movie no way they still used ai
September 29, 2025 at 4:23 PM
Everybody can reply
1 likes
I understand why haobin took off on ao3 haha
September 28, 2025 at 1:50 PM
Everybody can reply
1 likes
я считаю, мы молодцы и вообще haobin stans power
September 27, 2025 at 9:53 AM
Everybody can reply
3 likes
this should have been rinini but
September 27, 2025 at 4:00 AM
Everybody can reply
2 likes
Ping Guo, Yubing Ren, Binbin Liu, Fengze Liu, Haobin Lin, Yifan Zhang, Bingni Zhang, Taifeng Wang, Yin Zheng
Exploring Polyglot Harmony: On Multilingual Data Allocation for Large Language Models Pretraining
https://arxiv.org/abs/2509.15556
Exploring Polyglot Harmony: On Multilingual Data Allocation for Large Language Models Pretraining
https://arxiv.org/abs/2509.15556
September 22, 2025 at 7:19 AM
Everybody can reply
ZB1 has Haobin and GeonMaetGeon being loud and wild but then Shimkongz's weird codependent We Are Not Dating, But relationship will suddenly rear its head and come charging with a steel chair
September 20, 2025 at 6:39 PM
Everybody can reply
7 likes