Newest Stories by craigstuntz
Home
Recent
Comments
Search
Login
15
12-minute Mandelbrot: fractals on a 50 year old IBM 1401 mainframe
assembly
hardware
righto.com
via
craigstuntz
3 years ago
|
cached
|
3 comments
3
10
Provable Optimization with Microsoft Z3
compsci
blogs.teamb.com
via
craigstuntz
3 years ago
|
cached
|
2 comments
2
4
The Right Stuff of Emptiness - How ∅ versus {ε} can be a life-and-death difference
compsci
math
rjlipton.wordpress.com
via
craigstuntz
3 years ago
|
cached
|
no comments
0
2
Machine Learning Classification over Encrypted Data
compsci
math
security
blog.acolyer.org
via
craigstuntz
3 years ago
|
cached
|
no comments
0
1
Learning a single-variable polynomial, or the power of adaptive queries
math
jeremykun.com
via
craigstuntz
3 years ago
|
cached
|
no comments
0
17
Rhine, "a Clojure-inspired Lisp on LLVM"
lisp
github.com
via
craigstuntz
3 years ago
|
cached
|
no comments
0
9
What Is the Name of This Function?
ask
ml
programming
blogs.teamb.com
via
craigstuntz
3 years ago
|
cached
|
17 comments
17
3
Exploring TLA+ with two-phase commit
compsci
databases
brooker.co.za
via
craigstuntz
3 years ago
|
cached
|
no comments
0
1
When Greedy Algorithms are Perfect: the Matroid
compsci
math
programming
jeremykun.com
via
craigstuntz
4 years ago
|
cached
|
no comments
0
8
Why isn't verification standard practice?
compsci
practices
cl.cam.ac.uk
via
craigstuntz
4 years ago
|
cached
|
no comments
0
12
"Test-Only Development" with the Z3 Theorem Prover
compsci
math
blogs.teamb.com
via
craigstuntz
4 years ago
|
cached
|
3 comments
3
18
The Implementation of Functional Programming Languages, by Simon Peyton Jones
☶
compsci
haskell
math
research.microsoft.com
via
craigstuntz
4 years ago
|
cached
|
2 comments
2
7
Attached by default? (Adding compile-time null safety to Eiffel)
compsci
programming
bertrandmeyer.com
via
craigstuntz
4 years ago
|
cached
|
1 comment
1
12
Wadler's Blog: Propositions as Types
compsci
math
wadler.blogspot.com
via
craigstuntz
4 years ago
|
cached
|
3 comments
3
2
IEEE, Springer withdraw more than 120 gibberish papers
compsci
math
science
nature.com
via
craigstuntz
4 years ago
|
cached
|
1 comment
1
1
Hypertext Transfer Protocol version 2.0 (draft)
networking
web
tools.ietf.org
via
craigstuntz
5 years ago
|
cached
|
no comments
0
<< Page 3