Hacker Newsnew | past | comments | ask | show | jobs | submit | fromlogin
Implementing a functional language with graph reduction (2021) (thma.github.io)
52 points by Bogdanp 59 days ago | past | 5 comments
Implementing a Functional Language with Graph Reduction (thma.github.io)
3 points by runeks on Dec 29, 2021 | past
Implementing a Functional Language with Graph Reduction (thma.github.io)
11 points by isaac21259 on Dec 27, 2021 | past
Lambda the Ultimate Pattern Factory (2018) (thma.github.io)
3 points by coolgeek on Feb 13, 2021 | past | 1 comment
Fuzz me wrong – How QuickCheck destroyed my favourite theory (thma.github.io)
126 points by lrngjcb on Feb 12, 2021 | past | 57 comments
Fuzzing me wrong – How QuickCheck destroyed my favourite theory (thma.github.io)
1 point by lelf on Feb 2, 2021 | past

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: