• agda2lh
  • https://jesper.sikanda.be/files/reasonable-agda-is-correct-haskell.pdf
  • GitHub - ucsd-progsys/liquidhaskell: Liquid Types For Haskell
  • LiquidHaskell Docs
• The Situations of Academic and Industrial Computer Science
  • Runtime Verification - Web3 and Blockchain Security
  • Galois - Home
  • Reed College
  • Carnegie Mellon University | CMU
  • Our Research Changes Lives | University of Maryland
• Dominant Assurance Contracts
  • Escrow - Wikipedia
  • Crowdfunding - Wikipedia
  • https://mason.gmu.edu/~atabarro/PrivateProvision.pdf
  • Amoveo use-case: Crowdfunding via a Dominant Assurance Contract (DAC).
  • Nozick, Tabarrok, and Dominant Assurance Contracts
  • Common
  • A Test of Dominant Assurance Contracts - Marginal REVOLUTION
  • Making Markets Work Better: Dominant Assurance Contracts and Some Other Helpful Ideas
  • http://jessic.at/writing/dac.pdf
• My Experience with the Great SARS-CoV-2 Virus
  • https://www.cdc.gov/coronavirus/2019-ncov/long-term-effects/index.html
  • Brain fog: Memory and attention after COVID-19 - Harvard Health
• Mathematical Manifestation
  • Pure mathematics - Wikipedia
• Example
  • http://dev.nodeca.com/
  • Pica - high quality image resize in browser
  • GitHub - nodeca/pica: Resize image in browser with high quality and high speed
  • https://octodex.github.com/images/minion.png
  • https://octodex.github.com/images/stormtroopocat.jpg
  • keywords
    - npm search
  • GitHub - markdown-it/markdown-it-emoji: Emoji syntax plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-emoji: Emoji syntax plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-sub: Subscript () tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-sup: Superscript () tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-ins: tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-mark: tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-deflist: Definition list () tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-abbr: Abbreviation () tag plugin for markdown-it markdown parser
  • GitHub - markdown-it/markdown-it-container: Fenced container plugin for markdown-it markdown parser
• Reflections on Academic Conferences
  • POPL 2022
• Kelvin Versioning
  • Curtis Yarvin - Wikipedia
  • Urbit — Leave the internet behind
  • Kelvin - Wikipedia
  • SI base unit - Wikipedia
  • Temperature - Wikipedia
  • Absolute zero - Wikipedia
  • Semantic Versioning 2.0.0
  • Backward compatibility - Wikipedia
  • diff - Wikipedia
  • Donald Knuth - Wikipedia
  • The Art of Computer Programming - Wikipedia
  • TeX - Wikipedia
  • GitHub - badges/stability-badges: A set of SVG badges to mark your modules with the Node stability index
  • GitHub - ghc/ghc: Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
  • PDF reader: The original PDF solution | Adobe Acrobat Reader
  • Download the fastest Firefox ever
  • macOS Sequoia
  • Difference Between IPv4 and IPv6 - GeeksforGeeks
  • Toward a Frozen Operating System • Blog
  • Kelvin Versioning · jtobin.io
  • Unknown resource at route /post/kelvin-versioning.html#semver
• Moral Empiricism
  • Truthmakers (Stanford Encyclopedia of Philosophy)
• Placebo Discount
  • Placebo Effect
  • Placebos: The power of the placebo effect
  • Questionnaire survey on use of placebo - PMC
  • Oral Phenylephrine HCl for Nasal Congestion in Seasonal Allergic Rhinitis: A Randomized, Open-label, Placebo-controlled Study - PubMed
  • Considering the methodological limitations in the evidence base of antidepressants for depression: a reanalysis of a network meta-analysis
  • Altered placebo and drug labeling changes the outcome of episodic migraine attacks - PubMed
  • Increasing placebo responses over time in U.S. clinical... : PAIN
  • Placebo interventions in practice: a questionnaire survey on the attitudes of patients and physicians - PMC
  • Patients’ attitudes about the use of placebo treatments: telephone survey
  • The nocebo effect: a clinical challenge in the era of biosimilars - PubMed
• Of Name or Value?
  • https://doi.org/10.1145/944705.944723
  • Wadler's Blog
