Newest Stories by craigstuntz | Lobsters

3

Talking Machines: Human Conversation About Machine Learning audio compsci math thetalkingmachines.com
via craigstuntz 2 years ago | cached | 4 comments

4
25

Type Theory Reading Group - Let's Make This a Thing! ☶ math meta
authored by craigstuntz 2 years ago | 30 comments

30
4

Practical Attacks Against BouncyCastle and Oracle JCE Elliptic Curve Implementations math security web-in-security.blogspot.com
via craigstuntz 2 years ago | cached | no comments

0
20

Category Theory: A Gentle Introduction pdf math logicmatters.net
via craigstuntz 2 years ago | cached | 3 comments

3
4

Vulcan: A JavaScript Automated Proof System javascript math rmarcus.info
via craigstuntz 2 years ago | cached | no comments

0
14

Understanding Philae’s wake-up: behind the scenes with the Philae team hardware science blogs.esa.int
via craigstuntz 2 years ago | cached | no comments

0
2

A New Design for Cryptography’s Black Box (indistinguishability obfuscation) compsci math privacy security quantamagazine.org
via craigstuntz 2 years ago | cached | no comments

0
6

Linear Algebra: What matrices actually are math nolaymanleftbehind.wordpress.com
via craigstuntz 3 years ago | cached | no comments

0
11

Crash-tolerant data storage compsci news.mit.edu
via craigstuntz 3 years ago | cached | 11 comments

11
10

Optimising Garbage Collection Overhead in Sigma haskell simonmar.github.io
via craigstuntz 3 years ago | cached | 1 comment

1
6

The Itanium processor, part 1: Warming up (Raymond Chen kicks off a two week series) hardware blogs.msdn.com
via craigstuntz 3 years ago | cached | 3 comments

3
6

Cache Efficient Functional Algorithms, by Guy E. Blelloch and Robert Harper ☶ pdf compsci cs.cmu.edu
via craigstuntz 3 years ago | cached | no comments

0
8

Gradual Certified Programming in Coq pdf compsci arxiv.org
via craigstuntz 3 years ago | cached | no comments

0
9

Logic Proofs with Coq, Agda, and Idris compsci math blog.cppcabrera.com
via craigstuntz 3 years ago | cached | no comments

0
11

Functionality, Mutability & Non-Determinism in Type Theory compsci math philosophy jonmsterling.com
via craigstuntz 3 years ago | cached | no comments

0
5

Moving Fast with Software Verification pdf mobile practices research.facebook.com
via craigstuntz 3 years ago | cached | 1 comment

1
6

Interview with Mozilla's Aaron Turon rust pl-enthusiast.net
via craigstuntz 3 years ago | cached | no comments

0
5

Developing Provably-Correct Software Using Formal Methods compsci infoq.com
via craigstuntz 3 years ago | cached | no comments

0
2

LangSec: Recognition, Validation, and Compositional Correctness for Real World Security pdf security langsec.org
via craigstuntz 3 years ago | cached | no comments

0
3

Cooper Union Sends Acceptance Letters for Apparently Fictitious Computer Science Program pdf compsci dropbox.com
via craigstuntz 3 years ago | cached | no comments

0
20

Hidden backdoor API to root privileges in Apple OS X mac security truesecdev.wordpress.com
via craigstuntz 3 years ago | cached | 6 comments

6
16

The Null Process: Because sometimes no process is worse than bad process ☶ practices kateheddleston.com
via craigstuntz 3 years ago | cached | 1 comment

1
4

Markov Chain Monte Carlo Without all the Bullshit math jeremykun.com
via craigstuntz 3 years ago | cached | no comments

0
7

The Importance of Mathematics Courses in Computer Science Education compsci math devlinsangle.blogspot.com
via craigstuntz 3 years ago | cached | no comments

0
17

Falso : A proof of false in Coq compsci math satire github.com
via craigstuntz 3 years ago | cached | 5 comments

5

<< Page 2 | Page 4 >>