Tasty » Everybody's bookmarks

CRIU edit / delete

"Using this tool, you can freeze a running application (or part of it) and checkpoint it as a collection of files on disk. You can then use the files to restore the application and run it exactly as it was during the time of freeze."

by ats ... to checkpoint linux software ... on 14 October 2016

WhyTheName - Debian Wiki edit / delete

"An IT-etymology/linuxguistics page for people wondering "how come the package yasysmand-cling has such a strange name?""

by ats ... to debian naming open-source software ... on 14 October 2016

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