Pinboard (cstrahan)
https://pinboard.in/u:cstrahan/public/
recent bookmarks from cstrahanImportant Note (October, 2016) — Drake 1.0 documentation2017-10-31T17:30:53+00:00
http://drake.mit.edu/
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:8fa1f0ad6464/mozilla/fathom: A framework for extracting meaning from web pages2017-07-17T18:11:59+00:00
https://github.com/mozilla/fathom
cstrahanjavascript researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:f8415b190efc/Solving the Water Jug Problem from Die Hard 3 with TLA+ and Hypothesis - Hypothesis2017-07-02T18:48:37+00:00
http://hypothesis.works/articles/how-not-to-die-hard-with-hypothesis/
cstrahanresearch logic haskellhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:9f5d05c2c309/TLA+ Course Lecture: Introduction to TLA+2017-03-22T23:20:48+00:00
http://lamport.azurewebsites.net/video/intro.html
cstrahanresearch videohttps://pinboard.in/https://pinboard.in/u:cstrahan/b:966b7a113301/bitwrap-io/whitepaper.md at master · bitwrap/bitwrap-io2017-03-18T20:40:39+00:00
https://github.com/bitwrap/bitwrap-io/blob/master/whitepaper.md
cstrahanfsm researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:de7b7a71726e/cs-video-courses/README.md at master · Developer-Y/cs-video-courses2016-11-22T17:30:54+00:00
https://github.com/Developer-Y/cs-video-courses/blob/master/README.md
cstrahancourse video learning researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:dc544f580b7e/Citation Vault - American Infrastructure2016-06-14T21:47:56+00:00
http://www.alexkrupp.com/Citevault.html#vam-efficacy
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:d4c47f18f260/dominictarr/scuttlebutt: peer-to-peer replicatable data structure2016-02-09T05:51:41+00:00
https://github.com/dominictarr/scuttlebutt
cstrahanresearch javascript replicationhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:6938c5482b03/Ephemerons2016-01-25T01:52:37+00:00
http://mail.openjdk.java.net/pipermail/core-libs-dev/2016-January/038094.html
cstrahanjava researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:75f37d8b6435/Thesis | Robbert Krebbers2015-12-01T16:59:21+00:00
http://robbertkrebbers.nl/thesis.html
cstrahanresearch compiler coqhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:4147a69ebbf1/Tom Schrijvers - Publications2015-10-24T16:21:43+00:00
http://people.cs.kuleuven.be/~tom.schrijvers/portfolio.html
cstrahanhaskell researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:914aa775bc8c/Binding as Sets of Scopes Notes on a new model of macro expansion for Racket2015-07-16T18:37:35+00:00
http://www.cs.utah.edu/~mflatt/scope-sets-2/
cstrahanracket theory research algorithmshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:e7682a9da5c1/Introduction to Petname Systems2015-05-30T21:32:25+00:00
http://www.skyhunter.com/marcs/petnames/IntroPetNames.html
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:c84ceb98c11e/Serializable Snapshot Isolation in PostgreSQL2015-05-11T18:45:11+00:00
http://drkp.net/papers/ssi-vldb12.pdf
cstrahantheory researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:aed9e9709682/PFQ I/O2015-01-12T06:53:16+00:00
http://www.pfq.io/
cstrahanlinux networking researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:c196a371134a/ocharles/papers2014-09-14T06:29:41+00:00
https://github.com/ocharles/papers
cstrahanhaskell researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:c64523c9ccb9/mrb: Where Does Scope Come From?2014-09-10T16:15:29+00:00
http://michaelrbernste.in/2014/09/10/where-does-scope-come-from.html
cstrahantheory researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:26ec05fa18ca/rxin/db-readings2014-08-29T05:08:03+00:00
https://github.com/rxin/db-readings
cstrahandatabase researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:25c8c0651801/First-person Hyperlapse Videos2014-08-11T03:06:42+00:00
http://research.microsoft.com/en-us/um/redmond/projects/hyperlapse/
cstrahanresearch video photographyhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:d713e676a2f6/Publications :: Peter Bailis2014-06-14T00:10:58+00:00
http://www.bailis.org/pubs.html
cstrahanresearch caphttps://pinboard.in/https://pinboard.in/u:cstrahan/b:8af9d9b08bb1/Categories from scratch2014-05-14T07:08:29+00:00
http://staff.science.uva.nl/~poss/categories-from-scratch.html
cstrahanresearch math category-theoryhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:8bfadbcd7566/The TLA Home Page2014-05-14T05:13:20+00:00
http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:6cc276313be3/Why Bloom filters work the way they do | DDI2014-02-01T19:56:30+00:00
http://www.michaelnielsen.org/ddi/why-bloom-filters-work-the-way-they-do/
cstrahanalgorithms researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:582485187732/skipperkongen | Trying stuff with code2013-11-20T03:59:17+00:00
http://skipperkongen.dk/
cstrahanresearch bloghttps://pinboard.in/https://pinboard.in/u:cstrahan/b:2febc3e40614/leodemoura/lean2013-11-15T16:27:29+00:00
https://github.com/leodemoura/lean
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:3aee64852bbe/Dave Probert: Inside Windows 7 - User Mode Scheduler (UMS) | Going Deep | Channel 92013-11-13T21:06:46+00:00
http://channel9.msdn.com/Shows/Going+Deep/Dave-Probert-Inside-Windows-7-User-Mode-Scheduler-UMS
cstrahanconcurrency windows researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:09acff9006db/User-Mode Scheduling (Windows)2013-11-13T21:05:42+00:00
http://msdn.microsoft.com/en-us/library/windows/desktop/dd627187(v=vs.85).aspx
cstrahanconcurrency windows researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:9effbbe32036/Capability Theory by Sound Bytes2013-11-13T05:31:43+00:00
http://cap-lore.com/CapTheory/index.html
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:48b5db0535ed/Walnut/Complete — ERights.org Wiki2013-10-25T22:26:10+00:00
http://wiki.erights.org/wiki/Walnut/Complete
cstrahanresearch bookhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:1728d751f5ce/Big Data at Khan Academy | Matt Faus2013-10-11T16:52:24+00:00
http://mattfaus.com/2013/10/big-data-at-khan-academy/
cstrahanresearch scalabilityhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:5087f5cbcc50/free-programming-books/free-programming-books.md at master · vhf/free-programming-books2013-10-11T16:47:25+00:00
https://github.com/vhf/free-programming-books/blob/master/free-programming-books.md
cstrahanbook researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:a21d6dc053a1/NYU Lambda Seminar2013-10-10T17:36:21+00:00
http://lambda.jimpryor.net/
cstrahanresearch lambda-calculushttps://pinboard.in/https://pinboard.in/u:cstrahan/b:9b94d063e9dc/cps and continuation operators2013-10-10T17:35:12+00:00
http://lambda.jimpryor.net/cps_and_continuation_operators/
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:0d011a41d9f0/Publications2013-10-09T18:51:47+00:00
http://www.brics.dk/publications/
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:03ab7cabcbf6/HP Labs : Compaq & DEC2013-07-15T00:17:48+00:00
http://www.hpl.hp.com/techreports/Compaq-DEC/
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:892040070dc5/Deep Hypertext with Embedded Revision Control Implemented in Regular Expressions2013-06-28T22:22:52+00:00
http://bouillon.math.usu.ru/articles/ctre.pdf
cstrahanresearch pdfhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:88a99a774d46/Software Foundations2013-06-25T21:56:21+00:00
http://www.cis.upenn.edu/~bcpierce/sf/
cstrahanbook researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:64c353f83f78/CS 525, Spring 2011 : Course Schedule2013-06-06T22:11:28+00:00
http://courses.engr.illinois.edu/cs525/sp2011/sched.htm
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:7c8c99380961/TLA+ Tools2013-05-28T14:04:53+00:00
http://research.microsoft.com/en-us/um/people/lamport/tla/tools.html
cstrahansoftware researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:1f750d93711d/bitcoin.org/bitcoin.pdf2013-04-12T02:19:44+00:00
http://bitcoin.org/bitcoin.pdf
cstrahanpdf research cryptographyhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:713c60e0414d/Writing a Simple Operating System | from Scratch2013-04-04T18:14:20+00:00
http://www.cs.bham.ac.uk/~exr/lectures/opsys/10_11/lectures/os-dev.pdf
cstrahanpdf researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:da9f4e729769/Setuid Demystified2013-04-04T14:10:52+00:00
http://www.cs.berkeley.edu/~daw/papers/setuid-usenix02.pdf
cstrahansecurity research unixhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:966cfdfb984f/Lucene's FuzzyQuery is 100 times faster in 4.0 | Javalobby2013-03-27T22:26:47+00:00
http://java.dzone.com/news/lucenes-fuzzyquery-100-times
cstrahanlucene algorithms researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:48a75eed2c57/HawtDispatch2013-03-13T18:47:54+00:00
http://hawtdispatch.fusesource.org/
cstrahanresearch concurrency java scala messaginghttps://pinboard.in/https://pinboard.in/u:cstrahan/b:f89b98443002/Probabilistic Data Structures for Web Analytics and Data Mining | Highly Scalable Blog2013-02-27T13:49:21+00:00
http://highlyscalable.wordpress.com/2012/05/01/probabilistic-structures-web-analytics-data-mining/
cstrahanresearch algorithmshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:d60b867f56ce/Siaris.net2013-02-27T13:43:42+00:00
http://www.siaris.net/index.cgi/Programming/LanguageBits/Ruby/BloomFilter.rdoc
cstrahanresearch algorithmshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:438216875c9e/Continuous Bloom filter - Colin Surprenant2013-02-27T13:42:35+00:00
http://colinsurprenant.com/blog/2012/05/12/continuous-bloom-filter/
cstrahanresearch algorithmshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:3a7f9edb5a43/Communicating Sequential Processes2013-02-25T17:11:14+00:00
http://www.usingcsp.com/cspbook.pdf
cstrahanconcurrency book researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:38517dc0f2e3/Triangulation by Ear Clipping2013-02-21T18:46:22+00:00
http://www.geometrictools.com/Documentation/TriangulationByEarClipping.pdf
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:e1c10a0c0515/Recurring Events for Calendars2013-02-20T23:24:13+00:00
http://martinfowler.com/apsupp/recurring.pdf
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:30b9619a8d84/Exponentially Decayed Aggregates on Data Streams2013-02-14T19:13:04+00:00
http://www.research.att.com/people/Cormode_Graham/library/publications/CormodeKornTirthapura08.pdf
cstrahanresearch algorithmshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:b40d8523c4ea/Openstack, Wheezy and ZFS on Linux (Logilab.org)2013-02-12T19:59:38+00:00
http://www.logilab.org/blogentry/114769
cstrahancloud research openstack zfshttps://pinboard.in/https://pinboard.in/u:cstrahan/b:2eb49875e4de/www.cs.cmu.edu/~aldrich/papers/classic/tse12-typestate.pdf2013-02-11T23:10:44+00:00
http://www.cs.cmu.edu/~aldrich/papers/classic/tse12-typestate.pdf
cstrahanresearch pdfhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:da76ae267b1e/Handling stack overflow on custom stacks2013-01-30T02:04:00+00:00
http://www.rethinkdb.com/blog/handling-stack-overflow-on-custom-stacks/
cstrahanresearch chttps://pinboard.in/https://pinboard.in/u:cstrahan/b:b02befb421c0/Register-sensitive selection, duplication, and sequencing of instructions2013-01-30T01:52:55+00:00
http://dl.acm.org/citation.cfm?id=377849
cstrahanperformance compiler researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:8236aca839d1/An Argument for Increasing TCP’s Initial Congestion Window2013-01-09T07:05:01+00:00
https://developers.google.com/speed/articles/tcp_initcwnd_paper.pdf
cstrahanresearch networkinghttps://pinboard.in/https://pinboard.in/u:cstrahan/b:e343b7918a25/ZooKeeper: Wait-free coordination for Internet-scale systems2013-01-06T23:53:14+00:00
http://static.usenix.org/events/usenix10/tech/full_papers/Hunt.pdf
cstrahanscalability research concurrencyhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:02aa76496316/Paxos Made Simple2013-01-06T22:18:48+00:00
http://research.microsoft.com/en-us/um/people/lamport/pubs/paxos-simple.pdf
cstrahanalgorithms paxos research scalabilityhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:a4cfd0473763/Paxos Made Live - An Engineering Perspective2013-01-06T22:10:07+00:00
http://www.read.seas.harvard.edu/~kohler/class/08w-dsi/chandra07paxos.pdf
cstrahanpaxos algorithms scalability researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:965e9c0c469d/The Chubby lock service for loosely-coupled distributed systems2013-01-06T21:37:14+00:00
http://static.googleusercontent.com/external_content/untrusted_dlcp/research.google.com/en/us/archive/chubby-osdi06.pdf
cstrahanresearch scalability performance concurrencyhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:9ab7ffa354c4/Simplex algorithm - Wikipedia, the free encyclopedia2013-01-02T15:28:11+00:00
http://en.wikipedia.org/wiki/Simplex_algorithm
cstrahanalgorithms researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:40b151a64bae/Strong Eventual Consistency and Conflict-free Replicated Data Types - Microsoft Research2012-12-28T16:29:57+00:00
http://research.microsoft.com/apps/video/dl.aspx?id=153540
cstrahancrdt researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:afc38ac0edce/Leader election - Wikipedia, the free encyclopedia2012-12-28T16:10:38+00:00
http://en.wikipedia.org/wiki/Leader_election
cstrahanresearchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:741257d1b65d/hal.inria.fr/docs/00/60/93/99/PDF/RR-7687.pdf2012-12-28T15:52:51+00:00
http://hal.inria.fr/docs/00/60/93/99/PDF/RR-7687.pdf
cstrahancrdt researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:bd95837eee05/Burn the Library2012-12-28T15:51:45+00:00
http://aphyr.com/posts/254-burn-the-library
cstrahanconcurrency replication researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:3da08f14a033/hal.inria.fr/docs/00/55/55/88/PDF/techreport.pdf2012-12-28T15:44:20+00:00
http://hal.inria.fr/docs/00/55/55/88/PDF/techreport.pdf
cstrahancrdt research replicationhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:47762b41b837/Using ParentheC to Transform Scheme Programs to C or How to Write Interesting Recursive Programs in a Spartan Host2012-12-21T22:20:55+00:00
https://www.cs.indiana.edu/cgi-pub/c311/lib/exe/fetch.php?media=parenthec.pdf
cstrahanresearch lisp continuation compilerhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:ef35301cea4f/A First-Order One-Pass CPS Transformation2012-12-21T22:18:25+00:00
http://www.brics.dk/RS/01/49/BRICS-RS-01-49.pdf
cstrahancontinuation researchhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:3a4374ba2680/The Essence of Compiling with Continuations2012-12-21T21:31:44+00:00
http://users.soe.ucsc.edu/~cormac/papers/pldi93.pdf
cstrahanresearch continuation compilerhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:5ac9be9ef3e6/Yield: Mainstream Delimited Continuations2012-12-21T15:33:30+00:00
http://parametricity.net/dropbox/yield.subc.pdf
cstrahanresearch continuationhttps://pinboard.in/https://pinboard.in/u:cstrahan/b:2ea4237743c3/