Author Topic: adarq's reading & coding tracker - for real this time  (Read 7477 times)

0 Members and 1 Guest are viewing this topic.

adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
adarq's reading & coding tracker - for real this time
« on: June 16, 2014, 09:10:35 pm »
0
It's imperative that I stay consistent with this.

Writing this in a tiny/simple format so that I can parse it later.

format:
YY/MM/DD: Subject ::: More ::: <tags1,...tagsN>

or
YY/MM/DD:
Subject 1 ::: More 1 ::: <tags,...tagsN>
Subject 2 ::: More 2 ::: <tags,...tagsN>


READING
2014/06/15: seL4 - Formal verification of an OS kernel ::: http://www.sigops.org/sosp/sosp09/papers/klein-sosp09.pdf ::: formal verification, haskell, microkernel
2014/06/16: Beautiful Concurrency ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/beautiful.pdf ::: STM, haskell, locks
2014/06/17:
Transactional Memory and Concurrency ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/STM-OSCON.pdf ::: STM, haskell, locks, concurrency
Haskell and Transactional Memory ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/stm/STMTokyoApr10.pdf ::: STM, haskell, locks, concurrency
Classes Jim, But not as we know them ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-retrospective/ECOOP-July09.pdf ::: haskell, type classes, oop
A Taste of Haskell ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-tutorial/TasteOfHaskell.pdf ::: haskell, tutorial
Towards haskell in the cloud ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/remote.pdf ::: haskell, cloud, distributed computing, mpi, erlang
2014/06/18:
Template Haskell Tutorial ::: http://www.slideshare.net/kizzx2/template-haskell-tutorial ::: slideshare, template haskell
Five things that make go fast ::: http://dave.cheney.net/2014/06/07/five-things-that-make-go-fast ::: go, speed
Haskell & Erlang Growing Up Together ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-retrospective/Haskell-Erlang-Jun09.pdf ::: haskell, erlang
High Performance Haskell ::: http://www.slideshare.net/tibbe/highperformance-haskell ::: slideshare, performance, haskell
2014/06/19: A Tutorial on Parallel and Concurrent Programming In Haskell ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/AFP08-notes.pdf ::: concurrency, parallelism, parallel arrays, data parallelism, haskell
2014/06/20:
A Tutorial on Parallel and Concurrent Programming In Haskell ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/AFP08-notes.pdf ::: concurrency, parallelism, parallel arrays, data parallelism, haskell
Haste website ::: http://haste-lang.org/ ::: haste, haskell, web
Haste library ::: http://hackage.haskell.org/package/haste-compiler ::: haste, haskell, web
Towards a declarative web ::: http://haste-lang.org/hastereport.pdf ::: haste, haskell, web
2014/06/20:
Functional Reactive Programming ::: https://github.com/HeinrichApfelmus/reactive-banana/blob/07f3e9bf44ec8c227442daef723f7e9682c5a342/reactive-banana/doc/tutorial-2012-07-en.pdf?raw=true ::: functional reactive programming, frp, haskell, reactive banana
Functional reactive programming with reactive banana ::: http://www.haskell.org/haskellwiki/FRP_explanation_using_reactive-banana ::: haskell, frp, reactive banana
2014/06/21:
GHC Core blog ::: http://alpmestan.com/2013/06/27/ghc-core-by-example-episode-1/ ::: Core, haskell
Reactive Banana docs ::: misc ::: haskell, frp
2014/06/22:
Core ::: https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/CoreSynType ::: Core, haskell, ghc
Declarative Event-Oriented Programming ::: http://conal.net/papers/ppdp00/deop-for-print.pdf ::: frp, haskell
Functional Pearl : Applicative Programming With Effects ::: http://strictlypositive.org/IdiomLite.pdf ::: applicative, haskell, pearl
2014/06/27: Yesod web book, left off at persistence ::: http://www.yesodweb.com/book-1.2 ::: yesod
2014/07/01: Parsing a simple imperative language ::: http://www.haskell.org/haskellwiki/Parsing_a_simple_imperative_language ::: haskell, parsec
Ruby Style Guide ::: https://github.com/bbatsov/ruby-style-guide ::: ruby, style
2014/07/04:
Lots of prolog docs
Blog ::: https://bernardopires.com/2013/10/try-logic-programming-a-gentle-introduction-to-prolog/ ::: prolog
2014/07/05:
Prolog Intro ::: http://www.cse.unsw.edu.au/~billw/cs9414/notes/prolog/intro.html ::: prolog
Gadfly tutorial ::: http://nbviewer.ipython.org/github/john9631/JuliaDocs/blob/master/GadflyTutorial/GadflyTutorial.ipynb ::: Gadfly, julia
2014/07/06:
Prolog tutorial : assert ::: http://www.learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlse48 ::: prolog
Prolog notes ::: http://www.cs.nyu.edu/faculty/davise/pl/prologNotes.txt ::: prolog
Coffeescript ::: http://coffeescript.org/#language ::: coffee-script
2014/07/08:
Coffeescript ::: http://coffeescript.org/#language ::: coffee-script
2014/07/09:
SML UNIX ::: sml unix book ::: sml
2014/07/13: Object oriented recursion ::: http://esug.org/data/HistoricalDocuments/TheSmalltalkReport/ST09/27be.pdf ::: smalltalk
2014/07/14:
Existential types ::: http://en.wikibooks.org/wiki/Haskell/Existentially_quantified_types ::: haskell
A Taste of Curry ::: http://jeltsch.wordpress.com/2013/04/27/a-taste-of-curry/ ::: curry
2014/07/16:
Certified programming with dependent types ::: http://adam.chlipala.net/cpdt/cpdt.pdf ::: coq
Inductive data types ::: http://www.di.ens.fr/~zappa/teaching/coq/ecole11/summer/lectures/lec5.pdf ::: coq
Rust for functional programmers ::: http://science.raphael.poss.name/rust-for-functional-programmers.html ::: rust
2014/08/04:
Isabelle/HOL stuff
2014/08/05:
Grok Monad Transformers ::: http://blog.sigfpe.com/2006/05/grok-haskell-monad-transformers.html ::: haskell
2014/08/06: Haxl ::: http://www.cs.ox.ac.uk/ralf.hinze/WG2.8/31/slides/simon.pdf ::: haskell
2014/08/08:
Existential types ::: http://www.haskell.org/haskellwiki/Existential_type ::: haskell
OO Haskell ::: http://www.haskell.org/pipermail/beginners/2010-August/005122.html ::: haskell
Type Extensions ::: http://www.haskell.org/ghc/docs/7.0.4/html/users_guide/data-type-extensions.html ::: haskell
2014/09/04 ::: http://www.phil.uu.nl/~js/graphviz/dotguide.pdf ::: graphviz


