Meta tags:
description=Creator of Rei (0₀-shiki), a 4-axiom computation system. D-FUMT theory researcher.;
keywords=software development, engineering, rails, javascript, ruby;

Headings (most frequently used words):

paper, v0, rei, aios, of, lean, the, and, fumt, self, collatz, as, axiom, formalization, ai, first, layer, with, in, free, open, for, oukc, observation, cross, wall, an, problem, zero, honest, two, eight, problems, fujimoto, experiments, formal, zcsg, encoding, exit, seven, integration, 145, ibm, heron, r2, hardware, outline, verification, generated, mechanized, phi, 152, sigma, cascade, framework, domain, 11, theory, bridge, five, deep, sun, primes, extension, conjecture, peak, unified, to, fidt, path, cases, vessel, value, shannon, beyond, convergence, record, proof, step, 163, four, operational, finding, engineering, on, 161, verified, regimes, rest, real, depth, loop, 159, reconstruction, priest, garfield, inclosure, schema, 153, catalog, orbit, confluence, closures, theorem, empirical, 150, octatheoria, domains, view, modes, multi, silicon, reflexive, primitive, substrate, logic, who, made, thermodynamics, from, reframing, schur, roadmap, native_decide, meta, fumt8, classification, attractor, z2, egz, dives, nobuki, dev, community, 104, near, peaks, wieferich, correspondence, wc, 103, funnel, scaling, fs, no, single, dominates, asymptotically, 40, voyage, vessels, through, physical, fields, analysis, 39, approach, hard, consciousness, definition, not, solution, 170, unification, structure, mdnst, mapping, combined, 169, idt, motivated, linear, recurrence, detection, extends, lang, compression, 14, raw, fallback, eliminated, 168, nāgārjuna, empty, pratītyasamutpāda, field, trap, separation, 156, datacenter, lawsuit, prevention, catuṣkoṭi, voting, proposal, 162, excluded, meaning, sit, fills, gap, recreation, paradigm, is, one, implementation, 158, sorry, m_p, map, route, 167, sophie, germain, barrier, side, observations, conjunction, 166, stream, coalgebra, following, kim, 2008, 165, existence, garden, interactive, synthesis, piantadosi, chomsky, debate, modal, duality, adjunction, 164, infinity, cosmoi, skeleton, tetradic, completion, rhymeortheorem, continuation, institution, bilattice, lawvere, constructive, proofs, phase, quine, mccluskey, simplification, f11, correctable, relaxation, bias, 18, theorems, 27, cz, 51, 82, leakage, via, dynamical, systems, files, 200x, breakthrough, 160, inversion, vs, deconstruction, built, dependence, nagarjuna, catuskoti, 157, octonion, axiomatic, dual, independence, imaginary, units, axioms, machine, checked, 154, compilation, pass, mathematics, 144, friendly, multilingual, worldview, commons, founding, document, 155, semantic, dyson, sphere, recovery, civilizational, footprint, case, riemann, forward, application, test, berry, keating, numerical, study, notation, impossibility, possibility, extensions, historical, 63, snst, supplement, pslq, psi, pysr, cicy3, negative, tao, 67, connections, 10, scan, g_3, subgraph, erratum, e3, lemma, 5d, adic, isolation, correction, e2, merge, enumeration, 96k, hypothesis, methodological, consistency, prove, 92, pattern, axis, projection, three, fpga, aer, 149, recursive, evidence, when, observatory, includes, itself, 147, valued, utility, equity, premium, reframe, 148, assisted, research, tools, 143, cultural, reaches, mikami, 1953, japanese, wa, ga, thesis, 146, god, universe, defining, before, starting, point, thought, 142, platform, retrofit, philpapers, predatory, journal, defense, 33, braille, extreme, philosophical, states, bytes, power, cpu, gpu, information, 141, pl, prover, native, assistant, prototype, 137, verifying, mathematical, bank, seed_kernel, theories, 139, specific, generator, infinite, dot, 140, godel, dichotomy, lifecycle, disjunction, statement, distributive, 138, reference, cluster, common, attempt, lob, reflective, programming, acausal, decision, 135, sylvester, partial, 699, 961, 133, meets, 2024, 2026, math, tooling, survey, 134, classical, next, dive, 132, bipartite, ramsey, number, certification, 131, db, 713, 130, quantum, measurement, 129, davenport, constant, z_n, certificates, 128, computational, numbers, small, witnesses, 127, q33, frankl, 121, unsolved, gilbreath, structural, isomorphism, 120, 119, q7, falsification, q8, q9, data, failure, findings, questions, 118, badges, writing, debut,

