Synthesis is harder than analysis (surfingcomplexity.blog) | HN Screenshots

YHacker Newsscreenshots

Screenshot of surfingcomplexity.blog: Synthesis is harder than analysis

First screen, captured 3 months ago.

Looks similar

Screenshot of surfingcomplexity.blog: A Liveness Example in TLA+

A Liveness Example in TLA+(surfingcomplexity.blog)

52 points by skeptrune 2 years ago | 7 comments

Screenshot of surfingcomplexity.blog: Futexes in TLA+

Futexes in TLA+(surfingcomplexity.blog)

15 points by ingve 2 years ago | 0 comments

Screenshot of surfingcomplexity.blog: Caveat Prompter

Caveat Prompter (surfingcomplexity.blog)

9 points by azhenley 1 year ago | 5 comments

Screenshot of surfingcomplexity.blog: GitHub, autoscaling, and the component substitution fallacy

GitHub, autoscaling, and the component substitution fallacy (surfingcomplexity.blog)

45 points by jonemi 2 months ago | 0 comments

Screenshot of surfingcomplexity.blog: Linearizability Refinement Prophecy

Linearizability Refinement Prophecy (surfingcomplexity.blog)

25 points by mrtz 2 years ago | 0 comments

Screenshot of surfingcomplexity.blog: If you can’t tell a story about it, it isn’t real

If you can’t tell a story about it, it isn’t real (surfingcomplexity.blog)

42 points by azhenley 3 years ago | 16 comments