本来感觉我是 average 身高，结果这张照片里像个矮子…

https://www.linkedin.com/posts/andrewalamb_i-am-fortunate-to-work-with-xiangpeng-hao-activity-7276255122794450944-zn_w?utm_source=share&utm_medium=member_ios

半年前和一个诊断了ADHD 的朋友聊天时意识到自己可能也有 ADHD，于是开始了 intensive 小红书自我诊断法，期间也看了一点 ADHD 的书。

在100%自我诊断成功以后，决定找一个 licensed psychiatrist 做一个更全面的 review，今天终于收到了诊断结果，不出意料果然是 “Attention-deficit hyperactivity disorder, predominantly inattentive type (F90.0)”

说实话这些症状并没有特别 bother 我，我的大多数 research 也都是在 hyperactivity中产生的，所以之前也一直没有太当回事。直到它逐渐develop出一些side symptom，比如 anxiety, depression, obessive compulsive 我才真正 take it seriously。

====================

最后吐槽一下美国医保。

我花了整整一个周末才搞明白这些 insurances, providers, policies 之间的关系，只为了搞明白一件事情：这个 cost 到底有没有被 cover。结论是 complicated。

整个医疗市场群魔乱舞：在 A 买药医保不 cover，但是可以当天约到便宜的 psychiatrist；在 B 买药医保 cover，但是要么不接新客人，要么等半年；C 价格适中，也能快速约到，但是只卖 non-stimulant；D 只收大 insurance company，不接待小医保的患者，而我们村的医保正好不收。

当然，我这个情况仅仅适用于 non-emergent mental health，多等几个月也许无所谓。其他情况的看病体验其实还不错，甚至好过在国内看病 （个人体验）。

Practical Concurrency Testing (Dec-12, Zoom)，谁不想拥有一个 push button concurrency testing tool呢！

=========

Tooling 并非 research community 的长项，绝大多数 research tool/idea 都停留在 toy prototype 的阶段， 使得这些 idea 并不能真正落地，但与此同时又claim了novelty 妨碍后人深入研究，这导致了 a huge gap between what acedmia known as the state-of-the-art verus what people can actually use.
尽管这样的环境 reward 短平快的 paper，还是有人在坚持做 practical research。在这个 talk 里你会听到 concurrency testing最重要的三部曲：determinism, search, and pruning。

把 ChatGPT Pro 退了，改成给 Cursor 交钱

下雨的周日

Repost 一下最近写的三篇 blog:

- Use StringView to make DataFusion faster 主要是 internship work, 算是为之后的 research 热手吧

- My research statement，开始新项目之前先把 flag 立好，尽量不 repeating the mistakes I've made

- InfluxData > Google and Microsoft，为什么 InfluxData 是一家好公司

?
https://x.com/andrewlamb1111/status/1828164434558435807