A Primer on Separation Logic (Automatic Program Verification and Analysis)(2011) [pdf]
2022-10-17
Reverse job board for Django developers
2022-10-17
Converting Postman to YAML to Call API-Using Fluvio
2022-10-17
Show HN: Amazon Affiliates Telegram Bot. Automatize Your Business on Telegram
2022-10-17
Data Science at Spotify Camp Nou
2022-10-17
Maestro: The easiest way to automate UI testing for your mobile app
2022-10-17
Secure Software Development Framework (SSDF) [pdf]
2022-10-17
Inspired by automation and using Laravel Zero
2022-10-17
Simple AutoML for time series with Ray Core
2022-10-17
GUPU – Teaching Prolog and Constraints
2022-10-17