Newest Stories by hwayne
Home
Recent
Comments
Search
Login
19
Tackling Concurrency Bugs with TLA+ (Strange Loop)
☶
show
video
formalmethods
youtube.com
authored by
hwayne
11 months ago
|
cached
|
no comments
0
10
The Coming Software Apocalypse
culture
formalmethods
theatlantic.com
via
hwayne
11 months ago
|
cached
|
2 comments
2
22
What would you do with a programming assistant?
☶
ask
job
authored by
hwayne
11 months ago
|
20 comments
20
8
Serverless is cheaper, not simpler
programming
web
medium.com
via
hwayne
11 months ago
|
cached
|
2 comments
2
2
Optimizing web servers for high throughput and low latency
performance
web
blogs.dropbox.com
via
hwayne
12 months ago
|
cached
|
no comments
0
18
Supporting Hypothesis
☶
python
testing
stripe.com
via
hwayne
1 year ago
|
cached
|
1 comment
1
1
Bootstrapping the Web with Scala Native (Part 1)
performance
scala
spantree.net
via
hwayne
1 year ago
|
cached
|
no comments
0
8
Instructive and Persuasive Examples
education
hillelwayne.com
authored by
hwayne
1 year ago
|
cached
|
2 comments
2
27
A history of branch prediction from 1500000 BC to 1995
hardware
danluu.com
via
hwayne
1 year ago
|
cached
|
no comments
0
9
The Lesser Known Normal Forms of Database Design (2014)
databases
satire
johnmyleswhite.com
via
hwayne
1 year ago
|
cached
|
no comments
0
-2
The Big 5 CEOs, ranked by fight
satire
medium.com
authored by
hwayne
1 year ago
|
cached
|
no comments
0
29
How Do We Trust Our Science Code?
science
hillelwayne.com
authored by
hwayne
1 year ago
|
cached
|
23 comments
23
10
Small Functions considered Harmful
programming
medium.com
via
hwayne
1 year ago
|
cached
|
8 comments
8
12
Why does Sattolo's algorithm produce a permutation with exactly one cycle?
compsci
danluu.com
via
hwayne
1 year ago
|
cached
|
1 comment
1
17
What happened to the "Surgical Team" Model from the Mythical Man Month?
☶
ask
culture
authored by
hwayne
1 year ago
|
14 comments
14
6
Hypothesis Testing with Oracle Functions
python
testing
hillelwayne.com
authored by
hwayne
1 year ago
|
cached
|
no comments
0
8
Moving Beyond Types
☶
python
testing
hypothesis.works
via
hwayne
1 year ago
|
cached
|
5 comments
5
42
What's the most interesting thing you've seen done with dynamic typing?
☶
ask
programming
authored by
hwayne
1 year ago
|
55 comments
55
26
How I Managed to Design the Most Successful Educational Computer Game of All Time
games
historical
medium.com
via
hwayne
1 year ago
|
cached
|
no comments
0
10
What I Learned From Researching Coding Bootcamps
culture
education
medium.com
via
hwayne
1 year ago
|
cached
|
no comments
0
7
An example of debugging Java with a model checker
formalmethods
java
cs.unh.edu
via
hwayne
1 year ago
|
cached
|
1 comment
1
2
The transition to multilingual programming with Python (2014)
historical
python
developers.redhat.com
via
hwayne
1 year ago
|
cached
|
no comments
0
10
List of Articles about Programming Skepticism
culture
hillelwayne.com
authored by
hwayne
1 year ago
|
cached
|
4 comments
4
6
Modeling Zero-Downtime Deployments with TLA+
devops
formalmethods
hillelwayne.com
authored by
hwayne
1 year ago
|
cached
|
no comments
0
6
When Random Numbers Are Too Random: Low Discrepancy Sequences
c++
math
visualization
blog.demofox.org
via
hwayne
1 year ago
|
cached
|
4 comments
4
<< Page 5
|
Page 7 >>