homotopic.tech Open in urlscan Pro
193.16.42.47  Public Scan

Form analysis
0 forms found in the DOM

Text Content

HOMOTOPIC.TECH

 * Home
 * About
 * Posts
 * Projects
 * Contact




ALGEBRAIC SOFTWARE SOLUTIONSWITH FUNCTIONAL PROGRAMMING

I use new techniques in programming language theory and mathematics to produce
software for commercial and scientific use.

MORE DETAILS

ScienceState Of The Art Mathematics For Industrial Science.

BusinessProvably Correct Engineering For Commercial Applications.

BusinessProvably Correct Engineering For Commercial Applications.

previous next

About Us


Homotopic.Tech is the development center of Dan Firth (@locallycompact). I use
applied mathematics to construct low-maintenance, always-correct software. I
solve hard problems with zero-defect solutions.

Homotopic.Tech is a hybrid product/services company. We produce experimental
tools and techniques for the Haskell language family. We provide fully open
source software as well as custom proprietary solutions when needed.

projects

Horizon Haskell
Horizon Haskell provides stable package sets for advance versions of GHC.
Services

 * Science
 * Commercial
 * Training
 * Open Source


Algebraic Modelling For Science
Straightforward approaches to scientific software.

Producing tools to aid in scientific research is often awkward, and the results
can feel unintuitive to use. Researchers often have to switch between "thinking
in their problem domain", and "thinking in code", in order to translate their
ideas into the computer.

I am able to bridge that gap by using new mathematical techniques to make
modelling in software feel as natural as working on paper. We'll work together
to understand your field and find ways to make tools that let you express what
you want, exactly how you want.

Applied domain engineering
Functional programming techniques in industry.

I have worked as a consultant and engineer in several industries including
media, finance, automotive and machine learning, many of which involved safety
critical systems. I have seen all kinds of commercial software benefit
tremendously from using applied mathematics and domain modelling techniques,
that make the computer work to eliminate defects for us.

I can help you to build systems that work predictably using principled
functional programming. I can also help train you in those techniques, that will
allow us to build software in ways that we can guarantee production correctness,
and reduce your maintenance and overheads over the long run.

Training in engineering and mathematics
State of the art software methods.

I offer a range of training courses to give you the tools you need to navigate
the functional programming ecosystems, so you can apply all of my techniques and
be self-assured of all of the guarantees functional programming has to offer. I
can provide full courses in Haskell, Idris and Dhall and help bring you up to a
master level in functional programming.

I mix three key elements in my approach to training - 1) a solid theoretical
foundation, 2) practice in language elements and syntax, and 3) a full
exploration of the latest libaries and applications that you can use in your
projects. I keep up to date with the very latest theories, techniques and
releases on an ongoing basis, and can work with you to produce onboarding
materials for new hires as well.

Open source toolkits
Working with you to create art

I maintain over fifty projects in the Haskell ecosystem, published on hackage,
stackage and developed in public at gitlab.homotopic.tech. I aim to make all
work as freely available as possible, with up to date documentation and
tutorials.

I develop methods to effectively release manage all of the projects here, and
also work with many open source contributors around the world to provide fixes
and upgrades, aiming to keep everything available at cutting edge compiler
releases.

I also love to work with aspiring open source contributors to get their ideas
off the ground. If you're anywhere from a beginner through to expert in haskell,
idris or dhall and are working on an open source project you think I could be
interested in - please get in touch.

technologies

Haskell
Dhall
Nix
Idris
Agda
Cardano

Contact Us

To get in touch, use any of the contact details below.
@homotopic.tech
@locallycompact
Email: dan.firth@homotopic.tech
Phone: +447853047347