TODO:
http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/history.pdf
http://research.microsoft.com/en-us/um/people/simonpj/papers/haskell-retrospective/Haskell-Erlang-Jun09.pdf
http://research.microsoft.com/en-us/um/people/simonpj/papers/parallel/monad-par.pdf
http://community.haskell.org/~simonmar/par-tutorial.pdf + https://github.com/simonmar/par-tutorial
http://chef.leopard.in.ua/html/
http://www.balisage.net/Proceedings/vol10/html/Kay01/BalisageVol10-Kay01.html
http://www.alperkimya.com.tr/licomas/app/files/modules/dosyalar/dosyalar_file/The%20Pragmatic%20Programmer,%20From%20Journeyman%20To%20Master.pdf
http://cdn.preterhuman.net/texts/computing/programming/Prolog/The%20Art%20of%20Prolog%20%202nd%20Ed%20-%20Leon%20Sterling%20,%20Ehud%20Shapiro.pdf
The grammar of graphics: http://f3.tiera.ru/2/Cs_Computer%20science/CsCg_Computational%20geometry/Wilkinson%20L.%20The%20grammar%20of%20graphics%20(2ed.,%20Springer,%202005)(ISBN%200387245448)(O)(693s)_CsCg_.pdf
http://www.lix.polytechnique.fr/~liberti/public/computing/prog/prolog/prolog-tutorial.html
http://coffeescriptcookbook.com/
http://vialstudios.com/guide-authoring-cookbooks.html
http://www.slideshare.net/krobertson2/cooking-with-chef-8668127
http://chef.leopard.in.ua/html/
http://www.inf.ufsc.br/~jbosco/cleanBookI.pdf
http://only.mawhrin.net/~alexey/sysprogsml.pdf
http://www.cs.cornell.edu/courses/cs312/2008sp/handouts/style.htm
http://www.mpi-sws.org/~rossberg/sml-vs-ocaml.html
inria strategic plan: http://www.slideshare.net/INRIA/inria-strategic-plan?ref=http://www.inria.fr/en/institute/strategy/strategic-plan
coq ref manual: http://coq.inria.fr/distrib/current/refman/toc.html
coq software foundations: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html
http://caml.inria.fr/pub/docs/u3-ocaml/ocaml-core.html
http://erlang.org/doc/reference_manual/expressions.html#id78268
http://doc.rust-lang.org/tutorial.html
http://cel.archives-ouvertes.fr/docs/00/47/58/07/PDF/coq-hurry.pdf
http://www.sitepen.com/blog/2013/12/31/definitive-guide-to-typescript/
http://www.cs.kent.ac.uk/projects/ofa/chp/tutorial.pdf
http://www.sitepoint.com/functional-programming-techniques-with-ruby-part-i/
http://www.sitepoint.com/functional-programming-techniques-with-ruby-part-ii/
http://www.dmst.aueb.gr/dds/pubs/jrnl/1993-StrProg-Haskell/html/exp.html
http://arxiv.org/pdf/cs/0509027.pdf - haskell oo
http://cstheory.stackexchange.com/questions/1539/whats-new-in-purely-functional-data-structures-since-okasaki
https://www.fpcomplete.com/school/to-infinity-and-beyond/pick-of-the-week/how-haskell-can-solve-the-integration-problem


CODING
2014/06/18: MySQL slow query/num query health checker, experimental ::: https://github.com/adarqui/Darqios/blob/master/experimental/scripts/mysql-alert-processlist.hs ::: haskell, mysql, health
2014/06/20: AFP08-notes-examples ::: https://github.com/adarqui/AFP08-notes-examples ::: haskell, experimenting, parallelism, concurrency
2014/06/21: Reactive-Banana/FRP tests. Compiling normal code to Core
2014/06/27: Building some chef recipes for deploying development containers on adarq.org
2014/06/28: Building some chef recipes for deploying development containers on adarq.org ::: https://github.com/adarqui/polybooks
2014/06/29: Restored GoodPost/BadPost functionality to the forum.
2014/06/30: Some chef-solo stuff: http://github.com/adarqui/smfbooks
2014/07/04: Prolog tests
2014/07/07: Coffee-script notes/tests for daimyo, http://coffeescript.org/#language. LEFTOFF operators and aliases
2014/07/08: Coffee tests
2014/07/09: SML tests

MEDIA
2014/06/21: A history of Haskell : Being lazy with class ::: http://research.microsoft.com/en-us/um/people/simonpj/papers/history-of-haskell/ ::: simon peyton jones, haskell, video
2014/06/22:
Push-Pull Functional Reactive Programming ::: http://vimeo.com/6686570 ::: haskell, frp


CONTINUOUS
Developing Applications with Ojective Caml ::: http://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf ::: ocaml
 - 2014/07/10: Leftoff: Ch 2, Functional Programming
 - 2014/07/14: Leftoff: Ch 2, Iteration over lists
 - 2014/07/15: Leftoff: Ch 2, Example: representing trees
 - 2014/07/25: Leftoff: Ch 2, Recursive values which are not functions
Concurrent Programming in Erlang ::: http://www.erlang.org/download/erlang-book-part1.pdf ::: erlang
 - 2014/07/10: Leftoff: Ch 2, Sequential Programming
 - 2014/07/13: Leftoff: Ch 3, Programming with Lists
Unix system programming with Standard ML ::: http://only.mawhrin.net/~alexey/sysprogsml.pdf ::: sml
 - 2014/07/09: Leftoff: Ch 2, Hello World
Functional Programming in Clean ::: http://www.mbsd.cs.ru.nl/papers/cleanbook/CleanBookI.pdf ::: clean
 - 2014/07/13: Leftoff: Introduction to functional programming
Curry: An integrated functional logic language ::: http://www.informatik.uni-kiel.de/~curry/papers/report.pdf ::: curry
 - 2014/07/13: Leftoff: Programs
 - 2014/07/14: Leftoff: Operational Semantics
Software Foundations ::: http://www.cis.upenn.edu/~bcpierce/sf/current/toc.html ::: coq
 - 2014/07/10: Leftoff: Basics - Functional Programming in Coq
 - 2014/07/13: Leftoff: Induction: Proof by Induction
Certified Programming With Dependent Types:
 - 2014/07/16: Leftoff: Part 1: Basic Programming and Proving
Communicating Sequential Processes ::: http://www.usingcsp.com/cspbook.pdf ::: agnostic
 - 2014/07/18: Leftoff: C1 Processes
 - 2014/07/19: Leftoff: 1.8.1 Laws
 - 2014/07/19: Leftoff: C2 Concurrency
Algorithms - A functional approach ::: http://00000books.googlecode.com/git/Programming/Algorithms..%20a%20functional%20programming%20approach%20(AW,%201999).pdf ::: haskell, algorithms
 - 2014/07/22: Leftoff: C2
 - 2014/07/26: Leftoff: C3 - The efficiency of functional programs
 - 2014/07/27: Leftoff: C4 - Concrete data types
 - 2014/07/27: Leftoff: C5 - Abstract data types
 - 2014/07/28: Leftoff: C6 - Sorting
 - 2014/07/29: Leftoff: C7 - Graph Structures