• An Analogy is Like a Bad Argument
  • Aesop's Fables - Online Collection - 656+ fables -
  • Water circuit analogy to electric circuit
• The Self Observation
  • Meditations on First Philosophy
• Types of "Type"s
  • Polymorphism (computer science) - Wikipedia
  • Inductive Data Types
  • Dependent type - HaskellWiki
  • https://link.springer.com/chapter/10.1007%2F978-3-319-08918-8_16
  • Pointed set - Wikipedia
  • Magma (algebra) - Wikipedia
  • Semigroup - Wikipedia
  • Monoid - Wikipedia
  • Group (mathematics) - Wikipedia
  • Ring (mathematics) - Wikipedia
  • Lattice (order) - Wikipedia
  • Field (mathematics) - Wikipedia
  • Algebra over a field - Wikipedia
  • Peano axioms - Wikipedia
  • Module (mathematics) - Wikipedia
  • Vector space - Wikipedia
  • Topology - Wikipedia
  • Hilbert space - Wikipedia
  • Principia Mathematica - Wikipedia
  • computational trilogy in nLab
  • Categories and Sheaves in nLab
  • Homology (mathematics) - Wikipedia
  • Lawvere theory in nLab
  • fiber bundle in nLab
  • topos in nLab
  • globular theory in nLab
  • algebra over a monad in nLab
  • shelf in nLab
  • braid group in nLab
  • commutative diagram in nLab
  • link in nLab
  • model in nLab
  • site in nLab
  • allegory in nLab
• Using Agda Macros as Interactive Tactics
  • Ltac — Coq 8.19.2 documentation
  • Welcome to a World of Rocq
  • Welcome to Agda’s documentation! — Agda 2.8.0 documentation
  • Lexical Structure — Agda 2.8.0 documentation
  • Reflection — Agda 2.7.0.1 documentation
  • Reflection — Agda 2.7.20250510 documentation
• A Proof That God Cannot Create a Rock So Heavy He Cannot Lift It
  • excluded middle in nLab
  • classical logic in nLab
  • Principle of explosion - Wikipedia
• Social VR?
  • Valve Index
  • Half-Life: Alyx on Steam
  • Eleven Table Tennis on Steam
  • Google Earth VR on Steam
  • Blade and Sorcery on Steam
  • VRChat on Steam
  • https://shared.akamai.steamstatic.com/store_item_assets/steam/apps/348250/ss_6042a4e24d73c5972a9ee0728ade8a2c2893faef.1920x1080.jpg?t=1508799201
  • https://arcritic.com/wp-content/uploads/2021/01/outdoor-vistas-half-life-alyx-screenshot.jpg
  • Unknown resource at route /post/VR-social.html#VRChat
  • https://i.ytimg.com/vi/nBEWCsmq-Yk/maxresdefault.jpg
  • Unknown resource at route /post/VR-social.html#RecRoom
  • Meta Quest MR, VR Headsets & Accessories
  • Rec Room
  • https://images.squarespace-cdn.com/content/v1/5f0770791aaf57311515b23d/1594323097093-T0ZKL126WLLITS38XH7L/logo.png
  • https://www.youtube.com/results?search_query=vr+chat+gameplay
  • https://vrlowdown.com/wp-content/uploads/2022/05/VRChat-avatar-worlds-big-als-avatar-corridors.jpg
  • Meta’s New Quest Pro VR Headset Harvests Personal Data Right Off Your Face
  • http://static1.squarespace.com/static/582e7271bebafbd72792bd97/t/5cfeaf9a904d11000101ece8/1560194976582/OC+LANDSCAPE.jpg?format=1500w
  • https://external-preview.redd.it/aO3LrgpPwH5z1DU_LFMwjLbLIMtMO-KXHRXFfsXLp40.gif?format=png8&s=18b94063c1576f6cca40366a3e8b46b65fd17d7f
  • Meta Quest MR, VR Headsets & Accessories
• Example 2
  • Example
• The Difference Between Mathematics and Logic
  • First-order Model Theory (Stanford Encyclopedia of Philosophy)
  • Model Theory (Stanford Encyclopedia of Philosophy)
  • field in nLab