Text of the page (most frequently used words):
#fujimoto (186), nobuki (182), paper (122), lean (69), rei (69), comment (61), comments (61), follow (61), min (60), read (60), add (60), aios (56), research (53), math (47), the (44), and (35), collatz (27), fumt (25), philosophy (24), may (22), apr (20), self (20), dev (18), jun (16), first (15), formalization (15), axiom (15), with (13), for (12), logic (12), layer (12), open (11), free (11), cross (10), oukc (10), observation (10), verification (9), problem (8), eight (8), problems (8), honest (8), two (8), zero (8), wall (8), encoding (7), theory (7), five (6), formal (6), generated (6), deep (6), seven (6), conjecture (6), domain (6), bridge (6), quantum (6), classification (6), integration (6), framework (6), 145 (6), ibm (6), heron (6), hardware (6), 152 (6), sigma (6), cascade (6), mechanized (6), phi (6), zcsg (6), outline (6), experiments (6), exit (6), made (5), community (5), physics (5), engineering (5), fpga (5), 2026 (4), closures (4), empirical (4), record (4), dives (4), multi (4), attractor (4), extension (4), combinatorics (4), schur (4), value (4), egz (4), native_decide (4), fumt8 (4), meta (4), roadmap (4), theorem (4), reframing (4), compression (4), fidt (4), from (4), proof (4), thermodynamics (4), who (4), convergence (4), loop (4), operational (4), silicon (4), reflexive (4), primitive (4), substrate (4), real (4), four (4), 150 (4), octatheoria (4), unified (4), domains (4), view (4), modes (4), orbit (4), confluence (4), peak (4), finding (4), 153 (4), catalog (4), cases (4), beyond (4), shannon (4), 159 (4), reconstruction (4), priest (4), garfield (4), inclosure (4), schema (4), verified (4), 161 (4), regimes (4), rest (4), depth (4), 163 (4), step (4), primes (4), vessel (4), path (4), sun (4), built (3), software (3), your (3), official (3), search (3), partner (3), platform (3), gilbreath (3), frankl (3), ramsey (3), consciousness (3), writing (3), create (2), account (2), log (2), database (2), about (2), algolia (2), diamond (2), sponsors (2), findings (2), questions (2), 118 (2), 119 (2), falsification (2), data (2), failure (2), unsolved (2), structural (2), isomorphism (2), 120 (2), q33 (2), 121 (2), computational (2), numbers (2), small (2), witnesses (2), 127 (2), davenport (2), constant (2), z_n (2), certificates (2), 128 (2), measurement (2), 129 (2), 713 (2), 130 (2), bipartite (2), number (2), certification (2), 131 (2), classical (2), next (2), dive (2), 132 (2), meets (2), 2024 (2), tooling (2), survey (2), 134 (2), sylvester (2), partial (2), 699 (2), 961 (2), 133 (2), reference (2), cluster (2), common (2), attempt (2), lob (2), reflective (2), programming (2), acausal (2), decision (2), 135 (2), godel (2), dichotomy (2), lifecycle (2), disjunction (2), statement (2), distributive (2), 138 (2), specific (2), generator (2), infinite (2), dot (2), 140 (2), verifying (2), mathematical (2), bank (2), seed_kernel (2), theories (2), 139 (2), prover (2), native (2), assistant (2), prototype (2), 137 (2), power (2), cpu (2), gpu (2), information (2), 141 (2), braille (2), extreme (2), philosophical (2), states (2), bytes (2), 142 (2), retrofit (2), philpapers (2), predatory (2), journal (2), defense (2), 146 (2), god (2), universe (2), defining (2), before (2), starting (2), point (2), thought (2), 143 (2), cultural (2), reaches (2), mikami (2), 1953 (2), japanese (2), thesis (2), 148 (2), assisted (2), tools (2), 147 (2), valued (2), utility (2), equity (2), premium (2), reframe (2), 149 (2), recursive (2), evidence (2), when (2), observatory (2), includes (2), itself (2), three (2), aer (2), datavis (2), axis (2), projection (2), methodological (2), consistency (2), prove (2), pattern (2), merge (2), enumeration (2), 96k (2), hypothesis (2), adic (2), isolation (2), correction (2), scan (2), g_3 (2), subgraph (2), erratum (2), lemma (2), snst (2), supplement (2), pslq (2), psi (2), pysr (2), cicy3 (2), negative (2), tao (2), connections (2), history (2), notation (2), impossibility (2), possibility (2), extensions (2), historical (2), case (2), riemann (2), forward (2), application (2), test (2), berry (2), keating (2), numerical (2), study (2), 155 (2), semantic (2), dyson (2), sphere (2), recovery (2), civilizational (2), footprint (2), 144 (2), friendly (2), multilingual (2), worldview (2), commons (2), founding (2), document (2), 154 (2), compilation (2), pass (2), mathematics (2), 157 (2), octonion (2), axiomatic (2), dual (2), independence (2), imaginary (2), units (2), axioms (2), machine (2), checked (2), nagarjuna (2), catuskoti (2), dependence (2), 160 (2), inversion (2), deconstruction (2), via (2), dynamical (2), systems (2), files (2), 200x (2), breakthrough (2), theorems (2), leakage (2), phase (2), quine (2), mccluskey (2), simplification (2), f11 (2), correctable (2), relaxation (2), bias (2), institution (2), bilattice (2), lawvere (2), constructive (2), proofs (2), 164 (2), infinity (2), cosmoi (2), skeleton (2), tetradic (2), completion (2), rhymeortheorem (2), continuation (2), 165 (2), existence (2), garden (2), interactive (2), synthesis (2), piantadosi (2), chomsky (2), debate (2), modal (2), duality (2), adjunction (2), 166 (2), stream (2), coalgebra (2), following (2), kim (2), 2008 (2), 167 (2), sophie (2), germain (2), barrier (2), side (2), observations (2), conjunction (2), 158 (2), sorry (2), m_p (2), map (2), route (2), 162 (2), excluded (2), meaning (2), sit (2), fills (2), gap (2), recreation (2), paradigm (2), one (2), implementation (2), 156 (2), datacenter (2), lawsuit (2), prevention (2), catuṣkoṭi (2), voting (2), proposal (2), 168 (2), nāgārjuna (2), empty (2), pratītyasamutpāda (2), field (2), trap (2), separation (2), 169 (2), idt (2), motivated (2), linear (2), recurrence (2), detection (2), extends (2), lang (2), raw (2), fallback (2), eliminated (2), 170 (2), unification (2), structure (2), mdnst (2), mapping (2), combined (2), approach (2), hard (2), definition (2), not (2), solution (2), voyage (2), vessels (2), through (2), physical (2), fields (2), analysis (2), 103 (2), funnel (2), scaling (2), single (2), dominates (2), asymptotically (2), jul (2), 104 (2), near (2), peaks (2), wieferich (2), correspondence (2), post (2), close (2), sharing (2), website (2), joined (2), place, where, coders, share, stay, date, grow, their, careers, love, 2016, ruby, rails, that, powers, other, inclusive, communities, source, forem, terms, use, privacy, policy, code, conduct, mlh, shop, postgres, contact, showcase, organization, accounts, advertise, help, education, tracks, videos, challenges, home, space, discuss, keep, development, manage, career, neon, google, model, thank, you, our, supporting, loading, infrastructure, discipline, publishing, buddhism, linguistics, economics, opensource, reaction, civictech, architecture, lean4, tags, followed, tag, written, posts, published, awarded, continue, work, earn, week, streak, badge, debut, badges, more, info, fc0web, twitter, github, feb, creator, shiki, computation, system, researcher, user, actions, powered, navigation, menu, skip, content,

