diff --git a/css/highlighting.css b/css/highlighting.css new file mode 100644 index 0000000..cee8875 --- /dev/null +++ b/css/highlighting.css @@ -0,0 +1,61 @@ +a.sourceLine { display: inline-block; line-height: 1.25; } +a.sourceLine { pointer-events: none; color: inherit; text-decoration: inherit; } +a.sourceLine:empty { height: 1.2em; } +.sourceCode { overflow: visible; } +code.sourceCode { white-space: pre; position: relative; } +div.sourceCode { margin: 1em 0; } +pre.sourceCode { margin: 0; } +@media screen { +div.sourceCode { overflow: auto; } +} +@media print { +code.sourceCode { white-space: pre-wrap; } +a.sourceLine { text-indent: -1em; padding-left: 1em; } +} +pre.numberSource a.sourceLine + { position: relative; left: -4em; } +pre.numberSource a.sourceLine::before + { content: attr(title); + position: relative; left: -1em; text-align: right; vertical-align: baseline; + border: none; pointer-events: all; display: inline-block; + -webkit-touch-callout: none; -webkit-user-select: none; + -khtml-user-select: none; -moz-user-select: none; + -ms-user-select: none; user-select: none; + padding: 0 4px; width: 4em; + color: #aaaaaa; + } +pre.numberSource { margin-left: 3em; border-left: 1px solid #aaaaaa; padding-left: 4px; } +div.sourceCode + { } +@media screen { +a.sourceLine::before { text-decoration: underline; } +} +code span.al { color: #ff0000; font-weight: bold; } /* Alert */ +code span.an { color: #60a0b0; font-weight: bold; font-style: italic; } /* Annotation */ +code span.at { color: #7d9029; } /* Attribute */ +code span.bn { color: #40a070; } /* BaseN */ +code span.bu { } /* BuiltIn */ +code span.cf { color: #007020; font-weight: bold; } /* ControlFlow */ +code span.ch { color: #4070a0; } /* Char */ +code span.cn { color: #880000; } /* Constant */ +code span.co { color: #60a0b0; font-style: italic; } /* Comment */ +code span.cv { color: #60a0b0; font-weight: bold; font-style: italic; } /* CommentVar */ +code span.do { color: #ba2121; font-style: italic; } /* Documentation */ +code span.dt { color: #902000; } /* DataType */ +code span.dv { color: #40a070; } /* DecVal */ +code span.er { color: #ff0000; font-weight: bold; } /* Error */ +code span.ex { } /* Extension */ +code span.fl { color: #40a070; } /* Float */ +code span.fu { color: #06287e; } /* Function */ +code span.im { } /* Import */ +code span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Information */ +code span.kw { color: #007020; font-weight: bold; } /* Keyword */ +code span.op { color: #666666; } /* Operator */ +code span.ot { color: #007020; } /* Other */ +code span.pp { color: #bc7a00; } /* Preprocessor */ +code span.sc { color: #4070a0; } /* SpecialChar */ +code span.ss { color: #bb6688; } /* SpecialString */ +code span.st { color: #4070a0; } /* String */ +code span.va { color: #19177c; } /* Variable */ +code span.vs { color: #4070a0; } /* VerbatimString */ +code span.wa { color: #60a0b0; font-weight: bold; font-style: italic; } /* Warning */ diff --git a/index.html b/index.html index ad714f4..e22567e 100644 --- a/index.html +++ b/index.html @@ -2,8 +2,7 @@ title: Home --- -

WIP, posts are the default of hakyll while i not post anything

-

Welcome to my capsule. I will write here programming posts and maybe some other stuff

+

Welcome to my website. I will write here programming posts and other stuff I want

Recent posts

$partial("templates/post-list.html")$ diff --git a/posts/2015-08-12-spqr.markdown b/posts/2015-08-12-spqr.markdown deleted file mode 100644 index 3704aa5..0000000 --- a/posts/2015-08-12-spqr.markdown +++ /dev/null @@ -1,59 +0,0 @@ ---- -title: S.P.Q.R. ---- - -Mauris in lorem nisl. Maecenas tempus facilisis ante, eget viverra nisl -tincidunt et. Donec turpis lectus, mattis ac malesuada a, accumsan eu libero. -Morbi condimentum, tortor et tincidunt ullamcorper, sem quam pretium nulla, id -convallis lectus libero nec turpis. Proin dapibus nisi id est sodales nec -ultrices tortor pellentesque. Vivamus vel nisi ac lacus sollicitudin vulputate -ac ut ligula. Nullam feugiat risus eget eros gravida in molestie sapien euismod. -Nunc sed hendrerit orci. Nulla mollis consequat lorem ac blandit. Ut et turpis -mauris. Nulla est odio, posuere id ullamcorper sit amet, tincidunt vel justo. -Curabitur placerat tincidunt varius. Nulla vulputate, ipsum eu consectetur -mollis, dui nibh aliquam neque, at ultricies leo ligula et arcu. Proin et mi -eget tellus sodales lobortis. Sed tempor, urna vel pulvinar faucibus, lectus -urna vehicula ante, at facilisis dolor odio at lorem. Morbi vehicula euismod -urna, et imperdiet urna ornare vitae. - -Sed tincidunt sollicitudin ultrices. In hac habitasse platea dictumst. Morbi -ligula lectus, egestas at ultricies nec, fringilla et tellus. Duis urna lorem, -bibendum a ornare sed, euismod sed nunc. Aliquam tempor massa at velit fringilla -fringilla. Praesent sit amet tempor felis. Maecenas id felis ac velit aliquam -tempor a sit amet orci. Nunc placerat nulla pellentesque sem commodo cursus. -Praesent quis sapien orci, quis ultricies augue. Nam vestibulum sem non augue -semper tincidunt pellentesque ipsum volutpat. Duis congue, nunc a aliquam -luctus, quam ante convallis nisi, ac pellentesque lacus orci vel turpis. Cum -sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus -mus. Suspendisse hendrerit nisl eu felis sagittis faucibus. Nunc eu congue -lorem. Quisque non nibh nisi, et ultrices massa. Sed vitae erat vitae nulla -pellentesque fermentum. - -Ut diam nunc, consectetur ut ultrices eu, iaculis sed felis. Sed lacinia, odio -et accumsan luctus, arcu ipsum accumsan erat, sit amet malesuada libero lacus et -velit. Donec accumsan tristique tristique. Proin a metus magna, vitae mattis -nisl. Integer a libero ipsum. Mauris faucibus eleifend metus id sodales. Morbi -ornare, nibh nec facilisis imperdiet, turpis sem commodo lorem, id commodo -mauris metus vitae justo. Etiam at pellentesque tortor. Proin mollis accumsan -ligula, nec tempus augue auctor quis. Nulla lacinia, mi quis lobortis auctor, -nisi diam posuere dui, pulvinar feugiat dui libero eget quam. Fusce eu risus -nunc, a consectetur orci. Class aptent taciti sociosqu ad litora torquent per -conubia nostra, per inceptos himenaeos. Maecenas venenatis aliquet orci, a -ultricies sem facilisis eu. Donec dolor purus, porta condimentum convallis nec, -dignissim nec libero. - -Etiam rutrum ultricies dui, et interdum metus elementum et. Nulla sapien nunc, -interdum tristique porttitor in, laoreet vitae mi. Ut vehicula auctor mauris sit -amet bibendum. Phasellus adipiscing mattis libero, eget adipiscing erat -dignissim at. Vivamus convallis malesuada metus nec cursus. Ut cursus, lorem -eleifend sollicitudin condimentum, felis tortor sodales augue, ac tempus lacus -ipsum vitae quam. Vestibulum vitae lacus non tortor vehicula iaculis faucibus -quis massa. - -Cum sociis natoque penatibus et magnis dis parturient montes, nascetur ridiculus -mus. Duis malesuada neque nec ante porttitor accumsan. Suspendisse potenti. -Aliquam in lacus magna, imperdiet laoreet lectus. Praesent id diam nec ante -commodo rhoncus nec vel augue. Pellentesque tortor massa, dignissim ut sagittis -sed, hendrerit vitae nunc. Nam gravida, urna vitae hendrerit rutrum, felis augue -vulputate tortor, ut varius velit libero nec lectus. In adipiscing massa in est -scelerisque ullamcorper. Vivamus in nisi metus. diff --git a/posts/2015-10-07-rosa-rosa-rosam.markdown b/posts/2015-10-07-rosa-rosa-rosam.markdown deleted file mode 100644 index bbda8fd..0000000 --- a/posts/2015-10-07-rosa-rosa-rosam.markdown +++ /dev/null @@ -1,46 +0,0 @@ ---- -title: Rosa Rosa Rosam -author: Ovidius ---- - -Suspendisse pharetra ullamcorper sem et auctor. Suspendisse vitae tellus eu -turpis dignissim gravida ut ut tortor. Cum sociis natoque penatibus et magnis -dis parturient montes, nascetur ridiculus mus. Morbi aliquam sapien quis nisl -sodales non aliquet nisl iaculis. Curabitur fermentum orci vel sapien -pellentesque id condimentum metus vehicula. Curabitur turpis purus, scelerisque -at interdum quis, placerat sit amet tortor. Aliquam erat volutpat. - -Integer posuere felis non arcu suscipit ullamcorper. Nam tempus risus venenatis -orci sagittis eu aliquam ante tincidunt. Aenean vehicula ipsum id sapien -tincidunt commodo. Aliquam erat volutpat. Curabitur vehicula libero ac turpis -cursus consectetur. Praesent posuere egestas purus et dapibus. Mauris egestas, -lectus vitae scelerisque ultricies, metus lorem tempor nisi, sed vehicula tortor -mauris nec urna. Quisque urna tellus, facilisis at mollis eget, adipiscing in -nisl. Proin quam arcu, euismod et imperdiet sed, ultricies sed orci. - -Nulla malesuada sem eget lectus scelerisque nec rhoncus metus interdum. In dui -felis, rhoncus id scelerisque eget, vulputate id sem. Nulla facilisi. Vestibulum -eleifend, metus dignissim lacinia ornare, magna nulla vehicula nisi, sed -molestie mauris ipsum vel turpis. Class aptent taciti sociosqu ad litora -torquent per conubia nostra, per inceptos himenaeos. Nulla urna leo, vehicula -eget dignissim a, hendrerit ut risus. Fusce ultricies elementum placerat. Nam at -dolor sed nisi mollis sollicitudin vitae at urna. Vestibulum iaculis adipiscing -eros et mollis. - -Phasellus ultricies elit eu risus sagittis eu dictum ante ultrices. Nulla -congue, augue ac placerat tempor, orci mi luctus nisi, at varius ipsum sem sed -eros. Vivamus eget velit eget felis posuere ornare. In sed metus non est iaculis -facilisis dapibus sit amet enim. Aliquam viverra tortor eget neque volutpat in -auctor urna rutrum. Aliquam ligula augue, congue sit amet rutrum in, semper vel -nulla. Sed tempus porttitor faucibus. Donec cursus sodales nulla, quis lacinia -mi vehicula vel. Sed nec purus orci. Nam leo sapien, rutrum a ultrices quis, -placerat vel ligula. Donec massa quam, pellentesque et molestie nec, hendrerit -id mauris. In hac habitasse platea dictumst. Cras quis quam sem. Curabitur in -arcu diam, in interdum mauris. - -Proin lorem sapien, iaculis et faucibus nec, dictum sed nunc. Pellentesque in -purus justo. Vestibulum facilisis rutrum nisi, a egestas nunc suscipit sed. Ut -quis tortor a arcu bibendum placerat non sed ante. Praesent orci sem, posuere -sit amet cursus molestie, volutpat ut purus. Curabitur aliquam, purus in -pharetra viverra, lorem leo aliquam tellus, vel consequat felis neque et mauris. -Aliquam erat volutpat. diff --git a/posts/2015-11-28-carpe-diem.markdown b/posts/2015-11-28-carpe-diem.markdown deleted file mode 100644 index bd115da..0000000 --- a/posts/2015-11-28-carpe-diem.markdown +++ /dev/null @@ -1,50 +0,0 @@ ---- -title: Carpe Diem ---- - -Fusce tortor quam, egestas in posuere quis, porttitor vel turpis. Donec -vulputate porttitor augue at rhoncus. Proin iaculis consectetur sagittis. -Curabitur venenatis turpis sit amet purus tristique nec posuere risus laoreet. -Nullam nisi sem, dapibus id semper id, egestas vel arcu. Morbi porttitor ipsum -placerat erat consequat sed consequat purus feugiat. Donec auctor elit ut risus -mattis facilisis. Lorem ipsum dolor sit amet, consectetur adipiscing elit. - -Proin vulputate sapien facilisis leo ornare pulvinar. Fusce tempus massa a risus -semper iaculis. Suspendisse sollicitudin posuere nunc, sit amet rutrum leo -facilisis mattis. Sed ornare auctor dui, vitae rutrum neque auctor sit amet. -Proin ac dui magna. Mauris vehicula interdum augue, nec ultrices libero egestas -quis. Nunc convallis euismod ipsum, id sollicitudin orci consequat ac. Fusce -bibendum congue libero, in rutrum nulla congue non. Cras sit amet risus tortor, -eu pellentesque dui. Phasellus euismod enim non nibh sodales quis consectetur -lorem laoreet. Vivamus a egestas quam. Curabitur in tortor augue, vitae varius -tellus. Integer varius, elit ac gravida suscipit, eros erat pellentesque nisi, -et tristique augue odio id nulla. Aliquam sit amet nunc vel tellus hendrerit -tempus ac vel sem. - -Aenean tincidunt sollicitudin sapien ut porttitor. Curabitur molestie adipiscing -lorem vel scelerisque. Donec vitae interdum est. Proin rutrum vulputate -faucibus. Suspendisse sit amet felis odio, non volutpat ante. Sed eu lectus -quam. Curabitur tristique rhoncus est, vel commodo tortor suscipit semper. -Maecenas feugiat vestibulum nisi id facilisis. Nulla non tincidunt libero. -Praesent ultrices interdum commodo. Sed euismod nisl auctor leo ultrices rutrum. -Aliquam nibh felis, congue molestie blandit at, bibendum at eros. Aenean -tincidunt, tortor iaculis placerat sollicitudin, lorem justo tempor diam, et -posuere sapien leo et magna. Quisque vel aliquam mauris. - -Proin varius tempus fermentum. Cum sociis natoque penatibus et magnis dis -parturient montes, nascetur ridiculus mus. Sed tincidunt nunc id magna -adipiscing non sollicitudin turpis tempor. Etiam vel elit ipsum, quis euismod -velit. Quisque elementum magna vitae quam venenatis lacinia. Sed at arcu ipsum. -Class aptent taciti sociosqu ad litora torquent per conubia nostra, per inceptos -himenaeos. Donec ut lorem ac sapien cursus lacinia sit amet mollis dolor. -Vivamus tempus odio nec magna faucibus sed hendrerit lorem tempor. - -Vestibulum eu nisi arcu. Curabitur nisi risus, fermentum ut lacinia ut, interdum -nec magna. Nunc aliquet gravida massa, eu aliquam lorem faucibus at. Sed -sollicitudin volutpat velit id tempor. In nibh justo, pharetra et pretium -dignissim, tempus in turpis. Phasellus eget lobortis nisl. Phasellus sed -fermentum diam. Nam tempus pharetra odio, quis congue eros imperdiet eu. Aliquam -dui eros, hendrerit et vulputate vel, porta eu eros. Nullam nisi dui, commodo -eget pharetra ut, ornare sit amet nunc. Fusce vel neque urna. Maecenas nulla -ante, egestas at consequat quis, fermentum a enim. Aliquam id tristique urna. -Integer augue justo, scelerisque et consectetur id, rhoncus eget enim. diff --git a/posts/2015-12-07-tu-quoque.markdown b/posts/2015-12-07-tu-quoque.markdown deleted file mode 100644 index bdf2ea4..0000000 --- a/posts/2015-12-07-tu-quoque.markdown +++ /dev/null @@ -1,58 +0,0 @@ ---- -title: Tu Quoque -author: Julius ---- - -Vestibulum leo turpis, dignissim quis ultrices sit amet, iaculis ac ligula. -Pellentesque tristique, velit eget scelerisque scelerisque, est dolor ultrices -arcu, quis ullamcorper justo arcu luctus mauris. Integer congue molestie nisi id -posuere. Fusce pellentesque gravida tempus. Integer viverra tortor nec eros -mollis quis convallis sem laoreet. Nulla id libero ac erat varius laoreet. Proin -sed est est. Curabitur lacinia fermentum lorem, elementum malesuada ipsum -malesuada ut. Donec suscipit elit id leo vehicula mattis non sed leo. Morbi -varius eleifend varius. Nulla vestibulum, neque vitae aliquam eleifend, nisi -tellus placerat nunc, quis suscipit elit turpis eu tortor. Etiam euismod -convallis lectus quis venenatis. Phasellus laoreet magna in nibh cursus eu -egestas nulla convallis. Aliquam vel ullamcorper risus. Fusce dictum, massa id -consequat viverra, nulla ante tristique est, a faucibus nisi enim nec dui. Donec -metus ligula, condimentum at porttitor eget, lobortis at quam. - -Aenean vel libero in magna ultricies congue in a odio. Donec faucibus rutrum -ornare. Fusce dictum eleifend fermentum. Vestibulum vel nibh a metus porttitor -rhoncus. Pellentesque id quam neque, eget molestie arcu. Integer in elit vel -neque viverra ultricies in eget massa. Nam ut convallis est. Pellentesque eros -eros, sodales non vehicula et, tincidunt ut odio. Cras suscipit ultrices metus -sit amet molestie. Fusce enim leo, vehicula sed sodales quis, adipiscing at -ipsum. - -Nunc tempor dignissim enim, sed tincidunt eros bibendum quis. Curabitur et dolor -augue, id laoreet mi. Nulla cursus felis id dui vehicula vitae ornare lorem -blandit. Cras eget dui nec odio volutpat pharetra. Fusce hendrerit justo justo, -vel imperdiet enim. Vivamus elit risus, interdum ultrices accumsan eleifend, -vestibulum vitae sapien. Integer bibendum ullamcorper tristique. Nulla quis odio -lectus, quis eleifend augue. Integer a ligula mauris. Aenean et tempus tortor. -Quisque at tortor mi. Vivamus accumsan feugiat est a blandit. Sed vitae enim ut -dolor semper sodales. Duis tristique, ante et placerat elementum, nulla tellus -pellentesque sapien, quis posuere velit mi eget nulla. Sed vestibulum nunc non -est porttitor ut rutrum nibh semper. Pellentesque habitant morbi tristique -senectus et netus et malesuada fames ac turpis egestas. - -Nulla adipiscing ultricies lobortis. Vivamus iaculis nisl vitae tellus laoreet -vitae aliquet lacus mollis. Phasellus ut lacus urna, sed sagittis ante. Etiam -consectetur pretium nisl sed dignissim. Pellentesque convallis, nisl eget -commodo mollis, sem magna consequat arcu, sed pretium ipsum arcu sit amet neque. -Aliquam erat volutpat. Morbi sed mi sed urna vestibulum placerat vitae vel -metus. Fusce ac ante at justo pharetra vehicula. Vivamus vel tortor eget augue -aliquet aliquet at vel odio. Nunc venenatis, magna quis facilisis fringilla, -augue tellus varius neque, in vulputate est eros ut tortor. Duis lorem neque, -aliquam congue posuere id, condimentum non dui. Phasellus ut dui massa, -porttitor suscipit augue. Praesent quis tellus quam, vel volutpat metus. Vivamus -enim est, aliquam in imperdiet et, sagittis eu ligula. Vestibulum hendrerit -placerat orci et aliquet. Cras pharetra, dolor placerat lobortis tempor, metus -odio cursus ligula, et posuere lacus ligula quis dui. - -Donec a lectus eu nibh malesuada aliquam. Proin at metus quam, et tincidunt leo. -Quisque lacus justo, scelerisque sodales pulvinar sed, dignissim ut sapien. -Vivamus diam felis, adipiscing sollicitudin ultricies id, accumsan ac felis. In -eu posuere ligula. Suspendisse potenti. Donec porttitor dictum dui id vehicula. -Integer ante velit, congue id dictum et, adipiscing a tortor. diff --git a/posts/2021-02-28-my-first-post-and-introduction.markdown b/posts/2021-02-28-my-first-post-and-introduction.markdown new file mode 100644 index 0000000..bfa2362 --- /dev/null +++ b/posts/2021-02-28-my-first-post-and-introduction.markdown @@ -0,0 +1,77 @@ +--- +title: My first post and introduction +author: Suguivy +--- + +I will start my first post talking **my adventures in the computing world** +and **what I will post here**. + +## My adventures + +I have been always interested in computers and computer science, and that +field is one of my main motivations in my life. + +### How I started + +I started to programming at 18 years old, when I could have my first decent +computer, and started to make small videogames with *Lua*. + +One year after I have started to open more in this world, programming in +*C* and *C++* and programming other type of things. + +Later I read more than a half of the [SICP](https://mitpress.mit.edu/sites/default/files/sicp/index.html) book. Is a fantastic book with +which I learned a lot of fantastic stuff like: + +- Functional programming. +- *Scheme*, a lisp dialect and a beautiful language. +- Recursivity and iterativity. + +### Moving towards Haskell and functional programming + +Months after that, I became interested in *Haskell*. It impressed me +because is a language with a beautiful syntax and very expressive. Here +an example of the [quicksort](https://en.wikipedia.org/wiki/Quicksort) algorithm: + +``` haskell +quicksort :: Ord a => [a] -> [a] +quicksort [] = [] +quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) + where + lesser = filter (< p) xs + greater = filter (>= p) xs +``` + +I started to learn it slowly, and nowadays I'm still learning some things, +and using it for my projects. + +### Meeting Rust and Python + +While I was learning Haskell, two languages caught my attention: *Rust* and +*Python*. + +*Rust* is a systems programming language (like *C* and *C++*), but with lots +of nice things, and it has not the flaws that the other two have. + +It called my attention because it has many things in common with Haskell, +like the `match` statement and the `enum`s, that are very similar to +*Haskell*'s `data`. + +I started to learn it but I got bored. In that days was having a difficult time, +I had little motivation, but *Python* caught my attention because it is a +language in which you can program quickly a lot of things. And, to be honest, +it is a really easy language to learn. + +Nowadays I returned to *Haskell* and I can program in it with enough ease. + +## What I will post + +I will post any thing that goes through my head, manly programming posts, and +many of them using my loved one *Haskell*. + +I also thought about doing *chapters* or *series* of posts about things like +**Implementing a Lisp**, or **Tasting Haskell and functional programming +for newbies**. + +Also I think I won't post too often, because making a post takes time, and I'm +not a fan of writing, and also I'm involved in some projects and in my college +degree. diff --git a/posts/2021-02-28-my-first-post-and-introduction.markdown.wip b/posts/2021-02-28-my-first-post-and-introduction.markdown.wip deleted file mode 100644 index d844e81..0000000 --- a/posts/2021-02-28-my-first-post-and-introduction.markdown.wip +++ /dev/null @@ -1,50 +0,0 @@ ---- -title: My first post and introduction -author: Suguivy ---- - -Hello internet! - -I will start my first post talking **my adventures in the computing world** -and **what I will post here**. - -## My adventures - -I have been always interested in computers and computer science, and that -field is one of my main motivations in my life. - -### How I started - -I started to programming at 18 years old, when I could have my first decent -computer, and started to make small videogames with *Lua*. - -One year after I have started to open more in this world, programming in -*C* and *C++* and programming other type of things. - -Later I read more than a half of the [SICP]() book. Is a fantastic book with -which I learned a lot of fantastic stuff: - -- Functional programming. -- *Scheme*, a lisp dialect and a beautiful language. -- Recursivity in depth. -- ... - -### Moving towards Haskell and functional programming - -Months after that, I became interested in *Haskell*. It impressed me -because is a language with a beautiful syntax and ver expressive. Here -an example of the [quicksort]() algorithm: - -```haskell -quicksort :: Ord a => [a] -> [a] -quicksort [] = [] -quicksort (p:xs) = (quicksort lesser) ++ [p] ++ (quicksort greater) - where - lesser = filter (< p) xs - greater = filter (>= p) xs -``` - -I started to learn it slowly, and nowadays I'm still learning some things. - -### Meeting Rust and Python -WIP diff --git a/templates/default.html b/templates/default.html index 7b1fe18..925fdd6 100644 --- a/templates/default.html +++ b/templates/default.html @@ -6,6 +6,7 @@ nei.su - $title$ +