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