gdp
- Karma
- 848
- Created
- August 7, 2009 (16y ago)
- Submissions
- 0
Programming languages and formal methods geek.
http://plsadventures.blogspot.com/
- "It's a hardware problem" is a programmer problem (plsadventures.com)
- What are the semantics of your favourite programming language? (plsadventures.com)
- The state of the world (and why I still think it's a bad idea) (plsadventures.com)
- The bug-free myth: Why we trust verified software (plsadventures.com)
- Insecure software is your fault (plsadventures.com)
- Two (programming language) features that would improve my life (plsadventures.com)
- Peter Landin Obituary (guardian.co.uk)
- Pigeons and Programming: Superstitious behaviour (plsadventures.com)
- Ur/Web: The Ur Programming Language Family (impredicative.com)
- Why programming language design is hard (and a few ways it can be made easier) (plsadventures.com)
- On the semantics of pseudo-code (plsadventures.com)
- Making money from programming language design (plsadventures.com)
- Netboot.me - Turning netboot into internetboot (blog.notdot.net)
- I laugh at your puny human 'objects' (plsadventures.blogspot.com)
- Worrying trends in programming languages: Javascript (plsadventures.blogspot.com)
- A prototype static analysis tool for observable effects (plsadventures.blogspot.com)
- Hardware/Software Co-design (plsadventures.blogspot.com)
- Simple patterns for better arguments about programming languages (plsadventures.blogspot.com)
- Sources of inspiration and interesting directions for programming languages (plsadventures.blogspot.com)
- If concurrency is easy, you're either absurdly smart or you're kidding yourself (plsadventures.blogspot.com)
- When are we going to stop writing code? (plsadventures.blogspot.com)