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

I'm tutoring a prodigiously gifted 12 year old in advanced mathematics. What should I do with him? : r/math

www.reddit.com/r/math/comments/1f2o03l/im_tutoring_a_prodigiously_gifted_12_year_old_in/?sort=top

Aug 18, 2026

4

Neural Computer: A New Machine Form Is Emerging

metauto.ai/neuralcomputer/

Aug 18, 2026

2

yoheinakajima/babyagi

github.com/yoheinakajima/babyagi

Aug 18, 2026

1

metauto-ai/Mindstorm: 🧠 Societies of Mind & Economy of Minds

github.com/metauto-ai/Mindstorm

Aug 18, 2026

2

Revisiting Minsky's Society of Mind in 2025 | Hacker News

news.ycombinator.com/item?id=44310851

Aug 18, 2026

2

Minsky’s Society of Mind in 2025: durable ideas, dated machinery, pragmatic leadership lessons

medium.com/@adnanmasood/minskys-society-of-mind-in-2025-durable-ideas-dated-machinery-pragmatic-leadership-lessons-7519d09a5bc9

Aug 18, 2026

10

for

learn.microsoft.com/en-us/windows-server/administration/windows-commands/for

Aug 17, 2026

2

Help in Notepad | Microsoft Support

support.microsoft.com/en-US/Windows/Apps/help-in-notepad

Aug 17, 2026

1

Models

antigravity.google/docs/models

Aug 16, 2026

1

Plans

antigravity.google/docs/plans

Aug 16, 2026

6

antigravity.google/docs/faq.md

antigravity.google/docs/faq.md

Aug 16, 2026

1

FAQ

antigravity.google/docs/faq/

Aug 16, 2026

2

Tab

antigravity.google/docs/ide/tab/

Aug 16, 2026

2

Overview

antigravity.google/docs/ide/overview/

Aug 16, 2026

1

Getting Started with Google Antigravity  |  Google Codelabs

codelabs.developers.google.com/getting-started-google-antigravity

Aug 16, 2026

7

Rody Davis on X: "We have been working hard on improving the Antigravity docs and have introduced some new features:- doc search with command bar- copy / view as markdown buttons- better mobile layout- dark mode https://t.co/d7EyazAGw6" / X

x.com/rodydavis/status/2088387667314803087

Aug 16, 2026

1

4 Non Blondes - What's Up [text a akordy na YouSongs.cz]

www.yousongs.cz/pisen/11574-4-Non-Blondes-What%27s-Up.aspx?utm_source=&utm_medium=&utm_campaign=

Aug 16, 2026

1

Discord - Group Chat That’s All Fun & Games

discord.com/channels/1401614663388762194/1519455006946889792/threads/1528854121837232200

Aug 15, 2026

1

Discord - Group Chat That’s All Fun & Games

discord.com/channels/1401614663388762194/1507325668327686224

Aug 15, 2026

1

The Beatles texty | KaraokeTexty.cz

www.karaoketexty.cz/texty-pisni/the-beatles-124

Aug 15, 2026

1

American Sign Language Wikipedia October 2016

www.signwriting.org/archive/docs12/sw1196_ASL_WIKIPEDIA_October_2016.pdf

Aug 15, 2026

1

The Unicode Standard, Version 17.0

www.unicode.org/charts/PDF/U1D800.pdf

Aug 15, 2026

3

01 připomenout slovo

www.youtube.com/playlist?list=PLf627eeRCAXE

Aug 14, 2026

1

Ladislav Křížek - Nech mě snít

www.karaoketexty.cz/texty-pisni/krizek-ladislav/nech-me-snit-244265

Aug 12, 2026

4

Seznam zpěvníků na YouSongs.cz

www.yousongs.cz/SongBooks.aspx

Aug 12, 2026

1

Formalism, correctness, cost

www.osequi.com/slides/formalism-correctness-cost/formalism-correctness-cost.html

Aug 11, 2026

1

Where Should Visual Programming Go?

tonsky.me/blog/diagrams/

Aug 11, 2026

2

A likely-correct list

www.osequi.com/studies/list/list.html

Aug 11, 2026

9

[PDF] Functorial data migration | Semantic Scholar

www.semanticscholar.org/paper/Functorial-data-migration-Spivak/cf47e45de46ee257fff387a360be5c372e8977b4

Aug 11, 2026

2

[PDF] Knowledge Representation in Bicategories of Relations | Semantic Scholar

www.semanticscholar.org/paper/Knowledge-Representation-in-Bicategories-of-Patterson/c68b6660d856143a4e0120c846d1eb0632bd473e

Aug 11, 2026

1

[PDF] Ologs: A Categorical Framework for Knowledge Representation | Semantic Scholar

www.semanticscholar.org/paper/Ologs%3A-A-Categorical-Framework-for-Knowledge-Spivak/ce9f9b7e4c077a30a32a9b3b0379f011056ba29a?sort=total-citations&page=2

Aug 11, 2026

1

e/tikz.e (htmlized)

anggtwu.net/e/tikz.e.html

Aug 11, 2026

1

The truly scary smart : r/slatestarcodex

www.reddit.com/r/slatestarcodex/comments/znn1nt/the_truly_scary_smart/?sort=top

Aug 11, 2026

1

ontology log in nLab

ncatlab.org/nlab/show/ontology+log

Aug 10, 2026

3

Lambek.NEW.pdf

archive.illc.uva.nl/lgc/translation/papers/Lambek.NEW.pdf

Aug 10, 2026

5

[deleted by user] : r/printSF

www.reddit.com/r/printSF/comments/fh3mpq/deleted_by_user/

Aug 10, 2026

1

Values Statement2021

dspivak.net/ValuesStatement.pdf

Aug 10, 2026

10

Olog - CatColab

catcolab.org/help/logics/simple-olog

Aug 10, 2026

3

Zpěvník: aa Můj zpěvník (uzivatel442421) - seznam skladeb s texty a

www.yousongs.cz/zpevnik/3426-aa-Muj-zpevnik-(uzivatel442421).aspx?utm_source=&utm_medium=&utm_campaign=

Aug 10, 2026

2

Vložení nového zpěvníku na YouSongs.cz

www.yousongs.cz/registered/NewSongBook.aspx

Aug 10, 2026

1

HUDBA.HRADISTE.CZ

www.midisoubory.cz/index.php?AKCE=DETAIL&ID=3331b4340200

Aug 10, 2026

1