Explore >> Select a destination
|
You are here 
|
www.jeremykun.com | ||
| | | | |
mathscholar.org
|
|
| | | | | [AI summary] The article discusses the evolution of mathematics, highlighting the role of technology and formalization in modern mathematical practices. It explores how collaborative projects using tools like Lean are changing the way mathematicians approach problem-solving, enabling the division of labor and making complex proofs more manageable. The text also touches on the potential future of mathematics with the integration of AI, suggesting that AI could assist in generating and formalizing proofs, leading to new roles within the mathematical community. The article emphasizes that while AI may not replace human mathematicians, it will transform the field by allowing for more efficient and collaborative research. | |
| | | | |
martinfowler.com
|
|
| | | | | Security is both very important and often under-emphasized. While many targeted techniques help, there are some basic clean code habits which every developer can and should be doing | |
| | | | |
blog.nelhage.com
|
|
| | | | | How do you find near-duplicates in a massive collection of documents? An exploration of the Jaccard similarity metric, and the MinHash hashing trick used to efficiently approximate it at web scale. | |
| | | | |
qri.org
|
|
| | | Digital computers will remain unconscious until they recruit physical fields for holistic computing using well-defined topological boundaries. | ||