seL4 spec ::: http://sel4.systems/Docs/seL4-spec.pdf
 - 2014/07/30: Leftoff: 1.1.4 - Kernel memory allocation
 - 2014/07/30: Leftoff: C2 - Non deterministic state monad

2014/08/07: OOHaskell ::: http://arxiv.org/pdf/cs/0509027.pdf ::: haskell
 - leftoff: 3.6

COMPLETED
Programming using GNU Smalltalk ::: http://stephane.ducasse.free.fr/FreeBooks/Gnu/ProgrammingUsingGnuSmalltalk.pdf ::: smalltalk
 - 2014/07/11: Completed
Curry: A Tutorial Introduction ::: http://www-ps.informatik.uni-kiel.de/currywiki/_media/documentation/tutorial.pdf ::: curry
 - 2014/07/14: Completed
Communicating Haskell Processes ::: http://www.cs.kent.ac.uk/projects/ofa/chp/tutorial.pdf ::: haskell, csp, chp
 - 2014/07/19: Leftoff: C1 Processing
 - 2014/07/19: Completed

Purely Functional Data Structures ::: http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf ::: haskell
- 2014/10/08:


The craft of haskell programming: http://www.cin.ufpe.br/~jml/haskell-the-craft-of-functional-programming-2nd-edition.9780201342758.23997.pdf

Parallel and concurrent programming in Haskell: http://chimera.labs.oreilly.com/books/1230000000929/index.html

http://www.usingcsp.com/cspbook.pdf
http://www.cs.ox.ac.uk/bill.roscoe/publications/17.pdf
http://flint.cs.yale.edu/cs430/coq/pdf/Tutorial.pdf
http://science.raphael.poss.name/rust-for-functional-programmers.html
http://fox.ucw.cz/papers/thesis/thesis.pdf
http://00000books.googlecode.com/git/Programming/Algorithms..%20a%20functional%20programming%20approach%20(AW,%201999).pdf
https://www.complang.tuwien.ac.at/ulrich/Prolog-inedit/naish.html
http://www.cs.uu.nl/docs/vakken/gont/diktaat.pdf
http://smallcultfollowing.com/babysteps/blog/2012/07/17/borrowed-pointer-tutorial/
https://justanapplication.wordpress.com/category/programming-languages/rust/rust-lambda-expressions/
http://aml3.github.io/RustTutorial/
http://edwinb.wordpress.com/2013/03/15/idris-course-at-itu-slides-and-video/
https://sdg.wikit.itu.dk/Dependently+Typed+Functional+Programming+with+Idris+-+2013

isabelle: http://isabelle.in.tum.de/doc/isar-ref.pdf
http://isabelle.in.tum.de/doc/tutorial.pdf
http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/nipkow_sl_4lan.pdf
http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf
http://static.googleusercontent.com/media/research.google.com/en/us/archive/chubby-osdi06.pdf


puz
http://users.ece.utexas.edu/~adnan/afi-samples.pdf
http://www.mailinator.com/tymainterviewing.pdf
https://github.com/arthurguima/maratona/tree/master/Facebook/Hacking%20Interviews
http://poincare.matf.bg.ac.rs/~jelenagr/ASP/testHeadHunter.pdf
http://www.mktechnicalclasses.com/Notes/Cracking%20the%20Coding%20Interview,%204%20Edition%20-%20150%20Programming%20Interview%20Questions%20and%20Solutions.pdf
http://www.amazon.com/dp/1453792996/?tag=stackoverfl08-20


memcache protocol:
https://github.com/kr/beanstalkd/blob/master/doc/protocol.txt
http://www.sitepoint.com/giant-killing-with-beanstalkd/


10-26-2014:
design of appropximation algorithms: http://www.designofapproxalgs.com/book.pdf
gentle intro to cat theory: http://wwwhome.ewi.utwente.nl/~fokkinga/mmf92b.pdf
intro to cat: http://www.amazon.ca/dp/052171916X
burst detection: https://www.cs.nyu.edu/web/Research/Theses/zhang_xin.pdf
functional operating systems: http://www.pdx.edu/computer-science/sites/www.pdx.edu.computer-science/files/Leslie.pdf

adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
Re: adarq's reading & coding tracker - for real this time
« Reply #1 on: October 26, 2014, 02:04:07 am »
0
READING

This is the hardest project... but why?

Notice how I can't continue reading books? No time, brain wrecked, etc. Weekends are my only hope.

NN = No notes. Means I need to go back and do the notes.
NOEX = No exercises. Means I need to go back and do the exercises.
PEX= Partial exercises. Means I need to finish the exercises.


old
Developing Applications with Object Caml
- http://caml.inria.fr/pub/docs/oreilly-book/ocaml-ora-book.pdf
- 11/08/2014: C1, C2
- 11/09/2014: C3
- Not a book I want to finish

Princples of Mathematics
- Bertrand Russel
- 11/25/2014: Introduction to the 1992 edition, Introduction, Preface
- 11/27/2014: Definition of pure mathematics (p52)
- 11/30/2014: Symbolic Logic

Unix System Programming in OCaml
- http://ocaml.github.io/ocamlunix/
- 11/16/2014: Generalities


