hyperupcall

// I'm tired of extensions that automatically:
// - show welcome pages / walkthroughs
// - show release notes
// - send telemetry
// - recommend things
//
// This disables all of that stuff.
// If you have more config, leave a comment so I can add it!!

{

anton-trunov

;; The following works with OPAM 2.0.x
;; Put this piece of code into your .emacs and use it interactively as
;; M-x coq-change-compiler
;; If you change your OPAM installation by e.g. adding more switches, then
;; run M-x coq-update-opam-switches and coq-change-compiler will show the updated set of switches.

(defun opam-ask-var (switch package var)
  (ignore-errors (car (process-lines
                       "opam" "var" "--safe" "--switch" switch (concat package ":" var)))))

mihaitodor

https://archive.org/download/archiveteam_coursera_20160627114043/coursera_20160627114043.megawarc.warc.gz

• bigdata = Web Intelligence and Big Data
• clinical skills = Teaching and Assessing Clinical Skills
• comp finance = Introduction to Computational Finance and Financial Econometrics
• data sci = Introduction to Data Science
• dmathgen = 离散数学概论 Discrete Mathematics Generality
• global introuslaw = The Global Student's Introduction to U.S. Law
• global theatre = Theatre and Globalization
• global theatre = Theatre and Globalization
• inforiskman = Information Security and Risk Management in Context

smarr

Introductory Material

• Add Graal JIT Compilation to Your JVM Language in 5 Steps, A Tutorial http://stefan-marr.de/2015/11/add-graal-jit-compilation-to-your-jvm-language-in-5-easy-steps-step-1/

• The SimpleLanguage, an example of using Truffle with great JavaDocs. It is the officle getting-started project: https://github.com/graalvm/simplelanguage

• Truffle Tutorial, Christan Wimmer, PLDI 2016, 3h recording https://youtu.be/FJY96_6Y3a4 Slides