imakwana
Wed Mar 13, 2019 5:38pm PST
Karma:
412
about
ASIC Design Verification Engineer struggling to understand modern computing landscape.

Austin, TX, USA

submitted
Fri Feb 6, 2026 8:40pm PST
Asymmetry is all you need (2025)
@imakwana
1
Mon Dec 29, 2025 5:34pm PST
Propose, Solve, Verify: Self-Play Through Formal Verification
@imakwana
2
Tues Dec 23, 2025 9:37pm PST
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)
@imakwana
1
Thurs Oct 16, 2025 4:31pm PST
Open-Source Hardware: curated list of open-source ASIC tools and designs
@imakwana
2
3
12
Thurs Oct 9, 2025 11:21pm PST
Game on: Social networks and markets (2022)
@imakwana
1
Sun Oct 5, 2025 5:30pm PST
Model Checking Boot Code from AWS Data Centers (2018) [pdf]
@imakwana
1
Wed Aug 27, 2025 8:55pm PST
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures
@imakwana
3
Tues Aug 19, 2025 8:16pm PST
Fuzzing Hardware Like Software (2021)
@imakwana
1
Mon Apr 21, 2025 4:24am PST
The effect of deactivating Facebook and Instagram on users' emotional state
@imakwana
58
497
506
Wed Apr 2, 2025 9:54pm PST
MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks
@imakwana
7
19
255
Mon Dec 9, 2024 4:11am PST
Fuzzing Hardware Like Software (2022)
@imakwana
1
1
1
Sun Dec 8, 2024 4:15am PST
Why exercise may never be effective medicine in the treatment of type-2 diabetes
@imakwana
1
1
2
Tues Aug 13, 2024 4:29pm PST
Play to Test: Software testing as reachability games against nature (2005) [pdf]
@imakwana
1
Sat Jan 6, 2024 3:29am PST
Wisdom of Crowds or Ignorance of Masses? A Data-Driven Guide to WallStreetBets
@imakwana
2
Sun Jul 2, 2023 7:05pm PST
Networks, Crowds and Markets: Reasoning about a highly connected world (2010) [pdf]
@imakwana
3
Thurs Feb 3, 2022 8:35pm PST
Value Investor's Guide to Web3
@imakwana
1
Tues May 26, 2020 4:25pm PST
Repetition Economics – The Story of Hunter, Mammoth and Wolves
@imakwana
1