Skip to content

Top Best Ask Show New Jobs

wazHFsRy | Better HN

wazHFsRy

226 karmaJoined August 27, 201975 submissions

Recent submissions

1

Verifying Rust Programs (opens in new tab)

(github.com)GitHub

1wazHFsRy2mo ago0

2

The Usefulness of AI Agents (opens in new tab)

(erikjohannes.no)

1wazHFsRy2mo ago1

3

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

(dev-log.me)

14wazHFsRy2mo ago4

4

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

(zeit.de)

2wazHFsRy2mo ago1

5

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

(halfanhour.blogspot.com)

1wazHFsRy2mo ago0

6

Prefer do notation over Applicative operators when assembling records (2024) (opens in new tab)

(haskellforall.com)

54wazHFsRy2mo ago14

7

Show HN: CLI to order groceries via reverse-engineered REWE API (Haskell) (opens in new tab)

(github.com)GitHub

205wazHFsRy2mo ago85

8

I Have Trust Issues with My AI. Canary Comments Help (opens in new tab)

(dev-log.me)

3wazHFsRy4mo ago0