Infer
A tool to detect bugs in Android and iOS apps before they ship, by Facebook
Show HN: Interact with any DeFi Protocol in a single line of code
2023-04-29
Ask HN: Career in Formal Verification
2023-04-29
Ask HN: Is C# worth learning to only get a formal job?
2023-04-29
The Unconscious Universe Exploring the Intersection of Physics and Ontology
2023-04-29
Ask HN: Should my one person company get a ISO 27001?
2023-04-29
Show HN: DeepNotes – Visual Note-Taking for Deeply Interconnected Ideas
2023-04-29
Real interview recordings to help job seekers
2023-04-29
Ask HN: I get anxiety working with computers
2023-04-29
Interview with Google engineer who jumpstarted the Sentient Machine discussion
2023-04-29
What makes GPT-4 so much better than GPT-3.5 and competitors?
2023-04-29
