Y
Hacker News
new
|
ask
|
show
|
jobs
user:
imakwana
created:
2019-03-13
karma:
426
ASIC Design Verification Engineer struggling to understand modern computing landscape.
Austin, TX, USA
submissions:
0 points
|
0 comments
Stanford AA228V: Validation of Safety Critical Systems (2025)
3 points
|
1 comments
MIT 15.393 – Nuts and Bolts of New Ventures (2026)
28 points
|
3 comments
The Long-term decline of the US Job ladder (NBER)
3 points
|
1 comments
AI, Human Cognition and Knowledge Collapse (NBER Working Paper)
1 points
|
0 comments
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
1 points
|
0 comments
Asymmetry is all you need (2025)
2 points
|
0 comments
Propose, Solve, Verify: Self-Play Through Formal Verification
2 points
|
0 comments
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)
1 points
|
0 comments
0 points
|
0 comments
Open-Source Hardware: curated list of open-source ASIC tools and designs
12 points
|
3 comments
Game on: Social networks and markets (2022)
1 points
|
0 comments
Model Checking Boot Code from AWS Data Centers (2018) [pdf]
1 points
|
0 comments
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures
3 points
|
0 comments
0 points
|
0 comments
Fuzzing Hardware Like Software (2021)
1 points
|
0 comments
The effect of deactivating Facebook and Instagram on users' emotional state
506 points
|
497 comments
0 points
|
0 comments
MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks
255 points
|
19 comments
Fuzzing Hardware Like Software (2022)
1 points
|
1 comments
Why exercise may never be effective medicine in the treatment of type-2 diabetes
2 points
|
1 comments
Play to Test: Software testing as reachability games against nature (2005) [pdf]
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets
2 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments