Martin Milan

Martin Milan

@uhu6drb9cmm389j0

Joined Jul 26, 2024

6

Following

1

Followers

3.41k

pages

8.19k

highlights

1.87k

views
M
W
F
Aug
Sep
Oct
Nov
Total Days:
Total Weeks:
542-Days 📚
110-Weeks 📚
Show All

Easier Tech Access for Seniors | Microsoft Windows

www.microsoft.com/en-us/windows/learning-center/making-technology-easier-accessible-seniors-windows

Sep 9, 2026

1

Math ASCII Notation - Mathematics at Apronus.com

www.apronus.com/math/mrwmath.htm

Sep 9, 2026

2

SM-G96X_UM_Open_QQ_Cze_Rev.1.0_191226.pdf

downloadcenter.samsung.com/content/UM/202001/20200129151215550/SM-G96X_UM_Open_QQ_Cze_Rev.1.0_191226.pdf

Sep 9, 2026

5

SM-G96X_UM_EU_Oreo_Eng_Rev.1.1_180319.pdf

downloadcenter.samsung.com/content/UM/201803/20180322095331813/SM-G96X_UM_EU_Oreo_Eng_Rev.1.1_180319.pdf

Sep 9, 2026

2

Access the user manual for your Samsung phone or tablet

www.samsung.com/us/support/answer/ANS10001611/

Sep 9, 2026

1

(1) Naval Podcast on X: "Executive Brief of our latest episode with special guests @rauchg, @bscholl and @maxhodak_. The AI Industrial Revolution1. The engineer’s job has changed from shipping output to building the factory that ships it. We used to argue whether 10x engineers exist; now it’s 100x" / X

x.com/navalpodcast/status/2063443159787438110

Sep 7, 2026

1

Life Formulas I

nav.al/life-formulas-i

Sep 7, 2026

2

brismu - La Lojban

mw.lojban.org/papri/brismu

Sep 6, 2026

1

Lojban/Introduction to Lojban - Wikibooks, open books for an open world

en.wikibooks.org/wiki/Lojban/Introduction_to_Lojban

Sep 6, 2026

1

Lojban_paper_v1.pdf

goertzel.org/agi-13/Lojban_paper_v1.pdf

Sep 6, 2026

4

documentation/roadmap.md · master · Pyash Cosmic Language / Pyash · GitLab

gitlab.com/pyac/pyash/-/blob/master/documentation/roadmap.md?ref_type=heads

Sep 6, 2026

1

gitlab.com/pyac/pyash/-/raw/master/documentation/neuron.md?ref_type=heads

gitlab.com/pyac/pyash/-/raw/master/documentation/neuron.md?ref_type=heads

Sep 6, 2026

1

documentation/mind.md · master · Pyash Cosmic Language / Pyash · GitLab

gitlab.com/pyac/pyash/-/blob/master/documentation/mind.md?ref_type=heads

Sep 6, 2026

3

Pyash Cosmic Language / Pyash · GitLab

gitlab.com/pyac/pyash

Sep 6, 2026

2

tVkiH

media.proquest.com/media/hms/ORIG/2/tVkiH?_s=2fBUhCdX1tXJKOCismis%2FEkQ2BU%3D

Sep 6, 2026

4

Publications+Lojban Plus Plus - Hyperon Wiki

wiki.hyperon.dev/Publications+Lojban_Plus_Plus

Sep 6, 2026

1

Translating English Sentences Into Predicate Logic Timeline Game | Memory Wizards

memorywizards.com/predicate-logic/translating-english-sentences-into-predicate-logic/timeline-game/

Sep 6, 2026

4

brismu/brismu: A relational interpretation of Lojban

github.com/brismu/brismu

Sep 6, 2026

1

Corbin (@[email protected])

defcon.social/@corbin/110718353377197535

Sep 6, 2026

1

Is there a logical language that is designed to be easy to learn? : r/conlangs

www.reddit.com/r/conlangs/comments/3rqh7d/is_there_a_logical_language_that_is_designed_to/

Sep 6, 2026

1

[Case study] cubicaltt, and intuitionistic type theory in general : r/minlangs

www.reddit.com/r/minlangs/comments/4q2zis/case_study_cubicaltt_and_intuitionistic_type/

Sep 6, 2026

1

formal semantics - La Lojban

mw.lojban.org/papri/formal_semantics

Sep 6, 2026

3

New Conlanging Idea: 'Post-Lojban' : r/conlangs

www.reddit.com/r/conlangs/comments/lyz7hm/new_conlanging_idea_postlojban/

Sep 6, 2026

1

The relational interpretation of Lojban (la brismu)

gist.github.com/MostAwesomeDude/6dad2c19850b5d53826a4210604a2e9e

Sep 6, 2026

6

Introduction | Hacker Laws

hackerlaws.dev/

Sep 6, 2026

1

1706.00526

arxiv.org/pdf/1706.00526

Sep 6, 2026

2

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