Abella: A System for Reasoning about Relational Specifications (2014)

2022-09-30

Linear Algebra with Applications

2022-09-30

YouTube threatens to cut down investments in Korea over ‘network usage fee’ bill

2022-09-29

Tell HN: You can now sell some software and services to Iranian customers

2022-09-29

Ask HN: How do people use Microsoft services in 2022?

2022-09-29

GoAccess, a real-time web log analyzer and interactive viewer in C

2022-09-29

Cloudflare announces WebRTC live streaming to unlimited viewers

2022-09-28

Ask HN: Would you ever consider building a CRUD app on top of Snowflake?

2022-09-28

Covid Still Kills, but the Demographics of Its Victims Are Shifting

2022-09-28

Fischer vs. Modern Elite Players

2022-09-28