compsci - Other computer science/programming | Lobsters

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 >>