Martin Milan

Martin Milan

@uhu6drb9cmm389j0

Joined Jul 26, 2024

6

Following

1

Followers

3.18k

pages

7.71k

highlights

1.75k

views
M
W
F
Jul
Aug
Sep
Total Days:
Total Weeks:
507-Days 📚
104-Weeks 📚
Show All

bicategory in nLab

ncatlab.org/nlab/show/bicategory

Jun 12, 2026

2

Category theory notes 19: Category theory for posets (Part 1)

blog.juliosong.com/linguistics/mathematics/category-theory-notes-19/

Jun 9, 2026

3

Build software better, together

github.com/search?q=%22the+category+of+%22++linguist++++%22theory%22&type=code

Jun 9, 2026

1

Another application of category theory in linguistics (Part 1)

blog.juliosong.com/linguistics/mathematics/another-application-of-category-theory-in-linguistics-part-1/

Jun 9, 2026

1

Category theory notes 4: Monoid

blog.juliosong.com/linguistics/mathematics/category-theory-notes-4/

Jun 8, 2026

2

Category theory notes 2: What’s a category?

blog.juliosong.com/linguistics/mathematics/category-theory-notes-2/

Jun 8, 2026

3

Learning a third language via a second… and how linguistics helps along the way

blog.juliosong.com/language%20learning/linguistics/learning-third-language-via-second/

Jun 8, 2026

1

Category theory notes 1: A linguistician’s babble

blog.juliosong.com/linguistics/mathematics/category-theory-notes-1/

Jun 8, 2026

3

Fixing Mathematical Notation with Computing, and “Proving” It with Education

computinged.wordpress.com/2018/11/02/fixing-mathematical-notation-with-computing-and-proving-it-with-education/

Jun 8, 2026

3

E-shopy s doručením potravin dnes - Claude

claude.ai/chat/dbf5b762-f36a-48f4-802d-6abbd469c086

Jun 8, 2026

1

‎Google Gemini

gemini.google.com/app/2b2cbc79fb001269

Jun 8, 2026

1

General Questions

docs.endor.dev/faq/general/

Jun 6, 2026

5

The browser is the sandbox | Hacker News

news.ycombinator.com/item?id=46762150

Jun 6, 2026

4

A link is all you need

aifoc.us/a-link-is-all-you-need/

Jun 6, 2026

1

super-apps

aifoc.us/super-apps/

Jun 6, 2026

1

If NotebookLM was a web browser

aifoc.us/if-notebooklm-was-a-web-browser/

Jun 6, 2026

1

the token salary

aifoc.us/the-token-salary/

Jun 6, 2026

2

webmcp is the new web intents ... maybe

aifoc.us/webmcp-is-the-new-web-intents/

Jun 6, 2026

1

the browser is the sandbox

aifoc.us/the-browser-is-the-sandbox/

Jun 6, 2026

2

Simon Willison on sandboxing

simonwillison.net/tags/sandboxing/

Jun 6, 2026

6

simonwillison.net/blogmarks/

Jun 6, 2026

6

[CRITICAL - Data Loss] Copilot agent bypasses WSL sandbox and deletes user home directory due to Windows/WSL quoting failure · Issue #316120 · microsoft/vscode

github.com/microsoft/vscode/issues/316120

Jun 6, 2026

2

Commits · microsoft/vscode-python-web-wasm

github.com/microsoft/vscode-python-web-wasm

Jun 6, 2026

1

New AI slop signal: code blocks with weird indentation

xeiaso.net/notes/2025/slop-signal-indentation/

Jun 6, 2026

1

Dancing mad with sandboxing

xeiaso.net/blog/2026/dancing-mad-sandboxing/

Jun 6, 2026

1

contentsviewer.work/Master/OutlineText/OutlineText_en?plainText

Jun 6, 2026

1

OutlineText (lightweight markup language) | Welcome!

contentsviewer.work/Master/OutlineText/OutlineText_en

Jun 6, 2026

Re: [GIT PULL] C-SKY(csky) Port for Linux 4.20 - Geert Uytterhoeven

