Agda
Haskell
LiquidHaskell
academia
academics
ai
- Aligned Intelligence and Moral Progress
- The Next Trillion Theorems
- AI Tutors – The Future of Education
- AI Danger
- Pinion - a Short Story Generator
biography
blockchain
computics
- Metaprogramming Capabilities
- agda2lh
- The Situations of Academic and Industrial Computer Science
- Overloaded Functions in Haskell
- The Difference Between Mathematics and Logic
- Unique Terms
- Mesaprogramming
- Metaprogramming via Dependent Types
- Types of "Type"s
- Impe
- Of Name or Value?
economics
- Forgiving US Student Loan Debt
- Placebo Discount
- The Social Responsibility of Business in "A Friedman Doctrine"
- Dominant Assurance Contracts
- Practical University
- Cities and Design
education
ethics
game-design
mathematics
- The Next Trillion Theorems
- The Difference Between Mathematics and Logic
- From Inside Dimensions
- Mathematical Manifestation
medicine
movie
philosophy
- Meritocracy is wrong
- Aligned Intelligence and Moral Progress
- Is Belief a Choice?
- The Difference Between Mathematics and Logic
- Cryodreams
- A Proof That God Cannot Create a Rock So Heavy He Cannot Lift It
- A Monotheistic Foundation for the Epistemology of Science
- Moral Empiricism
- The Self Observation
- Mathematical Manifestation
- No Explanation
politics
science
- A Monotheistic Foundation for the Epistemology of Science
- Mathematical Manifestation
- No Explanation
- As Expected
short-story
- Love Exposure
- Cryodreams
- Reminders
- Losing Touch
- Augmentation 1
- Of Name or Value?
- Practical University
- One Year
- As Expected
- Consequence
software
software-engineering
technology
- Review of the Arc Browser
- Open Source Software
- Essential Mac Applications
- Social VR?
- Cryodreams
- Competiting with YouTube
- Golden Bubble
- New Features for Sharing Nontext Content