Newest Stories by craigstuntz | Lobsters

1

Empathy-Driven Mathematics math betterexplained.com
via craigstuntz 2 years ago | cached | no comments

0
6

Things I learned the hard way using React Native javascript mobile rickyreusser.com
via craigstuntz 2 years ago | cached | no comments

0
6

An Array-Oriented Language with Static Rank Polymorphism pdf compsci ccs.neu.edu
via craigstuntz 2 years ago | cached | 5 comments

5
13

BuckleScript - A JavaScript Backend For the OCaml Compiler compilers javascript ml bloomberg.github.io
via craigstuntz 2 years ago | cached | no comments

0
11

Using Formal Methods to Eliminate Exploitable Bugs compsci security usenix.org
via craigstuntz 2 years ago | cached | 3 comments

3
25

Beautiful Racket preview: Make your first programming language — in one hour compsci lisp beautifulracket.com
via craigstuntz 2 years ago | cached | 5 comments

5
7

Borg, Omega, and Kubernetes - Lessons learned from three container-management systems over a decade devops linux queue.acm.org
via craigstuntz 2 years ago | cached | no comments

0
21

No Compiler - On LLVM, using C libraries from Lua, and writing software without a compiler c compilers lua msm.runhello.com
via craigstuntz 2 years ago | cached | 3 comments

3
25

How to do distributed locking distributed martin.kleppmann.com
via craigstuntz 2 years ago | cached | 5 comments

5
18

Against Security Nihilism security noncombatant.org
via craigstuntz 2 years ago | cached | 6 comments

6
10

When back doors go bad: Mind your Ps and Qs math security blog.agilebits.com
via craigstuntz 2 years ago | cached | 1 comment

1
1

Synquid - program synthesis with refinement types compsci comcom.csail.mit.edu
via craigstuntz 2 years ago | cached | no comments

0
11

There should be a flag for "incorrect link" ☶ meta
authored by craigstuntz 2 years ago | 5 comments

5
35

The Haskell Rewrite ("...the motivation for moving away from Racket") compilers haskell lisp oden-lang.org
via craigstuntz 2 years ago | cached | 5 comments

5
41

Functional Programming, Abstraction, and Names math programming stephendiehl.com
via craigstuntz 2 years ago | cached | 14 comments

14
4

Remote Memory Vulnerability in node.js websockets ☶ javascript security nodesecurity.io
via craigstuntz 2 years ago | cached | no comments

0
6

Getting to Zero Exceptions programming testing yellerapp.com
via craigstuntz 2 years ago | cached | no comments

0
1

Model Inversion Attacks that Exploit Confidence Information and Basic Countermeasures pdf security cs.cmu.edu
via craigstuntz 2 years ago | cached | no comments

0
28

A riddle wrapped in a curve (on the NSA's mysterious decision to deep-six Suite B) security blog.cryptographyengineering.com
via craigstuntz 2 years ago | cached | 2 comments

2
15

Burritos for the Hungry Mathematician pdf math satire cs.cmu.edu
via craigstuntz 2 years ago | cached | 1 comment

1
11

How To Use Real Computer Science in Your Day Job video compsci youtube.com
authored by craigstuntz 2 years ago | cached | 3 comments

3
6

Why the name red-black tree? ☶ compsci blog.matejzavrsnik.com
via craigstuntz 2 years ago | cached | 4 comments

4
4

Directed graph traversal, orderings and applications to data-flow analysis compsci python eli.thegreenplace.net
via craigstuntz 2 years ago | cached | no comments

0
6

Fuzzing Raft for Fun and Publication distributed colin-scott.github.io
via craigstuntz 2 years ago | cached | no comments

0
28

Learning Haskell (tutorial with screencasts) haskell learn.hfm.io
via craigstuntz 2 years ago | cached | 10 comments

10

<< Page 1 | Page 3 >>