Tasty » Everybody's bookmarks

Praxis LIVE edit / delete

Processing-style live coding environment. This'd be a fun tool to use for teaching CMP103...

by ats ... 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.

by ats ... to ca certificate notary security tls ... on 14 October 2016

libdill edit / delete

Lightweight fork-join concurrency in C.

by ats ... 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."

by ats ... 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.

by ats ... to concurrency multiway ocaml reagents synchronisation ... on 14 October 2016

C++11 FAQ edit / delete

Bjarne Stroustrup's frequently asked questions on C++11 (and later) features -- so lots of interesting detail about why particular design choices were made.

by ats ... 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...

by ats ... 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.

by ats ... 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...

by ats ... to haskell language-design typeclass ... on 14 October 2016

Flame Graphs edit / delete

A pretty way of visualising profiler output.

by ats ... to flame graph performance profiling visualisation ... on 14 October 2016