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
rabarbers
Ask HN: Looking for a good course to learn proof assistant Lean 4
5 points
rabarbers
2025-11-14T10:37:17Z
news.ycombinator.com
Show HN: KatLang – Language for Calculations
17 points
rabarbers
2021-12-02T09:59:39Z
katlang.org
Implicit lambda calculus
1 points
rabarbers
2014-05-11T06:36:44Z
www.publicationservice.org
Ask HN: Do you need implicit parameters/arguments?
1 points
rabarbers
2014-02-26T14:32:30Z
news.ycombinator.com