Research

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Nobuki Fujimoto

May 6

Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)

#research #economics #philosophy #logic

14 min read

Nobuki Fujimoto

May 2

Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)

#linguistics #ai #research #philosophy

7 min read

guanjiawei

May 1

AI for Science: Three Walls, Eight Hundred Million People, and a Copernican Revolution

#ai #aiforscience #research #intelligence

10 min read

Cover image for Fixing SVG Figure Alignment Issues Between Inkscape and Overleaf

Tahzib Mahmud Rifat

Apr 30

Fixing SVG Figure Alignment Issues Between Inkscape and Overleaf

#svg #inkscpae #latex #research

5 min read

Nobuki Fujimoto

Apr 30

Paper 142 — 11-Platform Retrofit, PhilPapers Integration & Predatory Journal Defense (Rei-AIOS)

#publishing #research #discipline #infrastructure

15 min read

The_resa

Apr 29

A Structured Comparison of 2 Disease Mechanism Agent Skills

#ai #agentskills #agents #research

4 min read

Nobuki Fujimoto

Apr 27

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

#math #lean #research #ai

7 min read

Nobuki Fujimoto

Apr 27

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

#lean #math #research #ai

9 min read

Cover image for The Last Pivot: Why Quality Gates Killed My Final KV-Cache Speedup

Alankrit Verma

Apr 27

The Last Pivot: Why Quality Gates Killed My Final KV-Cache Speedup

#machinelearning #ai #research #benchmarking

7 min read

Cover image for Beating Eager TurboQuant Was Not Enough: Why Dense GPU Attention Still Won

Alankrit Verma

Apr 27

Beating Eager TurboQuant Was Not Enough: Why Dense GPU Attention Still Won

#machinelearning #gpu #research #transformers

8 min read

Nobuki Fujimoto

Apr 27

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

#math #ai #research #lean

11 min read

Nobuki Fujimoto

Apr 26

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

#compression #research #math #ai

9 min read

Nobuki Fujimoto

Apr 26

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

#math #philosophy #lean #research

11 min read

L (Will) Melton

Apr 26

I Don't Know Where This Goes — And That's the Method

#adhd #ai #research #fluxmeridian

12 min read

Nobuki Fujimoto

Apr 25

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)

#math #lean #research #ai

9 min read

👋 Sign in for the ability to sort posts by relevant, latest, or top.

Forem

# research

Paper 147 — Eight-Valued Utility and the Equity Premium Reframe (Rei-AIOS / OUKC)

Paper 143 — Cross-Cultural Convergence: Rei-AIOS Reaches Mikami's 1953 Japanese Wa-Ga Thesis (11/11)

AI for Science: Three Walls, Eight Hundred Million People, and a Copernican Revolution

Fixing SVG Figure Alignment Issues Between Inkscape and Overleaf

Paper 142 — 11-Platform Retrofit, PhilPapers Integration & Predatory Journal Defense (Rei-AIOS)

A Structured Comparison of 2 Disease Mechanism Agent Skills

Power x Thermodynamics x D-FUMT-8: A 9-Theory Bridge from CPU/GPU Engineering to Information Thermodynamics (Paper 141)

Rei-PL Prover v0.1: A D-FUMT-8-Native Proof Assistant Prototype (Paper 137)

The Last Pivot: Why Quality Gates Killed My Final KV-Cache Speedup

Beating Eager TurboQuant Was Not Enough: Why Dense GPU Attention Still Won

Rei-Problems: A Self-Verifying Mathematical Problem Bank Generated from SEED_KERNEL Theories (Paper 139)

FIDT as a Domain-Specific Generator: A Honest Reframing of Fujimoto Infinite Dot Theory (Paper 140)

Godel's Dichotomy as Lifecycle Disjunction: A Statement-Distributive Reframing (Paper 138)

I Don't Know Where This Goes — And That's the Method

Self-Reference Cluster: A Lean 4 Common-Encoding Attempt for Lob's Theorem, Reflective Programming, and Acausal Decision Theory (Paper 135)