HNHacker News
TopNewBestAskShowJobs

gdp

848 karma · joined August 6, 2009

Programming languages and formal methods geek.

http://plsadventures.blogspot.com/

submissionscomments

"It's a hardware problem" is a programmer problem

plsadventures.com·2 pts·gdp·
0

What are the semantics of your favourite programming language?

plsadventures.com·17 pts·gdp·
20

The state of the world (and why I still think it's a bad idea)

plsadventures.com·1 pts·gdp·
0

The bug-free myth: Why we trust verified software

plsadventures.com·1 pts·gdp·
0

Insecure software is your fault

plsadventures.com·2 pts·gdp·
0

Two (programming language) features that would improve my life

plsadventures.com·14 pts·gdp·
6

Peter Landin Obituary

guardian.co.uk·13 pts·gdp·
0

Pigeons and Programming: Superstitious behaviour

plsadventures.com·1 pts·gdp·
0

Ur/Web: The Ur Programming Language Family

impredicative.com·16 pts·gdp·
1

Why programming language design is hard (and a few ways it can be made easier)

plsadventures.com·31 pts·gdp·
8

On the semantics of pseudo-code

plsadventures.com·2 pts·gdp·
2

Making money from programming language design

plsadventures.com·2 pts·gdp·
4

Netboot.me - Turning netboot into internetboot

blog.notdot.net·37 pts·gdp·
7

I laugh at your puny human 'objects'

plsadventures.blogspot.com·30 pts·gdp·
53

Worrying trends in programming languages: Javascript

plsadventures.blogspot.com·5 pts·gdp·
10

A prototype static analysis tool for observable effects

plsadventures.blogspot.com·1 pts·gdp·
0

Hardware/Software Co-design

plsadventures.blogspot.com·1 pts·gdp·
0

Simple patterns for better arguments about programming languages

plsadventures.blogspot.com·11 pts·gdp·
2

Sources of inspiration and interesting directions for programming languages

plsadventures.blogspot.com·9 pts·gdp·
3

If concurrency is easy, you're either absurdly smart or you're kidding yourself

plsadventures.blogspot.com·14 pts·gdp·
20

When are we going to stop writing code?

plsadventures.blogspot.com·7 pts·gdp·
33