Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by amitness
Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)
155 points
amit-bansil
2025-11-16T18:38:37Z
ericpony.github.io
1 points
amitness
2025-06-01T14:23:32Z
news.ycombinator.com
1 points
amitness
2025-02-15T17:46:11Z
news.ycombinator.com
1 points
amitness
2025-02-09T14:02:58Z
news.ycombinator.com
1 points
amitness
2024-12-01T13:53:13Z
news.ycombinator.com
1 points
amitness
2024-10-23T04:41:22Z
news.ycombinator.com
1 points
amitness
2023-04-18T14:01:00Z
news.ycombinator.com
Browser extension to edit any arxiv.org paper directly on overleaf
2 points
amitness
2023-04-13T19:15:02Z
github.com
How to Become a Full Stack Data Scientist?
2 points
amitness
2021-03-26T09:16:56Z
pakodas.substack.com
GitHub Pages as Remote Shell Script
1 points
amitness
2021-02-28T11:26:35Z
github.com
Extract Tables by Docsumo
14 points
amitness
2021-02-18T03:29:49Z
docsumo.com
Papers with Video
1 points
amitness
2021-02-08T03:11:56Z
chrome.google.com
Papers with Video: Add Video Summaries for Research Papers on ArXiv
1 points
amitness
2021-01-18T11:19:58Z
github.com
Free .ml domain using Freenom
1 points
amitness
2020-11-01T12:51:26Z
twitter.com
Nudge fitness band when distracted on social media
2 points
amitness
2020-10-24T17:33:08Z
github.com
A Visual Guide to Regular Expression
2 points
amitness
2020-10-22T15:58:50Z
amitness.com
A Visual Guide to Regular Expression
4 points
amitness
2020-10-21T16:09:27Z
amitness.com
Machine Learning for Software Engineers
1 points
amitness
2020-10-08T02:50:17Z
github.com
VSCode on Google Colab
197 points
amitness
2020-10-07T05:38:39Z
amitness.com
Knowledge Transfer in Self Supervised Learning
3 points
amitness
2020-10-04T16:37:44Z
amitness.com
1
2