🤖 Using LLMs at Oxide
An insightful reflection on the ethics of AI-assisted communication, emphasizing the balance between technological convenience and intellectual honesty.
The Oxide team discusses their approach to using large language models for writing and communication. They maintain that while LLMs can enhance editing and brainstorming, relying on them for full text generation undermines authenticity, intellectual rigor, and reader trust. The article highlights how AI-generated writing can distort the relationship between author and audience, where genuine thought and effort are expected.
🔗 Read more 🔗
🎵 Struggling Towards an Algebraic Theory of Music
A thought-provoking exploration of how programming theory meets art, revealing the boundaries of formal systems in modeling human creativity.
The author investigates how algebraic structures from functional programming—such as monoids and monads—could describe musical composition. Through experiments, they find that mathematical abstractions struggle to capture music’s expressive and contextual nature. The piece suggests that music behaves more like a sheaf, integrating local nuances into a coherent whole.
🔗 Read more 🔗
🔐 Diffie-Hellman Key Exchange Visualizer
🔗 Read more 🔗
🧩 Fixed Points and Strike Mandates (2012)
An elegant fusion of mathematics and social reasoning—this post turns theoretical computer science into a lens for understanding coordinated human action.
Pierre-Marc de Kovács examines fixed-point theory through the lens of both computer science and social dynamics. He explains how Tarski’s fixed point theorem underpins algorithmic design and uses the analogy of Quebec student strikes to show how interdependent decisions can mirror computational fixed points. The essay bridges abstract computation with real-world collective behavior.
🔗 Read more 🔗