🦞🌯 Lobster Roll

Stories by craigstuntz

Wadler's Blog: Propositions as Types (wadler.blogspot.com)
L 13 pts 3 comments by craigstuntz Mar 8, 2014 compscimath Programming Languages / CS TheoryScience / Math / PhysicsInternet / Digital Culture thread
Efficient text editing on a PDP-10 (leahneukirchen.org)
L 12 pts 0 comments by craigstuntz Oct 24, 2020 compscihistorical Programming Languages / CS TheoryCulture / Philosophy / History / Reading thread
What Type Soundness Theorem Do You Really Want to Prove? (blog.sigplan.org)
L 12 pts 2 comments by craigstuntz Oct 17, 2019 plt Programming Languages / CS TheoryScience / Math / Physics thread
Gray Failure: The Achilles’ Heel of Cloud-Scale Systems (microsoft.com)
L 12 pts 0 comments by craigstuntz Oct 10, 2019 distributedpdfscaling Data / Databases / InfrastructureProductivity / Career / Business thread
"Test-Only Development" with the Z3 Theorem Prover (blogs.teamb.com)
L 12 pts 3 comments by craigstuntz Jul 9, 2014 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
On Recursion, Continuations and Trampolines (eli.thegreenplace.net)
L 11 pts 0 comments by craigstuntz Apr 16, 2017 compilerslisppython Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Using Formal Methods to Eliminate Exploitable Bugs (usenix.org)
L 11 pts 3 comments by craigstuntz Mar 11, 2016 compscisecurity Programming Languages / CS TheorySecurity / Privacy thread
There should be a flag for "incorrect link"
L 11 pts 5 comments by craigstuntz Jan 20, 2016 meta thread
I'm thinking of [this story](https://lobste.rs/s/9bvyub). It's not off-topic or spam, but the link in the post is just wrong.
How To Use Real Computer Science in Your Day Job (youtube.com)
L 11 pts 3 comments by craigstuntz Oct 20, 2015 compscivideo Programming Languages / CS TheoryScience / Math / Physics thread
Crash-tolerant data storage (news.mit.edu)
L 11 pts 11 comments by craigstuntz Aug 24, 2015 compsci Programming Languages / CS Theory thread
Functionality, Mutability & Non-Determinism in Type Theory (jonmsterling.com)
L 11 pts 0 comments by craigstuntz Jun 15, 2015 compscimathphilosophy Programming Languages / CS TheoryScience / Math / PhysicsCulture / Philosophy / History / Reading thread
Everything Old is New Again, and a Compiler Bug (randomascii.wordpress.com)
L 10 pts 0 comments by craigstuntz Sep 16, 2016 ccompilersdebuggingwindows Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
When back doors go bad: Mind your Ps and Qs (blog.agilebits.com)
L 10 pts 1 comments by craigstuntz Jan 22, 2016 mathsecurity Security / PrivacyScience / Math / Physics thread
Optimising Garbage Collection Overhead in Sigma (simonmar.github.io)
L 10 pts 1 comments by craigstuntz Jul 28, 2015 haskell Systems / Low-Level / OSProgramming Languages / CS Theory thread
Provable Optimization with Microsoft Z3 (blogs.teamb.com)
L 10 pts 2 comments by craigstuntz Mar 6, 2015 compsci Programming Languages / CS Theory thread
Zero Days, Thousands of Nights: The Life and Times of Zero-Day Vulnerabilities and Their Exploits (rand.org)
L 9 pts 1 comments by craigstuntz Mar 9, 2017 security Security / Privacy thread
This page is the summary; click the "Download ebook for free" link in the upper right for the full, 100+ page report
Logic Proofs with Coq, Agda, and Idris (blog.cppcabrera.com)
L 9 pts 0 comments by craigstuntz Jun 18, 2015 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
What Is the Name of This Function? (blogs.teamb.com)
L 9 pts 17 comments by craigstuntz Nov 12, 2014 askmlprogramming Programming (General)Programming Languages / CS Theory thread
Type Tailoring (blog.racket-lang.org)
L 8 pts 7 comments by craigstuntz Apr 19, 2017 compilerslisp Systems / Low-Level / OSProgramming Languages / CS Theory thread
The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm (jeremykun.com)
L 8 pts 0 comments by craigstuntz Feb 27, 2017 math Programming Languages / CS TheoryScience / Math / Physics thread
Gradual Certified Programming in Coq (arxiv.org)
L 8 pts 0 comments by craigstuntz Jun 25, 2015 compscipdf Programming (General)Programming Languages / CS Theory thread
Why isn't verification standard practice? (cl.cam.ac.uk)
L 8 pts 0 comments by craigstuntz Aug 21, 2014 compscipractices Programming Languages / CS TheoryProductivity / Career / Business thread
Towards making formal methods normal: meeting developers where they are (arxiv.org)
L 7 pts 0 comments by craigstuntz Nov 3, 2020 compsciformalmethods Programming Languages / CS Theory thread
Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by specialized verification engineers. This paper considers whether it would be possible to increase adoption of formal method...
PL for SE, Part 1: “Programming Languages” (taliasplse.wordpress.com)
L 7 pts 3 comments by craigstuntz Apr 25, 2017 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread
Playing the Game with PLT Redex (leafac.com)
L 7 pts 0 comments by craigstuntz Mar 13, 2017 compsci Programming Languages / CS TheoryGaming / Retro Computing thread
Breaking things is easy (cleverhans.io)
L 7 pts 1 comments by craigstuntz Dec 16, 2016 security Security / Privacy thread
This blog post serves to introduce our new Clever Hans blog, in which we will discuss all of the many ways an attacker can break a machine learning algorithm.
An Array-Oriented Language with Static Rank Polymorphism (ccs.neu.edu)
L 7 pts 5 comments by craigstuntz Apr 14, 2016 compscipdf Programming Languages / CS Theory thread
Borg, Omega, and Kubernetes - Lessons learned from three container-management systems over a decade (queue.acm.org)
L 7 pts 0 comments by craigstuntz Mar 3, 2016 devopslinux Systems / Low-Level / OSData / Databases / InfrastructureProductivity / Career / Business thread
The Importance of Mathematics Courses in Computer Science Education (devlinsangle.blogspot.com)
L 7 pts 0 comments by craigstuntz Apr 2, 2015 compscimath Programming Languages / CS TheoryScience / Math / Physics thread
Attached by default? (Adding compile-time null safety to Eiffel) (bertrandmeyer.com)
L 7 pts 1 comments by craigstuntz May 23, 2014 compsciprogramming Programming (General)Programming Languages / CS Theory thread