mbrodersen
- Karma
- 2,349
- Created
- February 28, 2013 (13y ago)
- Submissions
- 0
- Hacker-Proof Code Confirmed (2016) (quantamagazine.org)
- The Jovial Programming Language (en.wikipedia.org)
- Modernising B-2 Spirit Bomber Software Systems (2009) (semdesigns.com)
- End-to-End Verification of ARM Processors (2016) [pdf] (alastairreid.github.io)
- Hacker-Proof Code Confirmed (2016) (quantamagazine.org)
- Using Lightweight Formal Methods (2021) (dl.acm.org)
- The Programming Languages Zoo (github.com)
- Why the Soviet Computer Failed (youtube.com)
- How to turn your 2d fractal into 3D (youtube.com)
-
A friend of mine has taken over a legacy (20+ years) 100+ microservices application. And it is an absolute nightmare. The complexity of building and deploying it is the worst I have ever seen. 10x worse than then worst…
- The Dafny Programming Language (microsoft.com)
- Designing with Types (2013) (fsharpforfunandprofit.com)
- Microservices (The Reality) (2020) (youtube.com)
- Creating a GPU With C++ and an FPGA (2021) (youtube.com)
- The Lean Mathematical Library (arxiv.org)
- Why it's harder to earn more than your parents (2021) (youtube.com)
- I Wrote a C++ REPL in 20 Lines of Code (2021) (youtube.com)
- Tools we use to make our game satisfactory [video] (youtube.com)
- Microservices (In a Nutshell) (youtube.com)
- The Mysterious Life of UX Designers (youtube.com)
- Correctness Proofs of Distributed Systems (youtube.com)
- Learn You an Agda (2014) (williamdemeo.github.io)