lore.kernel.org/all/CAMuHMdU6e8vu_Kak2Avzn2WeTkmc-mjagR5tzX8BxgdH_UcYUA@mail.gmail.com/

Jun 6, 2026

1

Re: [GIT PULL] C-SKY(csky) Port for Linux 4.20 - Arnd Bergmann

lore.kernel.org/all/CAK8P3a2-wyXxctVtJxniUoeShASMhF-6Z1vyvfBnr6wKJuioAQ@mail.gmail.com/

Jun 6, 2026

1

Linux/Wasm

joelseverin.github.io/linux-wasm/

Jun 6, 2026

7

WebAssembly (WASM) arch support for the Linux kernel | Hacker News

news.ycombinator.com/item?id=45783074

Jun 6, 2026

1

Container2wasm: Convert Containers to WASM Blobs | Hacker News

news.ycombinator.com/item?id=38856559

Jun 6, 2026

3

Basic writing and formatting syntax - GitHub Docs

docs.github.com/en/get-started/writing-on-github/getting-started-with-writing-and-formatting-on-github/basic-writing-and-formatting-syntax

Jun 6, 2026

2

New Markdown extension: Alerts provide distinctive styling for significant content - GitHub Changelog

github.blog/changelog/2023-12-14-new-markdown-extension-alerts-provide-distinctive-styling-for-significant-content/

Jun 6, 2026

1

Introducing the GitHub Markdown Helpers Public Beta - GitHub Changelog

github.blog/changelog/2023-03-15-introducing-the-github-markdown-helpers-public-beta/

Jun 6, 2026

1

GitHub Copilot app: The agent-native desktop experience

github.blog/news-insights/product-news/github-copilot-app-the-agent-native-desktop-experience/

Jun 6, 2026

3

Git turns 20: A Q&A with Linus Torvalds

github.blog/open-source/git/git-turns-20-a-qa-with-linus-torvalds/

Jun 6, 2026

7

Pyrun: Execute Python inside your Twitter, Facebook, Linkedin

guicommits.com/pyrun-run-python-from-tweets/

Jun 6, 2026

1

Can a VSCode snippet make three substitutions?

stackoverflow.com/questions/58192726/can-a-vscode-snippet-make-three-substitutions

Jun 5, 2026

1

VS Code Snippet to insert formatted date and time | myByways

mybyways.com/blog/vs-code-snippet-to-insert-formatted-date-and-time

Jun 5, 2026

9

vadimdemedes/ink: 🌈 React for interactive command-line apps

github.com/vadimdemedes/ink

Jun 5, 2026

5

Hide specific lines of code (not collapsing blocks)? : r/vscode

www.reddit.com/r/vscode/comments/16sixea/hide_specific_lines_of_code_not_collapsing_blocks/

Jun 5, 2026

4

Overrides selection of text? · Issue #79 · fabiospampinato/vscode-highlight

github.com/fabiospampinato/vscode-highlight/issues/79

Jun 5, 2026

1

Themes

code.visualstudio.com/docs/configure/themes

Jun 5, 2026

1

Theme Color

code.visualstudio.com/api/references/theme-color

Jun 5, 2026

2

Use double equals signs to highlight text in Markdown · Issue #1393 · dendronhq/dendron

github.com/dendronhq/dendron/issues/1393

Jun 5, 2026

4

Decoration extends after the match · Issue #31 · fabiospampinato/vscode-highlight

github.com/fabiospampinato/vscode-highlight/issues/31

Jun 5, 2026

3

Customizing VS Code for Markdown note-taking | myByways

mybyways.com/blog/customizing-vs-code-for-markdown-note-taking

Jun 5, 2026

5

myWebsite/farshid/guides/PKM/intro.md at main · pirahansiah/myWebsite

github.com/pirahansiah/myWebsite/blob/main/farshid/guides/PKM/intro.md

Jun 5, 2026

5

Build software better, together

github.com/Gruntfuggly/todo-tree

Jun 5, 2026

1