TL;DR — Because unobservable constructs hold ‘surplus meaning,’ your metric is not your construct.
Back-to-basics: on poor conceptualizations in AI work - (Un)rigorous AI
TL;DR — Poor conceptual foundations can severely undermine the credibility and reliability of knowledge claims. (And, no, your metric is not your construct.)
Notes on software quality
“The absence of problems” is the best definition I can come up with for quality.
Comprehension Debt - the hidden cost of AI generated code.
Comprehension debt is the hidden cost to human intelligence and memory resulting from excessive reliance on AI and automation. For engineers, it applies most to agentic engineering.
The Genius Who Invented Reverse Mathematics
From an Extractive to a Non-Extractive Economy: Disentangling the Building Blocks of Non-Extractive Economic Practices
The paradigm of contemporary business is extractive: oriented towards extracting ever more unpaid energy, resources, money, personal data, labour, health and we
Descriptions Aren’t Prescriptions
When we look at a representation of reality, we can choose to either see it as descriptive, meaning it tells us what the world is currently like, or as prescriptive, meaning it tells us how the world should be. Descriptions teach us, but they also give us room to innovate. Prescriptions can get us stuck. One place this tension shows up is in language.
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.
Unsimple Truths: Science, Complexity, and Policy
Amazon.com: Unsimple Truths: Science, Complexity, and Policy eBook : Mitchell, Sandra D.: Kindle Store
Reconciling truthfulness and relevance as epistemic and decision-theoretic utility.
When the Scoreboard Becomes the Game, It’s Time to Recalibrate Research Metrics - The Scholarly Kitchen
Today's guest post discusses research metrics and their relationship to research integrity, inclusivity, and long-term impact.
‘Shut up and calculate’ does a disservice to quantum mechanics | Aeon Essays
The cliché has it that the Copenhagen interpretation demands adherence without deep enquiry. That does physics a disservice
Kill Math
The power to understand and predict the quantities of the world should not be restricted to those with a freakish knack for manipulating abstract symbols.
All you need is Wide Events, not “Metrics, Logs and Traces”
This quote from Charity Majors is probably the best summary of the current state of observability in the tech industry - a total, mass confusion.
A Novel Kuhnian Ontology for Epistemic Classification of STM...
Despite rapid gains in scale, research evaluation still relies on opaque, lagging proxies. To serve the scientific community, we pursue transparency: reproducible, auditable epistemic...
Valuing What Counts: Framework to Progress Beyond Gross Domestic Product: Our Common Agenda Policy Brief 4
The internet has evolved to foster a fatal expectation: that the things we depend on every day are free. They aren't, but we're allowed to pretend they are with the help of ad-driven business models. The real cost is substantial, and can be measured in time, money, relationships, health, and more.
Fund Your Internet
fundyourinternet.org