• Essential Mac Applications
  • https://www.spectacleapp.com/
  • Apps – Marco.org
  • ‎AdBlock Pro for Safari
  • ‎Save to Raindrop.io
  • Download the fastest Firefox ever
  • Adblock Plus – Get this Extension for 🦊 Firefox (en-US)
  • Mendeley Web Importer – Get this Extension for 🦊 Firefox (en-US)
  • Video Speed Controller – Get this Extension for 🦊 Firefox (en-US)
  • GNU Emacs - GNU Project
• Love Exposure
  • Love Exposure - Wikipedia
• Strategy Games are Puzzle Games with Computational Constraints
  • The Four Interactive Forms
• Cities and Design
  • Order without Design: How Markets Shape Cities
  • Alain Bertaud
• Review: Arc Browser
  • Arc from The Browser Company
  • Chromium
  • Unknown resource at route /review_arc_browser__arc-search.png
  • Unknown resource at route /review_arc_browser__spaces.png
  • https://youtu.be/GwvHZgF_fWY?t=38
  • Unknown resource at route /review_arc_browser__switch-tabs.png
  • Unknown resource at route /review_arc_browser__split-view.png
  • Raindrop.io — All in One Bookmark Manager
  • DuckDuckGo !Bangs
  • Unknown resource at route /review_arc_browser__command-bar-google-search.png
  • Unknown resource at route /review_arc_browser__command-bar-raindrop.png
  • Unknown resource at route /review_arc_browser__find-ask-with-ai.png
  • Arc Max – Browse the web with AI
  • Unknown resource at route /review_arc_browser__ai-preview.png
  • Little Arc: Quick Lookups & Instant Triaging
  • Mini Player: Watch or Listen as you Browse
  • Unknown resource at route /review_arc_browser__pic-in-pic.png
  • Arc from The Browser Company
  • No YouTube Shorts Plz
  • https://arc.net/boost/0B081663-9784-4495-8447-BCD09F834AAC
  • Unknown resource at route /review_arc_browser__boosts.png
  • Easels: Capture & Create
  • Unknown resource at route /review_arc_browser__easel.png
  • Home
• Forgiving US Student Loan Debt
  • Student Loan Debt Statistics [2025]: Average + Total Debt
  • Should the US forgive student loan debt for all?
  • Should Student Loans be Written Off?
  • https://www.congress.gov/bill/117th-congress/house-bill/2034
  • Student debt forgiveness via bill or executive order (please see rules) by Dec 31, 2022? | Trade on Kalshi
• Open Source Software
  • The Cathedral and the Bazaar - Modern Government
• Competing with YouTube
  • The 50 Most Visited Websites in the World
  • https://www.visualcapitalist.com/wp-content/uploads/2021/01/Top_50_Websites_V4-2-1536x1536.jpg
  • https://www.youtube.com/howyoutubeworks/our-commitments/sharing-revenue/
  • YouTube at 15: My personal journey and the road ahead
  • 33 Facebook Video Statistics You Must Know [2025]
  • History of YouTube - Wikipedia
  • Inside A Google Data Center: 2020 Version
  • Activation energy - Wikipedia
• The Social Responsibility of Business in "A Friedman Doctrine"
  • https://www.nytimes.com/1970/09/13/archives/a-friedman-doctrine-the-social-responsibility-of-business-is-to.html
  • https://metagnosis.simplecast.com/episodes/the-social-responsibility-of-business-in-the-friedman-doctrine
• Impe
  • GitHub - rybla/impe
  • Polysemy.Output
  • Polysemy.Writer
  • parsec
  • Unknown resource at route /post/impe.html#Interpretation
• A Monotheistic Foundation for the Epistemology of Science
  • https://metagnosis.simplecast.com/episodes/on-god-science-modernity
• Aligned Intelligence and Moral Progress
  • Overcoming Bias | Robin Hanson | Substack
  • Most AI Fear Is Future Fear
  • Types of Partiality
  • Fertile Factions
  • AI Risk Convo Synthesis
  • Which Of Your Origins Are You?
  • To Imagine AI, Imagine No AI
  • https://m.youtube.com/watch?v=9XuVn6nljCM
  • https://www.lesswrong.com/tag/the-hanson-yudkowsky-ai-foom-debate
  • Yudkowsky vs Hanson on FOOM: Whose Predictions Were Better? — LessWrong
