Lobste.rs
24 readers
5 users here now
RSS Feed of lobste.rs
founded 1 month ago
MODERATORS
276
277
278
279
1
Automated Verification of Go Programs via Bounded Model Checking (2021)
(pure.royalholloway.ac.uk)
280
282
0
Framework overload: when convenience dulls innovation in software development
(prahladyeri.github.io)
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
1
Manim Community - A community maintained Python library for creating mathematical animations
(www.manim.community)
299
300