Supporting materials
10/26/2014: Introduction to Axiomatic Set Theory: http://mplab.ucsd.edu/tutorials/settheory.pdf
10/28/2014: Scalable I/O Event Handling for GHC: http://static.googleusercontent.com/media/research.google.com/en/us/pubs/archive/36841.pdf
10/29/2014: Fast Mergable Integer Maps: http://www.cs.ox.ac.uk/ralf.hinze/publications/ICFP01.pdf
10/31/2014: Persistent Data Structures: http://en.wikipedia.org/wiki/Persistent_data_structure
10/31/2014: http://en.wikipedia.org/wiki/Trie
10/31/2014: Teaching Monadic Algorithms To First Year Students: http://dalila.sip.ucm.es/~ricardo/waaapl99.pdf
11/02/2014: LCP: http://en.wikipedia.org/wiki/Longest_common_substring_problem
11/02/2014: Binary Decision Diagrams: http://www.doc.ic.ac.uk/~ajf/haskelltests/bdd/spec.pdf
11/02/2014: Dynamic Programming: http://www.cc.gatech.edu/~ninamf/Algos11/lectures/lect0311.pdf
11/02/2014: Suffix Trees: http://www.doc.ic.ac.uk/~ajf/haskelltests/suffixtrees/spec.pdf
11/02/2014: Suffix Trees: http://stackoverflow.com/questions/11019644/how-do-suffix-trees-work
11/02/2014: Suffix Trees: (video) https://www.youtube.com/watch?v=VA9m_l6LpwI
11/04/2014: Dynamic Programming: (video) https://www.youtube.com/watch?v=OQ5jsbhAv_M
11/04/2014: Dynamic Programming - LCS: (video) https://www.youtube.com/watch?v=P-mMvhfJhu8
11/04/2014: Tree permutations: http://www.stringology.org/event/2009/psc09p17_presentation.pdf
11/05/2014: Permutation Interchanges: http://comjnl.oxfordjournals.org/content/6/3/293.full.pdf
11/05/2014: Sorting permutations by block-interchanges: http://www.ic.unicamp.br/~meidanis/courses/mo640/2005s1/textos/Christie-1996.pdf
11/05/2014: Permutation by adjacent interchanges: http://poncelet.math.nthu.edu.tw/disk5/js/discrete-math/adjacency.pdf
11/07/2014: Interviewing at JaneStreet: https://blogs.janestreet.com/interviewing-at-jane-street/
11/09/2014: Tree possibilities: http://stackoverflow.com/questions/3042412/with-n-no-of-nodes-how-many-different-binary-and-binary-search-trees-possib
11/09/2014: Expression Trees: http://en.wikipedia.org/wiki/Binary_expression_tree
11/10/2014: Parser: https://www.fpcomplete.com/school/starting-with-haskell/basics-of-haskell/7-tokenizer-higher-order-functions
11/11/2014: Idris Tutorial: http://eb.host.cs.st-andrews.ac.uk/writings/idris-tutorial.pdf
11/12/2014: http://www.cse.chalmers.se/edu/year/2011/course/TIN321/lectures/bnfc-tutorial.html#toc20
11/12/2014: Semantics of the whilee language: http://www.cs.cmu.edu/~aldrich/courses/654-sp06/notes/2-semantics-notes.pdf
11/12/2014: How to parse a boolean expression tree: http://stackoverflow.com/questions/17568067/how-to-parse-a-boolean-expression-and-load-it-into-a-class
11/12/2014: RPN: http://en.wikipedia.org/wiki/Reverse_Polish_notation
11/14/2014: Operator Associativity: http://en.wikipedia.org/wiki/Operator_associativity
11/15/2014: Monads as containers: https://www.haskell.org/haskellwiki/Monads_as_containers
11/15/2014: OCaml OO: https://ocaml.org/learn/tutorials/objects.html
11/16/2014: Scalaz Presentation: http://vimeo.com/10482466
11/16/2014: Some abstract maths: https://www.youtube.com/watch?v=LC5XZ9JBwHA&list=PLf9CpDpKxS4vemmJs8YVR9bbvUv2fu-kl&index=3
11/16/2014: Exception handling in haskell: http://stackoverflow.com/questions/6009384/exception-handling-in-haskell
11/16/2014: How to desugar haskell code: http://www.haskellforall.com/2014/10/how-to-desugar-haskell-code.html
11/20/2014: Mathematics as Art: http://www2.bc.cc.ca.us/math/Mathematics%20as%20Art.pdf
11/23/2014: Lambda Notes: http://www-verimag.imag.fr/~iosif/LogicAutomata07/lambda-calculus-slides.pdf
11/23/2014: A short intro to lambda calc: http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf
11/25/2014: The Mozart Effect: http://www.ncbi.nlm.nih.gov/pmc/articles/PMC1281386/
11/28/2014: Calculus of Constructions wiki: http://en.wikipedia.org/wiki/Calculus_of_constructions
11/28/2014: Coq Tutorial: https://coq.inria.fr/V8.1/tutorial.html
11/29/2014: All horses are the same color: http://math.stackexchange.com/questions/428151/questions-on-all-horse-are-the-same-color-proof-by-complete-induction
11/30/2014: (REREAD) Hanoi Pearl (Need to re-read, apply, and grasp more): http://www.cs.ox.ac.uk/ralf.hinze/publications/ICFP09.pdf
12/02/2014: Category Theory Slideshow: http://yogsototh.github.io/Category-Theory-Presentation/#slide-0
12/03/2014: Scrap your type classes: http://www.haskellforall.com/2012/05/scrap-your-type-classes.html
12/05/2014: Diagrams haskell math post: http://mathlesstraveled.com/2012/10/05/factorization-diagrams/
12/09/2014: REREAD: Logarithms by hand: http://fiziko.bureau42.com/teaching_tidbits/manual_logarithms.pdf

todo:
http://plato.stanford.edu/entries/quine-nf/
fp from oo: http://www.slideshare.net/ScottWlaschin/fp-patterns-buildstufflt
notes on algebra of programming: https://www.scss.tcd.ie/publications/tech-reports/reports.99/TCD-CS-1999-74.pdf
http://ittc.ku.edu/~andygill/papers/IntMap98.pdfhttp://jfla.inria.fr/2010/actes/PDF/bonichon_cuoq.pdf
http://jfla.inria.fr/2010/actes/PDF/bonichon_cuoq.pdf
https://cw.felk.cvut.cz/wiki/_media/courses/a4m33pal/paska13trie.pdf
http://research.microsoft.com/en-us/um/people/simonpj/papers/containers/containers.pdf
http://arxiv.org/pdf/1008.1459v34.pdf
http://arxiv.org/abs/1008.1906?context=cs.PL
rosetta: http://arxiv.org/pdf/1409.0252.pdf
teaching students monadic algorithms: http://dalila.sip.ucm.es/~ricardo/waaapl99.pdf
http://www.cs.kent.ac.uk/people/staff/dat/tfp12/tfp12.pdf
http://en.wikipedia.org/wiki/Burstsort
http://goanna.cs.rmit.edu.au/~jz/fulltext/alenex03.pdf
chapter 0: (alg/cat) : http://homepages.math.uic.edu/~acamer4/aluffi.pdf
sets for mathematics: http://patryshev.com/books/Sets%20for%20Mathematics.pdf
elementary math: http://www.cbtricks.com/miscellaneous/tech_publications/neets/basic_math_and_algebra.pdf
fundamentals of mathematics: http://www.math.kent.edu/~mathweb/ebooks/10031/book.pdf
http://www.math.kent.edu/~mathweb/ebooks/
http://www.wallace.ccfaculty.org/book/Beginning_and_Intermediate_Algebra.pdf
http://www.alamosalibrary.org/images/basicmathebook.pdf
http://www.dcs.gla.ac.uk/~jtod/discrete-mathematics/
http://www.cs.utexas.edu/~wcook/Drafts/2012/mri-jfp.pdf
http://www.orianhealth.com/files/public-docs/Books/Math/

suffix tree: http://www.doc.ic.ac.uk/~ajf/haskelltests/suffixtrees/spec.pdf

rpn calc: http://www.cs.otago.ac.nz/coursework/cosc347/References/FP/Code/RPN.pdf
shunting yard, multi arg: http://www.kallisti.net.nz/blog/2008/02/extension-to-the-shunting-yard-algorithm-to-allow-variable-numbers-of-arguments-to-functions/
shunt.hs: http://wcipeg.com/wiki/Shunting_yard_algorithm/foo.hs
simple shunting: http://andreinc.net/2010/10/05/converting-infix-to-rpn-shunting-yard-algorithm/

blogs:
http://blog.mikael.johanssons.org/
http://comonad.com/reader/

Sec:
- taossp: https://leaksource.files.wordpress.com/2014/08/the-art-of-software-security-assessment.pdf

