
Article URL: https://vezwork.github.io/drostes-lair-post/
Comments URL: https://news.ycombinator.com/item?id=42435099
Points: 49
# Comments: 0
Article URL: https://adam.math.hhu.de/#/g/leanprover-community/NNG4
Comments URL: https://news.ycombinator.com/item?id=42440016
Points: 30
# Comments: 1

Article URL: https://www.ycombinator.com/companies/zaymo/jobs/xGeVSF8-founding-engineer
Comments URL: https://news.ycombinator.com/item?id=42440669
Points: 0
# Comments: 0
https://www.ycombinator.com/companies/zaymo/jobs/xGeVSF8-founding-engineer
Article URL: https://www.more-magic.net/posts/crunch.html
Comments URL: https://news.ycombinator.com/item?id=42440767
Points: 44
# Comments: 7
Article URL: https://purl.stanford.edu/cv716pj4036
Comments URL: https://news.ycombinator.com/item?id=42428192
Points: 9
# Comments: 1

Article URL: https://github.com/microsoft/multilspy
Comments URL: https://news.ycombinator.com/item?id=42438918
Points: 27
# Comments: 1

Article URL: https://news.mit.edu/2024/mit-study-explains-laws-incomprehensible-writing-style-0819
Comments URL: https://news.ycombinator.com/item?id=42438175
Points: 69
# Comments: 57
https://news.mit.edu/2024/mit-study-explains-laws-incomprehensible-writing-style-0819
Article URL: https://luke8086.dev/netbsd-on-thinkpad-380z.html
Comments URL: https://news.ycombinator.com/item?id=42438431
Points: 73
# Comments: 3