HackerTrans
TopNewTrendsCommentsPastAskShowJobs

imakwana

no profile record

Submissions

Has AI already killed self-help nonfiction books?

tim.blog
422 points·by imakwana·27 дней назад·489 comments

Stanford AA228V: Validation of Safety Critical Systems (2025)

youtube.com
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)

nber.org
3 points·by imakwana·4 месяца назад·1 comments

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

nber.org
1 points·by imakwana·4 месяца назад·0 comments

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

cacm.acm.org
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

arxiv.org
2 points·by imakwana·7 месяцев назад·0 comments

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

nber.org
1 points·by imakwana·7 месяцев назад·0 comments

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

github.com
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]

kroening.com
1 points·by imakwana·9 месяцев назад·0 comments

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

nber.org
506 points·by imakwana·в прошлом году·497 comments

comments

imakwana
·2 месяца назад·discuss
Associated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf
imakwana
·9 месяцев назад·discuss
A curated list of awesome open source chip-design tools, generators, and reusable designs.