- Applied Crypto: http://www.cse.hcmut.edu.vn/~tuananh/courses/Grid/Schneier%20-%20Applied%20Cryptography%202ed%20-%20Wiley.pdf
https://notendur.hi.is/pgg/Handbook%20of%20Applied%20Cryptography.pdf

- reversing: http://www.federaljack.com/ebooks/Computers%20-%20Informatin%20Technology/Assembly%20,%20reverse%20engeniering%20and%20Computer%20Architecture%20books/Reverse%20Engeniering/2005/Wiley/Reversing%20-%20Secrets%20of%20Reverse%20Engineering.pdf

- Cybersecurity for scada systems: http://www.pennwellbooks.com/cybersecurity-for-scada-systems/


while lang:
http://www-compsci.swan.ac.uk/~csjvt/JVTTeaching/DSS16-IOSemanticsSlides.pdf
http://pag-www.gtisc.gatech.edu/courses/cs6340/dataflow_analysis_part1.pdf
https://www.cs.cornell.edu/andru/classes/oplss12/while.pdf

vids todo:
lcs, dp: https://www.youtube.com/watch?v=P-mMvhfJhu8

ocaml:
http://caml.inria.fr/pub/docs/u3-ocaml/
http://ocaml.org/learn/books.html
http://www.greenteapress.com/thinkocaml/thinkocaml.pdf

coq:
certified programming with dependent types: http://adam.chlipala.net/cpdt/
IMP check his teaching/courses: http://adam.chlipala.net/
software foundations: http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

scala:
http://www.scala-lang.org/docu/files/ScalaByExample.pdf
http://www.r-5.org/files/books/computers/Martin_Odersky_Lex_Spoon_Bill_Venners-Programming_in_Scala-EN.pdf
some intro: http://eed3si9n.com/learning-scalaz/sbt.html
scalaz: https://github.com/scalaz/scalaz
talk: http://vimeo.com/10482466

prop-log:
http://www.iep.utm.edu/prop-log/

functional data structures: http://www.cs.cmu.edu/~rwh/theses/okasaki.pdf
algorithms - a functional approach: http://00000books.googlecode.com/git/Programming/Algorithms..%20a%20functional%20programming%20approach%20(AW,%201999).pdf

exercises:
port to hs: http://en.wikipedia.org/wiki/Factorial

algorithms:
http://web.cse.ohio-state.edu/~gurari/course/cis680/cis680No1.html#cis680Ch10.html
http://faculty.cs.niu.edu/~freedman/340/340notes/340multi.htm


rust:
http://rustbyexample.com/


consensus:
- http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
math:

Propositional Logic
- Introduction to Propositional Logic: http://www.cs.uni-paderborn.de/fileadmin/Informatik/AG-Kleine-Buening/files/ss11/pps/bookpart1.pdf
- Logic: http://emilkirkegaard.dk/en/wp-content/uploads/Paul-Tomassi-Logic.pdf

Set Theory
- Naive Set Theory: http://sistemas.fciencias.unam.mx/~lokylog/images/stories/Alexandria/Logica%20y%20Conjuntos/Paul%20R.Halmos%20-%20Naive%20Set%20Theory.pdf
- Elementary Set Theory: http://math.boisestate.edu/~holmes/holmes/head.pdf
- Set Theory Notes: http://www.math.toronto.edu/weiss/set_theory.pdf
- Set Theory: An introduction to independence proofs: https://logic.wikischolars.columbia.edu/file/view/Kunen,+K.+%281980%29.+Set+Theory.pdf

Group Theory
- Group Theory: http://www.jmilne.org/math/CourseNotes/GT.pdf
- Theories and problems of group theory: http://poincare.matf.bg.ac.rs/~zarkom/Book_Shaums_Group_theory.pdf

Ring Theory
- Theory of Rings and Modules: http://www.math.uni-duesseldorf.de/~wisbauer/book.pdf

Category Theory
- Category theory for comp sci: http://pages.cpsc.ucalgary.ca/~robin/class/617/notes.pdf
- Cat theory for comp sci, various links: http://pages.cpsc.ucalgary.ca/~robin/class/617/webnotes.html
- Category Theory For Computer Science: http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
- Conceptual Mathematics: A first introduction to Categories: http://fef.ogu.edu.tr/matbil/eilgaz/kategori.pdf
- Outline of category theory: http://en.wikipedia.org/wiki/Outline_of_category_theory
- Toposes, Triples, and Theories: http://www.tac.mta.ca/tac/reprints/articles/12/tr12.pdf

Combinatorics
- Combinatorics: http://people.math.gatech.edu/~trotter/book.pdf
- A Mathematician's Apology: http://www.math.ualberta.ca/mss/misc/A%20Mathematician%27s%20Apology.pdf

Discrete Math
- Discrete Math Haskell: http://www.x.edu.uy/inet/Springer.pdf
- https://www.haskell.org/haskellwiki/Applications_and_libraries/Mathematics
- Discrete Math: http://www.cse.iitd.ernet.in/~bagchi/courses/discrete-book/fullbook.pdf
- Discrete Math: https://www.cims.nyu.edu/~regev/teaching/discrete_math_fall_2005/dmbook.pdf
- Discrete Math Notes: http://www.math.northwestern.edu/~mlerma/papers/discrete_mathematics-2005.pdf

Algebra
- Basic Algebra: http://www.orianhealth.com/files/public-docs/Books/Math/Knapp.A..W.,.Basic.Algebra.(2006).Birkhauser.pdf
- Advanced Algebra: http://www.orianhealth.com/files/public-docs/Books/Math/Knapp.A.W..Advanced.Algebra.(2007).Birkhauser.pdf
- College Algebra: http://www.math.missouri.edu/courses/math1100/CABook.pdf
- College Algebra: http://www.stitz-zeager.com/szca07042013.pdf

Abstract Algebra
- Introduction to Abstract Algebra: http://www.math.umn.edu/~garrett/m/intro_algebra/notes.pdf

Visualization
- http://visualizingmath.tumblr.com/
- Visual Thinking In Math: http://www.emmanouela.yolasite.com/resources/Visual%20Thinking%20in%20Mathematics.pdf

Probability
- Intro to probability theory: http://www.orianhealth.com/files/public-docs/Books/Math/UTM%20Chung%20K.L.%20Aitsahlia%20F.%20Elementary%20probability%20theory%20with%20stochastic%20processes%20and%20an%20introduction%20to%20mathematical%20finance%20(4ed%20Springer%202006).pdf

