dblp: Gerd G. Hillebrand
* Database Query Languages Embedded in the Typed Lambda Calculus
2 days ago
atom/teletype-crdt: String-wise sequence CRDT powering peer-to-peer collaborative editing in Teletype for Atom.
* Data consistency for P2P Collaborative Editing
* Supporting String-Wise Operations and Selective Undo for Peer-to-Peer Group Editing
* High Responsiveness for Group Editing CRDTs
https://teletype.atom.io/ ;;;

Introducing Visual Studio Live Share
2 days ago
The C language *almost* had the MIN (/) and MAX (/) operators, but sadly their implementation was left unfinished and they were forgotten. : programming

Almost all C operators have a 1-to-1 mapping to an instruction in common RISC ISAs. I haven't seen a max instruction in many ISAs
8 days ago
Programs that explain their effects
* Embedding effect systems in Haskell
* Parameterised notions of computation

8 days ago
Is the Optimal Implementation Inefficient? Elementarily Not
Sharing graphs are a local and asynchronous implementation of lambda-calculus beta-reduction that avoids useless duplications.
http://lambda-the-ultimate.org/node/5483 Partial sharing graphs ;;;
9 days ago
secure random number generator using Twitter as a source of entropy
10 days ago
Ethereum IDE for smart contract development
12 days ago
Refining First-Class Stores

First-class memory helps implement versioned arrays, replay debugging and nested transactions ... It is particularly useful in non-deterministic and probabilistic programming

http://okmij.org/ftp/Computation/types.html#1st-class-memory The challenge of first-class memory ;;;
13 days ago
« earlier      
*ql 2js actor ai algebra algorithm android applicative architecture async bit blockchain build-system c categorytheory challenge clojure closure code-font color-scheme compiler computation concatenative concurrency conf config container continuation coroutine course cpp cps cryptograph cs dataabstraction database datastructure debugging dependent-type development doc-generator dotnet dsl editor effect elixir emacs encoding erikmeijer erlang errexp event-sourcing expression-problem finance fold fp fpedu fq front-end frp fsharp gadt gc generic gis git git-internal golang graphics gui haskell hs-dev hs-generic hs-webdev httpc idris impl-in-hs implementation information java javascript jit json kv lambda lazy lens linear-algebra lisp logic lua macos macro mathematics memory misclang modulesystem monad monoid mp music mvc network nix numbertheory ocaml oop organize os parallelism parametricity parsercombinator parsing people physics pkgm pl pprint processcalculus programming purescript python quickcheck quine racket rb-webdev react recursion-schemes regex research rpc ruby rust rx scala scheme scicomp scmimpl scraping semantics serialization server shell sicp slideshow sml sorting staticgen statistics stm storage stream sysadmin sysprog tabular testing tex thread timeline trampoline tutorial tvc type typeclass typography unix verification virtualization vision visualization vm webapi webapp webarch xmonad

Copy this bookmark: