Has AI already killed self-help nonfiction books?tim.blog422 points·by imakwana·27 ngày trước·489 comments
Stanford AA228V: Validation of Safety Critical Systems (2025)youtube.com3 points·by imakwana·2 tháng trước·1 comments
MIT 15.393 – Nuts and Bolts of New Ventures (2026)nutsandbolts.mit.edu28 points·by imakwana·4 tháng trước·3 comments
The Long-term decline of the US Job ladder (NBER)nber.org3 points·by imakwana·4 tháng trước·1 comments
AI, Human Cognition and Knowledge Collapse (NBER Working Paper)nber.org1 points·by imakwana·4 tháng trước·0 comments
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verificationcacm.acm.org1 points·by imakwana·5 tháng trước·0 comments
Asymmetry is all you need (2025)theterminalist.substack.com2 points·by imakwana·5 tháng trước·0 comments
Propose, Solve, Verify: Self-Play Through Formal Verificationarxiv.org2 points·by imakwana·7 tháng trước·0 comments
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)nber.org1 points·by imakwana·7 tháng trước·0 comments
Open-Source Hardware: curated list of open-source ASIC tools and designsgithub.com12 points·by imakwana·9 tháng trước·3 comments
Game on: Social networks and markets (2022)sciencedirect.com1 points·by imakwana·9 tháng trước·0 comments
Model Checking Boot Code from AWS Data Centers (2018) [pdf]kroening.com1 points·by imakwana·9 tháng trước·0 comments
The effect of deactivating Facebook and Instagram on users' emotional statenber.org506 points·by imakwana·năm ngoái·497 comments
imakwana·2 tháng trước·discussAssociated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf
imakwana·9 tháng trước·discussA curated list of awesome open source chip-design tools, generators, and reusable designs.