Lambda Calculus
- http://okmij.org/ftp/Computation/lambda-calc.html
- Intro: http://www.cs.bham.ac.uk/~axj/pub/papers/lambda-calculus.pdf
- Tutorial: http://www.little-lisper.org/website/files/lambda-calculus-tutorial.pdf
- Intro: http://www.utdallas.edu/~gupta/courses/apl/lambda.pdf
- Intro: http://www.dmi.unict.it/~barba/LinguaggiII.html/READING_MATERIAL/LAMBDACALCULUS/ShortIntroductiontotheLambdaCalculus.PDF
- Ch5: http://homepage.cs.uiowa.edu/~slonnegr/plf/Book/Chapter5.pdf
- Introduction to Lambda Calculus: http://ftp.cs.ru.nl/CompMath.Found/lambda.pdf
- Lecture Notes: http://www.mathstat.dal.ca/~selinger/papers/lambdanotes.pdf
- Lambda Calculus: Types and Models: http://www.pps.univ-paris-diderot.fr/~krivine/articles/Lambda.pdf
- Type Systems for Programming Languages: http://ropas.snu.ac.kr/~kwang/520/pierce_book.pdf
- Lambda Calculus: http://ktiml.mff.cuni.cz/teaching/files/materials/StepanekPetr_Lambda-jako-programovaci-jazyk.pdf
- Typed Lambda Calculus: http://ttic.uchicago.edu/~dreyer/course/papers/barendregt.pdf
- Typed Lambda Calculi: http://www.cs.le.ac.uk/people/amurawski/mgs2011-tlc.pdf
- Dependently Typed Lambda Calc: http://www.andres-loeh.de/LambdaPi/LambdaPi.pdf

Calculus of Constructions (CoC) (CoIC)
- CoC in Coq: https://coq.inria.fr/doc/Reference-Manual006.html
- A compact kernel for CoC: http://www.cs.unibo.it/~asperti/PAPERS/sadhana.pdf
- https://who.rocq.inria.fr/Marc.Lasson/shortpresentation.pdf

Calculus
- Calculus in Context: http://www.math.smith.edu/Local/cicintro/book.pdf

Misc
- Principles and Practice of Mathematics: http://www.comap.com/product/textbooks/PandPTextbook.pdf
- Find more stuff from/about Carnap: http://logic.harvard.edu/koellner/CFLM.pdf
- Practical Foundations of Mathematics: http://www.paultaylor.eu/prafm/html/index.html
- Problem Solving Strategies: http://micheleandreoli.org/public/Didattica/olimat/Libri/Engel_A._Problem-solving_strategies_for_math_olympiads__1998.pdf
- Concrete Mathematics: http://www.matematica.net/portal/e-books/Graham%20-%20Knuth%20-%20Patashnik%20-%20%20Concrete%20Mathematics.pdf
- Dno: https://myslu.stlawu.edu/~svanderv/chapone.pdf
- Probabilities etc: http://esminfo.prenhall.com/math/barnett/closerlook/pdf/BARNETT.PDF

Geometry
- An introduction to complex analysis and geometry: http://www.math.uiuc.edu/~jpda/jpd-complex-geometry-book-5-refs-bip.pdf
- Foundations of algebraic geometry (cat theory based): http://math.stanford.edu/~vakil/216blog/FOAGjun1113public.pdf
- An introduction to Geometry: http://www.math.nus.edu.sg/~matwyl/Notes_MA2219.pdf

Trigonometry
- Trigonometry: http://mecmath.net/trig/trigbook.pdf

Number Theory
- An Introduction to Elementary Number Theory: http://www.saylor.org/site/wp-content/uploads/2013/05/An-Introductory-in-Elementary-Number-Theory.pdf
- Elementary number theory using Sage: http://wstein.org/ent/ent.pdf
- elem: http://shell.cas.usf.edu/~wclark/elem_num_th_book.pdf
- A computational introduction to number theory: http://shoup.net/ntb/ntb-v2.pdf
- Number Theory: http://web.mit.edu/~holden1/www/math/number-theory.pdf
- Number Theory: http://joshua.smcvt.edu/numbertheory/book.pdf

Probability Theory
- Introduction to probability theory and statistics: http://mplab.ucsd.edu/tutorials/ProbabilityAndStats.pdf
- An introduction to probability: http://www.dartmouth.edu/~chance/teaching_aids/books_articles/probability_book/amsbook.mac.pdf
- Radically elementary probability theory: https://web.math.princeton.edu/~nelson/books/rept.pdf
- A natural introduction to probability theory: http://www.cs.vu.nl/~rmeester/onderwijs/stochastics/book.pdf
- Probability and Mathematical Statistics: http://www.math.csusb.edu/faculty/mcmurran/Sahoo_ProbMathStats.pdf
- (TOC only): Lectures on probability theory and mathematical statistics: http://www.statlect.com/book_table_of_contents.pdf


Linear Algebra
- Linear Algebra: Theory and Applications: http://www.math.byu.edu/klkuttle/linearalgebra.pdf

Differential Equations
- Introduction to Differential Equations: http://www.math.ust.hk/~machas/differential-equations.pdf

Higher Mathematics
- Introduction to Higher Mathematics: http://www.math.buffalo.edu/~reineck/introhighermath.pdf

Toplogy
- Introduction to Toplogy: http://www.math.colostate.edu/~renzo/teaching/Topology10/Notes.pdf

Calculus
- Calculus: http://www.math.odu.edu/~jhh/Volume-1.PDF
- Calculus: http://ocw.mit.edu/ans7870/resources/Strang/Edited/Calculus/Calculus.pdf , also: http://ocw.mit.edu/resources/res-18-001-calculus-online-textbook-spring-2005/textbook/
- Understanding Basic Calculus: http://www.mathdb.org/basic_calculus/BasicCalculus.pdf

-
Proofs
- Proofs from the book: http://www.slideshare.net/YoshimarSantana/proofs-from-the-book-martin-aigner
- Book Of Proof: http://www.people.vcu.edu/~rhammack/BookOfProof/
- List of paradoxes: http://en.wikipedia.org/wiki/List_of_paradoxes

Philosophy
- Philosophy of Mathematics: http://www.iep.utm.edu/category/s-l-m/math/
- Possible Worlds: http://www.sfu.ca/~swartz/pw/text/pw_all.pdf
- Proof CheatSheet: http://www.csee.umbc.edu/~artola/fall04/cheatsheet.pdf


Bertrand Russel
- Philosophy of Mathematics:
http://people.umass.edu/klement/imp/imp-ebk.pdf
- Principles of Mathematics (revised 1992): www.daftarche.com/attachments/%D9%81%D9%84%D8%B3%D9%81%D9%87-%D9%88-%D9%85%D9%86%D8%B7%D9%82-10/830d1347814735-%D8%A8%D8%A7%D8%B2%DA%AF%D8%B1%D8%AF%D8%A7%D9%86-%D9%86%D9%88%D8%B4%D8%AA%D8%A7%D8%B1%D9%87%D8%A7%DB%8C-%C2%AB%D8%A8%D8%B1%D8%AA%D8%B1%D8%A7%D9%86%D8%AF-%D8%B1%D8%A7%D8%B3%D9%84%C2%BB-bertrand-russell-principles-mathematics.pdf
- Principles of Mathematics (revisited): http://philosophy.ru/library/philmath/eng/hintikka_principle_math_rev.pdf

