Mathematicians use Prolog, find 27 tickets guaranteed to win UK National Lottery
2023-08-01
Show HN: Advanced pull request merge protection for GitHub
2023-07-31
A Randomized Scheduler with Probabilistic Guarantees of Finding Bugs [pdf]
2023-07-27
Show HN: I created a Random Password and UUID generator
2023-07-25
Show HN: nozl.dev
2023-07-20
Ask HN: Mastodon instances run by non-profit foundations (not individuals)?
2023-07-19
Chipotle tests ‘Autocado,’ a robot to speed up guacamole production
2023-07-13
Guaranteeing Õ(AGM/Out) Runtime for Uniform Sampling, Size Estimation over Joins
2023-07-12
Show HN: Sublime Text GPT-4 integration plugin
2023-07-11
Show HN: Throw – A space for asking and answering questions anonymously
2023-07-10