brismu/zatske: An implementation of ologs for Lojbanic ontology
github.com/brismu/zatske
Sep 6, 2026
6
brismu/zaha: Categorical diagrams with a minimum of code.
github.com/brismu/zaha
Sep 6, 2026
1
Semantic computing with IEML - Pierre Lévy, 2023
journals.sagepub.com/doi/10.1177/26339137231207634
Sep 6, 2026
1
Lojban - HaskellWiki
wiki.haskell.org/index.php?title=Lojban
Sep 6, 2026
1
ralju brivla deep structure - La Lojban
mw.lojban.org/papri/ralju_brivla_deep_structure
Sep 6, 2026
5
I like the idea of Lojban. I hate the implementation. It’s basically spoken math... | Hacker News
news.ycombinator.com/item?id=36009766
Sep 6, 2026
2
Lojban timeline - La Lojban
mw.lojban.org/papri/Lojban_timeline
Sep 6, 2026
1
propositional logic as a dependent type theory in nLab
ncatlab.org/nlab/show/propositional+logic+as+a+dependent+type+theory
Sep 5, 2026
1
linear type theory in nLab
ncatlab.org/nlab/show/linear+type+theory
Sep 5, 2026
1
propositions as projections in nLab
ncatlab.org/nlab/show/propositions+as+projections
Sep 5, 2026
1
proposition in nLab
ncatlab.org/nlab/show/proposition
Sep 5, 2026
1
type universe in nLab
ncatlab.org/nlab/show/type+universe
Sep 5, 2026
2
subsingleton in nLab
ncatlab.org/nlab/show/subsingleton
Sep 5, 2026
1
propositions as types in nLab
ncatlab.org/nlab/show/propositions+as+types
Sep 5, 2026
12
Google Gemini
gemini.google.com/app/5ce1cb1fe11871f6
Sep 5, 2026
14
Propositions as Some Types and Algebraic Nonalgebraicity | The n-Category Café
golem.ph.utexas.edu/category/2012/01/propositions_as_some_types_and.html
Sep 5, 2026
7
type of propositions in nLab
ncatlab.org/nlab/show/type+of+propositions
Sep 5, 2026
2
truth value in nLab
ncatlab.org/nlab/show/truth+value
Sep 5, 2026
2
Anthropic Files Confidential IPO Paperwork for Claude | Tokens
mbrenndoerfer.com/tokens/archive/1/anthropic-files-confidential-ipo-paperwork-claude
Sep 5, 2026
1
MontagueGrammarElsevier.PDF
people.umass.edu/partee/docs/MontagueGrammarElsevier.PDF
Sep 5, 2026
1
History of Language AI PDF: Complete Book and Three Volumes
mbrenndoerfer.com/books/history-of-language-ai/pdf
Sep 5, 2026
1
Montague Semantics and Compositional Meaning
mbrenndoerfer.com/writing/montague-semantics-formal-compositional-natural-language-understanding
Sep 5, 2026
7
Montague Semantics (Stanford Encyclopedia of Philosophy)
plato.stanford.edu/entries/montague-semantics/
Sep 5, 2026
5
What Are You Working On? August 31, 2026 : r/math
www.reddit.com/r/math/comments/1w3gcc3/what_are_you_working_on_august_31_2026/
Sep 5, 2026
10
ocbr.pdf
boole.stanford.edu/pub/ocbr.pdf
Sep 5, 2026
3
scbr.pdf
boole.stanford.edu/pub/scbr.pdf
Sep 5, 2026
2
Computer languages and math, viewed as visual and/or minimal conlangs : r/visual_conlangs
www.reddit.com/r/visual_conlangs/comments/cli1ra/computer_languages_and_math_viewed_as_visual/
Sep 5, 2026
4
"Transcendental Algebra" (btw, my dream project is to develop a correct noun algebra) : r/visual_conlangs
www.reddit.com/r/visual_conlangs/comments/1w1mahv/transcendental_algebra_btw_my_dream_project_is_to/
Sep 5, 2026
1
[deleted by user] : r/math
www.reddit.com/r/math/comments/1sa6u8n/comment/odwp12m/?context=3
Sep 5, 2026
2
Montague Grammar: A Mathematical Theory of Meaning : r/logic
www.reddit.com/r/logic/comments/1cyaoel/montague_grammar_a_mathematical_theory_of_meaning/
Sep 5, 2026
1
What is the current status regarding formal semantics (especially with respect to cognitive semantics)? And could computational linguistics be seen as a branch of it? : r/linguistics
www.reddit.com/r/linguistics/comments/3nz9jd/what_is_the_current_status_regarding_formal/
Sep 5, 2026
1
Let's start to develop a noun and emoji algebra : r/visual_conlangs
www.reddit.com/r/visual_conlangs/comments/1w79lok/lets_start_to_develop_a_noun_and_emoji_algebra/
Sep 5, 2026
2
person
dbpedia.org/ontology/Person
Sep 4, 2026
1
person
www.wikidata.org/wiki/Q215627
Sep 4, 2026
1
Unicode for Coders. Index
xahlee.info/comp/unicode_essays_index.html
Sep 4, 2026
1
Inline fields vs tags for retrieving specific lines from notes - Help - Obsidian Forum
forum.obsidian.md/t/inline-fields-vs-tags-for-retrieving-specific-lines-from-notes/95659/9
Sep 4, 2026
1
Inline fields vs tags for retrieving specific lines from notes - Help - Obsidian Forum
forum.obsidian.md/t/inline-fields-vs-tags-for-retrieving-specific-lines-from-notes/95659
Sep 4, 2026
1
What do y'all use tags for? : r/ObsidianMD
www.reddit.com/r/ObsidianMD/comments/1odssjk/what_do_yall_use_tags_for/
Sep 4, 2026
1
Antibiotics in dentistry - what do people do!? : r/Dentistry
www.reddit.com/r/Dentistry/comments/17l3ugf/antibiotics_in_dentistry_what_do_people_do/?sort=top
Sep 1, 2026
7