Run serverless workloads with fast cold starts on bare-metal servers, anywhere in the world

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

A friendly programming language from the future

🎓 Path to a free self-taught education in Computer Science!

Bulletproofs are short non-interactive zero-knowledge proofs that require no trusted setup

⭐️ Companies that don't have a broken hiring process

Everything you need to prepare for your technical interview

Tensorlang, a differentiable programming language based on TensorFlow

TextTeaser is an automatic summarization algorithm.