Skip to content

Top New Best Ask Show Jobs

wazHFsRy | Better HN

wazHFsRy

224 karmaJoined August 27, 201974 submissions

Recent submissions

1

Verifying Rust Programs (opens in new tab)

(github.com)

1wazHFsRy28d ago0

2

The Usefulness of AI Agents (opens in new tab)

(erikjohannes.no)

1wazHFsRy1mo ago1

3

Formal Verification in Any Language for Everybody (lean 4) (opens in new tab)

(dev-log.me)

14wazHFsRy1mo ago4

4

Visualisation of the Artemis Mission (German) (opens in new tab)

(zeit.de)

2wazHFsRy1mo ago1

5

Resilience in the Age of AI (opens in new tab)

(halfanhour.blogspot.com)

1wazHFsRy1mo ago0