Ask HN: Are mathematicians less likely to be impressed by ChatGPT?
2023-04-20
When you buy a book, you can loan it to anyone – a judge says libraries can’t
2023-04-20
Punctuation in literature of major languages is intriguingly mathematical
2023-04-20
Show HN: Play the front page of Hacker News as interactive text games
2023-04-20
GPT-4: “I am the very model of a modern A.I (general)"
2023-04-20
Hands on Software Verification Course with Focus on Functional Programming
2023-04-20
EU Takes a Sober Approach to TikTok, in Contrast to ‘Theatrical’ US
2023-04-20
Ask HN: How do you reason about a program?
2023-04-20
Show HN: 'Get Even' mini number game
2023-04-20
Native Alaskan Language Reshapes Mathematics
2023-04-20