Comment by LightMachine
2 years ago
Author here! Thanks for posting :) Just want to make a brief note here that we raised a 4.5m seed round to found a tech startup, the Higher Order Company, to work on the HVM. Our goal is to improve the runtime, the Kind language, and eventually build our own hardware. There are already several cool ideas on the pipeline, so expect exciting news and massive improvements soon!
Congrats on the funding. Happy to hear!
Are you hiring?
Yes, starting next week or so! We'll be looking for engineers that have skills relevant to our projects, including compilers, low-level assembly optimization, functional programming, type theory, parallel computing, and so on. Right now, we're quite busy with incorporation and bureaucracy, but you should see job postings in our to-be-released landing page (higherorderco.com) soon. Meanwhile, I answer DMs on Twitter (@VictorTaelin) and Discord (VictorTaelin#2253).
What are your thoughts around WebAssembly, Typed Assembly [1] and will you be using BlueSpec [2] to implement these ideas in hardware?
[1] https://www.semanticscholar.org/search?q=typed%20assembly%20...
namely, Greg Morrisett and Neal Glew's work
https://www.semanticscholar.org/author/J.-G.-Morrisett/14364...
https://www.semanticscholar.org/author/MorrisettGreg/1643921... (semantic scholar incorrectly thinks there are two Greg Morrisetts)
https://www.semanticscholar.org/author/Neal-Glew/1710858
[2] https://github.com/B-Lang-org/bsc
2 replies →
Will be there jobs for early-career engineers? I have skills in Rust and a lot of interest in working on this project, but I only have one year of experience
Digital hardware engineers too?
1 reply →
What do the GHC folks (or anybody from the Haskell community) say about your work?