nsomani

Fri Jan 25, 2019 8:59pm PST

Karma:

431

about

https://twitter.com/neelsalami

submitted

Wed Oct 22, 2025 7:38pm PST

Show HN: Cuq – Formal Verification of Rust GPU Kernels

@nsomani

12

63

94

Tues Oct 14, 2025 11:14pm PST

Killing the GIL: How to Use Python 3.14's Free-Threading Upgrade

@nsomani

2

Sat Oct 11, 2025 1:09am PST

Is GRPO Broken?

@nsomani

2

Thurs Oct 9, 2025 5:53am PST

Intro to RL: Off-Policy Methods

@nsomani

2

Tues Oct 7, 2025 3:09am PST

What You Didn't Learn in Berkeley CS 188: Intro to RL

@nsomani

2

Wed Aug 27, 2025 2:27am PST

Show HN: Web2mcp – Auto-generate an MCP for any web app

@nsomani

2

1

2

Mon Jul 7, 2025 2:36am PST

Show HN: I built a website to summarize Tech Twitter each day

@nsomani

1

2

11

Sun Dec 8, 2024 10:04pm PST

Race Science for Non-Racists

@nsomani

4

7

4

Fri Oct 25, 2024 2:31am PST

The New Economy: What Should We Do with Everyone?

@nsomani

3

4

4

Tues Sep 27, 2022 4:47pm PST

Eclipse announces customizable Solana VM rollups

@nsomani

3

Tues Jul 5, 2022 9:50pm PST

An Alternate Cosmos Interchain Security Proposal

@nsomani

1

Wed Apr 6, 2022 12:25am PST

The Future of Terra DeFi

@nsomani

2

Sat Feb 19, 2022 2:30am PST

Cuffed – A dating app with only one match at a time

@nsomani

23

117

75

Sun Jan 9, 2022 3:08am PST

Explaining to my parents what I do

@nsomani

15

47

117

Mon Dec 20, 2021 1:16am PST

Beanstalk: A Decentralized Credit Based Stablecoin Protocol

@nsomani

8

16

41

Fri Oct 16, 2020 5:39am PST

Show HN: How to Derive Useful Financial Approximations

@nsomani

1

1

3

Fri May 15, 2020 11:27am PST

Show HN: A tool to scrape senators' stock transactions for your own analysis

@nsomani

19

80

350