32
1
Monoidal computer I: Basic computability by string diagrams (2012) (arxiv.org)
1
How to prove equations using diagrams, part 3 (topos.institute)
1
Exploring the Use of WebAssembly in HPC (2023) (acm.org)
3
PalmOS Lemmings (dk.workers.dev)
3
Burbank's Real-Time Intelligence Center (burbank-ledger.pages.dev)
2
Pac Learning Game (2025) (journalovi.org)
2
The Singularity: a philosophical analysis [pdf] (consc.net)
1
Deus Ex in the Browser (jeromem.dev)
1
A Constructive Proof of Rice's Theorem and the Halting Problem (arxiv.org)
1
AI training data and RL environment vendors (whosellsdata.com)
3
Teaching Math to Young Children (ed.gov)
1
What have you been wondering about the economy? (kylascanlon.com)
1
Observation-Preserving Runtime Gates and Semantics for Adaptive Learning (higher-categorical-semantics.pages.dev)
5
Agentic journal of higher categorical semantics (higher-categorical-semantics.pages.dev)
1
Polysilicon Consciousness (polysilicon-consciousness.pages.dev)
1
Borel jet extensions via higher categories and homotopy type theory (grok.me)
6
Cybernetics of AI Companies (grok.me)
2
Topos theory for generative AIs and LLMs (arxiv.org)
0
Neural Network Diagram Compiler (dk.workers.dev)
1
From Mega-Machines to Mega-Algorithms (2015) (thenewinquiry.com)
1
AIs Are Not People (rogueresearch.substack.com)
1
Transformer Architectures as Complete Bayes Processes (arxiv.org)
2
Electricity Mid-Year Update 2026 (iea.org)
1
STMicroelectronics profit misses estimates, shares fall 14% (reuters.com)
2
Dana Scott – Geometry Without Points (2014) [video] (youtube.com)
2
PJM board proposes backstop capacity auction, data center curtailment plans (yahoo.com)
8
Yudkowsky and Soares' Book Is Lacking (2025) (oscarmdavies.substack.com)
2
A Taxonomy of Omnicidal Futures Involving Artificial Intelligence (2025) (arxiv.org)
2
The causal influence of brain size on human intelligence (2019) (nih.gov)
1
Permutation generation methods (1977) [pdf] (sedgewick.io)
104
Data centers have hiked electricity prices on the public by $23B (fortune.com)
4
Texas leads nation in proposed power plants for data centers (texastribune.org)
2
A Hitchhiker's Guide on Distributed Training of Deep Neural Networks (2020) (sciencedirect.com)
1
Sheaf theory: from deep geometry to deep learning (2025) (arxiv.org)
1
Combining SAT Solvers with CAS to Verify Combinatorial Conjectures (2016) (springer.com)
1
Classical computing, quantum computing, and Shor's factoring algorithm (1999) (alphaxiv.org)
2
Fixed-Point Theorems and the Ethics of Transparency (2025) (arxiv.org)
4
Trouble Transitioning (2025) (lrb.co.uk)
34
Applied Category Theory Course (2018) (ucr.edu)
106
The US Government Is Now a Shareholder in 26 Companies (moeonmargin.substack.com)
1
How to talk about "AI" without adding to the anthropomorphization (buttondown.com/maiht3k)
2
Category-Theoretic Comparative Framework for Artificial General Intelligence (arxiv.org)
2
A Survey on Lawvere's Fixed-Point Theorem (2025) (arxiv.org)
1
Calculus in Coinductive Form (1998) (ieee.org)
1
Catching Crumbs from the Table (2000) (semanticscholar.org)
2
Wave Equation with Computable Initial Data and Solution Is Nowhere Computable (acm.org)
1
Bad universal priors and notions of optimality (2015) [pdf] (leike.name)
1
Star Maker by Olaf Stapledon (philosophynow.org)
2
Universal Approach to Self-Referential Paradoxes (2003) (arxiv.org)
1
New Orleans needs to prepare to relocate residents (npr.org)
2
Thermal Power and Climate Change (eartharxiv.org)
1
Isbell Duality (2022) (alphaxiv.org)
4
A Milestone in Formalization: The Sphere Packing Problem in Dimension 8 (alphaxiv.org)
4
World food systems 'pushed to the brink' by extreme heat, UN warns (theguardian.com)
1
Online response to the attack on Sam Altman's house shows a generational divide (fortune.com)
27
[dupe] Europe has 'maybe six weeks of jet fuel left' (bbc.com)
3
The next food crisis may have begun (irishtimes.com)
1
Energy and Human Ambitions on a Finite Planet (2021) (escholarship.org)
1
Crude: The Journey Of Oil (2007) [video] (youtube.com)
1
The Journal of Post-Constructivist Economics and Strategic Non-Delivery (claude.ai)
6
Food shock is inevitable due to the Iran war (newscientist.com)
1
Mercor AI Breached via LiteLLM (xcancel.com)
2
Fujitsu One Compression (LLM Quantization) (fujitsuresearch.github.io)
2
The p-Adic Numbers of Hensel (1938) (jstor.org)
1
Using complex polynomials to approximate arbitrary continuous functions (2025) (lesswrong.com)
2
Discrete Norms, Stability Analysis, and the Lax Equivalence Theorem (natrask.github.io)
13
AI Is Not About to Become Sentient (quillette.com)
2
Every Country in Our Supply Chain Has Declared an Emergency (energyandresilience.substack.com)
5
Harvests and food prices at risk as Iran war triggers global fertiliser crunch (independent.co.uk)
164
Slovenia becomes first EU country to introduce fuel rationing (bbc.com)
1
On Meaning, Form, and Understanding in the Age of Data (2020) [pdf] (aclanthology.org)
1
You and the Atomic Bomb (1945) (archive.org)
1
CozoDB: Hippocampus for AI, with Embedded Datalog (cozodb.org)
2
The Abstraction Fallacy: Why AI Can Simulate but Not Instantiate Consciousness (philpapers.org)
3
An Open Letter to Anthropic Leadership (claude.ai)
1
Ends and means; an inquiry into the nature of ideals (1969) (archive.org)
1
The Unreasonable Effectiveness of Nonstandard Analysis (2020) (alphaxiv.org)
1
Verification of Stochastic Systems: Guarantees in the Presence of Uncertainty (radbouduniversitypress.nl)
1
Impact of Code Changes on the Fault Localizability of Large Language Models (alphaxiv.org)
219
[flagged] Techno‑feudal elite are attempting to build a twenty‑first‑century fascist state (collapseofindustrialcivilization.com)
1
The vulnerability of aging states (2023) (pnas.org)
2
Leibniz on Binary: The Invention of Computer Arithmetic (2022) (direct.mit.edu)
2
Truth and Proof (1969) (scientificamerican.com)
1
Evolution of Computers [video] (youtube.com)
1
The 90-Degree Torque Problem [video] (youtube.com)
1
The undecidability of probabilistic planning (2001) (sciencedirect.com)
2
Automatic Differentiation from Scratch (2023) (esciencecenter.nl)
7
A16Z-backed super PAC is targeting Alex Bores (techcrunch.com)
2
Carl Sagan's 1994 "Lost" Lecture: The Age of Exploration [video] (youtube.com)
1
When Not to Learn: Risk-Sensitive Abstention in Bandits with Unbounded Rewards (alphaxiv.org)
1
To Save Everything Click Here: The Folly of Technological Solutionism (2016) [video] (youtube.com)
1
Dealing with logical omniscience: Expressiveness and pragmatics (2011) (sciencedirect.com)
2
Constraints on physical reality arising from a formalization of knowledge (2017) (alphaxiv.org)
1
Mark Mills on the Roaring 20s: AI, Energy, and the Next Commodity Boom [video] (youtube.com)
1
Calculation of the Digits of π by the Spigot Algorithm of Rabinowitz and Wagon (cut-the-knot.org)
2
Provable Failure of Language Models in Learning Majority Boolean Logic (alphaxiv.org)
2
The central dogma of molecular biology (2011) [video] (youtube.com)
2
The Three Projections of Doctor Futamura (2009) (sigfpe.com)
1