regen
This commit is contained in:
parent
5c905f3bd4
commit
cb52743d10
8 changed files with 729 additions and 801 deletions
|
@ -6,6 +6,9 @@ created_at: 2012-12-12T10:06:40+02:00
|
|||
title: Category Theory Presentation
|
||||
author_name: Yann Esposito
|
||||
author_uri: yannesposito.com
|
||||
layout: article2
|
||||
macros:
|
||||
latex: '<span style="text-transform: uppercase">L<sup style="vertical-align: 0.15em; margin-left: -0.36em; margin-right: -0.15em; font-size: .85em">a</sup>T<sub style="vertical-align: -0.5ex; margin-left: -0.1667em; margin-right: -0.125em; font-size: 1em">e</sub>X</span>'
|
||||
tags:
|
||||
- category theory
|
||||
- math
|
||||
|
|
|
@ -6,6 +6,9 @@ created_at: 2012-12-12T10:06:40+02:00
|
|||
title: Category Theory Presentation
|
||||
author_name: Yann Esposito
|
||||
author_uri: yannesposito.com
|
||||
layout: article2
|
||||
macros:
|
||||
latex: '<span style="text-transform: uppercase">L<sup style="vertical-align: 0.15em; margin-left: -0.36em; margin-right: -0.15em; font-size: .85em">a</sup>T<sub style="vertical-align: -0.5ex; margin-left: -0.1667em; margin-right: -0.125em; font-size: 1em">e</sub>X</span>'
|
||||
tags:
|
||||
- category theory
|
||||
- math
|
||||
|
|
|
@ -18,7 +18,7 @@
|
|||
</head>
|
||||
<body lang="en" class="article">
|
||||
<script type="text/javascript">// <![CDATA[
|
||||
document.write('<div id="blackpage"><div>Hi! Start reading while a better style is loading...<img src="/Scratch/img/loading.gif" alt="loading..."/></div></div>');
|
||||
document.write('<div id="blackpage"><div>Loading...<img src="/Scratch/img/loading.gif" alt="loading..."/></div></div>');
|
||||
// ]]>
|
||||
</script>
|
||||
|
||||
|
@ -2009,17 +2009,13 @@ O(n².log(n)) to O(n³).</p>
|
|||
<div id="next_articles">
|
||||
next entries
|
||||
|
||||
<div class="next_article">
|
||||
<a href="/Scratch/en/blog/Category-Theory-Programming/">Category Theory Programming <span class="nicer">»</span></a>
|
||||
</div>
|
||||
|
||||
|
||||
<div class="next_article">
|
||||
<a href="/Scratch/en/blog/Category-Theory-Presentation/">Category Theory Presentation <span class="nicer">»</span></a>
|
||||
</div>
|
||||
|
||||
|
||||
|
||||
|
||||
</div>
|
||||
<div class="flush"></div>
|
||||
</div>
|
||||
|
|
|
@ -35,46 +35,6 @@ just continue to read as a standard web page.
|
|||
\(\newcommand{\F}{\mathbf{F}}\)
|
||||
\(\newcommand{\E}{\mathbf{E}}\)
|
||||
\(\newcommand{\C}{\mathc...</div></img></content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2012-10-01:/Scratch/en/blog/Category-Theory-Programming/</id>
|
||||
<title type="html">Category Theory Programming</title>
|
||||
<published>2012-10-01T17:16:43Z</published>
|
||||
<updated>2012-10-01T17:16:43Z</updated>
|
||||
<author>
|
||||
<name>Yann Esposito</name>
|
||||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/en/blog/Category-Theory-Programming/"/>
|
||||
<content type="html">
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p><span class="sc"><abbr title="Too long; didn't read">tl;dr</abbr>: </span> How to program using category theory.</p>
|
||||
|
||||
<blockquote>
|
||||
<center><hr style="width:30%;float:left;border-color:#CCCCD0;margin-top:1em" /><span class="sc"><b>Table of Content</b></span><hr style="width:30%;float:right;border-color:#CCCCD0;margin-top:1em" /></center>
|
||||
|
||||
<ul id="markdown-toc">
|
||||
<li><a href="#introduction">Introduction</a> <ul>
|
||||
<li><a href="#programming-paradigms">Programming Paradigms</a></li>
|
||||
</ul>
|
||||
</li>
|
||||
<li><a href="#get-some-intuition">Get some intuition</a> <ul>
|
||||
<li><a href="#representation-of-category">Representation of Category</a></li>
|
||||
</ul>
|
||||
</li>
|
||||
</ul>
|
||||
|
||||
</blockquote>
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
|
||||
<h2 id="introduction">Introduction</h2>
|
||||
|
||||
<p>%TODO{Do every...</p></blockquote></div></content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2012-06-15:/Scratch/en/blog/Haskell-OpenGL-Mandelbrot/</id>
|
||||
|
@ -777,42 +737,8 @@ require 'rack-rewr...</code></pre></content>
|
|||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/en/blog/2010-07-09-Indecidabilities/"/>
|
||||
<content type="html"><p>&lt;% # toremove_ %&gt;</p>
|
||||
|
||||
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p><span class="sc"><abbr title="Too long; didn't read">tl;dr</abbr>: </span> I pretend to create a world to give examples of different meanings behind the word <em>undecidability</em>:</p>
|
||||
|
||||
<ul>
|
||||
<li>Undecidability due to measure errors, </li>
|
||||
<li>Big errors resulting from small initial measure error,</li>
|
||||
<li>Fractal undecidability&nbsp;;</li>
|
||||
<li>Logic Undecidability.</li>
|
||||
</ul>
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
<div class="corps">
|
||||
|
||||
|
||||
<h1 class="first" id="the-undecidabilities">The Undecidabilities</h1>
|
||||
|
||||
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p>If a demiurge made our world, he certainly had a great sense of humor.
|
||||
After this read, you should be convinced.
|
||||
I&#8217;ll pretend to be him.
|
||||
I&#8217;ll create a simplified world.
|
||||
A world that obey to simple ma...</p></div></content>
|
||||
<content type="html">
|
||||
</content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2010-07-31:/Scratch/en/blog/2010-07-31-New-style-after-holidays/</id>
|
||||
|
@ -1247,4 +1173,47 @@ ext=File.extname(str)
|
|||
|
||||
</content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2010-02-18:/Scratch/en/blog/2010-02-18-split-a-file-by-keyword/</id>
|
||||
<title type="html">split a file by keyword</title>
|
||||
<published>2010-02-18T13:29:14Z</published>
|
||||
<updated>2010-02-18T13:29:14Z</updated>
|
||||
<author>
|
||||
<name>Yann Esposito</name>
|
||||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/en/blog/2010-02-18-split-a-file-by-keyword/"/>
|
||||
<content type="html"><p>Strangely enough, I didn&#8217;t find any built-in tool to split a file by keyword. I made one myself in <code>awk</code>. I put it here mostly for myself. But it could also helps someone else.
|
||||
The following code split a file for each line containing the word <code>UTC</code>.</p>
|
||||
|
||||
<div>
|
||||
|
||||
<pre><code class="perl">#!/usr/bin/env awk
|
||||
BEGIN{i=0;}
|
||||
/UTC/ {
|
||||
i+=1;
|
||||
FIC=sprintf("fic.%03d",i);
|
||||
}
|
||||
{print $0&gt;&gt;FIC}
|
||||
</code></pre>
|
||||
|
||||
</div>
|
||||
|
||||
<p>In my real world example, I wanted one file per day, each line containing UTC being in the following format:</p>
|
||||
|
||||
<pre class="twilight">
|
||||
Mon Dec 7 10:32:30 UTC 2009
|
||||
</pre>
|
||||
|
||||
<p>I then finished with the following code:</p>
|
||||
|
||||
<div>
|
||||
|
||||
<pre><code class="perl">#!/usr/bin/env awk
|
||||
BEGIN{i=0;}
|
||||
/UTC/ {
|
||||
date=$1$2$3;
|
||||
if ( date != olddate ) {
|
||||
...</code></pre></div></content>
|
||||
</entry>
|
||||
</feed>
|
||||
|
|
|
@ -18,7 +18,7 @@
|
|||
</head>
|
||||
<body lang="fr" class="article">
|
||||
<script type="text/javascript">// <![CDATA[
|
||||
document.write('<div id="blackpage"><div>Bonjour ! Commencez à lire, un meilleur style se charge...<img src="/Scratch/img/loading.gif" alt="Chargement en cours..."/></div></div>');
|
||||
document.write('<div id="blackpage"><div>Chargement en cours...<img src="/Scratch/img/loading.gif" alt="Chargement en cours..."/></div></div>');
|
||||
// ]]>
|
||||
</script>
|
||||
|
||||
|
@ -2009,17 +2009,13 @@ O(n².log(n)) to O(n³).</p>
|
|||
<div id="next_articles">
|
||||
articles suivants
|
||||
|
||||
<div class="next_article">
|
||||
<a href="/Scratch/fr/blog/Category-Theory-Programming/">Programmation en Théorie des Catégories <span class="nicer">»</span></a>
|
||||
</div>
|
||||
|
||||
|
||||
<div class="next_article">
|
||||
<a href="/Scratch/fr/blog/Category-Theory-Presentation/">Category Theory Presentation <span class="nicer">»</span></a>
|
||||
</div>
|
||||
|
||||
|
||||
|
||||
|
||||
</div>
|
||||
<div class="flush"></div>
|
||||
</div>
|
||||
|
|
|
@ -35,44 +35,6 @@ just continue to read as a standard web page.
|
|||
\(\newcommand{\F}{\mathbf{F}}\)
|
||||
\(\newcommand{\E}{\mathbf{E}}\)
|
||||
\(\newcommand{\C}{\mathc...</div></img></content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2012-10-01:/Scratch/fr/blog/Category-Theory-Programming/</id>
|
||||
<title type="html">Programmation en Théorie des Catégories</title>
|
||||
<published>2012-10-01T17:16:43Z</published>
|
||||
<updated>2012-10-01T17:16:43Z</updated>
|
||||
<author>
|
||||
<name>Yann Esposito</name>
|
||||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/fr/blog/Category-Theory-Programming/"/>
|
||||
<content type="html">
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p><span class="sc"><abbr title="Trop long à lire">tlàl</abbr>&nbsp;: </span> Comment programmer en utilisant la théorie des catégories.</p>
|
||||
|
||||
<blockquote>
|
||||
<center><hr style="width:30%;float:left;border-color:#CCCCD0;margin-top:1em" /><span class="sc"><b>Table of Content</b></span><hr style="width:30%;float:right;border-color:#CCCCD0;margin-top:1em" /></center>
|
||||
|
||||
<ul id="markdown-toc">
|
||||
<li><a href="#introduction">Introduction</a> <ul>
|
||||
<li><a href="#programming-paradigms">Programming Paradigms</a></li>
|
||||
</ul>
|
||||
</li>
|
||||
<li><a href="#get-some-intuition">Get some intuition</a> <ul>
|
||||
<li><a href="#representation-of-category">Representation of Category</a></li>
|
||||
</ul>
|
||||
</li>
|
||||
</ul>
|
||||
|
||||
</blockquote>
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
|
||||
<h2 id="introduction">Introductio...</h2></blockquote></div></content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2012-06-15:/Scratch/fr/blog/Haskell-OpenGL-Mandelbrot/</id>
|
||||
|
@ -724,39 +686,8 @@ Voici comment configurer un site statique sur heroku.</p>
|
|||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/fr/blog/2010-07-09-Indecidabilities/"/>
|
||||
<content type="html"><p>&lt;% # toremove_ %&gt;</p>
|
||||
|
||||
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p><span class="sc"><abbr title="Trop long à lire">tlàl</abbr>&nbsp;: </span> Je crée un mode mathématique simple pour parler de différents types d&#8217;<em>indécidabilités</em>&nbsp;:</p>
|
||||
|
||||
<ul>
|
||||
<li>indécidabilité due aux erreurs d&#8217;observation&nbsp;;</li>
|
||||
<li>grandes erreurs résultant de petites erreurs de mesure&nbsp;;</li>
|
||||
<li>indécidabilité fractales&nbsp;;</li>
|
||||
<li>indécidabilité logique.</li>
|
||||
</ul>
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
|
||||
|
||||
</div>
|
||||
|
||||
<div class="corps">
|
||||
|
||||
|
||||
<h1 class="first" id="les-indcidabilits">Les indécidabilités</h1>
|
||||
|
||||
|
||||
<div class="intro">
|
||||
|
||||
|
||||
<p>Si le monde a été fabriqué par un démiurge, on peut dire que celui-ci devait avoir le sens de l&#8217;humour.
|
||||
Et le récit que je vais faire va vous en fournir la p...</p></div></content>
|
||||
<content type="html">
|
||||
</content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2010-07-31:/Scratch/fr/blog/2010-07-31-New-style-after-holidays/</id>
|
||||
|
@ -1156,4 +1087,42 @@ ext=File.extname(str)
|
|||
|
||||
<p>A première vue, je pensais que l&#8217;expression régulière serait plus rapide que le <code>split</code> parce qu&#8217;il pouvait y avoir plusieurs de <code>.</code> dans un nom de fichie...</p></content>
|
||||
</entry>
|
||||
<entry>
|
||||
<id>tag:yannesposito.com,2010-02-18:/Scratch/fr/blog/2010-02-18-split-a-file-by-keyword/</id>
|
||||
<title type="html">découper un fichier par mots clés</title>
|
||||
<published>2010-02-18T13:29:14Z</published>
|
||||
<updated>2010-02-18T13:29:14Z</updated>
|
||||
<author>
|
||||
<name>Yann Esposito</name>
|
||||
<uri>yannesposito.com</uri>
|
||||
</author>
|
||||
<link rel="alternate" href="http://yannesposito.com/Scratch/fr/blog/2010-02-18-split-a-file-by-keyword/"/>
|
||||
<content type="html"><p>Assez bizarrement, je n&#8217;ai trouvé aucun outil UNIX pour découper un fichier par mot clé.
|
||||
Alors j&#8217;en ai fait un en <code>awk</code>. Je le met ici principalement pour moi, mais ça peut toujours servir à quelqu&#8217;un d&#8217;autre.
|
||||
Le code suivant découpe un fichier pour chacune de ses ligne contenant le mot <code>UTC</code>.</p>
|
||||
|
||||
<div>
|
||||
|
||||
<pre><code class="perl">#!/usr/bin/env awk
|
||||
BEGIN{i=0;}
|
||||
/UTC/ {
|
||||
i+=1;
|
||||
FIC=sprintf("fic.%03d",i);
|
||||
}
|
||||
{print $0&gt;&gt;FIC}
|
||||
</code></pre>
|
||||
|
||||
</div>
|
||||
|
||||
<p>En réalité, j&#8217;avais besoin de cet outils pour avoir un fichier par jour. Chaque ligne contenant UTC ayant le format suivant&nbsp;:</p>
|
||||
|
||||
<pre class="twilight">
|
||||
Mon Dec 7 10:32:30 UTC 2009
|
||||
</pre>
|
||||
|
||||
<p>J&#8217;en suis finallement arrivé au code suivant&nbsp;:</p>
|
||||
|
||||
<div>
|
||||
...</div></content>
|
||||
</entry>
|
||||
</feed>
|
||||
|
|
File diff suppressed because it is too large
Load diff
|
@ -21,7 +21,7 @@
|
|||
</head>
|
||||
<body lang="en">
|
||||
<script type="text/javascript">// <![CDATA[
|
||||
document.write('<div id="blackpage"><div>Hi! Start reading while a better style is loading...<img src="/Scratch/img/loading.gif" alt="loading..."/></div></div>');
|
||||
document.write('<div id="blackpage"><div>Loading...<img src="/Scratch/img/loading.gif" alt="loading..."/></div></div>');
|
||||
// ]]>
|
||||
</script>
|
||||
|
||||
|
@ -107,7 +107,7 @@
|
|||
<a rel="license" href="http://creativecommons.org/licenses/by-sa/3.0/">Copyright ©, Yann Esposito</a>
|
||||
</div>
|
||||
<div id="lastmod">
|
||||
Modified: 01/02/2013
|
||||
Modified: 01/04/2013
|
||||
</div>
|
||||
<div>
|
||||
Entirely done with
|
||||
|
|
Loading…
Reference in a new issue