How I found user accounts in my SaaS tools that should have been offboarded

2023-03-02

Ask HN: What are some alternatives to ChatGPT for code?

2023-03-01

Phoenix 1.7.0 Released: Built-In Tailwind, Verified Routes, LiveView Streams

2023-03-01

Playable Games on the Steam Deck, Including 3000 Verified Ones

2023-03-01

Launch HN: EdgeBit (YC W23) – live software vulnerability analysis

2023-03-01

ANN: Terra NOSTR, a NIP-05 verification / identity service for Nostr

2023-03-01

Formal verification of Rust code with Prusti

2023-03-01

AI and Law: Legal Insights on the Formal Verification of AI Systems

2023-02-28

Rosenpass – formally verified post-quantum WireGuard

2023-02-28

National Technical Means of Verification

2023-02-27