compsci
Home
Recent
Comments
Search
Login
Stories
tagged
as
compsci
– Other computer science/programming
29
Introducing scdoc, a man page generator
compsci
unix
sircmpwn.github.io
via
rjc
3 months ago
|
cached
|
23 comments
23
5
Common Knowledge Revisited (1995)
pdf
compsci
cs.cornell.edu
via
jtfmumm
3 months ago
|
cached
|
no comments
0
1
The circuit less traveled
☶
video
compsci
culture
historical
fosdem.org
via
sevan
3 months ago
|
cached
|
no comments
0
4
Refal: Programming with Pattern Matching and Term Rewriting (1968)
compsci
historical
programming
en.wikipedia.org
via
nickpsecurity
3 months ago
|
cached
|
2 comments
2
4
Yad Studio: Markov Algorithms IDE and Interpreter
compsci
programming
yad-studio.github.io
via
nickpsecurity
3 months ago
|
cached
|
1 comment
1
15
Ask: Algorithmic complexity in documentation
☶
ask
compsci
authored by
msingle
3 months ago
|
20 comments
20
1
Forking fixes in the context of debuggers
compsci
debugging
netbsd
blog.netbsd.org
via
sevan
3 months ago
|
cached
|
no comments
0
2
Announcing Google Summer of Code 2018 projects
compsci
netbsd
blog.netbsd.org
via
sevan
3 months ago
|
cached
|
no comments
0
1
Simulation of Biology
art
compsci
education
science
cc.gatech.edu
via
animatronic
4 months ago
|
cached
|
no comments
0
14
Lessons from Building Static Analysis Tools at Google
compsci
cacm.acm.org
via
Dawny33
4 months ago
|
cached
|
12 comments
12
1
When do changes induce fixes? (On Fridays.) (2005)
pdf
compsci
programming
vcs
st.cs.uni-saarland.de
via
gioele
4 months ago
|
cached
|
no comments
0
9
Call for Papers | EuroBSDcon 2018
compsci
dragonflybsd
event
freebsd
netbsd
openbsd
unix
2018.eurobsdcon.org
via
sevan
4 months ago
|
cached
|
no comments
0
4
ForwardCom: Forward compatible computer system
assembly
compsci
forwardcom.info
via
calvin
4 months ago
|
cached
|
no comments
0
6
Can Logic Programming Execute as Fast as Imperative Programming? (1990)
☶
pdf
compilers
compsci
performance
programming
eecs.berkeley.edu
via
nickpsecurity
4 months ago
|
cached
|
6 comments
6
3
Compatible Time-Sharing System (1961-1973) Fiftieth Anniversary Commemorative Overview [2011-2012]
pdf
compsci
historical
multicians.org
via
trn
4 months ago
|
cached
|
no comments
0
1
A Tale of Two Fibonacci Lambda Functions
compsci
python
reddit.com
via
adjohn
4 months ago
|
cached
|
4 comments
4
2
Help needed: Static typing and algebra
☶
compilers
compsci
math
plt
authored by
HenriTuhola
4 months ago
|
1 comment
1
14
Papers from the Lost Culture of Array Languages
apl
compilers
compsci
programming
prog21.dadgum.com
via
mfeathers
4 months ago
|
cached
|
5 comments
5
10
MirBSD Korn Shell on Jehanne
☶
c
compsci
distributed
unix
mirbsd.org
authored by
Shamar
4 months ago
|
cached
|
2 comments
2
7
Software Testing as Species Discovery (statistical properties of fuzzing campaigns)
☶
compsci
math
testing
arxiv.org
via
koomi
4 months ago
|
cached
|
2 comments
2
7
Automatic Protoboard Layout from Circuit Schematics (2013)
☶
compsci
hardware
dspace.mit.edu
via
nickpsecurity
4 months ago
|
cached
|
no comments
0
1
Fantas, Eel, and Specification (Fantasy Land Javascript)
compsci
javascript
tomharding.me
via
friendlysock
4 months ago
|
cached
|
no comments
0
10
(Some of) my problems with correctness research
compsci
formalmethods
practices
drmaciver.com
via
mfeathers
4 months ago
|
cached
|
no comments
0
4
Formal Specification and Verification of Interactive Systems with Plasticity for Nuclear Plants
☶
compsci
formalmethods
programming
tel.archives-ouvertes.fr
via
nickpsecurity
4 months ago
|
cached
|
3 comments
3
5
Type-and-Example-Directed Program Synthesis (2015)
☶
pdf
compsci
formalmethods
ml
cis.upenn.edu
via
nickpsecurity
4 months ago
|
cached
|
2 comments
2
<< Page 4
|
Page 6 >>