Tweag.io
Tweag is a software innovation lab that helps deep tech startups quickly scale their engineering performance and execute on high-risk, high-reward projects with confidence. Tweag’s team of engineers are behind today’s boldest innovations in machine learning, distributed computing and biotech. Applying mathematics, computer science and the methods of open source to software engineering, Tweag stretches what’s possible for clients.
Founded by compiler writers, mathematicians and distributed systems experts from academia, Tweag is an Everything as Code company. We are the largest contributor to Haskell, the language to create the software of correctness-critical industries like computer-assisted medical advice and blockchain infrastructure tracking the ledgers of billions of humans. Our engineers invented Nix, a language to uniformly describe systems, configurations and cloud resources. We are Google’s partner to accelerate building and deploying their clients’ software using Bazel.
Our engagement model: we partner with startups and the enterprise, embedding our engineers into their teams. Recent projects include in silico simulations of human physiology, novel static analysis tools for the autopilot software that powers flying autonomous taxis, designing smart contract languages, improving the performance of third generation blockchains, or building a pricer for exotic options in investment banking.
-
Teaching Haskell...To High Schoolers!
Featuring Rohan Mehta
The story of a high school student who organized the Paradigm Conference — a conference hosted by a team of high schoolers from around the world, completely for high schoolers and all about FP programming languages that are underrepresented in high school CS curriculums.
software-development learning functional-programming haskell -
Teaching Haskell...To High Schoolers!
Featuring Rohan Mehta
The story of a high school student who organized the Paradigm Conference — a conference hosted by a team of high schoolers from around the world, completely for high schoolers and all about FP programming languages that are underrepresented in high school CS curriculums.
software-development learning functional-programming haskell -
Haskell and Category Theory at Vodafone
Featuring Rob Harrison
We're using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process. We use parallel and auto-scaling infrastructure to deliver results quicker and more importantly safer.
parallel-processing auto-scaling category-theory software-development haskell-in-industry safety financial-transactions haskell -
Live Coding a Roguelike Game
Featuring Michał J. Gajda
Michal J Gajda shares a simple way to do live coding and event sourcing for the development of a game using Haskell. This method is the product of a long effort to reduce the effort and complexity of debugging and writing interactive software, and it is recommended for all Haskell beginners!
software-development event-sourcing roguelike game-development haskell -
Should I Build My Project with rules_haskell?
Featuring Georgi Lyubenov
Has your project outgrown cabal-install or stack? Do your Haskell builds need precise integration with other build systems? Learn when rules_haskell might be the right choice for you.
software-development build-system bazel haskell -
How We Haskell: Enterprise Edition
Featuring Trevis Elser
For teams using Haskell in enterprise, the story doesn't stop at adoption. This talk looks at questions these teams may face: What choices are being made to facilitate mainstream development? What are the pain points? What tools are used? Do enterprise organizations expect things that are...
software-development haskell-ecosystem haskell -
Haskell and Category Theory at Vodafone
Featuring Rob Harrison
We're using Haskell to revolutionise Vodafone's invoice verification and saving millions of Euros in the process. We use parallel and auto-scaling infrastructure to deliver results quicker and more importantly safer.
software-development haskell financial-transcations safety haskell-in-industry category-theory auto-scaling parallel-processing -
Live Coding a Roguelike Game
Featuring Michał J. Gajda
Michal J Gajda shares a simple way to do live coding and event sourcing for the development of a game using Haskell. This method is the product of a long effort to reduce the effort and complexity of debugging and writing interactive software, and it is recommended for all Haskell beginners!
software-development event-sourcing game-development roguelike haskell