Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
imakwana
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
imakwana
8d ago
Not a single book but learning from the writings of Cal Newport (blog, books, podcast) over the years have slowly but surely improved my understanding of career capital and how to best utilize attention & time, at least in tech industry
2.
▲
Redwood: A Frontier AI Accelerator Designed from Scratch in 2 Weeks by AI
(arxiv.org)
2 points
by
imakwana
24d ago
|
0 comments
3.
▲
Replaceable but Employed: Automation and Meaning of Work (NBER Working Paper)
(nber.org)
2 points
by
imakwana
2mo ago
|
0 comments
4.
▲
Has AI already killed self-help nonfiction books?
(tim.blog)
422 points
by
imakwana
3mo ago
|
489 comments
5.
▲
Stanford AA228V: Validation of Safety Critical Systems (2025)
(youtube.com)
3 points
by
imakwana
4mo ago
|
1 comments
6.
▲
by
imakwana
4mo ago
Associated textbook: Algorithms for Validation (2026): https://algorithmsbook.com/validation/files/val.pdf
7.
▲
MIT 15.393 – Nuts and Bolts of New Ventures (2026)
(nutsandbolts.mit.edu)
28 points
by
imakwana
6mo ago
|
3 comments
8.
▲
The Long-term decline of the US Job ladder (NBER)
(nber.org)
3 points
by
imakwana
6mo ago
|
1 comments
9.
▲
AI, Human Cognition and Knowledge Collapse (NBER Working Paper)
(nber.org)
1 points
by
imakwana
7mo ago
|
0 comments
10.
▲
Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification
(cacm.acm.org)
1 points
by
imakwana
7mo ago
|
0 comments
11.
▲
Asymmetry is all you need (2025)
(theterminalist.substack.com)
2 points
by
imakwana
8mo ago
|
0 comments
12.
▲
Propose, Solve, Verify: Self-Play Through Formal Verification
(arxiv.org)
2 points
by
imakwana
9mo ago
|
0 comments
13.
▲
Expertise and Automation: Effects on Wages and Jobs (NBER Working Paper)
(nber.org)
1 points
by
imakwana
9mo ago
|
0 comments
14.
▲
Open-Source Hardware: curated list of open-source ASIC tools and designs
(github.com)
12 points
by
imakwana
1y ago
|
3 comments
15.
▲
by
imakwana
1y ago
A curated list of awesome open source chip-design tools, generators, and reusable designs.
16.
▲
Game on: Social networks and markets (2022)
(sciencedirect.com)
1 points
by
imakwana
1y ago
|
0 comments
17.
▲
Model Checking Boot Code from AWS Data Centers (2018) [pdf]
(kroening.com)
1 points
by
imakwana
1y ago
|
0 comments
18.
▲
MIT 6.5930/1 Hardware Architecture for Deep Learning – Spring 2024 Lectures
(csg.csail.mit.edu)
3 points
by
imakwana
1y ago
|
0 comments
19.
▲
by
imakwana
1y ago
Glad to see a fellow fundamental indexer on HN! As a US based investor, I personally invest in the RAFI US broad market fundamental index (FNDB ETF) which does keep up with the Vanguard US total market over the past 10 years except the bubb
20.
▲
Fuzzing Hardware Like Software (2021)
(arxiv.org)
1 points
by
imakwana
1y ago
|
0 comments
21.
▲
The effect of deactivating Facebook and Instagram on users' emotional state
(nber.org)
506 points
by
imakwana
1y ago
|
497 comments
22.
▲
by
imakwana
1y ago
Thanks for sharing these links. Very interesting to explore this topic further. I came across Satnam Singh's work first while learning about the Lava language/framework for FPGAs, glad to discover his more recent work.
23.
▲
MIT 6.5950 Secure Hardware Design – An open-source course on hardware attacks
(shd.mit.edu)
255 points
by
imakwana
1y ago
|
19 comments
24.
▲
Fuzzing Hardware Like Software (2022)
(usenix.org)
1 points
by
imakwana
2y ago
|
1 comments
25.
▲
Why exercise may never be effective medicine in the treatment of type-2 diabetes
(pubmed.ncbi.nlm.nih.gov)
2 points
by
imakwana
2y ago
|
1 comments
26.
▲
Play to Test: Software testing as reachability games against nature (2005) [pdf]
(microsoft.com)
1 points
by
imakwana
2y ago
|
0 comments
27.
▲
by
imakwana
2y ago
Rational Reminder podcast for a highly technical deep-dive on all topics Investing & Personal Finance. They have interviewed multiple highly cited/influential Professors from leading universities.
28.
▲
by
imakwana
3y ago
I noticed there are some GitHub Repos actively working on enabling UVM on Verilator: https://github.com/MikeCovrado/GettingVerilatorStartedWithUV... It would be an amazing leap to enable UVM fully on Verilator. Looking
29.
▲
by
imakwana
3y ago
Interesting question, probably an ETF like NETL comes close to holding diversified positions in various commercial/office REITs: https://www.morningstar.com/etfs/arcx/netl/portfolio
30.
▲
by
imakwana
3y ago
The Missing Billionaires: A Guide To Better Financial Decisions, by Victor Haghani & James White. This book covers wide ranging topics within investing, hedging, personal finance, lifecycle investing and asset pricing. One of the key id
More ›