







Obey the Law of Locality · ABD: Anything But Dropdowns · Pass the Squint Test · Teach by example
Home | Laws of UX
Laws of UX is a collection of best practices that designers can consider when building user interfaces.

The Laws of Simplicity
John Maeda's book, The Laws of Simplicity, proposes ten laws for simplifying complex systems in business and life. Think of it as simplicity 101.

Unifying Principles of Generalization: Past, Present, and Future
Generalization, defined as applying limited experiences to novel situations, represents a cornerstone of human intelligence. Our review traces the evolution and continuity of psychological theories of generalization, from its origins in concept learning (categorizing stimuli) and function learning (learning continuous input-output relationships) to domains such as reinforcement learning and latent structure learning. Historically, there have been fierce debates between approaches based on rule-based mechanisms, which rely on explicit hypotheses about environmental structure, and approaches based on similarity-based mechanisms, which leverage comparisons to prior instances. Each approach has unique advantages: Rules support rapid knowledge transfer, while similarity is computationally simple and flexible. Today, these debates have culminated in the development of hybrid models grounded in Bayesian principles, effectively marrying the precision of rules with the flexibility of similarity. The ongoing success of hybrid models not only bridges past dichotomies but also underscores the importance of integrating both rules and similarity for a comprehensive understanding of human generalization.

The language of generalization.
Kevin A. Bryan - Eight Rules for Teaching in AI World
Eight rules for how university teaching should change because of AI.

The Laws of Simplicity / John Maeda
The simplest way to achieve simplicity is through thoughtful reduction.
Axioms and Computation
We have seen that the version of the Calculus of Constructions that has been implemented in Lean includes dependent function types, inductive types, and a hierarchy of universes that starts with an impredicative, proof-irrelevant Prop at the bottom. In this chapter, we consider ways of extending the CIC with additional axioms and rules. Extending a foundational system in such a way is often convenient; it can make it possible to prove more theorems, as well as make it easier to prove theorems that could have been proved otherwise. But there can be negative consequences of adding additional axioms, consequences which may go beyond concerns about their correctness. In particular, the use of axioms bears on the computational content of definitions and theorems, in ways we will explore here.
Three Laws of Robotics
The Three Laws of Robotics are a set of rules devised by science fiction author Isaac Asimov, which were to be followed by robots in several of his stories. The rules were introduced in his 1942 short story "Runaround", although similar restrictions had been implied in earlier stories.

Formalising mathematics: an introduction.
An introduction to the TCC course “Formalising Mathematics”

Conceptual mathematics: a first introduction to categories
Conceptual mathematics by F. W. Lawvere, 2009, Cambridge University Press edition, in English - 2nd ed.

Laws of Software Engineering
A collection of principles and patterns that shape software systems, teams, and decisions.

The Psychology of Normative Cognition
From an early age, humans exhibit a tendency to identify, adopt, andenforce the norms of their local communities. Norms are the socialrules that mark out what is appropriate, allowed, required, orforbidden in different situations for various community members. Theserules are informal in the sense that although they are sometimesrepresented in formal laws, like the rule governing which side of theroad to drive on, they need not be explicitly codified to effectivelyinfluence behavior. There are rules that forbid theft or the breakingof promises, but also rules that govern how close it is appropriate tostand to someone while talking to them, or how loud one should talkduring the conversation. Thus understood, norms regulate a wide rangeof activity. They exhibit cultural variability in their prescriptionsand proscriptions, but the presence of norms in general appears to beculturally universal. Some norms exhibit characteristics that areoften associated with morality, such as a rule that applies toeveryone and prohibits causing unnecessary harm. Other norms applyonly to certain people, such as those that delimit appropriateclothing for members of different genders, or those concerning theexpectations and responsibilities ascribed to individuals who occupypositions of leadership. The norms that prevail in a community can bemore or less fair, reasonable, or impartial, and can be subject tocritique and change.

New paper finally out in @NatureComms with E. Leib, D. O’Shaughnessy, C. Gallardo, @sferrigno.bsky.social, and @spiantado.bsky.social. 📝Children across cultures discover the latent algorithms that structure what they see, even without instruction, feedback, or formal schooling.🧵 tinyurl.com/4a238m2d