Early History and Perspectives of Automated Deduction (2007) [pdf]
2019-05-13
A napalm attack, an orphan, and a message three decades later
2019-05-13
Show HN: SCIMono – Open-Source SCIM 2.0 Client and Server Library
2019-05-13
Status of the SeaMonkey Source Tree
2019-05-13
Open-source benchmark for microservices and their HW-SW effect for cloud+edge [pdf]
2019-05-13
Open-source benchmark for microservices and their HW-SW effect for cloud+edge
2019-05-13
SF journalist says police raided his home after he refused to identify source
2019-05-13
Ultra Low Latency WebRTC Streaming Live Demo – Open-Source Media Server
2019-05-13
Satellite timelapse showing the devastating effects of deforestation
2019-05-12
Openpilot – open-source self-driving agent
2019-05-12