Research

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

Alankrit Verma

Apr 27

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

#machinelearning #ai #research #benchmarking

7 min read

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

Mario

Apr 26

Arxiv Weekly LLM Papers Agent

#ai #opensource #research

2 min read

Mario

Apr 26

What Is Open-Source Deep Research?

#ai #opensource #research

3 min read

Laurent DeSegur

Apr 25

The Eighty-Year Argument: Who Owns World Models?

#machinelearning #ai #deeplearning #research

13 min read

RoTSL

Apr 25

What Happens When You Try to Reverse Biology? A Deep Look at the Protein DNA Analysis Simulator

#research #alphafold #molecularbiology #protiensynthesis

8 min read

Christo Zietsman

Apr 24

Structural Quality Gaps in AI Governance Prompts

#aigovernance #promptq #research

2 min read

Nobuki Fujimoto

Apr 23

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

#math #lean #research #combinatorics

11 min read

Nobuki Fujimoto

Apr 23

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

#math #ai #research #lean

8 min read

Nobuki Fujimoto

Apr 23

Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)

#math #lean #research #classification

15 min read

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

DEV Community

# research

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)

Arxiv Weekly LLM Papers Agent

What Is Open-Source Deep Research?

The Eighty-Year Argument: Who Owns World Models?

What Happens When You Try to Reverse Biology? A Deep Look at the Protein DNA Analysis Simulator

Structural Quality Gaps in AI Governance Prompts

Sylvester-Schur Partial Lean 4 Formalization and the 699 <-> 961 Bridge (Rei-AIOS Paper 133)

Rei-AIOS Meets 2024-2026 AI Math Tooling: A Survey and Integration Roadmap (Paper 134)

Five Classical Open Problems — Rei-AIOS Next Lean 4 Deep-Dive Roadmap (Paper 132)