updated slightly the article
This commit is contained in:
parent
e46dad20b9
commit
060fa9fa2a
153
src/demo.org
153
src/demo.org
|
@ -148,7 +148,7 @@ Perhaps a list:
|
||||||
(continuous paths from $x_0$ to $x_0$), considered up to homotopy, with
|
(continuous paths from $x_0$ to $x_0$), considered up to homotopy, with
|
||||||
the group operations given by the identity path (standing still), path
|
the group operations given by the identity path (standing still), path
|
||||||
concatenation, and path reversal. For example, the fundamental group of
|
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
|
not, which shows that the sphere and the torus are not homotopy
|
||||||
equivalent. The intuition is that every loop on the sphere is homotopic
|
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
|
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
|
(continuous paths from $x_0$ to $x_0$), considered up to homotopy, with
|
||||||
the group operations given by the identity path (standing still), path
|
the group operations given by the identity path (standing still), path
|
||||||
concatenation, and path reversal. For example, the fundamental group of
|
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
|
not, which shows that the sphere and the torus are not homotopy
|
||||||
equivalent. The intuition is that every loop on the sphere is homotopic
|
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
|
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.
|
right regarding very long lines inside list, but also nested lists.
|
||||||
2. foo
|
2. foo
|
||||||
1. Something else to nest.
|
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
|
but the fundamental group of the torus is not, which shows that the
|
||||||
sphere and the torus are not homotopy equivalent. The intuition is
|
sphere and the torus are not homotopy equivalent. The intuition is
|
||||||
that every loop on the sphere is homotopic to the identity, because
|
that every loop on the sphere is homotopic to the identity, because
|
||||||
|
@ -223,24 +223,10 @@ Perhaps a list:
|
||||||
concatenation, and path reversal.
|
concatenation, and path reversal.
|
||||||
4. Lot of things.
|
4. Lot of things.
|
||||||
- Lot of things.
|
- Lot of things.
|
||||||
|
* Blockquote
|
||||||
* Level 1
|
:PROPERTIES:
|
||||||
:PROPERTIES:
|
:CUSTOM_ID: blockquote
|
||||||
:CUSTOM_ID: level-1
|
:END:
|
||||||
: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:
|
|
||||||
|
|
||||||
#+begin_quote
|
#+begin_quote
|
||||||
This is a blockquote following a header.
|
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
|
When something is important enough, you do it even if the odds are not in your
|
||||||
favor.
|
favor.
|
||||||
#+end_quote
|
#+end_quote
|
||||||
|
|
||||||
**** Level 4 - source code
|
* Source code
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
:CUSTOM_ID: level-4
|
:CUSTOM_ID: source-code
|
||||||
:END:
|
:END:
|
||||||
|
|
||||||
#+begin_src javascript
|
#+begin_src javascript
|
||||||
// Javascript code with syntax highlighting.
|
// Javascript code with syntax highlighting.
|
||||||
|
@ -284,10 +270,9 @@ Perhaps a list:
|
||||||
name <- getLine
|
name <- getLine
|
||||||
putStrLn $ "Hello " <> name <> "!"
|
putStrLn $ "Hello " <> name <> "!"
|
||||||
#+end_src
|
#+end_src
|
||||||
|
* Tables
|
||||||
***** Level 5 - table and rules
|
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
:CUSTOM_ID: level-5
|
:CUSTOM_ID: tables
|
||||||
:END:
|
:END:
|
||||||
|
|
||||||
| head1 | head two |
|
| head1 | head two |
|
||||||
|
@ -306,10 +291,20 @@ Bad too wide table...
|
||||||
| Galaad | the /pure/ | | | | | |
|
| Galaad | the /pure/ | | | | | |
|
||||||
| Zoot | Just =Zoot= | | | | | |
|
| 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
|
* Image
|
||||||
:PROPERTIES:
|
:PROPERTIES:
|
||||||
|
@ -370,3 +365,99 @@ CLOSED: [2019-07-09 Tue 13:45]
|
||||||
:END:
|
:END:
|
||||||
- State "CANCELED" from [2019-07-09 Tue 13:45] \\
|
- State "CANCELED" from [2019-07-09 Tue 13:45] \\
|
||||||
cancel reason
|
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:
|
||||||
|
|
|
@ -5,7 +5,7 @@
|
||||||
#+DATE: [2019-10-19 Sat]
|
#+DATE: [2019-10-19 Sat]
|
||||||
#+KEYWORDS: self-hosting, chat, irc
|
#+KEYWORDS: self-hosting, chat, irc
|
||||||
#+DESCRIPTION: How to modernize IRC
|
#+DESCRIPTION: How to modernize IRC
|
||||||
#+OPTIONS: auto-id:t
|
#+OPTIONS: auto-id:t toc:t
|
||||||
|
|
||||||
#+begin_notes
|
#+begin_notes
|
||||||
tl;dr: Why and how to have modern and respectful chat system with IRC.
|
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).
|
- Palaver (iOS client).
|
||||||
#+end_notes
|
#+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
|
How to chat in 2019? Certainly with slack, or via a social media app in the
|
||||||
browser or mobile phone app.
|
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.
|
more resources than we really need.
|
||||||
Chat should be about TEXT, not images, not videos, not presentations and
|
Chat should be about TEXT, not images, not videos, not presentations and
|
||||||
PDF.
|
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
|
as read your message, etc... Those functionality are in fact increasing
|
||||||
social insecurity and forces you to answer sooner instead of really
|
social insecurity and forces you to answer sooner instead of really
|
||||||
taking the time to answer correctly.
|
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.
|
I am quite disappointed by /modern/ chat applications.
|
||||||
|
|
||||||
|
|
Loading…
Reference in a new issue