compsci
Home
Recent
Comments
Search
Login
Stories
tagged
as
compsci
– Other computer science/programming
14
Data Laced with History: Causal Trees & Operational CRDTs
compsci
distributed
mobile
swift
archagon.net
authored by
archagon
5 months ago
|
cached
|
no comments
0
4
The differences between tinkering and research (2016)
compsci
education
philosophy
science
togelius.blogspot.com
via
jonhoo
5 months ago
|
cached
|
no comments
0
2
Using Models at Runtime to Address Assurance for Self-Adaptive Systems (2014)
☶
pdf
ai
compsci
formalmethods
arxiv.org
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
5
a lambda calculus for quantum computation
compsci
programming
het.brown.edu
via
Yogthos
5 months ago
|
cached
|
no comments
0
7
Rethinking Software Design
☶
video
compsci
design
youtube.com
via
dgv
5 months ago
|
cached
|
1 comment
1
1
How sorted array process faster than Unsorted array? (in short Branch Prediction)
compsci
hardware
medium.com
authored by
neeraj
5 months ago
|
cached
|
no comments
0
9
On Ways To Agree: Links, Generals and Impossibility Problem
compsci
distributed
medium.com
authored by
ifesdjeen
5 months ago
|
cached
|
no comments
0
1
Computer Science in Every High School
compsci
education
tealsk12.org
via
molloy
5 months ago
|
cached
|
no comments
0
18
Katahdin - a programming language where the syntax and semantics are mutable at runtime
☶
compilers
compsci
plt
chrisseaton.com
via
sebastien
5 months ago
|
cached
|
16 comments
16
1
Synthesis-Based Loose Programming (2010)
☶
pdf
compsci
formalmethods
programming
pdfs.semanticscholar.org
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
50
It certainly looks bad for Uber
☶
ai
compsci
law
ideas.4brad.com
via
evaryont
5 months ago
|
cached
|
46 comments
46
0
Alan Kay's answer to Why is functional programming seen as the opposite of OOP
compsci
lisp
quora.com
via
phl
5 months ago
|
cached
|
1 comment
1
8
Why we still can’t stop plagiarism in undergraduate computer science
compsci
education
kevinchen.co
via
yumaikas
5 months ago
|
cached
|
3 comments
3
2
John Hennessy and David Patterson will receive the 2017 ACM A.M. Turing Award
compsci
person
acm.org
via
dinh
5 months ago
|
cached
|
no comments
0
5
[1803.06617] Towards an Area-Efficient Implementation of a High ILP EDGE Soft Processor
compsci
hardware
arxiv.org
via
prefork
5 months ago
|
cached
|
no comments
0
8
Persistence for the Masses: RRB-Vectors in a Systems Language (2017)
☶
pdf
c++
compsci
public.sinusoid.es
via
nickpsecurity
5 months ago
|
cached
|
9 comments
9
4
Automatic Synthesis of Distributed Protocols (2017)
pdf
compsci
distributed
formalmethods
cis.upenn.edu
via
nickpsecurity
5 months ago
|
cached
|
no comments
0
10
Software Foundations - Vol 1-3
pdf
compsci
math
softwarefoundations.cis.upenn.
edu
via
animatronic
5 months ago
|
cached
|
3 comments
3
15
Ask L: Visualising the entire stack of abstractions from transistor to user
☶
ask
compsci
authored by
james
5 months ago
|
14 comments
14
10
Microkernels - The component-based operating systems
compsci
osdev
microkernel.info
via
calvin
5 months ago
|
cached
|
no comments
0
3
Various Models of Execution for Futures and Promises
compsci
distributed
programming
dist-prog-book.com
via
neonpython
5 months ago
|
cached
|
no comments
0
7
Attacking Merkle Trees with a Second Preimage Attack
☶
compsci
distributed
math
security
flawed.net.nz
via
catwell
5 months ago
|
cached
|
4 comments
4
3
Beginning Functional Programming
compsci
programming
scala
grokacademy.com
authored by
vasinov
5 months ago
|
cached
|
no comments
0
8
Message Passing and the Actor Model
compsci
distributed
programming
dist-prog-book.com
via
neonpython
5 months ago
|
cached
|
no comments
0
8
Finding the longest palindromic substring
compsci
programming
interviewcache.com
via
neonpython
5 months ago
|
cached
|
1 comment
1
<< Page 6
|
Page 8 >>