Other computer science/programming | Lobsters

5

Call for Papers | EuroBSDcon 2018 compsci dragonflybsd event freebsd netbsd openbsd unix 2018.eurobsdcon.org
via sevan 19 hours ago | cached | no comments

0
4

ForwardCom: Forward compatible computer system assembly compsci forwardcom.info
via calvin 25 hours 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 days 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 6 days ago | cached | no comments

0
1

A Tale of Two Fibonacci Lambda Functions compsci python reddit.com
via adjohn 8 days ago | cached | 4 comments

4
2

Help needed: Static typing and algebra ☶ compilers compsci math plt
authored by HenriTuhola 9 days ago | 1 comment

1
14

Papers from the Lost Culture of Array Languages apl compilers compsci programming prog21.dadgum.com
via mfeathers 10 days ago | cached | 5 comments

5
10

MirBSD Korn Shell on Jehanne ☶ c compsci distributed unix mirbsd.org
authored by Shamar 10 days ago | cached | 2 comments

2
7

Software Testing as Species Discovery (statistical properties of fuzzing campaigns) ☶ compsci math testing arxiv.org
via koomi 11 days ago | cached | 2 comments

2
7

Automatic Protoboard Layout from Circuit Schematics (2013) ☶ compsci hardware dspace.mit.edu
via nickpsecurity 11 days ago | cached | no comments

0
1

Fantas, Eel, and Specification (Fantasy Land Javascript) compsci javascript tomharding.me
via friendlysock 13 days ago | cached | no comments

0
10

(Some of) my problems with correctness research compsci formalmethods practices drmaciver.com
via mfeathers 14 days 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 14 days ago | cached | 3 comments

3
5

Type-and-Example-Directed Program Synthesis (2015) ☶ pdf compsci formalmethods ml cis.upenn.edu
via nickpsecurity 14 days ago | cached | 2 comments

2
10

Consensus Protocols: Path to Atomic Broadcast compsci distributed medium.com
authored by ifesdjeen 14 days ago | cached | no comments

0
37

Fuchsia is not Linux compsci unix fuchsia.googlesource.com
via nhooyr 15 days ago | cached | 45 comments

45
1

Making real-time collaboration over CloudKit and P2P networks possible using CRDTs and Swift. compsci distributed mobile swift github.com
authored by archagon 16 days ago | cached | no comments

0
11

Function pipeline monoid compsci haskell typeclasses.com
via pushcx 17 days ago | cached | 6 comments

6
40

Next generation video: Introducing AV1 compsci people.xiph.org
via mjn 17 days ago | cached | no comments

0
11

A catamorphic lambda-calculus interpreter compilers compsci haskell michaelpj.com
via mpdehnel 17 days ago | cached | no comments

0
3

Some Minesweeper Conﬁgurations pdf compsci games web.mat.bham.ac.uk
via calvin 18 days ago | cached | 1 comment

1
9

PubGrub: Next-Generation Version Solving compsci programming medium.com
via jonhoo 18 days ago | cached | 5 comments

5
8

Programming with a Differentiable Forth Interpreter (2017) ☶ pdf ai compsci programming arxiv.org
via nickpsecurity 19 days ago | cached | 2 comments

2
6

Linux kernel memory-model (documentation & tooling) ☶ compsci formalmethods linux git.kernel.org
via 1amzave 20 days ago | cached | 1 comment

1
2

Ethereum's Compact Merkle Trie (Part I) clojure compsci programming nervous.io
via Yogthos 21 days ago | cached | no comments

0