Statistical
- An Introduction to Statistics: https://www.artofproblemsolving.com/LaTeX/Examples/statistics_firstfive.pdf
- An Introduction to Statistical Data Analysis Using R: http://www.ling.uni-potsdam.de/~vasishth/StatisticsNotesVasishth.pdf

Questions and Answers
- High Order Logic: http://feature-space.com/en/document41.pdf
- Logic: http://logicmanual.philosophy.ox.ac.uk/samplepaper/samplepapersol.pdf
- Logic: http://faculty.simpson.edu/lydia.sinapova/www/cmsc180/LN180_Johnsonbaugh-07/Overview_logic-problems.htm

Diagrams
- http://projects.haskell.org/diagrams/gallery.html

Math in Art
- http://www.math.nus.edu.sg/aslaksen/projects/kh2-urops.pdf

Great Links
- Several topics: http://rutherglen.science.mq.edu.au/~maths/notes/wchen/ln.html
- Links to various topics: http://hbpms.blogspot.com/
- ProofWiki: https://proofwiki.org

Crypto
- Modern crypto: Theory and practice: http://www.orianhealth.com/files/public-docs/Books/Math/Modern%20Cryptography%20%20Theory%20And%20Practice%20-%20Wenbo%20Mao.pdf
- An introduction to mathematical cryptography: http://www.orianhealth.com/files/public-docs/Books/Math/UTM%20An%20Introduction%20to%20Mathematical%20Cryptography%20(Undergraduate%20Texts%20in%20Mathematics)%20(Jeffrey%20Hoffstein_%20et%20al)%200387779930.pdf

Inria
- http://pauillac.inria.fr/~levy/courses/

Programming:

FP
- Intro to FP: http://www.cs.rochester.edu/~brown/173/readings/LCBook.pdf

Coq
- https://coq.inria.fr/V8.1/tutorial.html

General
- Elements of the Theory of Computation: http://www.techandmore.info/master_files/computation_theory/Elements_of_Theory_of_Computation_%282ed%29_-_Lewis,_Papadimitriou.pdf
- Practical Foundations of Programming Languages: http://www.cs.cmu.edu/~rwh/plbook/book.pdf
- Refs: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.218.9814
- Principles of Programming Languages: http://www.cs.jhu.edu/~scott/pl/book/dist/book/book.pdf
- 2nd Ed ^^: http://www.cs.cmu.edu/~rwh/plbook/2nded.pdf
- Can programming be liberated from the von neumann style? http://web.stanford.edu/class/cs242/readings/backus.pdf


Pearls
- Haskell/Functional: https://www.haskell.org/haskellwiki/Research_papers/Functional_pearls
- Pearls of functional algorithm design: http://www.clyce.net/wp-content/uploads/2013/02/Pearls-of-Functional-Algorithm-Design.pdf
- http://www.cis.upenn.edu/~byorgey/pub/monoid-pearl.pdf

Classes
- http://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html

Computational Biology
- http://research.microsoft.com/en-us/groups/biology/

Blogs
- bos: http://www.serpentine.com/blog/
- http://psnively.github.io/
- math less traveled: http://mathlesstraveled.com/
- haskell for maths: http://haskellformaths.blogspot.com/
- mathematics and computation: http://math.andrej.com/
- math blogs: https://www.haskell.org/haskellwiki/Blog_articles/Mathematics
- dmitrios: http://dkalemis.wordpress.com/

Twitter
- https://twitter.com/GabrielG439
- https://twitter.com/donsbot

Translation
- Elementary number theory using sage
- An introduction to elementary Number Theory
- Elementary Set Theory
- Logic


adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
Re: adarq's reading & coding tracker - for real this time
« Reply #3 on: December 05, 2014, 07:38:53 pm »
0
Math Wave

Logic
- source: http://emilkirkegaard.dk/en/wp-content/uploads/Paul-Tomassi-Logic.pdf
- haskell: http://hackage.haskell.org/package/hatt
- sagemath: http://www.sagemath.org/pdf/en/reference/logic/logic.pdf , http://www.sagemath.org/doc/reference/logic/sage/logic/propcalc.html
- history:


Concrete Mathematics
- source: http://www.matematica.net/portal/e-books/Graham%20-%20Knuth%20-%20Patashnik%20-%20%20Concrete%20Mathematics.pdf
- history:
- 11/30/2014: (PEX, NN) C1 (Recurrent Problems)


Conceptual Mathematics: A first introduction to Categories
- source: http://fef.ogu.edu.tr/matbil/eilgaz/kategori.pdf
- haskell: http://hackage.haskell.org/package/base-4.7.0.1/docs/Control-Category.html , https://hackage.haskell.org/package/categories , http://hackage.haskell.org/package/data-category-0.5.1.1/docs/Data-Category.html
- sage: http://www.sagemath.org/pdf/en/reference/categories/categories.pdf , http://www.sagemath.org/doc/reference/categories/
- history:
- 11/30/2014: (NOEX, NN) Intro, Session 1: Sets, Maps, Composition
- 12/01/2014: (NOEX) Intro, Session 1, Session 2, Session 3


Mathematics For Computer Science
- source: http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-042j-mathematics-for-computer-science-spring-2010/readings/MIT6_042JS10_notes.pdf
- history:
- 12/08/2014: C1


Holmes - Introduction to Set Theory
- source: http://math.boisestate.edu/~holmes/holmes/head.pdf
- haskell: https://downloads.haskell.org/~ghc/7.8.2/docs/html/libraries/containers-0.5.5.1/Data-Set.html
- sage: http://www.sagemath.org/doc/reference/structure/sage/sets/set.html
- https://github.com/adarqui/Daimyo/blob/master/Translation/Holmes/Holmes.hs
- history:
- 12/05/2014: C1, C2, C3
- 12/06/2014: C4


Elementary Number Theory (Using Sage)
- source: http://wstein.org/ent/ent.pdf
- haskell: https://hackage.haskell.org/package/arithmoi
- sage: http://www.sagemath.org/doc/tutorial/tour_numtheory.html
- history:
- 12/07/2014: Notes, C1 (leftoff: 1.1.3)


Elementary Probability Theory
- source: http://www.orianhealth.com/files/public-docs/Books/Math/UTM%20Chung%20K.L.%20Aitsahlia%20F.%20Elementary%20probability%20theory%20with%20stochastic%20processes%20and%20an%20introduction%20to%20mathematical%20finance%20(4ed%20Springer%202006).pdf
- haskell: http://hackage.haskell.org/package/probability
- sage: http://www.sagemath.org/pdf/en/reference/probability/probability.pdf, http://www.sagemath.org/doc/reference/probability/
- history:
- 12/05/2014: C1, C2


Problem Solving Strategies
- source: http://micheleandreoli.org/public/Didattica/olimat/Libri/Engel_A._Problem-solving_strategies_for_math_olympiads__1998.pdf


