This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
# Free Will Problem # | |
Under this heading I mean to separate off those issues of | |
[[Freedom]] that have to do with the *metaphysical* problem of free | |
will and determinism. As opposed to political or theological | |
freedom. This is also distinct from the problem of the compatibility | |
of free will and divine foreknowledge. | |
According to [[Peter van Inwagen]]'s proposal we should understand | |
the "problem of free will" as (I am glossing): |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<?xml version="1.0" encoding="UTF-8"?> | |
<!DOCTYPE plist PUBLIC "-//Apple Computer//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd"> | |
<plist version="1.0"> | |
<dict> | |
<key>firstLineMatch</key> | |
<string>^Format:\s*(?i:complete)\s*$</string> | |
<key>foldingStartMarker</key> | |
<string>(?x) | |
(<(?i:head|body|table|thead|tbody|tfoot|tr|div|select|fieldset|style|script|ul|ol|form|dl)\b.*?> | |
|<!--(?!.*-->) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
tell application "Skim" | |
set theFile to the file of the front document | |
set outText to "" | |
set newLine to ASCII character 10 | |
# Get the relevant bibliographic information for the front PDF in Skim | |
tell application "BibDesk" | |
repeat with currentPub in publications of front document | |
if linked file of currentPub is {} then | |
set bibFile to 0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
on open location skimmerURL | |
set oldDelims to AppleScript's text item delimiters | |
set newDelims to {"sk://", "#"} | |
set AppleScript's text item delimiters to newDelims | |
set bibKey to item 2 of the text items of skimmerURL | |
set pdfPage to item -1 of the text items of skimmerURL as integer | |
set AppleScript's text item delimiters to oldDelims |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
%!TEX TS-program = xelatex | |
%!TEX encoding = UTF-8 Unicode | |
\RequirePackage{etoolbox} | |
% $if(documentclass)$ | |
% $if(classoption)$ | |
% \documentclass[$for(classoption)$$classoption$$sep$,$endfor$)]{$documentclass$} | |
% $else$ | |
% \documentclass[12pt,oneside]{$documentclass$} | |
% $endif$ |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import sublime, sublime_plugin, os, re, subprocess | |
class FollowWikiLinkCommand(sublime_plugin.TextCommand): | |
def run(self, edit): | |
settings = sublime.load_settings('MyWiki.sublime-settings') | |
directory = settings.get('wiki_directory') | |
directory = os.path.expanduser(directory) | |
extension = settings.get('wiki_extension') |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<script src="/js/jquery-1.8.3.min.js"></script> | |
// A little clever jQuery styling of blockquotes | |
<script> | |
$('blockquote p').each(function(){ | |
var $numWords = $(this).text().split(" ").length; | |
console.log($numWords) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Show hidden characters
{ | |
"selector": "text.html.markdown", | |
"path": "C:\\Users\\Dan\\AppData\\Local\\Pandoc\\;C:\\Program Files (x86)\\MiKTeX 2.9\\miktex\\bin\\", | |
"cmd": ["pandoc", | |
"--smart", | |
"--chapters", | |
"--template=C:\\Users\\Dan\\Dropbox\\Pandoc\\default.latex", | |
"--csl=C:\\Users\\Dan\\Dropbox\\Pandoc\\default.csl", | |
"--bibliography=C:\\Users\\Dan\\Dropbox\\Jabref\\mybib.bib", | |
"--latex-engine=xelatex", |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
[ | |
{ "keys": ["ctrl+super+f"], "command": "make_footnote"} | |
] |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
<key>CFBundleURLTypes</key> | |
<array> | |
<dict> | |
<key>CFBundleURLName</key> | |
<string>Skimmer</string> | |
<key>CFBundleURLSchemes</key> | |
<array> | |
<string>sk</string> | |
</array> | |
</dict> |
NewerOlder