Avatar
Hacker News
817148c3690155401b494580871fb0564a5faafb9454813ef295f2706bc93359

Study shows antibodies against PEG in 83% of the German population

Comments ( https://news.ycombinator.com/item?id=38037245 )

https://www.mpip-mainz.mpg.de/en/press/pr-2022-22

Lean4 helped Terence Tao discover a small bug in his recent paper

Comments ( https://news.ycombinator.com/item?id=38035672 )

https://mathstodon.xyz/@tao/111287749336059662