Newest Stories by ika | Lobsters

6

Life, Death and Register Coloring (in Haskell) assembly haskell programming github.com
via ika 3 years ago | cached | 1 comment

1
21

CakeML - A bootstrapping verified ML compiler compilers programming cakeml.org
via ika 3 years ago | cached | 3 comments

3
3

Frenchman is most thanked computer scientist ☶ compsci culture nature.com
via ika 3 years ago | cached | 1 comment

1
4

Conceptual Security Flaw in googles e2e: incompatible with Chrome Update functionality browsers design security code.google.com
via ika 4 years ago | cached | 2 comments

2
12

How to Keep Your Neighbours in Order [Conor McBride] ☶ pdf haskell math philosophy personal.cis.strath.ac.uk
via ika 4 years ago | cached | 1 comment

1
5

How does Quantum Computing work? video compsci youtube.com
via ika 4 years ago | cached | 1 comment

1
24

Scsh Reference Manual: "I did it. I did it all, by myself" - Olin Shivers culture lisp philosophy rant scsh.net
via ika 4 years ago | cached | no comments

0
17

-2000 Lines Of Code culture mac folklore.org
via ika 4 years ago | cached | 3 comments

3
5

Implementing PEGs (parsing expression grammars) using PEGs compsci javascript github.com
via ika 4 years ago | cached | 3 comments

3
4

comprehensive explanation of SQL joins ☶ databases stackoverflow.com
via ika 4 years ago | cached | no comments

0
12

The Ur/Web Manual ☶ security web enn.github.io
via ika 4 years ago | cached | no comments

0