Newest Stories by hwayne | Lobsters

6

P: A programming language designed for asynchrony, fault-tolerance and uncertainty formalmethods programming release microsoft.com
via hwayne 1 year ago | cached | 10 comments

10
15

'Techniques' section added to Learn TLA+ ☶ education formalmethods release learntla.com
authored by hwayne 1 year ago | cached | 1 comment

1
10

Are Pop Lyrics Getting More Repetitive? art culture visualization pudding.cool
via hwayne 1 year ago | cached | 2 comments

2
2

nomx: The world's most secure communications protocol hardware rant security scotthelme.co.uk
via hwayne 1 year ago | cached | no comments

0
43

Tag proposal: Formal Methods ☶ formalmethods meta
authored by hwayne 1 year ago | 16 comments

16
4

AutoDraw turns doodles into clipart art autodraw.com
via hwayne 1 year ago | cached | 1 comment

1
22

What persuasive examples do you use when discussing ideas? ☶ ask education
authored by hwayne 1 year ago | 7 comments

7
2

Taking the Leap from 2D to 3D design medium.com
via hwayne 1 year ago | cached | 1 comment

1
21

Mutability Leads to Suffering distributed programming medium.com
authored by hwayne 1 year ago | cached | 3 comments

3
3

Want an Energy-Efficient Data Center? Build It Underwater hardware spectrum.ieee.org
via hwayne 1 year ago | cached | no comments

0
3

What are some tools, methods, etc that need more technical writing? ☶ ask culture education
authored by hwayne 1 year ago | no comments

0
24

Getting "real work" done with formal methods ☶ show testing medium.com
authored by hwayne 1 year ago | cached | 6 comments

6
1

S3 is unstable, move to S4 satire web supersimplestorageservice.com
via hwayne 1 year ago | cached | no comments

0
36

A Guide to TLA+ and Practical Formal Methods show testing learntla.com
authored by hwayne 1 year ago | cached | 4 comments

4
45

What are some lesser-known engineering articles that influenced you? ☶ ask programming
authored by hwayne 1 year ago | 31 comments

31