Money has a special role in morality because spending is not merely an expression of opinion. It transfers real resources, changes incentives, and enables one activity instead of another. A […]
My ZenDB Database Patch toward Fully on-Chain AIIM App
I Vibe-coded a draft patch for ZenDB to do resource-intensive database upgrades. When it will be merged (after successful transition to non-draft stage), we will have all necessary components to […]
When Effective Altruism Evaluation Criteria Fail: AIIM as an Example
Effective altruism asks an essential question: How can limited resources produce the greatest positive impact? Its emphasis on evidence, cost-effectiveness, counterfactual reasoning, and intellectual honesty has substantially improved philanthropic decision-making. […]
Science Nearly Destroyed the World. Why Is It More Likely to Save It Now?
Science helped humanity unlock the energy stored in coal, oil, and natural gas. That achievement powered industrialization, transportation, electricity, agriculture, and modern medicine. It also created the fossil-fuel economy that […]
How Should Scientific Credit Be Divided Among Unequal Contributions?
Scientific credit should be divided according to the type, magnitude, originality, indispensability, and demonstrated impact of each contribution—not divided equally by default and not inferred solely from author order. A […]
Why Prediction-Based Funding Misses Unpredictable Discoveries
Prediction-based research funding asks scientists to describe discoveries before they make them. This creates a structural contradiction: the more genuinely surprising a discovery would be, the harder it is to […]
Funding Research Teams Without Erasing Individual Credit
Research increasingly depends on teams, but scientific careers still depend on individuals. This creates a structural problem: funders may support a laboratory, consortium, or institution while obscuring which people actually […]
The Economics of Maintaining Scientific Software
Scientific software is not maintained automatically by publishing its source code. It requires continuing labor: fixing defects, updating dependencies, answering user questions, improving documentation, adapting to new hardware, reviewing contributions, […]
How Mathematical Proofs Could Become Machine-Verifiable
Mathematical proofs could become machine-verifiable by expressing their definitions, assumptions, theorem statements, and logical steps in a formal language that a proof assistant can check. Systems such as Lean, Rocq—formerly […]
Can Formal Verification Change Mathematical Publishing?
Formal verification could fundamentally change mathematical publishing by separating two questions that journals currently handle together: “Is this proof logically valid?” and “Is this mathematics important, original, and understandable?” A […]
