116
tikzcd-editor
A simple visual editor for creating commutative diagrams.
tikz  tikzcd  latex 
11 days ago
Differentiating Parsers
How to make a parser incremental and restartable by differentiating it with respect to its input
incremental-computation  incremental-lambda-calculus  parsing 
april 2018
Why the Future Doesn't Need Us | WIRED
Why the future doesn’t need us. Our most powerful 21st-century technologies – robotics, genetic engineering, and nanotech – are threatening to make humans an endangered species. From the moment I became involved in the creation of new technologies, their ethical dimensions have concerned me, but it was only in the autumn of 1998 that I \[…\]
essay  ai  future  nuclear  futurism 
april 2018
paf31/purescript-purview: A UI library based on the incremental lambda calculus
GitHub is where people build software. More than 27 million people use GitHub to discover, fork, and contribute to over 80 million projects.
ui  incremental-lambda-calculus 
april 2018
paf31/purescript-incremental-functions: Incremental lambda calculus
GitHub is where people build software. More than 27 million people use GitHub to discover, fork, and contribute to over 80 million projects.
incremental-computation  incremental-lambda-calculus 
april 2018
Peer review: the end of an error?
Timothy Gowers considers the alternatives to formal peer review
march 2018
no-context/moo: Optimised tokenizer/lexer generator! 🐄 Uses /y for performance. Moo.
GitHub is where people build software. More than 27 million people use GitHub to discover, fork, and contribute to over 80 million projects.
parsing  parser-generator  lexer  js 
march 2018
Home - nearley.js - JS Parsing Toolkit
nearley.js is a simple, fast, and powerful parser toolkit for JavaScript.
parsing  parser-generator  js  datafun 
march 2018
tree-sitter: An incremental parsing system for programmings tools
GitHub is where people build software. More than 28 million people use GitHub to discover, fork, and contribute to over 79 million projects.
parsing  parser-generator  glr 
march 2018
New method aims to quantify ‘camouflaging’ in autism | Spectrum | Autism Research News
A combination of multiple diagnostic tests may gauge the extent to which adults with autism attempt to blend in.
autism  psychology 
february 2018
How Girls and Women "Camouflage" Their Autism - The Atlantic
By “camouflaging” their condition, many women on the spectrum learn to fit in—and risk psychological harm.
autism  gender  psychology 
february 2018
Submanifold/latex-mimosis: A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
latex-mimosis - A minimal & modern LaTeX template for your (bachelor's | master's | doctoral) thesis
thesis  latex 
february 2018
Reality has a surprising amount of detail
If you’re a programmer, you might think that the fiddliness of programming is a special feature of programming, but really it’s that everything is fiddly, but you only notice the fiddliness when you’re new, and in programming you do new things more often.
programming 
january 2018
PEG.js – Parser Generator for JavaScript
PEG.js is a parser generator for JavaScript based on the parsing expression grammar formalism.
parser-generator  javascript  peg 
january 2018
AoC - Parsing with differential dataflow
blog - Some notes on things I find interesting and important.
frank-mcsherry  differential-dataflow 
december 2017
« earlier      
21st-century abstract-interpretation abstract-machine abstracting-definitional-interpreters academia ai alan-dix algorithms anthropology apl arrays art asts autism bidirectional book bound bugs calculus canonical-forms category category-theory classical-logic climate-change clojure co2 color-theory compilers conor-mcbride constraint-solving containers continuations cs cs-history culture dan-licata data-structures database dataflow datafun datalog datashell db debruijn debugging decentralisation denotational-semantics dependent derek-dryer derivatives design design-reference dfas differential-dataflow dimensional-analysis discrimination-sort djb dsl duality dynamic-programming e editor edsl essay ezyang final-tagless fixed-points flix focusing food formal-methods fp frank-mcsherry functional-pl future future-pl futurism gasche gender git glr googl happiness haskell hereditary-substitution higher-kinds hindley-milner history hygiene if incremental-computation incremental-lambda-calculus javascript jeremy-siek joe-edelman join-algorithm js kmett kripke lambda-calculus latex learnable-programming lexer linear-algebra linear-logic lisp logic logic-pl macros markup mastodon math media michael-abbott michael-shulman ml modal-logic modal-mu-calculus modules monad monoid monotonicity multi-user multisets music music-notation nada-amin naming-things nbe neil-ghani networks notation nuclear ocaml paper parsec parser-combinators parser-generator parsing path-dependency patterns pdf peg pessimism petnames pj-landin pl polymorphism postgres procgen program-slicing programming prolog proof-search psychology query-languages racket regular-expressions research research-outlet scala science semantics semmle sequent-calculi shell software software-engineering sorting souffle sql static-analysis static-vs-dynamic stonybrook supercollider symmetric-lambda-calculus system-r systems thesis thorsten-altenkirch tikz tikzcd trie tutorial type-inference type-theory types ui units unix ux variable-binding version-control web writing youtube zooko

Copy this bookmark:



description:


tags: