From 060fa9fa2ad8490c7dca9d7dd55e55f531334454 Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Sun, 20 Oct 2019 19:07:36 +0200 Subject: [PATCH] updated slightly the article --- src/demo.org | 153 ++++++++++++++++++++++------ src/posts/0006-modern-irc/index.org | 11 +- 2 files changed, 130 insertions(+), 34 deletions(-) diff --git a/src/demo.org b/src/demo.org index 2ff61df..b46c9da 100644 --- a/src/demo.org +++ b/src/demo.org @@ -148,7 +148,7 @@ Perhaps a list: (continuous paths from $x_0$ to $x_0$), considered up to homotopy, with the group operations given by the identity path (standing still), path concatenation, and path reversal. For example, the fundamental group of - the $2$-sphere is trivial, but the fundamental group of the torus is + the 2-sphere is trivial, but the fundamental group of the torus is not, which shows that the sphere and the torus are not homotopy equivalent. The intuition is that every loop on the sphere is homotopic to the identity, because its inside can be filled in. In contrast, a @@ -179,7 +179,7 @@ Perhaps a list: (continuous paths from $x_0$ to $x_0$), considered up to homotopy, with the group operations given by the identity path (standing still), path concatenation, and path reversal. For example, the fundamental group of - the $2$-sphere is trivial, but the fundamental group of the torus is + the 2-sphere is trivial, but the fundamental group of the torus is not, which shows that the sphere and the torus are not homotopy equivalent. The intuition is that every loop on the sphere is homotopic to the identity, because its inside can be filled in. In contrast, a @@ -208,7 +208,7 @@ Perhaps a list: right regarding very long lines inside list, but also nested lists. 2. foo 1. Something else to nest. - 2. For example, the fundamental group of the $2$-sphere is trivial, + 2. For example, the fundamental group of the 2-sphere is trivial, but the fundamental group of the torus is not, which shows that the sphere and the torus are not homotopy equivalent. The intuition is that every loop on the sphere is homotopic to the identity, because @@ -223,24 +223,10 @@ Perhaps a list: concatenation, and path reversal. 4. Lot of things. - Lot of things. - -* Level 1 - :PROPERTIES: - :CUSTOM_ID: level-1 - :END: -** Level 2 - paragraph - :PROPERTIES: - :CUSTOM_ID: level-2-85fc - :END: - - There should be whitespace between paragraphs. - GitHub is a code hosting platform for version control and collaboration. - It lets you and others work together on projects from anywhere. - -*** Level 3 - blockquote - :PROPERTIES: - :CUSTOM_ID: level-3 - :END: +* Blockquote +:PROPERTIES: +:CUSTOM_ID: blockquote +:END: #+begin_quote This is a blockquote following a header. @@ -248,11 +234,11 @@ Perhaps a list: When something is important enough, you do it even if the odds are not in your favor. #+end_quote - -**** Level 4 - source code - :PROPERTIES: - :CUSTOM_ID: level-4 - :END: + +* Source code +:PROPERTIES: +:CUSTOM_ID: source-code +:END: #+begin_src javascript // Javascript code with syntax highlighting. @@ -284,10 +270,9 @@ Perhaps a list: name <- getLine putStrLn $ "Hello " <> name <> "!" #+end_src - -***** Level 5 - table and rules +* Tables :PROPERTIES: -:CUSTOM_ID: level-5 +:CUSTOM_ID: tables :END: | head1 | head two | @@ -306,10 +291,20 @@ Bad too wide table... | Galaad | the /pure/ | | | | | | | Zoot | Just =Zoot= | | | | | | +* Rules +:PROPERTIES: +:CUSTOM_ID: rules +:END: - There's a horizontal rule below this +There's a horizontal rule below this - ------ +------ + +Another here + +------ + +After the rule. * Image :PROPERTIES: @@ -370,3 +365,99 @@ CLOSED: [2019-07-09 Tue 13:45] :END: - State "CANCELED" from [2019-07-09 Tue 13:45] \\ cancel reason +* Level 1 +:PROPERTIES: +:CUSTOM_ID: level-1 +:END: +** Level 2 +:PROPERTIES: +:CUSTOM_ID: level-2 +:END: +*** Level 3 +:PROPERTIES: +:CUSTOM_ID: level-3 +:END: +**** Level 4 +:PROPERTIES: +:CUSTOM_ID: level-4 +:END: +***** Level 5 +:PROPERTIES: +:CUSTOM_ID: level-5 +:END: +****** Level 6 +:PROPERTIES: +:CUSTOM_ID: level-6 +:END: +******* Level 7 +:PROPERTIES: +:CUSTOM_ID: level-7 +:END: +******** Level 8 +:PROPERTIES: +:CUSTOM_ID: level-8 +:END: +********* Level 9 +:PROPERTIES: +:CUSTOM_ID: level-9 +:END: +********** Level 10 +:PROPERTIES: +:CUSTOM_ID: level-10 +:END: +*********** Level 11 +:PROPERTIES: +:CUSTOM_ID: level-11 +:END: +************ Level 12 +:PROPERTIES: +:CUSTOM_ID: level-12 +:END: +* TODO Todo 1 +:PROPERTIES: +:CUSTOM_ID: todo-1 +:END: +** TODO Todo 2 +:PROPERTIES: +:CUSTOM_ID: todo-2 +:END: +*** TODO Todo 3 +:PROPERTIES: +:CUSTOM_ID: todo-3 +:END: +**** TODO Todo 4 +:PROPERTIES: +:CUSTOM_ID: todo-4 +:END: +***** TODO Todo 5 +:PROPERTIES: +:CUSTOM_ID: todo-5 +:END: +****** TODO Todo 6 +:PROPERTIES: +:CUSTOM_ID: todo-6 +:END: +******* TODO Todo 7 +:PROPERTIES: +:CUSTOM_ID: todo-7 +:END: +******** TODO Todo 8 +:PROPERTIES: +:CUSTOM_ID: todo-8 +:END: +********* TODO Todo 9 +:PROPERTIES: +:CUSTOM_ID: todo-9 +:END: +********** TODO Todo 10 +:PROPERTIES: +:CUSTOM_ID: todo-10 +:END: +*********** TODO Todo 11 +:PROPERTIES: +:CUSTOM_ID: todo-11 +:END: +************ TODO Todo 12 +:PROPERTIES: +:CUSTOM_ID: todo-12 +:END: diff --git a/src/posts/0006-modern-irc/index.org b/src/posts/0006-modern-irc/index.org index a66a2b2..ccb05f9 100644 --- a/src/posts/0006-modern-irc/index.org +++ b/src/posts/0006-modern-irc/index.org @@ -5,7 +5,7 @@ #+DATE: [2019-10-19 Sat] #+KEYWORDS: self-hosting, chat, irc #+DESCRIPTION: How to modernize IRC -#+OPTIONS: auto-id:t +#+OPTIONS: auto-id:t toc:t #+begin_notes tl;dr: Why and how to have modern and respectful chat system with IRC. @@ -19,6 +19,11 @@ is IRC. More precisely via those softwares: - Palaver (iOS client). #+end_notes +* Why IRC? +:PROPERTIES: +:CUSTOM_ID: why-irc- +:END: + How to chat in 2019? Certainly with slack, or via a social media app in the browser or mobile phone app. @@ -45,11 +50,11 @@ Here are the feature I think a modern solution should have: more resources than we really need. Chat should be about TEXT, not images, not videos, not presentations and PDF. -7. Refuse anti-features: show when someone is typing, show when someone +7. *No anti-features*: show when someone is typing, show when someone as read your message, etc... Those functionality are in fact increasing social insecurity and forces you to answer sooner instead of really taking the time to answer correctly. -8. Use free software (not just open source software). +8. *Free software* I am quite disappointed by /modern/ chat applications.