Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile
Zhenbo 'endle' Li @[email protected]

@zhenboli1

@Fedora & Wine user since 2012 | @FZUG (Fedora 中文用户组)| @firefox user since 3.0 | #DOTA player since 6.59 | ❤️ @rustlang | Student

ID: 1342288391468011520

linkhttps://blog.zhenbo.pro calendar_today25-12-2020 01:58:08

1,1K Tweet

355 Followers

184 Following

Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile Photo

可能是我太久不上推特了,现在推特天天给我推送 “您的好友xxx发了新动态” 那答案就太简单了-有一个软件的push nofitication可以关掉了

Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile Photo

As a #JobSeeker, I'm well aware of the intense competition out there….. While I understand that HRs utilize automated tools for sending out rejection emails, it leaves me disheartened when the sender's address is: [email protected]

Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile Photo

In today's #Topcoder #SRM, I got 0 due to using if (v[r][c]) by mistake. What I expected to use was if (v[r][c] == 1) Thoughts: 1. Using int as enum is error-prone. 2. Implicitly comparing an integer with zero is dangerous. I'm spoiled by the strict typing in Rust and Java.

Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile Photo

The security engineer of our home is mitigating this urgent issue now. Some services may be unavailable during emergency rebooting. #dog #xz fediscience.org/@zhenboli/1121…

Capitol Corridor (@capitolcorridor) 's Twitter Profile Photo

❤️💛🏈 Take Capitol Corridor to the New York Jets vs San Francisco 49ers game at Levi’s® Stadium on 9/9! We’re offering an adjusted train schedule so you can get to and from the game! capitolcorridor.org/49ers-service/ #sanfrancisco49ers #capitolcorridor

❤️💛🏈 Take Capitol Corridor to the New York Jets vs San Francisco 49ers game at Levi’s® Stadium on 9/9! We’re offering an adjusted train schedule so you can get to and from the game! capitolcorridor.org/49ers-service/

#sanfrancisco49ers #capitolcorridor
Folyd (@_hisriver) 's Twitter Profile Photo

1/2 即将发布的 Rust 1.82 把我三年前在 1.52 优化的 binary_search revert 到了旧版,主要原因是新版 LLVM 后端支持 unpredictable hint。现在各大 CPU 在执行指令时默认会做分支预测,但是 binary search 是一个分支预测错误率很高的场景,有了 unpredictable hint 后github.com/rust-lang/rust…

Folyd (@_hisriver) 's Twitter Profile Photo

2/2 上层的开发者可以主动告诉 LLVM 这个场景不适合做分支预测,LLVM 后端生成的指令就不会产生 branch,从而极大的提高二分查找的性能。另外旧版在碰到重复元素的时候不会提前退出循环,这样能够保证有固定的循环次数也利于 CPU 优化。 (图1: 使用 unpredictable hint,图2: 优化前后指令对比)

2/2 上层的开发者可以主动告诉 LLVM 这个场景不适合做分支预测,LLVM 后端生成的指令就不会产生 branch,从而极大的提高二分查找的性能。另外旧版在碰到重复元素的时候不会提前退出循环,这样能够保证有固定的循环次数也利于 CPU 优化。
(图1: 使用 unpredictable hint,图2: 优化前后指令对比)
Zhenbo 'endle' Li @zhenboli@fediscience.org (@zhenboli1) 's Twitter Profile Photo

I'm glad to share a big #fireSeqSearch update: LLM Summarization! What happens locally, what stays locally. Your notes will be sent to a local LLM (Mistral-7B). The summary of #Logseq / #Obsidian hits will be expand into search engine results. Demo: github.com/user-attachmen…