The discussion is about the expectation of fun and enjoyment in mathematics, especially concerning formal proofs and proof assistants.
There is an exploration of the interaction between formalization, mathematical communication, and technology, emphasizing the potential impact on author-reader dynamics.
The text questions the philosophical implications of automatic translation between different forms of mathematical proofs, highlighting the nuances and potential losses in communication and understanding.
Dogbotic is a unique educational space teaching technology through a hands-on, creative, and abstract approach.
Exploring generative art and music through tools like AI and tape loops can lead to innovative ways of creating and understanding sound.
Thinking critically about the use and misuse of new technologies like AI can spark profound insights into our relationship with these tools and their impact on society.
Creating generative art involves using programming to make things like color palettes or music inspired by nature. These projects let you explore creativity with technology.
NeuralSVG is an interesting method for generating vector graphics from text prompts. It helps create more structured designs, which can be really useful for artists.
Using tools like Blender and Three.js can make it easier to design stunning generative visuals. Tutorials are available to help you learn these skills step by step.
The post is part of the Atlas' Notes series by Cosmographia, focusing on art, poetry, literature, cartography, and photography related to a specific location.
Access to the full post is for paid subscribers only.
The post includes imagery and is authored by M. E. Rothwell.
Runes were letters used by ancient Germanic-speaking people to write words and sentences, not symbols for abstract concepts.
The origins of runes are cryptically described in Norse mythology, but they bear resemblance to alphabets used for Latin and Greek languages at the time.
Modern rune magic concepts are rooted in 16th-century occultism and may not align with how runes were used for magic in the pre-Christian Norse era.
You can create unique snowflake designs using a website that generates them. It's fun to play around with the designs and save your favorites as SVG files.
Generative AI is being used in interactive art to create experiences that change based on audience interaction. This can highlight important issues like environmental damage.
Using voice commands to control software like Blender shows how technology can make creative tools more accessible, allowing for new and exciting ways to interact with art and design.
The creative process involves distinct phases, and creative friction arises when there is a mismatch between the phase and the task.
There are at least four main phases in the creative process: collective, connective, creative, and critical, each playing a vital role in creating and refining work.
To enhance creativity, it's beneficial to keep the phases of the creative process separate, allowing for more efficient and energizing workflow.
The author embarked on a challenging, multi-year journey to create a parody children's book mimicking a classic, venturing into a realm of satirical humor.
Drawing from inspiration and striving for humor, the author faced hurdles in advertising due to the political nature of their content, highlighting the complexities of self-publishing.
The process of creating a book presented unexpected challenges, from mimicking a famous art style to learning new tools like Photoshop, illustrating the perseverance and creative struggles involved in bringing art to life.
The newsletter will continue with an anthropological focus as the author starts a PhD in anthropology at the University of Cambridge, providing insights into research and discussions.
Paying subscribers will have more interactive and experimental content, while the core essays will remain free for everyone.
There will be a hiatus in the newsletter from mid-September to mid-October due to the author's relocation and academic commitments.
Many people are turning to the online world for answers due to an uncertain future, leading to the emergence of fringe political identities and online communities that can potentially escalate into radicalization.
The Netherlands has witnessed a rise in fringe political identities, influenced by the mishandling of a global pandemic, which has highlighted the deep-rooted connection between online culture and the broader societal psyche.
The project _pol/der (vriens)_ explores how conspiracy theories can become collective myths, shaping culture and politics by materializing online imagery into tangible representations.
Learning basic rules of data visualization helps you make better choices but it's also important to know that there aren't hard and fast rules. Understanding conventions allows you to decide how to present data effectively.
Using a bar graph is often better than a pie chart for comparing numbers, but beyond that, your choices matter more than following strict rules.
The key is to use the knowledge you've gained about perception and cognition to guide your decisions, creating a unique approach to data visualization.
Michael Mann is known for continually revising and reissuing his movies, showcasing his auteur style through subtle changes.
Mann's editing style involves small, surgical alterations to existing footage, aiming to refine details rather than make big sweeping cuts.
Advancements in technology enable Mann and filmmakers like him to continuously improve and modify their works, leading to potential future revisions and restorations.
How map projections like the Mercator can heavily distort our perception of the world and influence political narratives.
The concept of maps can extend beyond traditional paper forms to include tactile representations, like the wooden Ammassalik Map, challenging our preconceptions of navigation.
Designers should be conscious of how they interpret reality in their designs and consider different perspectives and ways of representation.