News for hackers. Stuff that matters.

asparagui

asparagui on Hacker News

Re:Google open-sources TorchTPU, a native PyTorch back end for TPUs on Tuesday October 20, 2026 @03:03PM (#50171090)
Very cool! I have been using Lean to drive PJRT like so: https://github.com/brettkoonce/lean4-mlir and in theory your code could unlock another platform!
Re:Ask HN: What are you working on? (June 2026) on Sunday June 14, 2026 @11:22PM (#48536210)
Been formalizing the math of deep learning in Lean 4 by lowering to MLIR/IREE.

https://github.com/brettkoonce/lean4-mlir

Re:Ask HN: What are you working on? (May 2026) on Sunday May 10, 2026 @06:06PM (#48088624)
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.

Re:"Why not just use Lean?" on Tuesday April 28, 2026 @08:43AM (#47933760)
I was going to call my project that but Claude said that wasn't professional. rip "a delightful mixture of lean"
Re:Ask HN: What Are You Working On? (February 2026) on Sunday February 08, 2026 @09:03PM (#46940760)
No, DJI is going to be banned in the US going forward (geopolitics). I am building a NDAA-compliant stack!
Re:Ask HN: What Are You Working On? (February 2026) on Sunday February 08, 2026 @07:04PM (#46939924)
https://loiter.ai

Building software to control drones for mapping.

Re:Show HN: Play with real quantum physics in your browser on Friday February 07, 2025 @10:03AM (#42973386)
Cool idea! This is a really clever way to demo a real-world circuit!
Re:Integer addition algorithm could reduce energy needs of AI by 95% on Sunday October 13, 2024 @01:12PM (#41829669)
previous discussion: https://news.ycombinator.com/item?id=41784591
Re:Ask HN: Who is hiring? (July 2023) on Tuesday July 04, 2023 @08:52AM (#36586002)
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

Re:Ask HN: Who is hiring? (June 2023) on Thursday June 01, 2023 @03:01PM (#36155787)
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 our of our core technologies: either C++/mediapipe, Javascript/WASM or Python/Keras. If this sounds like you, check out https://joinhallway.com/careers/ or reach out to [email protected] directly!

Older »