# tacit

Published articles for tacit.

This is one page of public article previews, not the complete archive. Follow Next page to continue. Summaries are not the original full articles.

## Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science

DevFeed: [Where Polanyi Meets Galois: Tacit Knowing as an Algebro-Deterministic Operation, Toward Re-rooting AI-Generated Science](<https://devfeed.tech/articles/where-polanyi-meets-galois-tacit-knowing-as-an-algebro-deterministic-operation-toward-re-rooting-ai-generated-science-97991.md>)

Original publisher: [Read original article](<https://arxiv.org/abs/2610.16102>)

Author: Hiroyuki Chuma, Kanji Otsuka, Yoichi Sato, Kodo Yamauchi

Published: 2026-10-23T04:00:00Z

Content type: opinion

Language: en

Sources: [arXiv: Artificial Intelligence](<https://devfeed.tech/sources/arxiv-artificial-intelligence.md>)

Topics: [Computer science](<https://devfeed.tech/topics/computer-science.md>), [knowledge-engineering](<https://devfeed.tech/topics/knowledge-engineering.md>)

Tags: [ai](<https://devfeed.tech/tags/ai.md>), [audit](<https://devfeed.tech/tags/audit.md>), [confidence](<https://devfeed.tech/tags/confidence.md>), [craft](<https://devfeed.tech/tags/craft.md>), [cs-ai](<https://devfeed.tech/tags/cs-ai.md>), [cs-ne](<https://devfeed.tech/tags/cs-ne.md>), [dag](<https://devfeed.tech/tags/dag.md>), [generate](<https://devfeed.tech/tags/generate.md>), [knowledge](<https://devfeed.tech/tags/knowledge.md>), [llms](<https://devfeed.tech/tags/llms.md>), [memory](<https://devfeed.tech/tags/memory.md>), [mentor](<https://devfeed.tech/tags/mentor.md>), [science](<https://devfeed.tech/tags/science.md>), [student](<https://devfeed.tech/tags/student.md>), [tacit](<https://devfeed.tech/tags/tacit.md>), [trace](<https://devfeed.tech/tags/trace.md>), [transmission](<https://devfeed.tech/tags/transmission.md>), [valuation](<https://devfeed.tech/tags/valuation.md>)

### AI overview

The paper models tacit knowing as a memory's operating regime, using VaCoAl, an XOR-and-shift hyperdimensional memory over GF(2), implemented as CASRAM and PyVaCoAl. Its DAG offers two readings: Rescue repairs every collision for an exactly auditable trace but does not rank paths; Don't Care tolerates collisions and produces path confidence (CR₂), which favors direct routes. The authors use this audit-valuation tradeoff to distinguish query-revealed tacitness from regime-bound tacitness, which can be stated only after it is lost. For AI-generated science, they propose that LLMs generate results, VaCoAl/PyVaCoAl preserve traces and confidence, and people evaluate their value--a role they argue cannot be delegated. They characterize untraceable, checkable AI results as "rootless explicit knowledge" and frame their broader claims, including conviviality as a basis for evolvability, as conjectures or testable predictions.

### Source excerpt

arXiv:2610.16102v2 Announce Type: replace-cross Abstract: We argue that tacit knowing is better modelled as an operating regime of a memory than as a kind of content. Our substrate is VaCoAl, an algebro-deterministic XOR-and-shift hyperdimensional memory over GF(2), realized as CASRAM and PyVaCoAl. In it, a DAG reads two ways. Repairing every collision (Rescue) makes the trace exactly auditable but ranks no path higher; tolerating them (Don't Care) yields a path confidence, CR$_2$, silently favouring direct routes. This audit-valuation complementarity formalizes Polanyi's claim that tacit and explicit are not sharply divided. It separates contingent tacitness, which a new query brings out (AlphaGo's game tree), from regime-bound tacitness, statable only once it is gone (AlphaGo's hunches). (1) Polanyi's from-to structure reads as non-commutative binding. (2) Explicating the valuation destroys it, as with Polanyi's pianist, yet a closed-form law states it. Polanyi, Nonaka, Tsoukas and Collins each capture part of this, narrowly; even Nonaka and von Krogh's continuum cannot tell the classes apart. (3) Collins's three tacit knowledges become strata, one outside the substrate. (4) Our mentor-student DAG is a tacit-transmission graph. (5) Tao's remark that AI-solved problems spawn few follow-ups reveals rootless explicit knowledge: checkable results no one can trace or yet understands. To re-root them, LLMs generate, VaCoAl/PyVaCoAl keeps an auditable trace with its confidence, and people value, a role virtue epistemology shows cannot be offloaded. Art, craft and skill show the same decoupling of form from the maker's becoming. (6) On Mercier and Sperber's account an LLM is reason's arguing side set loose, a sophist; truth-seeking lies deeper, in Polanyi's conviviality, which we conjecture is the root of evolvability and, as the Buddhist idea that plants and lands attain buddhahood suggests, reaches beyond humans. Testable predictions follow.

## Inside Tacit, an AAC App Built Around a Two-Tap Rule

DevFeed: [Inside Tacit, an AAC App Built Around a Two-Tap Rule](<https://devfeed.tech/articles/inside-tacit-an-aac-app-built-around-a-two-tap-rule-63976.md>)

Original publisher: [Read original article](<https://hackernoon.com/inside-tacit-an-aac-app-built-around-a-two-tap-rule?source=rss>)

Author: sakib

Published: 2026-10-02T00:46:24Z

Content type: article

Language: en

Sources: [HackerNoon](<https://devfeed.tech/sources/hackernoon.md>)

Topics: [SwiftUI](<https://devfeed.tech/topics/swiftui.md>), [User interface design](<https://devfeed.tech/topics/ui-design.md>), [iphone](<https://devfeed.tech/topics/iphone.md>), [Whisper](<https://devfeed.tech/topics/whisper.md>), [A/B Testing](<https://devfeed.tech/topics/a-b-testing.md>)

Tags: [aac-app-development](<https://devfeed.tech/tags/aac-app-development.md>), [ai](<https://devfeed.tech/tags/ai.md>), [api](<https://devfeed.tech/tags/api.md>), [apple-foundation-models](<https://devfeed.tech/tags/apple-foundation-models.md>), [assistive-communication](<https://devfeed.tech/tags/assistive-communication.md>), [groq](<https://devfeed.tech/tags/groq.md>), [groq-api](<https://devfeed.tech/tags/groq-api.md>), [on-device-ai](<https://devfeed.tech/tags/on-device-ai.md>), [revenuecat](<https://devfeed.tech/tags/revenuecat.md>), [shipaton](<https://devfeed.tech/tags/shipaton.md>), [speech](<https://devfeed.tech/tags/speech.md>), [swiftui](<https://devfeed.tech/tags/swiftui.md>), [swiftui-accessibility](<https://devfeed.tech/tags/swiftui-accessibility.md>), [tacit](<https://devfeed.tech/tags/tacit.md>)

### AI overview

The article recounts how a solo developer built Tacit, an iOS augmentative and alternative communication app designed to help people who cannot rely on speech communicate quickly and with dignity. It describes the two-tap design rule, a SwiftUI architecture that selects among on-device AI, a Groq cloud relay, and an offline phrase engine, as well as privacy choices, translation, subscription setup, and bugs found during development. The author also shares lessons about schema design for small language models, fallback behavior, App Store configuration, and testing on real devices.

### Source excerpt

How Tacit combines SwiftUI, on-device AI, Groq, offline fallbacks, translation, and RevenueCat to help people communicate without speech.