Top all-time · #16492
Gimlet Labs
Company blog · gimletlabs.ai/blogaihardware
Gimlet Labs is the company blog at gimletlabs.ai, writing about ai and hardware. Since 2025, 4 different Hacker News readers have linked it 9 times, most often “Formally Verifying AI-Generated GPU Kernels”. No feed was found, so read it on the site itself.
Gimlet Labs is an applied research lab focused on building high performance AI systems.
Most-linked posts?
- Formally Verifying AI-Generated GPU Kernels2 people · 3 mentions · first linked 2026-07-09
- The emerging role of SRAM-centric chips in AI inference2 people · 2 mentions · first linked 2026-03-06
What Hacker News says?
Submitted Speeding up PyTorch inference on Apple devices with AI-generated Metal kernels as a story · 187 points
HN discussionSubmitted Gimlet's Series B as a story · 10 points
HN discussionSubmitted Inside Agentic AI Workloads as a story · 2 points
HN discussionSubmitted Formally Verifying AI-Generated GPU Kernels as a story · 2 points
HN discussionSubmitted The emerging role of SRAM-centric chips in AI inference as a story · 2 points
HN discussionSubmitted Formally verifying AI-generated GPU kernels as a story · 1 points
HN discussionSubmitted Formally Verifying AI-Generated GPU Kernels as a story · 1 points
HN discussionSubmitted Low-Latency Inference with Speculative Decoding on D-Matrix Corsair and GPU as a story · 1 points
HN discussionSubmitted The emerging role of SRAM-centric chips in AI inference as a story · 1 points
HN discussion