sargstuff

Recent Submissions

1. 1. ▲ Playscii – open-source ASCII art/animation/game creation (jplebreton.com) 1 point · 7 days ago · 0 comments
2. 2. ▲ Ask HN: Realistic approach to making roon[0] more compact/portable? 1 point · 1 month ago · 0 comments
3. 3. ▲ Flip-Disk Art (theartistbreakfast.com) 2 points · 2 months ago · 0 comments
4. 4. ▲ ShiftLens: Mech. Actuated Optical Surfaces for Switchable Appearances on 3D Objs (hcie.csail.mit.edu) 1 point · 2 months ago · 0 comments
5. 5. ▲ Sketching with Math and Quasi Physics (2022) (kyndinfo.notion.site) 1 point · 3 months ago · 0 comments
6. 6. ▲ A Simpler Lambda Calculus (2019) (dl.acm.org) 1 point · 3 months ago · 0 comments
7. 7. ▲ Pantograph (github.com) 13 points · 3 months ago · 3 comments
8. 8. ▲ Structure Editors (github.com) 8 points · 3 months ago · 3 comments
9. 9. ▲ Models and theories of lambda calculus (2009) (inria.hal.science) 5 points · 3 months ago · 0 comments
10. 10. ▲ Beyond Lambda-Calculus: Intensional Computation (2017) [video] (youtube.com) 2 points · 3 months ago · 0 comments