We're building a future where hardware companies can design and iterate as fast as software companies.
CircuitHub is on a mission to fix rapid electronics prototyping. We are the first automated electronics factory built around a modern tech stack. We help hardware companies producing self-driving cars, satellites, 3D printers, robotics, & more to rapidly prototype electronics and get to market faster.
We've raised $5M from top investors that include Y Combinator, Google Ventures, & more. With business growing fast we are looking to fill roles in Massachusetts, USA and London, UK.
Join us to solve real-world problems while shaping the future of automated manufacturing.
Lightning Talk: Making and Testing Code Generators in Haskell
Featuring Michał Gajda
Michał and the Migamake Pte Ltd team are currently making an open source library to help produce code generators in Haskell. It facilitates generating code with syntax-checked templates and unit testing with smaller and more robust tests Michał will go through code generation approaches seen in...haskell generators
The Scope of Algebraic Effects
Featuring Nicolas Wu
Effect handlers are a clean way of describing various effects in a principled and modular way. The approach models the syntax and semantic of operations, where syntax is given by a free monad, and the semantics is given by a handler. Traditionally, the operations must be algebraic in that they...haskell effect-handlers free-monad
Featuring Tom Harding
Seven Scribbles in Compositionality
Featuring Irene Papakonstantinou
You've been meaning to read some clever books, but you've been too lazy, and they're all too big. You might all be Haskell developers (or Haskell enthusiasts), but what on earth is a preorder? Why should anyone care?haskell categorytheory
Lightning Talk: Ideas for Future Haskell Tooling
Featuring Csaba Hruska
The Haskell ecosystem mostly consists of loosely connected tools e.g. editor, compiler, REPL interface, profiler. However, it would be beneficial for the programming experience if these tools were tightly integrated. The optimizer and the language runtime could provide valuable information for...haskell ux programming-environment optimization tooling
Gazing into the Void: Understanding Space (Leaks)
Featuring Matthew Pickering
Passing by any online Haskell meeting place you'll hear questions about why a program doesn't type check but seldom about why a program is a memory hog. It's widely assumed that the compiler will make your program fast enough and use a reasonable amount of memory.haskell tooling memory-usage-of-programs
Keynote: Revisiting Pattern Match Overlap Checks
Featuring Simon Peyton Jones
How hard can it be to spot missing or overlapping patterns in a Haskell function definition? Surely it’s the least we can expect from a decent compiler? But when you mix in GADTs, pattern guards, view patterns, data families, strict data constructors, and pattern synonyms, matters get...pattern-matching refactored-implementation gadt ghc haskell
Lightning talk: Evolving an Entity-Component Game Engine in Haskell
Featuring Tom Johnson
Videogame logic and architecture has some interesting requirements that don't suit either traditional functional or object-oriented paradigms. Entity/controller systems have arisen as an alternative paradigm, implemented atop traditional languages, to help solve these problems.haskell types entity