« earlier | later » Page 38 of 511
Processing-style live coding environment. This'd be a fun tool to use for teaching CMP103...
to graphics live-coding programming software teaching ... on 14 October 2016
Perspectives Project | Connect securely to https websites – Blog and info for the Perspectives project edit / delete
Certificate notary service -- the idea being both to detect forged (but valid) certificates, and to provide trust in self-signed certs.
to ca certificate notary security tls ... on 14 October 2016
Lightweight fork-join concurrency in C.
to c concurrency coroutine lightweight-processes parallel ... on 14 October 2016
Geopolitical Hedging as a Service | Jon Bruner edit / delete
"It’s possible to force [Google Maps and MS maps] to display the map corresponding to a particular country, though, and I’ve done that here in order to compare the maps that they serve to different constituencies."
to amusements maps politics ... on 14 October 2016
Lock-free programming for the masses · KC Sivaramakrishnan edit / delete
"We use take l_fork <*> take r_fork to atomically take both of the forks." Reagents in Multicore OCaml -- which are semantically (more or less?) equivalent to the multiway barriers that Neil implemented in CHP.
to concurrency multiway ocaml reagents synchronisation ... on 14 October 2016
Bjarne Stroustrup's frequently asked questions on C++11 (and later) features -- so lots of interesting detail about why particular design choices were made.
to c++ c++11 language-design ... on 14 October 2016
Capsicum Implementation Status edit / delete
I keep thinking "wouldn't it be nice if someone did capability-based security in Unix userspace" and then forgetting that this project already exists...
to capability capsicum security unix ... on 14 October 2016
F# syntax: indentation and verbosity | F# for fun and profit edit / delete
This is a more useful description of how F#'s indentation-based syntax works than the manual.
to f language-design ocaml syntax ... on 14 October 2016
Haskell for all: Scrap your type classes edit / delete
"What I'm about to propose is that all Haskell type class programming can (and should) be implemented purely at the value level using a simple and ordinary code transformation." Well, yes, but the resulting code is HORRIBLE...
to haskell language-design typeclass ... on 14 October 2016
A pretty way of visualising profiler output.
to flame graph performance profiling visualisation ... on 14 October 2016
« earlier | later » Page 38 of 511
tasty by Adam Sampson.