Explore >> Select a destination
|
You are here 
|
juliawolffenotes.home.blog | ||
| | | | |
4gravitons.com
|
|
| | | | | Merging quantum mechanics and gravity is a famously hard physics problem. Explaining why merging quantum mechanics and gravity is hard is, in turn, a very hard science communication problem. The more popular descriptions tend to lead to misunderstandings, and I've posted many times over the years to chip away at those misunderstandings. Merging quantum mechanics... | |
| | | | |
mnielsen.github.io
|
|
| | | | | [AI summary] The text explores the challenges of understanding abstract mathematical concepts and the role of representation in problem-solving. It emphasizes the importance of converting unfamiliar ideas into terms of known concepts, using examples like high-dimensional spaces and the irrationality of √2. The author argues that 'genius' is often the result of systematic practice with multiple representations rather than innate talent. The text concludes by suggesting the need for systems that support this process of representation mastery, such as interactive environments or tools that aid in cognitive elaboration. | |
| | | | |
gowers.wordpress.com
|
|
| | | | | This post is intended to accomplish several things at once. First and foremost, I want to explain (not just in the post) why I have been interested in Borel determinacy and in the natural proofs barrier. Roughly speaking (or should I say tl;dr?) I think that Martin's proof of Borel determinacy has features that might... | |
| | | | |
lexi-lambda.github.io
|
|
| | | [AI summary] This article is a comprehensive exploration of Haskell programming, covering its strengths, challenges, and the author's personal reflections on the language and its community. The piece delves into topics such as Haskell's type system, effect systems, and the use of libraries like lens and Text. It also addresses broader issues like the community's debates, the role of Haskell in modern software development, and the importance of type safety and abstraction in programming. The author reflects on their journey with Haskell, emphasizing the language's ability to challenge and inspire while acknowledging its imperfections. The conclusion highlights the significance of Haskell in the design space of programming languages and the author's commitment... | ||
