HNHacker News
TopNewBestAskShowJobs

shortj

250 karma · joined May 31, 2012

[ my public key: https://keybase.io/jshort; my proof: https://keybase.io/jshort/sigs/SwbZGHwmJ0-yvMoJl2tX0WCqJ0bA14uGs0F9ZSw2axc ]
submissionscomments

Developing provably correct Rust code with Verus

amazon.science·1 pts·shortj·
0

We replaced StepFunctions ASL with TypeScript by making Lambdas suspendable

restate.dev·4 pts·shortj·
0

Rust – What made it “click” for me (Ownership and memory internals)

deavid.wordpress.com·79 pts·shortj·
74

Software Art: I Can Feel

jpreston.xyz·2 pts·shortj·
0

Rules for Data Modeling with DynamoDB

trek10.com·207 pts·shortj·
80

Best Practices for Secondary Indexes with DynamoDB

trek10.com·1 pts·shortj·
0

Amazon won't spin off AWS, and that's too bad for AWS

forrestbrazeal.com·2 pts·shortj·
0

Jsii: Use JavaScript modules naturally from every programming language

github.com·1 pts·shortj·
0

Why a Computer Science Degree Matters

blog.jaredshort.com·26 pts·shortj·
51