noch

82 ms·

931.
Inside Racket Seminar: Matthew Flatt on the Bytecode Compiler (2016) [video](youtube.com)
63 points by noch 9y ago|1 comments
932.
An Introduction to Algorithms and Datastructures in SML(homepages.inf.ed.ac.uk)
3 points by noch 9y ago|0 comments
933.
Syntax highlighting for `less`, powered by Emacs(github.com)
1 points by noch 9y ago|0 comments
934.
Dependently Typed State Machines [pdf](idris-lang.org)
1 points by noch 9y ago|0 comments
935.
by noch 9y ago
> kitty is heavy […] Please file a bug report: https://github.com/kovidgoyal/kitty/issues Kitty aims to offload rendering to the GPU so if your CPU is being hammered that might indicate a problem either in Kitt
936.
How to Retain History When Moving Files Between Git Repositories(blogs.s-osg.org)
3 points by noch 9y ago|0 comments
937.
Extensions to the xterm protocol(github.com)
3 points by noch 9y ago|4 comments
938.
by noch 9y ago
You can collect much of this data for yourself on a GNU Linux system by using the cgroups feature of the Linux kernel which is more powerful than nice https://www.kernel.org/doc/Documentation/cgroup-v1/cgr
939.
A Red-Black Tree Implementation with Provable Properties(fstaals.net)
3 points by noch 9y ago|0 comments
940.
Rust for Semanticists(asaj.org)
3 points by noch 9y ago|0 comments
941.
A Modern Implementation of the Common Lisp LOOP Macro(youtube.com)
1 points by noch 9y ago|0 comments
942.
Programmatic Manipulation of Lisp Type Specifiers(youtube.com)
2 points by noch 9y ago|0 comments
943.
Edward Kmett, “Efficiently Coding for Modern CPUs”(youtube.com)
2 points by noch 9y ago|0 comments
944.
Libre Graphics Magazine ends its run (2016)(libregraphicsmag.com)
1 points by noch 9y ago|0 comments
945.
by noch 9y ago
Indeed: Benjamin Pierce's lectures on "Software Foundations in Coq" https://www.youtube.com/playlist?list=PLGCr8P_YncjUT7gXUVJWS...
946.
A formalization of category theory in Coq(github.com)
109 points by noch 9y ago|33 comments
947.
Computational Category Theory(cs.man.ac.uk)
92 points by noch 9y ago|11 comments
948.
Conor McBride – What are Types for, or are they only Against?(youtube.com)
1 points by noch 9y ago|0 comments
949.
One VM to Rule Them All, One VM to Bind Them(youtube.com)
4 points by noch 9y ago|0 comments
950.
Systemd-cryptsetup: Booting with encrypted root partition fails instantly(github.com)
58 points by noch 9y ago|22 comments
951.
Advice for Writing Small Programs in C(youtube.com)
4 points by noch 9y ago|0 comments
952.
An intro to web components with otters(meowni.ca)
4 points by noch 9y ago|0 comments
953.
The Software Languages Book(softlang.org)
2 points by noch 9y ago|0 comments
954.
Software Foundations(softwarefoundations.cis.upenn.edu)
2 points by noch 9y ago|0 comments
955.
Learn Computer Graphics from Scratch(scratchapixel.com)
2 points by noch 9y ago|0 comments
956.
Make your time count(makeitnew.io)
1 points by noch 9y ago|0 comments
957.
Garbage collection in V8, an illustrated guide(medium.com)
2 points by noch 9y ago|0 comments
958.
A tiny GCC front end(thinkingeek.com)
2 points by noch 9y ago|0 comments
959.
Remacs is an incremental port of Emacs' C code to Rust(wilfred.me.uk)
3 points by noch 9y ago|0 comments
960.
Developing Games with Ruby(leanpub.com)
5 points by noch 9y ago|0 comments

More ›