• No Explanation
  • https://ruccs.rutgers.edu/images/personal-zenon-pylyshyn/class-info/FP2012/FP2012_readings/Dennett_RealPatterns.pdf
  • Unknown resource at route /assets/posts/no-explanation/barcode_noise=0.0.png
  • Unknown resource at route /assets/posts/no-explanation/barcode_noise=0.1.png
  • Unknown resource at route /assets/posts/no-explanation/barcode-array.png
• AI Danger
  • Timeline of AI and language models
  • OpenAI
  • Pause Giant AI Experiments: An Open Letter - Future of Life Institute
  • FAQs about FLI’s Open Letter Calling for a Pause on Giant AI Experiments  - Future of Life Institute
  • https://www.reuters.com/technology/chatgpt-sets-record-fastest-growing-user-base-analyst-note-2023-02-01/
  • Nick Bostrom - Wikipedia
  • Superintelligence: Paths, Dangers, Strategies - Wikipedia
  • Eliezer Yudkowsky - Wikipedia
  • 2022 Expert Survey on Progress in AI
  • 2016 Expert Survey on Progress in AI
  • OpenAI’s CEO Says the Age of Giant AI Models Is Already Over
  • AI timelines: What do experts in artificial intelligence expect for the future?
  • The Open Letter on AI Doesn't Go Far Enough
  • #368 – Eliezer Yudkowsky: Dangers of AI and the End of Human Civilization — Lex Fridman Podcast — Overcast
  • Eliezer Yudkowsky - Why AI Will Kill Us, Aligning LLMs, Nature of Intelligence, SciFi, & Rationality — Dwarkesh Podcast — Overcast
  • Lizardman’s Constant Is 4%
  • Existential risk, AI, and the inevitable turn in human history - Marginal REVOLUTION
  • MR Tries The Safe Uncertainty Fallacy
  • Thursday assorted links - Marginal REVOLUTION
  • Large language model - Wikipedia
  • Attention Is All You Need
  • Illustrating Reinforcement Learning from Human Feedback (RLHF)
  • https://twitter.com/sama/status/1635687859494715393?s=20
  • HuggingGPT: Solving AI Tasks with ChatGPT and its Friends in Hugging Face
  • AI Risk, Again
  • How to navigate the AI apocalypse as a sane person
  • The permanent pause? - Marginal REVOLUTION
  • By Pausing AI, We’d Only Be Hurting Ourselves
  • Why I Am Not (As Much Of) A Doomer (As Some People)
  • Response to Tyler Cowen's Existential risk, AI, and the inevitable turn in human history
  • On the FLI AI-Risk Open Letter
  • Eliezer Yudkowsky's Letter in Time Magazine
• Magic the Gathering - Deckbuilder Draft
  • The Runaway Leader “Problem” - Inside Up Games
• Mesaprogramming
  • Template Haskell - HaskellWiki
  • Templates (C++)
  • CompCert - Main page
• AI Tutors – The Future of Education
  • Supercharging Search with generative AI
  • AXRP Episode 20 - ‘Reform’ AI Alignment with Scott Aaronson — AI Alignment Forum
  • https://twitter.com/stanislavfort/status/1599417463199830017?lang=en
  • Arguing With AI Over A Mathematics Problem — Meet ChatGPT
  • https://twitter.com/hsu_steve
  • Manifold | Artificial Intelligence & Large Language Models: Oxford Lecture — #35
  • Superfocus.ai
  • Dr. Gupta: AI Physician Chatbot
  • 'This shouldn’t be a surprise' The education community shares mixed reactions to ChatGPT
  • Simon Johnson on Banking, Technology, and Prosperity (Ep. 179)
  • Nearly 1 in 3 College Students Have Used ChatGPT on Written Assignments - Intelligent
  • Ban ChatGPT in schools? Teachers and students should be encouraged to use it
  • https://www.nytimes.com/2023/01/12/technology/chatgpt-schools-teachers.html