トップ新着トレンドコメント過去質問紹介求人

imakwana

no profile record

投稿

Has AI already killed self-help nonfiction books?

422 ポイント·投稿者 imakwana·27 日前·489 コメント

Stanford AA228V: Validation of Safety Critical Systems (2025)

3 ポイント·投稿者 imakwana·2 か月前·1 コメント

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

nutsandbolts.mit.edu

28 ポイント·投稿者 imakwana·4 か月前·3 コメント

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

3 ポイント·投稿者 imakwana·4 か月前·1 コメント

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

1 ポイント·投稿者 imakwana·4 か月前·0 コメント

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

1 ポイント·投稿者 imakwana·5 か月前·0 コメント

Asymmetry is all you need (2025)

theterminalist.substack.com

2 ポイント·投稿者 imakwana·5 か月前·0 コメント

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

2 ポイント·投稿者 imakwana·7 か月前·0 コメント

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

1 ポイント·投稿者 imakwana·7 か月前·0 コメント

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

12 ポイント·投稿者 imakwana·9 か月前·3 コメント

Game on: Social networks and markets (2022)

sciencedirect.com

1 ポイント·投稿者 imakwana·9 か月前·0 コメント

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

1 ポイント·投稿者 imakwana·9 か月前·0 コメント

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

506 ポイント·投稿者 imakwana·昨年·497 コメント

コメント

·2 か月前·議論

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

·9 か月前·議論

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