Top New Trends Comments Past Ask Show Jobs

imakwana

no profile record

Submissions

Has AI already killed self-help nonfiction books?

422 points·by imakwana·27 दिन पहले·489 comments

Stanford AA228V: Validation of Safety Critical Systems (2025)

3 points·by imakwana·2 माह पहले·1 comments

MIT 15.393 – Nuts and Bolts of New Ventures (2026)

nutsandbolts.mit.edu

28 points·by imakwana·4 माह पहले·3 comments

The Long-term decline of the US Job ladder (NBER)

3 points·by imakwana·4 माह पहले·1 comments

AI, Human Cognition and Knowledge Collapse (NBER Working Paper)

1 points·by imakwana·4 माह पहले·0 comments

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

1 points·by imakwana·5 माह पहले·0 comments

Asymmetry is all you need (2025)

theterminalist.substack.com

2 points·by imakwana·5 माह पहले·0 comments

Propose, Solve, Verify: Self-Play Through Formal Verification

2 points·by imakwana·7 माह पहले·0 comments

Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)

1 points·by imakwana·7 माह पहले·0 comments

Open-Source Hardware: curated list of open-source ASIC tools and designs

12 points·by imakwana·9 माह पहले·3 comments

Game on: Social networks and markets (2022)

sciencedirect.com

1 points·by imakwana·9 माह पहले·0 comments

Model Checking Boot Code from AWS Data Centers (2018) [pdf]

1 points·by imakwana·9 माह पहले·0 comments

The effect of deactivating Facebook and Instagram on users' emotional state

506 points·by imakwana·पिछला वर्ष·497 comments

comments

·2 माह पहले·discuss

Associated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf

·9 माह पहले·discuss

A curated list of awesome open source chip-design tools, generators, and reusable designs.