Tagged | cs-theory

• Video: Understanding Queuing Theory and Software Performance

  (8thlight.com)

  #software-engineering #algorithms #cs-theory

• HE-MAN: The Homomorphic Encryption Mechanism for Approximating Noise

  (galois.com)

  #research #math #cryptography #cs-theory

• Open sourcing Winterfell: A STARK prover and verifier

  (engineering.fb.com)

  #block-chain #research #cs-theory #computation

• Public Tech Talk: “Gillian Verification of JavaScript and C”

  (galois.com)

  #programming-languages #research #cs-theory #formal-verification

• Presentation: Rethinking Blockchain Contract Development

  (www.infoq.com)

  #algorithms #block-chain #cs-theory #haskell

• Quantum Supremacy Using a Programmable Superconducting Processor

  (ai.googleblog.com)

  #hardware #research #quantum-computing #cs-theory #computation

• Improving Quantum Computation with Classical Machine Learning

  (ai.googleblog.com)

  #machine-learning #research #quantum-computing #cs-theory

• Zoncolan: How Facebook uses static analysis to detect and prevent security issues

  (code.fb.com)

  #programming-languages #security #parsing #cs-theory

• The Quantum Menace

  (blog.cloudflare.com)

  #hardware #math #quantum-computing #cs-theory

• The Quantum Menace

  (blog.cloudflare.com)

  #research #quantum-computing #cs-theory #computation

• Inside the Entropy

  (blog.cloudflare.com)

  #math #encryption #cs-theory #computation

• Presentation: Designing Distributed Systems with TLA+

  (www.infoq.com)

  #distributed-systems #systems #cs-theory

• How programming languages have evolved

  (www.thoughtworks.com)

  #programming-languages #programming-paradigm #history #cs-theory

• A Guide to Post-Quantum Cryptography

  (hackernoon.com)

  #cryptography #quantum-computing #cs-theory

• What are Zero Knowledge Proofs?

  (towardsdatascience.com)

  #block-chain #cryptography #cs-theory #zero-knowledge

• Protocols are Important: Martin Thompson at QCon London

  (www.infoq.com)

  #software-engineering #software-design #cs-theory #protocols

• Why Capacity Planning Needs Queueing Theory (without the hard math)

  (hackernoon.com)

  #algorithms #performance #networking #cs-theory

• The Power of Types in Idris

  (www.azavea.com)

  #programming-languages #programming-paradigm #cs-theory #type-system

• Presentation: From Quadcopters to Helicopters: Formal Verification for Safer Vehicles

  (www.infoq.com)

  #software-engineering #practices #cs-theory #formal-verification

• Presentation: Learning to Love Type Systems

  (www.infoq.com)

  #programming-languages #frontend #cs-theory #type-system

• Presentation: Decoding Distributed Systems

  (www.infoq.com)

  #distributed-systems #backend #systems #cs-theory

• Exploring Distributed System Theory: Availability and Consistency

  (hackernoon.com)

  #algorithms #distributed-systems #availability #cs-theory

• What’s the Difference Between Implicit vs. Explicit Programming?

  (blog.codeship.com)

  #software-engineering #programming-languages #cs-theory

• Intro to PCFGs, left-most derivations, Chomsky NF, CKY algorithm and many other scary words…

  (towardsdatascience.com)

  #compilers #parsing #cs-theory

• An Introduction to Computability Theory and Complexity

  (www.toptal.com)

  #cs-theory #turing-machines #computation