Text of the page (random words):
comment 4 min read paper 39 v0 1 d fumt approach to the hard problem of consciousness self as a formal definition not a solution nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 29 paper 39 v0 1 d fumt approach to the hard problem of consciousness self as a formal definition not a solution philosophy math ai research comments add comment 4 min read paper 170 v0 1 lean 4 axiom free unification of fidt structure zcsg mdnst mapping path b path c combined rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 26 paper 170 v0 1 lean 4 axiom free unification of fidt structure zcsg mdnst mapping path b path c combined rei aios lean4 math formalization research comments add comment 7 min read paper 169 v0 1 idt motivated linear recurrence detection extends rei lang compression 5 14 raw fallback cases eliminated rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 26 paper 169 v0 1 idt motivated linear recurrence detection extends rei lang compression 5 14 raw fallback cases eliminated rei aios compression math research engineering comments add comment 6 min read paper 168 v0 2 nāgārjuna s empty vessel lean 4 axiom free zcsg encoding of pratītyasamutpāda field vessel trap and self separation rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 25 paper 168 v0 2 nāgārjuna s empty vessel lean 4 axiom free zcsg encoding of pratītyasamutpāda field vessel trap and self separation rei aios philosophy math lean research comments add comment 18 min read paper 156 v0 1 3 layer open datacenter lawsuit prevention catuṣkoṭi 8 value voting proposal rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 21 paper 156 v0 1 3 layer open datacenter lawsuit prevention catuṣkoṭi 8 value voting proposal rei aios architecture research ai civictech comments add comment 10 min read paper 162 v0 8 shannon excluded meaning sit fills the gap recreation paradigm is one implementation rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 21 paper 162 v0 8 shannon excluded meaning sit fills the gap recreation paradigm is one implementation rei aios math research ai philosophy comments add comment 41 min read paper 158 v0 2 the collatz exit layer zero sorry lean 4 formalization of m_p 4 p 1 3 and an honest map of the seven route wall beyond nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 21 paper 158 v0 2 the collatz exit layer zero sorry lean 4 formalization of m_p 4 p 1 3 and an honest map of the seven route wall beyond math lean research ai comments add comment 17 min read paper 167 v0 1 sophie germain primes barrier side observations lean 4 axiom free conjunction wall rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 17 paper 167 v0 1 sophie germain primes barrier side observations lean 4 axiom free conjunction wall rei aios math lean research ai 1 reaction comments add comment 16 min read paper 166 v0 1 a lean 4 axiom free formalization of exit layer collatz convergence as a stream coalgebra a record following kim 2008 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 16 paper 166 v0 1 a lean 4 axiom free formalization of exit layer collatz convergence as a stream coalgebra a record following kim 2008 math lean research ai comments add comment 24 min read paper 165 v0 1 existence proof garden interactive synthesis of piantadosi chomsky debate modal duality and adjunction nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 12 paper 165 v0 1 existence proof garden interactive synthesis of piantadosi chomsky debate modal duality and adjunction philosophy ai math research comments add comment 11 min read paper 164 v0 1 infinity cosmoi skeleton tetradic completion of rhymeortheorem 4 step continuation of paper 163 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 9 paper 164 v0 1 infinity cosmoi skeleton tetradic completion of rhymeortheorem 4 step continuation of paper 163 math lean research ai comments add comment 18 min read paper 163 v0 1 institution bilattice self lawvere four step operational integration with lean 4 axiom free constructive proofs nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 9 paper 163 v0 1 institution bilattice self lawvere four step operational integration with lean 4 axiom free constructive proofs math lean research ai comments add comment 10 min read paper 145 v0 8 d fumt 8 phase 4 quine mccluskey simplification finding f11 engineering correctable relaxation bias on ibm heron r2 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 3 paper 145 v0 8 d fumt 8 phase 4 quine mccluskey simplification finding f11 engineering correctable relaxation bias on ibm heron r2 quantum fpga research verification comments add comment 48 min read paper 161 v0 2 hardware verified two regimes of rest 18 lean theorems exit 0 ibm heron r2 real hardware 27 cz depth 51 1 82 leakage nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 2 paper 161 v0 2 hardware verified two regimes of rest 18 lean theorems exit 0 ibm heron r2 real hardware 27 cz depth 51 1 82 leakage math lean philosophy physics comments add comment 25 min read paper 161 v0 1 two regimes of rest zero and self loop via dynamical systems 5 experiments 3 lean files depth wall 200x breakthrough nobuki fujimoto nobuki fujimoto nobuki fujimoto follow jun 1 paper 161 v0 1 two regimes of rest zero and self loop via dynamical systems 5 experiments 3 lean files depth wall 200x breakthrough math lean philosophy physics comments add comment 22 min read paper 160 v0 2 inversion vs deconstruction in d fumt 8 lean 4 verified zero axiom nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 31 paper 160 v0 2 inversion vs deconstruction in d fumt 8 lean 4 verified zero axiom math lean philosophy logic comments add comment 28 min read paper 159 v0 2 a two layer d fumt 8 reconstruction of priest garfield s inclosure schema lean 4 built zero axiom dependence nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 31 paper 159 v0 2 a two layer d fumt 8 reconstruction of priest garfield s inclosure schema lean 4 built zero axiom dependence math lean philosophy logic comments add comment 24 min read paper 159 a two layer d fumt 8 reconstruction of priest garfield s inclosure schema for nagarjuna s catuskoti outline v0 1 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 31 paper 159 a two layer d fumt 8 reconstruction of priest garfield s inclosure schema for nagarjuna s catuskoti outline v0 1 math lean philosophy logic comments add comment 16 min read paper 157 octonion axiomatic dual independence 7 imaginary units 7 axioms machine checked in lean 4 outline nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 26 paper 157 octonion axiomatic dual independence 7 imaginary units 7 axioms machine checked in lean 4 outline math lean logic research comments add comment 21 min read paper 154 v0 0 outline rei as a formal verification compilation pass for ai generated mathematics nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 21 paper 154 v0 0 outline rei as a formal verification compilation pass for ai generated mathematics math lean ai research comments add comment 13 min read paper 144 v0 3 1 oukc an ai friendly multilingual worldview commons founding document nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 20 paper 144 v0 3 1 oukc an ai friendly multilingual worldview commons founding document ai research philosophy opensource comments add comment 20 min read paper 155 v0 2 semantic dyson sphere beyond shannon recovery as civilizational footprint lean 4 mechanized nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 18 paper 155 v0 2 semantic dyson sphere beyond shannon recovery as civilizational footprint lean 4 mechanized physics math ai philosophy comments add comment 17 min read paper 153 v0 2 phi catalog case 6 riemann zcsg forward application self test berry keating numerical study nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 16 paper 153 v0 2 phi catalog case 6 riemann zcsg forward application self test berry keating numerical study math research philosophy history comments add comment 10 min read paper 153 v0 1 phi catalog a notation for impossibility possibility extensions 9 historical cases nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 15 paper 153 v0 1 phi catalog a notation for impossibility possibility extensions 9 historical cases math research philosophy history comments add comment 11 min read paper 63 v0 2 snst supplement pslq phi 2 psi 2 pysr x cicy3 negative finding tao 67 connections nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 14 paper 63 v0 2 snst supplement pslq phi 2 psi 2 pysr x cicy3 negative finding tao 67 connections math research ai philosophy comments add comment 7 min read paper 152 v0 3 sigma cascade collatz 10 9 scan g_3 subgraph framework erratum e3 lemma 5d 1 lean 4 mechanized nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 14 paper 152 v0 3 sigma cascade collatz 10 9 scan g_3 subgraph framework erratum e3 lemma 5d 1 lean 4 mechanized math research collatz ai comments add comment 26 min read paper 152 v0 2 sigma cascade observation of collatz orbit confluence lean 4 mechanized closures 3 adic isolation theorem honest correction e2 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 13 paper 152 v0 2 sigma cascade observation of collatz orbit confluence lean 4 mechanized closures 3 adic isolation theorem honest correction e2 math research collatz ai comments add comment 19 min read paper 152 v0 1 sigma cascade observation of collatz orbit confluence empirical peak merge enumeration and the n 96k hypothesis nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 12 paper 152 v0 1 sigma cascade observation of collatz orbit confluence empirical peak merge enumeration and the n 96k hypothesis math research collatz ai comments add comment 12 min read paper 150 v0 3 octatheoria 7 domains x 8 view modes cross layer methodological consistency rei prove 92 pattern 1 6 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 11 paper 150 v0 3 octatheoria 7 domains x 8 view modes cross layer methodological consistency rei prove 92 pattern 1 6 research datavis ai philosophy comments add comment 20 min read paper 150 v0 2 octatheoria unified multi domain observation framework with eight axis d fumt 8 projection seven domains x eight view modes nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 10 paper 150 v0 2 octatheoria unified multi domain observation framework with eight axis d fumt 8 projection seven domains x eight view modes research datavis ai philosophy comments add comment 18 min read paper 145 v0 6 first d fumt 8 silicon with self reflexive primitive four substrate cross verification nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 9 paper 145 v0 6 first d fumt 8 silicon with self reflexive primitive four substrate cross verification quantum fpga research verification comments add comment 38 min read paper 145 first d fumt 8 silicon with self reflexive logic primitive three substrate cross verification fpga aer ibm heron r2 real hardware nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 8 paper 145 first d fumt 8 silicon with self reflexive logic primitive three substrate cross verification fpga aer ibm heron r2 real hardware quantum fpga research verification comments add comment 23 min read paper 149 recursive ai observation as d fumt 8 self loop operational evidence when the ai observatory includes itself rei aios oukc nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 7 paper 149 recursive ai observation as d fumt 8 self loop operational evidence when the ai observatory includes itself rei aios oukc philosophy ai research logic comments add comment 11 min read paper 147 eight valued utility and the equity premium reframe rei aios oukc nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 6 paper 147 eight valued utility and the equity premium reframe rei aios oukc research economics philosophy logic comments add comment 14 min read paper 148 honest observation framework for ai assisted research tools rei aios oukc nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 6 paper 148 honest observation framework for ai assisted research tools rei aios oukc research philosophy ai comments add comment 12 min read paper 143 cross cultural convergence rei aios reaches mikami s 1953 japanese wa ga thesis 11 11 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 2 paper 143 cross cultural convergence rei aios reaches mikami s 1953 japanese wa ga thesis 11 11 linguistics ai research philosophy comments add comment 7 min read paper 146 who made the god who made the universe on defining the before as the starting point of thought rei aios oukc nobuki fujimoto nobuki fujimoto nobuki fujimoto follow may 2 paper 146 who made the god who made the universe on defining the before as the starting point of thought rei aios oukc philosophy buddhism logic research comments add comment 4 min read paper 142 11 platform retrofit philpapers integration predatory journal defense rei aios nobuki fujimoto nobuki fujimoto nobuki fujimoto follow apr 30 paper 142 11 platform retrofit philpapers integration predatory journal defense rei aios publishing research discipline infrastructure comments add comment 15 min read paper 33 braille x d fumt 8 extreme encoding of philosophical states in 3 6 bytes nobuki fujimoto nobuki fujimoto nobuki fujimoto follow apr 29 paper 33 braille x d fumt 8 extreme encoding of philosophical states in 3 6 bytes math philosophy research encoding comments add comment 5 min read power x thermodynamics x d fumt 8 a 9 theory bridge from cpu gpu engineering to information thermodynamics paper 141 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow 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 comments add comment 7 min read rei pl prover v0 1 a d fumt 8 native proof assistant prototype paper 137 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow apr 27 rei pl prover v0 1 a d fumt 8 native proof assistant prototype paper 137 lean math research ai comments add comment 9 min read rei problems a self verifying mathematical problem bank generated from seed_kernel theories paper 139 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow apr 27 rei problems a self verifying mathematical problem bank generated from seed_kernel theories paper 139 math ai research lean comments add comment 11 min read fidt as a domain specific generator a honest reframing of fujimoto infinite dot theory paper 140 nobuki fujimoto nobuki fujimoto nobuki fujimoto follow apr 26 fidt as a domain specific generator a honest reframing of fujimoto infinite dot theory paper 140 compression research math ai comments add comment 9 min read godel s dichotomy as lifecycle disjunction a statement di...