Using Kani to Validate Security Boundaries in AWS Firecracker

2023-09-09

Australia to give cats a curfew because they are murdering so many other animals

2023-09-09

Ask HN: How would you build an interactive hex-grid for web?

2023-09-09

Abused, traumatised and powerless: South Korea’s teachers are protesting

2023-09-09

Why Kant wouldn't fear AI

2023-09-09

Ask HN: Online Reservation scams: what’s the worst you’ve seen?

2023-09-09

Researchers discover that ChatGPT prefers repeating 25 jokes over and over

2023-09-09

Hoàng Xuân Sính's Thesis: Categorifying Group Theory

2023-09-09

Show HN: AI tool for teachers to create resources

2023-09-09

This italian bank accepts parmesan as collateral for a loan

2023-09-09