Newest Stories by hwayne
Home
Recent
Comments
Search
Login
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
<< Page 6