CircuitHub
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 -
Higher-Order Type-Level Programming
Featuring Csongor Kiss
Thanks to its myriad of extensions, GHC's type system has come a long way in offering a powerful language for expressing complex programs at the type-level.
type-level-programming haskell ghc types -
2
Lightning Talk: Manufacturing Circuit Boards with Robots and Haskell
Featuring Oliver Charles and Andrew Seddon
Oliver and Andrew will demonstrate the use of Haskell to control industrial robots in a real-world manufacturing environment. They will also show that Haskell can be used to interact with the state-of-the-art general-purpose planning library "Fast Downward" to find optimal plans for...
haskell realworld-haskell planning robots -
A Type-ical Case Study: The Sound Type-Indexed Type Checker
Featuring Richard Eisenberg
This talk will be an exploration of an implementation of a simply-typed λ-calculus using lots of Haskell's fancy types: only well-typed terms can be represented.
haskell well-typed types -
Well-Typed Communication Protocols
Featuring Duncan Coutts
Concurrency is still hard. Building distributed applications using message passing is still hard. Application-specific message passing protocols are often specified in an informal and ad-hoc way (if at all), with very little support from the programming language or tools. This sets things up for...
types state-machines message-passing network protocols distributed-systems haskell -
Lightning Talk: Generating Castles for Minecraft™ using Haskell
Featuring Tim Williams
Tim has recently started playing Minecraft with his kids but quickly found himself wanting to generate larger structures using code.
lenses games dsl haskell monoids mindcraft -
Build Systems à la Carte
Featuring Andrey Mokhov
Build systems are used by every developer around the world but are rarely the object of study.
shake bazel dune nix haskell build-systems -
GHC Runtime Linker by Example
Featuring Artem Pyanykh
Linkers are one of the least understood yet widely used software components. GHC, unlike many other projects, has its own rather complex linking facilities in the runtime system that among other things power our beloved GHCi. And while having a custom linker has its benefits there are also...
haskell runtime linker compiler ghc