Surfing Complexity personal blog
Synthesis is harder than analysis
Over the years, mathematicians, logicians and computer scientists have developed various calculi. If you have a background in computer science, you’ve likely heard of the lambda calculus, a m…
- Points
- 154
- HN comments
- 41
- Submissions
- 1
- Cited by
- 0 commenters
Software EngineeringLife, Learning & Writing2026
On Hacker News
| Submitted | Title on HN | Points | Comments |
|---|---|---|---|
| Jul 4, 2026 | Synthesis is harder than analysis by azhenley | 154 | 41 |