A gentle introduction to static analyzers for C

2023-09-27

Ask HN: Free Website Builders in 2023?

2023-09-26

Show HN: A statically compiled 32-bit Wine

2023-09-25

Formal specifications and static checking of interfaces in Julia

2023-09-22

Show HN: Tinyfeed – CLI to generate static webpage from a collection of feeds

2023-09-22

How SteamOS is contributing to the Linux ecosystem [pdf]

2023-09-22

Composable static typing, proofs and formal verification for Julia

2023-09-22

Shite – a static page with blog in 300L of posix shell script

2023-09-20

My own (kinda weird) Static Site Generator (2020)

2023-09-19

Show HN: I made a CMS for Astro content collections

2023-09-19