Intro to Abstract Algebra
- source: http://www.math.umn.edu/~garrett/m/intro_algebra/notes.pdf
- haskell: https://hackage.haskell.org/package/algebra
- sage: http://abstract.ups.edu/download/aata-20111223-sage-4.8.pdf , http://www.sagemath.org/doc/prep/Quickstarts/Abstract-Algebra.html
- history:
- 12/09/2014: C1


Linear Algebra: Theory and Applications
- source: http://www.math.byu.edu/klkuttle/linearalgebra.pdf
- haskell: https://hackage.haskell.org/package/linear
- sage: http://linear.ups.edu/download/fcla-2.22-sage-4.7.1-preview.pdf , http://www.sagemath.org/doc/constructions/linear_algebra.html
- history:
- 12/07/2014: Notes, C1 (leftoff: Well Ordered Principle)


Introduction to Differential Equations
- source: http://www.math.ust.hk/~machas/differential-equations.pdf
- haskell:
- sage: http://wdjoyner.com/teach/DiffyQ/des-book.pdf , http://www.sagemath.org/doc/reference/calculus/sage/calculus/desolvers.html
- history:


Introduction to Higher Mathematics
- source: http://www.math.buffalo.edu/~reineck/introhighermath.pdf
- history:


Introduction to Toplogy
- source: http://www.math.colostate.edu/~renzo/teaching/Topology10/Notes.pdf
- history:
- 12/07/2014: C1.1


Group Theory
- source: http://www.jmilne.org/math/CourseNotes/GT.pdf
- haskell: https://hackage.haskell.org/package/groups-0.3.0.0/docs/Data-Group.html , https://hackage.haskell.org/package/glpk-hs-0.3.4/docs/Data-Algebra.html
- sage: http://www.wdjoyner.org/papers/groups-sage4.pdf , http://www.sagemath.org/doc/reference/categories/sage/categories/groups.html
- history:
- 12/07/2014: Notes, C1 (leftoff: subgroups)


An Introduction to Geometry
- source: http://www.math.nus.edu.sg/~matwyl/Notes_MA2219.pdf
- haskell: https://hackage.haskell.org/package/hgeometry
- sage:
- history:
- 12/08/2014: C1, C2


Trigonometry
- source: http://mecmath.net/trig/trigbook.pdf
- haskell:
- sage: http://www.sagemath.org/doc/reference/functions/sage/functions/trig.html
- history:
- 12/07/2014: Notes, C1.1


College Algebra
- source: http://www.math.missouri.edu/courses/math1100/CABook.pdf
- haskell:
- sage:
- history:
- 12/09/2014: C0.1x


Understanding Basic Calculus
- source: http://www.mathdb.org/basic_calculus/BasicCalculus.pdf
- haskell:
- sage: http://www.uwosh.edu/facstaff/gutow/biophysical_chemistry/sage-summary-quick-reference-sheets/quickref-calc.pdf , http://www.sagemath.org/doc/constructions/calculus.html
- history:
- 12/07/2014: Notes, C0 (revision)


An Introduction to Statistics
- source: https://www.artofproblemsolving.com/LaTeX/Examples/statistics_firstfive.pdf
- haskell: https://hackage.haskell.org/package/statistics
- sage: http://www.sagemath.org/doc/reference/stats/index.html
- History:
- 12/07/2014: Notes, C1


Combinatorics
- source: http://people.math.gatech.edu/~trotter/book.pdf
- haskell: https://hackage.haskell.org/package/combinat , haskell: https://hackage.haskell.org/package/arithmoi
- sage: http://www.math.washington.edu/~billey/colombia/sage.code/Algebraic%20Combinatorics%20Tutorial.pdf , http://www.sagemath.org/doc/reference/combinat/
- history:
- 12/08/2014: Intro, C1
- 12/09/2014: C2 (leftoff: C2.4)


An Eternal Golden Braid
- source: http://www.physixfan.com/wp-content/files/GEBen.pdf
- history:
- 12/07/2014: Overview
- 12/08/2014: Leftoff: 15, Ricercar

I am a Strange Loop
- PRE-REQ: GEB
- source: http://occupytampa.org/files/tristan/i.am.a.strange.loop.pdf


Completed

Propositional Logic
- http://www.iep.utm.edu/prop-log/
- 11/24/2014: C1, C2, C3
- 11/26/2014: C4
- 11/27/2014: C5
- 11/28/2014: C6, C7, C8

adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
Re: adarq's reading & coding tracker - for real this time
« Reply #4 on: December 06, 2014, 04:17:33 pm »
0
Algorithms Wave

Pearls of functional algorithm design
- http://www.clyce.net/wp-content/uploads/2013/02/Pearls-of-Functional-Algorithm-Design.pdf
- 11/30/2014: C1: (NN) The Smallest Free Number


Discrete Mathematics using Haskell
- http://www.x.edu.uy/inet/Springer.pdf
- 11/07/2014: C1
- 11/13/2014: C1 (coding examples in haskell/ocaml)
- 11/13/2014: C2
- 11/24/2014: C3 (haskell/ocaml code)
- 11/29/2014: C4


Algorithms - A Functional Approach
- http://00000books.googlecode.com/git/Programming/Algorithms..%20a%20functional%20programming%20approach%20(AW,%201999).pdf


The Algorithm Design Manual
- http://mimoza.marmara.edu.tr/~msakalli/cse706_12/SkienaTheAlgorithmDesignManual.pdf
- 10/31/2014: C1
- 11/01/2014: C2
- 11/02/2014: C3


adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
Re: adarq's reading & coding tracker - for real this time
« Reply #6 on: December 07, 2014, 03:17:20 pm »
0
Wave Exercises

Algebra
- Algebraic data structures for logarithms and base/exponents, and instances of classes to add/mul/div/etc.

Abstract Algebra
+ Binomial coefficients function
+ Pascal triangle data

Combinatorics
- Random data to form graph structures
- Puzzle: How many regions of N intersecting lines form (with no points of the lines intersecting twice).
- Use cases of permutations & combinations

Concrete Mathematics
- Recurrence examples
- Generate normal form from various patterns of data

Number Theory
+ gcd, Primes, Prime sieve, Primes trial by division, Composites
- Prime factors
- Express the fundamental axiom of mathematrics (every positive integer is a product of two primes)

Geometry
- Express propositions/axioms from C1
- Generate diagrams of triangles using sage/haskell

Topology
- Define a metric space

Linear Algebra
- Identify various fields

Statistics
- Collecting data via /dev/<...> and generating descriptive statistics

Group Theory
- Multiplication tables for finite sets with binary ops & identity elements
- Examples of semigroups
- Examples of monoids
- Examples of p-groups
- Examples of albelian groups

Translation
- Number Theory Using Sage. This would be a great book to translate from sage to haskell.

adarqui

  • Administrator
  • Hero Member
  • *****
  • Posts: 24327
  • im da bess mayne.
  • Respect: +4370
    • View Profile
    • Email
Re: adarq's reading & coding tracker - for real this time
« Reply #7 on: December 10, 2014, 04:07:12 pm »
0