yogsototh/deft
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

inbox.org

Browse source
This commit is contained in:
Yann Esposito (Yogsototh) 2020-09-08 11:20:07 +02:00
parent c2edb33de4
commit 9e4e157795
Signed by untrusted user who does not match committer: yogsototh
GPG key ID: 7B19A4C650D59646
1 changed files with 26 additions and 38 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

64
inbox.org
View file

@ -12,12 +12,13 @@ SPC o v c => DISPLAY org columns
** Dentiste
** Habits :habit:
*** TODO journal matin :daily:
SCHEDULED: <2020-09-08 Tue 09:00 .+1d>
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2020-09-07 Mon 15:25]
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
- State "DONE" from "TODO" [2020-09-07 Mon 15:25]
- State "DONE" from "TODO" [2020-09-04 Fri 10:18]
- State "DONE" from "TODO" [2020-09-01 Tue 10:06]
@ -233,12 +234,13 @@ SCHEDULED: <2020-08-26 Wed 22:00 .+1d>
- State "DONE" from "TODO" [2020-05-12 Tue 09:37]
:END:
*** TODO org-fc-review =SPC y f r= :daily:
SCHEDULED: <2020-09-08 Tue 09:00 .+1d>
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2020-09-07 Mon 12:14]
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
- State "DONE" from "TODO" [2020-09-07 Mon 12:14]
- State "DONE" from "TODO" [2020-09-04 Fri 10:20]
- State "DONE" from "TODO" [2020-09-03 Thu 14:31]
@ -569,12 +571,13 @@ DEADLINE: <2020-12-10 Thu>
[2020-05-23 Sat 10:28]
** Daily :daily:
*** TODO lit + aerer
SCHEDULED: <2020-09-08 Tue 09:00 .+1d>
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2020-09-07 Mon 12:14]
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
- State "DONE" from "TODO" [2020-09-07 Mon 12:14]
- State "DONE" from "TODO" [2020-09-05 Sat 10:09]
- State "HANDLED" from "TODO" [2020-09-04 Fri 10:20] \\
@ -648,12 +651,13 @@ SCHEDULED: <2020-09-08 Tue 09:00 .+1d>
:END:
[2020-05-23 Sat 10:08]
*** TODO Sortir Oslo matin
SCHEDULED: <2020-09-08 Tue 09:00 .+1d>
SCHEDULED: <2020-09-09 Wed 09:00 .+1d>
:PROPERTIES:
:STYLE: habit
:LAST_REPEAT: [2020-09-07 Mon 12:14]
:LAST_REPEAT: [2020-09-08 Tue 11:19]
:END:
:LOGBOOK:
- State "DONE" from "TODO" [2020-09-08 Tue 11:19]
- State "DONE" from "TODO" [2020-09-07 Mon 12:14]
- State "HANDLED" from "TODO" [2020-09-05 Sat 10:09] \\
K
@ -1276,8 +1280,11 @@ DEADLINE: <2020-09-07 Mon>
CLOCK: [2020-09-07 Mon 14:05]--[2020-09-07 Mon 14:13] => 0:08
:END:
[2020-09-07 Mon 12:17]
** TODO facture opération dents de sagesses Anna
** DONE facture opération dents de sagesses Anna
DEADLINE: <2020-09-07 Mon>
:LOGBOOK:
CLOCK: [2020-09-07 Mon 15:49]--[2020-09-07 Mon 16:24] => 0:35
:END:
[2020-09-07 Mon 15:37]
* Work :work:
** DONE Request Facebook discussion
@ -1357,29 +1364,13 @@ CLOCK: [2020-09-02 Wed 15:00]--[2020-09-02 Wed 15:32] => 0:32
:CUSTOM_ID: a-list-of-foundational-haskell-papers
:END:
- source :: https://github.com/cohomolo-gy/haskell-resources/blob/master/README.md
*** A Quick Note about Licensing
:PROPERTIES:
:CUSTOM_ID: a-quick-note-about-licensing
:END:
This repo is a collection of /links/ to various papers, and as such, may
go out of date intermittently as resources shuffle around the web. It
would be greatly appreciated if people raise issues when these pdf's
have dead links, as it helps us all maintain the most up to date set of
resources. Additionally, you may find that the "set of links" approach
is tedious. This is done to avoid any sort of licensing concerns. If
anyone has a better idea of the implications (especially licensing) of
hosting the actual papers, the end goal would ideally be to serve as a
kind of library. Feel free to find me to discuss.
Thanks, Emily.
**** History [0/1]
*** History [0/1]
:PROPERTIES:
:CUSTOM_ID: history
:END:
- [ ] [[https://www.iro.umontreal.ca/~monnier/2035/history.pdf][A History of Haskell: being lazy with class]]
**** The Beginning: The Eugenio Moggi Papers [0/4]
*** The Beginning: The Eugenio Moggi Papers [0/4]
:PROPERTIES:
:CUSTOM_ID: the-beginning-the-eugenio-moggi-papers
:END:
@ -1388,13 +1379,13 @@ Thanks, Emily.
- [ ] [[https://www.disi.unige.it/person/MoggiE/ftp/lics89.pdf][Computational Lambda Calculus and Monads]]
- [ ] [[http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf][Monads for functional programming]]
- [ ] [[https://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.41.9361&rep=rep1&type=pdf][The essence of functional programming]]
**** Propositions as Types [0/1]
*** Propositions as Types [0/1]
:PROPERTIES:
:CUSTOM_ID: propositions-as-types
:END:
- [ ] [[https://pdfs.semanticscholar.org/1dc4/2af9a52032fcee178865a6be7ac2f46c9ff4.pdf][Propositions as Types]]
**** Haskell Semantics and Design Spaces [0/13]
*** Haskell Semantics and Design Spaces [0/13]
:PROPERTIES:
:CUSTOM_ID: haskell-semantics-and-design-spaces
:END:
@ -1412,7 +1403,7 @@ Thanks, Emily.
- [ ] [[https://ecommons.cornell.edu/bitstream/handle/1813/5614/TR2003-1901.pdf?sequence=1][GADTs]] - [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/first_class_modules.pdf][First Class Modules in Haskell]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/02/p53-yorgey.pdf][Kind Promotion]]
- [ ] [[https://personal.cis.strath.ac.uk/conor.mcbride/Kleisli.pdf][Kleisli Arrows of Outrageous Fortune]]
**** Under the Hood (Where the sausage is made) [0/7]
*** Under the Hood (Where the sausage is made) [0/7]
:PROPERTIES:
:CUSTOM_ID: under-the-hood-where-the-sausage-is-made
:END:
@ -1424,7 +1415,7 @@ Thanks, Emily.
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/state-lasc.pdf][General State]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/1992/04/spineless-tagless-gmachine.pdf][The Spineless Tagless G-machine]]
- [ ] [[http://fun.cs.tufts.edu/stream-fusion.pdf][Stream Fusion. From Lists to Streams to Nothing at All]]
**** Type Systems and Lambda Calculi [0/7]
*** Type Systems and Lambda Calculi [0/7]
:PROPERTIES:
:CUSTOM_ID: type-systems-and-lambda-calculi
:END:
@ -1436,7 +1427,7 @@ Thanks, Emily.
- [ ] [[http://soft.vub.ac.be/~cfscholl/Capita-Selecta-2015/papers/2002%20Heeren.pdf][Generalized Hindley-Milner Systems]]
- [ ] [[https://www.microsoft.com/en-us/research/wp-content/uploads/2007/01/tldi22-sulzmann-with-appendix.pdf?from=https%3A%2F%2Fresearch.microsoft.com%2Fen-us%2Fum%2Fpeople%2Fsimonpj%2Fpapers%2Fext-f%2Ftldi22-sulzmann-with-appendix.pdf][System F with type equality coercion]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2013/fckinds/fckinds-extended.pdf][System FC with Kind Equality]]
**** Misc Parametricity [0/5]
*** Misc Parametricity [0/5]
:PROPERTIES:
:CUSTOM_ID: misc-parametricity
:END:
@ -1446,7 +1437,7 @@ Thanks, Emily.
- [ ] [[http://www.cse.chalmers.se/edu/year/2010/course/DAT140_Types/Reynolds_typesabpara.pdf][Parametric Polymorphism]]
- [ ] [[http://strictlypositive.org/diff.pdf][Type Derivatives and Typed Holes]]
- [ ] [[https://mpg.is/papers/gissurarson2018suggesting.pdf][Suggesting Valid Hole Fits]]
**** Misc TypeChecking + PLT [0/10]
*** Misc TypeChecking + PLT [0/10]
:PROPERTIES:
:CUSTOM_ID: misc-typechecking-plt
:END:
@ -1461,7 +1452,7 @@ Thanks, Emily.
- [ ] [[https://www.cs.ox.ac.uk/richard.bird/online/BirdPaterson99DeBruijn.pdf][De Bruijn Indices]]
- [ ] [[https://cs.brynmawr.edu/~rae/papers/2018/stitch/stitch.pdf][The Stitch Type Checker]]
- [ ] [[https://repository.upenn.edu/cgi/viewcontent.cgi?article=1031&context=cis_reports][Boxes go Bananas]]
**** Functional pearls [0/7]
*** Functional pearls [0/7]
:PROPERTIES:
:CUSTOM_ID: functional-pearls
:END:
@ -1473,7 +1464,7 @@ Thanks, Emily.
- [ ] [[https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf][Trees that grow]]
- [ ] [[http://www.cs.ru.nl/~james/RESEARCH/haskell2004.pdf][I am not a Number, I am a Free Variable!]]
- [ ] [[https://www.fceia.unr.edu.ar/~mauro/pubs/Notions_of_Computation_as_Monoids_ext.pdf][Notions of Computation as Monoids - Exequiel Rivas, Mauro Jaskelioff]]
**** Algebra of programming [0/6]
*** Algebra of programming [0/6]
:PROPERTIES:
:CUSTOM_ID: algebra-of-programming
:END:
@ -1665,6 +1656,3 @@ CLOCK: [2020-09-01 Tue 12:13]--[2020-09-01 Tue 12:13] => 0:00
:END:
[2020-09-01 Tue 12:13]
~SPC m d T~
* TODO facture opération dents de sagesses Anna
DEADLINE: <2020-09-07 Mon>
[2020-09-07 Mon 15:37]