May 2023 Archive
19921.
19922.
19923.
19924.
19925.
19926.
19927.
EU CSAM Proposal [pdf] (femtejuli.se)
19928.
19929.
19930.
S2n-QUIC uses Kani to inspire confidence (model-checking.github.io)
19931.
19932.
19933.
19934.
A reflection on 2 years of indie hacking (thebuilderjr.substack.com)
19935.
19936.
19937.
19938.
19939.
19940.
19941.
19942.
19943.
19944.
19945.
19946.
19947.
19948.
19949.
19950.