Ask HN: What are you working on? (June 2026) 1 month ago
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.
HN user
asparagui
937 karma
brettkoonce.com
Posts113
Comments158
github.com 4mo ago
GI
rocm.docs.amd.com 10mo ago
RO
investing.businessweek.com 1y ago
IN
blogs.microsoft.com 1y ago
BL
www.politico.com 1y ago
PO
mlcommons.org 1y ago
ML
2080ti22g.com 2y ago
20
www.phoronix.com 2y ago
PH
community.amd.com 2y ago
CO
pytorch.org 3y ago
PY
developer.apple.com 4y ago
DE
mlcommons.org 4y ago
ML
www.nvidia.com 4y ago
NV
www.nvidia.com 4y ago
NV
blog.kubeflow.org 4y ago
BL
github.com 4y ago
GI
Ask HN: What are you working on? (May 2026) 2 months ago
https://brettkoonce.github.io/lean4-mlir/blueprint/
https://github.com/brettkoonce/lean4-mlir
I (w/ Claude) have built a framework for writing neural networks in Lean 4 that compiles to StableHLO MLIR and runs on GPU via IREE.
“Why not just use Lean?” 3 months ago
I was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
Ask HN: What are you working on? (February 2026) 5 months ago
No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
Ask HN: What are you working on? (February 2026) 5 months ago
Building software to control drones for mapping.
Cool idea! This is a really clever way to demo a real-world circuit!
previous discussion: https://news.ycombinator.com/item?id=41784591
Ask HN: Who is hiring? (July 2023) 3 years ago
Hallway | Remote | Full-time joinhallway.com
Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativity for artists, fans, and creators. We believe this marriage between art and technology will enable an entirely new set of online experiences. We aim to radically democratize access to these tools and enable a customizable digital presence for a new generation of creators.
We are interested in finding engineers who can work on our ML stack. Ideally you have worked with blendshapes and one of our core technologies: C++/mediapipe, Javascript/WASM and Python/Keras. If this sounds like you, fill out this form: https://notionforms.io/forms/engineer-intake-oz9kdq
Ask HN: Who is hiring? (June 2023) 3 years ago
Hallway | Remote | Full-time joinhallway.com
Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativity for artists, fans, and creators. We believe this marriage between art and technology will enable an entirely new set of online experiences. We aim to radically democratize access to these tools and enable a customizable digital presence for a new generation of creators.
We are interested in finding engineers who can work on our ML stack. Ideally you have worked with blendshapes and one of our core technologies: C++/mediapipe, Javascript/WASM and Python/Keras. If this sounds like you, fill out this form: https://notionforms.io/forms/engineer-intake-oz9kdq
Ask HN: Who is hiring? (December 2022) 4 years ago
Hallway | Remote/Columbia, Missouri, USA | Full-time joinhallway.com
Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativity for artists, fans, and creators. We believe this marriage between art and technology will enable an entirely new set of online experiences. We aim to radically democratize access to these tools and enable a customizable digital presence for a new generation of creators.
We are excited to announce that we have secured a round of funding and are looking for people to help take us to the next level. Broadly, we are interested in:
* 3D artists intimately familiar with face-rigging and building environments for Unreal/Three.js/Unity
* People who can work on our our ML/AI stack
* Product Designers
Ask HN: Who is hiring? (November 2022) 4 years ago
Hallway | Remote/Columbia, Missouri, USA | Full-time joinhallway.com
Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativity for artists, fans, and creators. We believe this marriage between art and technology will enable an entirely new set of online experiences. We aim to radically democratize access to these tools and enable a customizable digital presence for a new generation of creators.
We are excited to announce that we are part of the Sequoia Arc program and are looking for people to help take us to the next level. Broadly, we are interested in:
* 3D artists intimately familiar with face-rigging and building environments for Unreal/Three.js/Unity
* People who can work on our our ML/AI stack
* Product Designers
Ask HN: Who is hiring? (October 2022) 4 years ago
Hallway | Remote/Columbia, Missouri, USA | Full-time
joinhallway.com
Avatars are a reflection of our true selves, allowing people to choose how they present themselves to the world. We combine AI and ML with off-the-shelf hardware to empower 3D content and creativity for artists, fans, and creators. We believe this marriage between art and technology will enable an entirely new set of online experiences. We aim to radically democratize access to these tools and enable a customizable digital presence for a new generation of creators.
We are excited to announce that we are part of the Sequoia Arc program and are looking for people to help take us to the next level. Broadly, we are interested in:
* 3D artists intimately familiar with face-rigging and building environments for Unreal/Three.js/Unity
* People who can work on our our ML/AI stack
* Product Design
Join the AWS Community Builders Program 6 years ago
announcement here: https://aws.amazon.com/blogs/aws/announcing-the-new-aws-comm...
Ask HN: Who is hiring? (July 2020) 6 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile/Backend Developers
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers (backend/frontend/mobile) in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
Ask HN: Who is hiring? (June 2020) 6 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile/Backend Developers
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers (backend/frontend/mobile) in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
Comparing Rewinding and Fine-tuning in Neural Network Pruning
Ask HN: Who is hiring? (May 2020) 6 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile/Backend Developers
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers (backend/frontend/mobile) in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
Ask HN: Who is hiring? (March 2020) 6 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile Developer, Designer
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers and designers in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
SEEKING WORK - Remote/SF/Missouri
iOS - Android - Mobile - Web - Design - Machine Learning
Portfolio & Information: http://quarkworks.co
Contact: contact@quarkworks.co
not paywalled, try this link: https://rdcu.be/b0mtx
just a naming similarity, the common part is a pun that is a popular google naming scheme, eg. alpha-bet.
Ask HN: Who is hiring? (February 2020) 6 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile Developer, Designer
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers and designers in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
SEEKING WORK - Remote/SF/Missouri
iOS - Android - Mobile - Web - Design - Machine Learning
Portfolio & Information: http://quarkworks.co
Contact: contact@quarkworks.co
Hosting a GPT-2 autoresponder bot 7 years ago
Reach out to the TFRC team for some TPU credit: https://www.tensorflow.org/tfrc
They're definitely interested in people finding creative uses for TPU's and blogging about the process, especially with code!
Ask HN: Who is hiring? (January 2020) 7 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile Developer, Designer
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers and designers in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.
SEEKING WORK - Remote/SF/Missouri
iOS - Android - Mobile - Web - Design - Machine Learning
Portfolio & Information: http://quarkworks.co
Contact: contact@quarkworks.co
Taking ML to production with Rust 7 years ago
Taking ML to production with Rust 7 years ago
As one of those 20 people, I feel like I'm in good company!
Five years is pessimistic. The core library is still in a state of flux, but the team is getting the fundamentals hammered out. Once the foundation is in place, adding higher level apis should be relatively straightforward.
Re: XLA/MLIR, s4tf is actively trying to coordinate with other groups within google. Whatever short term losses there are in time/energy will be paid off down the road when the project can piggyback off other people's progress.
Finally, while the swift evolution process isn't going as quickly as would be desired, the changes needed to merge the tensorflow branch have been identified and are being worked on. It's just a matter of time till the two projects are in sync.
SEEKING WORK - Remote/SF/Missouri
iOS - Android - Mobile - Web - Design - Machine Learning
Portfolio & Information: http://quarkworks.co
Contact: contact@quarkworks.co
Ask HN: Who is hiring? (December 2019) 7 years ago
QuarkWorks | Columbia, Missouri, USA | Full-time | Onsite | Mobile Developer, Designer
We make mobile applications for companies big and small. Chances are, you've already used one of our apps!
We are looking to add more full time developers and designers in Columbia, MO!
https://quarkworks.co/careers/
Fill out the form at the URL above, or email hiring@quarkworks.co directly.