Newest Stories by craigstuntz | Lobsters

3

Panel: What's Next for Our Programming Languages? video compsci infoq.com
via craigstuntz 1 year ago | cached | no comments

0
45

10 things Idris improved over Haskell haskell deque.blog
via craigstuntz 1 year ago | cached | 9 comments

9
14

Adventures in JIT compilation: Part 1 - an interpreter compilers eli.thegreenplace.net
via craigstuntz 1 year ago | cached | 2 comments

2
14

Ode to the use-after-free: one vulnerable function, a thousand possibilities c++ security scarybeastsecurity.blogspot.com
via craigstuntz 1 year ago | cached | 2 comments

2
7

PL for SE, Part 1: “Programming Languages” compilers compsci taliasplse.wordpress.com
via craigstuntz 1 year ago | cached | 3 comments

3
8

Type Tailoring compilers lisp blog.racket-lang.org
via craigstuntz 1 year ago | cached | 7 comments

7
1

Microsoft to acquire Intentional Software to expand future productivity capabilities programming blogs.microsoft.com
via craigstuntz 1 year ago | cached | 1 comment

1
5

Ring-Road Bug: Leaking Sensitive Data in Security Protocols security ringroadbug.com
via craigstuntz 1 year ago | cached | no comments

0
11

On Recursion, Continuations and Trampolines compilers lisp python eli.thegreenplace.net
via craigstuntz 1 year ago | cached | no comments

0
1

Drawing a map of distributed data systems databases visualization oreilly.com
via craigstuntz 1 year ago | cached | no comments

0
7

Playing the Game with PLT Redex compsci leafac.com
via craigstuntz 1 year ago | cached | no comments

0
9

Zero Days, Thousands of Nights: The Life and Times of Zero-Day Vulnerabilities and Their Exploits ☶ security rand.org
via craigstuntz 1 year ago | cached | 1 comment

1
1

MASScan & the Problems of Static Detection of Microarchitectural attacks security cyber.wtf
via craigstuntz 1 year ago | cached | no comments

0
8

The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm math jeremykun.com
via craigstuntz 1 year ago | cached | no comments

0
22

Java is Unsound: The Industry Perspective compilers compsci java medium.com
via craigstuntz 1 year ago | cached | 1 comment

1
7

Breaking things is easy ☶ security cleverhans.io
via craigstuntz 1 year ago | cached | 1 comment

1
4

Life Beyond Distributed Transactions - An apostate's opinion ☶ databases distributed queue.acm.org
via craigstuntz 1 year ago | cached | no comments

0
13

15 Years of Concurrency compsci dotnet joeduffyblog.com
via craigstuntz 1 year ago | cached | no comments

0
5

Classes for the Masses ☶ pdf compsci dotnet ml mlworkshop.org
via craigstuntz 1 year ago | cached | no comments

0
10

Everything Old is New Again, and a Compiler Bug c compilers debugging windows randomascii.wordpress.com
via craigstuntz 1 year ago | cached | no comments

0
29

The new and improved programming languages zoo compilers compsci ml math.andrej.com
via craigstuntz 1 year ago | cached | 5 comments

5
3

Debugging unfamiliar code in an unfamiliar language using an unfamiliar IDE c debugging bitfunnel.org
via craigstuntz 1 year ago | cached | no comments

0
2

Foundations of Session Types and Behavioural Contracts ☶ pdf compsci dl.acm.org
via craigstuntz 2 years ago | cached | no comments

0
4

Analyzing Programs with Z3 video compsci youtube.com
via craigstuntz 2 years ago | cached | no comments

0
14

What Template Haskell gets wrong and Racket gets right haskell lisp blog.ezyang.com
via craigstuntz 2 years ago | cached | 2 comments

2