Newest Stories by ika
Home
Recent
Comments
Search
Login
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