compsci
Home
Recent
Comments
Search
Login
Stories
tagged
as
compsci
– Other computer science/programming
6
bhgv/Inferno-OS_Android - an Android port of Inferno OS
android
compsci
distributed
osdev
release
github.com
via
sevan
6 months ago
|
cached
|
2 comments
2
5
On the P vs NP question: a proof of inequality
compsci
arxiv.org
via
lainon
6 months ago
|
cached
|
5 comments
5
12
The P-versus-NP page
compsci
win.tue.nl
via
lainon
6 months ago
|
cached
|
2 comments
2
8
Synthesis - An Efficient Implementation of Fundamental Operating System Services (1992)
☶
pdf
assembly
compsci
performance
pdfs.semanticscholar.org
via
dbremner
6 months ago
|
cached
|
no comments
0
14
To Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus with Animated Reduction
compsci
dkeenan.com
via
pushcx
6 months ago
|
cached
|
no comments
0
13
Let’s Not Forget the ‘science’ in ‘computer Science’
compsci
science
cacm.acm.org
via
quobit
6 months ago
|
cached
|
1 comment
1
49
Rust's ownership model formally proven with Coq
☶
compsci
formalmethods
rust
dl.acm.org
via
klingtnet
7 months ago
|
cached
|
3 comments
3
4
CCHR: The Fastest CHR Implementation, in C (2007)
c
compilers
compsci
lirias.kuleuven.be
via
nickpsecurity
7 months ago
|
cached
|
3 comments
3
9
POPL 2018 Tutorial (Computational Type Theory)
compsci
existentialtype.wordpress.com
via
asthasr
7 months ago
|
cached
|
5 comments
5
13
A practitioner’s guide to reading programming languages papers
compsci
plt
blog.acolyer.org
via
calvin
7 months ago
|
cached
|
no comments
0
3
Alan Turing’s Manual for the Ferranti Mk. I
pdf
book
compsci
historical
panix.com
via
molloy
7 months ago
|
cached
|
1 comment
1
3
Stratified Synthesis: Automatically Learning the x64 Instruction Set (2016)
pdf
assembly
compsci
raw.githubusercontent.com
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
2
Genetic Programming + Proof Search = Automatic Improvement (2015)
pdf
ai
compsci
formalmethods
scala
link.springer.com
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
6
Natural Synthesis of Provably-Correct, Data-Structure Manipulations (2017)
pdf
compsci
formalmethods
programming
engineering.purdue.edu
via
nickpsecurity
7 months ago
|
cached
|
1 comment
1
2
FlexSC: Flexible System Call Scheduling with Exception-Less System Calls (2010)
pdf
compsci
usenix.org
via
rzhikharevich
7 months ago
|
cached
|
no comments
0
6
Hyperkernel: Push-Button Verification of an OS Kernel (2017)
pdf
compsci
formalmethods
unix
homes.cs.washington.edu
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
16
Using Self-Organizing Maps to solve the Traveling Salesman Problem
show
ai
compsci
diego.codes
authored by
DiegoVicente
7 months ago
|
cached
|
1 comment
1
2
“Dancing Links” pre-fascicle 5c of Knuth's TAOCP
book
compsci
math
www-cs-faculty.stanford.edu
via
derek-jones
7 months ago
|
cached
|
no comments
0
4
The Natural Lambda
compsci
cbloomrants.blogspot.com
via
pushcx
7 months ago
|
cached
|
no comments
0
1
Bela: an embedded platform for audio and sensor processing
☶
pdf
slides
compsci
hardware
linux
geeklan.co.uk
via
sevan
7 months ago
|
cached
|
no comments
0
1
Constraint Handling Rules: What Else? (2015)
pdf
slides
compsci
programming
informatik.uni-ulm.de
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
23
My Favorite Algorithm: Linear Time Median Finding
compsci
programming
rcoh.me
via
calvin
7 months ago
|
cached
|
1 comment
1
9
Ridiculously fast base64 encoding and decoding
compsci
performance
lemire.me
via
calvin
7 months ago
|
cached
|
2 comments
2
8
Flux - Visualizing Haskell Programs as Data-Flow Diagrams (2016)
compsci
haskell
programming
visualization
uni-ulm.de
via
nickpsecurity
7 months ago
|
cached
|
no comments
0
11
A Primer on Boolean Satisfiability
compsci
math
homes.cs.washington.edu
via
hwayne
7 months ago
|
cached
|
no comments
0
<< Page 8
|
Page 10 >>