The Hitchhiker’s Guide to Logical Verification [pdf]

2022-09-08

Literature review on the benefits of static types

2022-09-07

Fossil Fuels Are Dead

2022-09-07

Ask HN: Best PHP tools to improve code quality?

2022-09-07

Static Code Analysis – A Behind-the-Scenes Look

2022-09-07

Ask HN: Source code (Java) parser and/or static analysis tool

2022-09-06

Launch HN: FlyCode (YC S22) – Let product teams edit web apps without coding

2022-09-06

Ask HN: Static site generator that can cope with octopus juggling geysers?

2022-09-06

Ask HN: stack recommendations for a lateral mover (2022)?

2022-09-05

Coalton is an efficient, statically typed functional programming language

2022-09-05