Afleveringen
-
We revisit serverless programming and the Nimbus paper by discussing the old timey computing that the state of serverless development reminds us of, as well as why all programming languages go through this experience as they grow, and what potential future directions for cloud computing might look like.
Nimbus: Improving the Developer Experience for Serverless ApplicationsStop Writing Dead Programs (Strange Loop 2022)Punched Card (Wikipedia)Job Control Language (Wikipedia)IBM RPG (Wikipedia)Building Maintainable and Fault Tolerant MySQL Applications with Perl (Historical, Open Source Database Summit, Providence, RI, 2001)OpenTelemetryHoneycombLog4Shell (Wikipedia)Zelle (Payment System)Cloud Programming Simplified: A Berkeley View on Serverless ComputingServerless Computing: Design, Implementation, and PerformanceServerless Computing: One Step Forward, Two Steps BackUnison (programming language)Erlang (programming language)Durable Functions Toward Sustainable Serverless ComputingSustainability Efficiency Challenges of Modern IT Architectures - A Quality Model for Serverless Energy FootprintUnderstanding the Rust borrow checker How to remote debug Azure functionsXSLT (Wikipedia)Dataflow programming (Wikipedia)Hot code reloading with Erlang and rebar3Declarative programming (Wikipedia)DPL: A Language for GDPR EnforcementOTP Design PrinciplesHow To Avoid Cascading Failures in Distributed SystemsThe rr DebuggerIntroduction AMBROSIA: a new platform for reliable distributed applications without the hassleTime Travel DebuggingVirtual TimeDeterministic Replay: A SurveyOther notes:
Chris got a new mic and wrote a theme song for the podcast so we aren't using a GarageBand loop anymore. -
QuickCheck: a lightweight tool for random testing of Haskell programs
Soft Updates: A Technique for Eliminating Most Synchronous Writes in the Fast Filesystem
Write ahead log
Fuzzing: a survey
SAGE: whitebox fuzzing for security testing
Intelligent REST API data fuzzing
A hybrid analysis to detect Java serialisation vulnerabilities
Jsongen: a quickcheck based library for testing JSON web services
Property-Based Testing of JSON Based Web Services
Turning web services descriptions into quickcheck models for automatic testing
Hypothesis
Erlang QuickCheck
Software Testing with QuickCheck
John Hughes - Don't Write Tests
John Hughes - QuickCheck Evolution
John Hughes: Testing with QuickCheck
John Hughes - Testing the Hard Stuff and Staying Sane
John Hughes - How to specify it! A guide to writing properties of pure functions | Code Mesh LDN 19
Testing Eventual Consistency in Riak - YouTube
PARTISAN: Scaling the Distributed Actor Runtime
Dealing with a corrupt SSTable in Cassandra
MODELING EVENTUAL CONSISTENCY DATABASES WITH QUICKCHECK
Riak DT
Applied Monotonicity: A Brief History of CRDTs in Riak
Using temporal relations to specify and test an instant messaging server
Effective Concurrency Testing for Distributed Systems
Jepsen
Clojure test.check
PropER
PULSE tutorial
Finding race conditions in Erlang with QuickCheck and PULSE
CORFU: A Shared Log Design for Flash Clusters
CORFU: A distributed shared log
-
Zijn er afleveringen die ontbreken?
-
Nimbus: Improving the Developer Experience for Serverless Applications
Nimbus at ICSE
ICSE NIER CfP
Nimbus: Improving the Developer Experience for Serverless Applications [preprint]
Nimbus: Improving the Developer Experience for Serverless Applications [video]
Towards a Solution to the Red Wedding Problem
Reactive Machine [GitHub]
Durable functions: semantics for stateful serverless
Netherite: efficient execution of serverless workflows
Formal foundations of serverless computing
A Language-based Serverless Function Accelerator
Firecracker: Lightweight Virtualization for Serverless Applications
Serverless in the Wild: Characterizing and Optimizing the Serverless Workload at a Large Cloud Provider
Faa$T: A Transparent Auto-Scaling Cache for Serverless Applications
Palette Load Balancing: Locality Hints for Serverless Functions
Cold Start in Serverless Computing: Current Trends and Mitigation Strategies
Prebaking Functions to Warm the Serverless Cold Start
WLEC: A Not So Cold Architecture to Mitigate Cold Start Problem in Serverless Computing
