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