Ask HN: Freelancer? Seeking freelancer? (July 2021)
2021-07-01
Ask HN: Who is hiring? (July 2021)
2021-07-01
Ask HN: Who wants to be hired? (July 2021)
2021-07-01
NeuralTheoremProving in Lean Using Proof Artifact Co-Training and LanguageModels
2021-07-01
British right to repair law excludes smartphones and computers
2021-07-01
Transcending locality: the rise of nomadism and decentralized communities
2021-07-01
Xcode Cloud runs builds on Intel Xeon Gold 5218
2021-07-01
Show HN: VisaWhen – Data on US visa issuance backlogs
2021-07-01
Strategy for novice crypto traders
2021-07-01
Untangling the Galaxy. Local Structure, Star Formation History of the Milky Way
2021-07-01