Open Letter to the Board of Directors of Gitlab Inc

2023-09-25

Rust rule matching engine (Rete algorithm) (2020)

2023-09-25

Cairo 1.18.0 Released

2023-09-23

How to choose the right static site generator

2023-09-23

Building Trust

2023-09-22

Coq community views on renaming Coq (2022) [pdf]

2023-09-22

Show HN: The most over-engineered URL shortener

2023-09-22

Gitlab supports NSA and CISA CI/CD security guidance

2023-09-19

Gitlab Critical Security Release: 16.3.4 and 16.2.7

2023-09-19

Raspberry Pi Pico W USB Host MQTT Numpad

2023-09-18