HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
bamborde_zaiku
1 points
bamborde_zaiku
2023-09-04T17:04:41Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-08-16T08:49:12Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-07-03T20:27:41Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-07-01T18:07:40Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-06-13T02:22:35Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-06-12T20:14:32Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-06-11T05:09:31Z
news.ycombinator.com
Proving ( A → ( B → C)) → ( A ∧ B → C) in Lean
3 points
bamborde_zaiku
2023-06-10T22:37:43Z
www.youtube.com
1 points
bamborde_zaiku
2023-06-10T13:10:48Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-05-03T23:49:02Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-04-21T23:46:50Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-03-15T07:13:00Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-03-07T02:30:05Z
news.ycombinator.com
1 points
bamborde_zaiku
2023-03-04T01:54:39Z
news.ycombinator.com
1 points
bamborde_zaiku
2022-11-29T04:36:18Z
news.ycombinator.com
1 points
bamborde_zaiku
2022-11-10T16:03:29Z
news.ycombinator.com
1 points
bamborde_zaiku
2022-10-20T18:42:22Z
news.ycombinator.com
1 points
bamborde_zaiku
2022-09-22T13:05:09Z
news.ycombinator.com
1 points
bamborde_zaiku
2022-01-28T22:19:49Z
news.ycombinator.com
Show HN: Angry Flat Earth Theorist versus Mathematician (Topologist)
1 points
bamborde_zaiku
2021-10-01T18:41:55Z
www.youtube.com
1
2
3
4
5