Ideas Lab
Real problems people complain about online, pulled every morning and scored out of 100. Build, validate, or skip. How scoring works
- Ideas
- 4,145
- BUILD
- 689
- Sources
- 8
- Last sync
- 3h ago
Daily vocabulary building app for English learners
Users want a simple app that delivers new English words daily with learning features to improve vocabulary consistently, beyond generic dictionary or flashcard tools.
X3mo agoToolEducation
Social tracking and rating app for music similar to Letterboxd
Music enthusiasts want a dedicated social app for logging, rating, and discovering music with community features, akin to Letterboxd for films, as existing options feel insufficient.
X3mo agoToolMedia
Manually removing duplicate pins from Pinterest boards
Pinterest users waste time and get frustrated manually identifying and removing duplicate pins from their boards.
X3mo agoToolProductivity
Manual copy-paste of AI responses between web chat and other tools
Developers and AI users waste time copying responses from web-based AI chats into other applications like coding tools for implementation.
X3mo agoToolDev
TikTok following cleanup and management tool
TikTok users need an easy way to mass clean up, organize, or unfollow accounts in their following list, as manual management is tedious and native tools are lacking.
X3mo agoToolProductivity
Real-time soccer match event notifications
Soccer fans need a lightweight app that sends push notifications for key events during matches without requiring constant monitoring of full sports apps or scores.
X3mo agoToolSport & Fitness
Lack of visibility into how a company appears in AI search results across LLMs
Companies need a dedicated tool to monitor and understand their visibility and appearance in AI-powered search engines and large language models, beyond general SEO tools.
X3mo agoToolSEO & Geo
Fuel Price Tracker & Savings Alert
Real-time fuel price comparison and alerts across UK petrol stations. Drivers lack transparent, location-based price tracking to find cheapest fuel before fill-ups. [Trending: "petrol fuel prices" with 500+ searches in GB]
Google Trends3mo agoToolTransportationGB
Affordable Travel Alternatives Finder
Budget-conscious travelers struggle to find genuinely cheap travel options. A tool aggregating discounts, alternative destinations, and off-season deals could help people vacation affordably. [Google Search suggestion]
Google Trends3mo agoToolTravelUS
Computer Performance Optimization Assistant
Frustration with slow/problematic computers is widespread but solutions are fragmented. A tool diagnosing performance issues, recommending fixes, and preventing problems could serve DIY users avoiding expensive IT services. [Google Search suggestion]
Google Trends3mo agoToolDevUS
Spin Lab
Hey HN, I built Spin Lab: a browser-based interactive explainer for table-tennis spin. It visualizes topspin/backspin, spin rate, ball trajectory, bounce behavior, and why the opponent’s return reacts the way it does. I built it because spin is central to table tennis, but most explanations are either too hand-wavy or too static.Thanks Fable, we miss you
Hacker News3mo agoToolAI
TesterArmy (YC P26) – Agents that test web and mobile apps
Hey HN - we’re Oskar, Szymon, and Piotr, and we’re building TesterArmy (https://tester.army). TesterArmy is an agentic testing platform that runs end-to-end checks before deployment and in production. Instead of wasting hours on manual testing or maintaining static scripts, we let you specify your tests in natural language and handle everything in between. We've built the platform fully around agents. Our agent will reliably execute the tests, but your coding agent can manage everything in our platform, from defining tests in natural language to running them on your behalf.Check out our demo video: https://www.youtube.com/watch?v=291IkUbPrlk.We started TesterArmy because testing is still far too painful. AI coding tools have made it dramatically faster to write and ship code, but testing is still a bottleneck. Traditional E2E tests are slow to set up and expensive to maintain. Managing auth and test users is painful. Setting up staging environments is painful. Running tests reliably is painful.We think most teams do not actually want to spend their time writing selectors or maintaining test infrastructure. They just want confidence that their core flows work. With TesterArmy, an engineer can sign up, give an agent our CLI, and let it handle creating tests and running them on schedule or on GitHub.When something breaks, TesterArmy alerts your team through Slack or Discord.Over the past few months, we scaled from 0 to 30+ teams using our product every day. We caught bugs in critical flows, including onboarding, checkout, and AI chat. We've got many of our customers migrating from already established competitors to us because of the quality and reliability of our agents.Here are a few of the recent bugs that our agent found (there were quite a lot of them!):1) Timezone bug that affected the booking flow in one of our clients' apps, the dashboard was very complex and hard to catch by a human. 2) Regression in agent orchestration
Hacker News3mo agoToolAI
Metiq: a real time 3D globe for 100 public datasets
The concept for metiq.space came after playing Global Magnates with friends and realizing how fragmented live global data is. ships, aircraft, satellites, ports, weather, hazards, infrastructure, cyber, and public datasets all exist, but they usually live in separate tools and maps.The goal was to build one interactive 3D globe where live public data could be visualized by latitude, longitude, and altitude. Surface data stays on the globe, while aircraft, satellites, and other above surface things can be represented in actual 3D space instead of being flattened onto a map.The outcome is an interactive globe that showcases Earth, air, sea, space, cyber, defense, infrastructure, politics, and the list is continuously growing.Majority of development right now is going into data filtering and deduping.
Hacker News3mo agoToolAI
Talos – Open-source WASM interpreter for Lean
At Cajal (YC W26) we’re excited to share Talos (https://github.com/cajal-technologies/talos), an open source framework for formal verification of WebAssembly modules in Lean.AI is now writing tons of the code that gets pushed to production. As code generation gets cheaper, verification becomes the bottleneck. We believe in a future where every piece of software comes with a mathematical proof that it does what its author intended - in doing so, eliminating many classes of exploits. Talos is part of the foundation for that.Talos provides a Wasm interpreter optimized for reasoning at the binary level, together with a weakest-precondition calculus layer for proving properties about programs. Because we reason directly about WebAssembly, any language with a Wasm backend is in scope: Rust, C++, Go, C, Swift, Kotlin, Zig, C#, and many more.To make this possible, we use Lean: a programming language and theorem prover that lets you both write software and mathematically prove that it's correct - all in one system. That's what lets Talos double as both an executable interpreter and the formal object Lean reasons about. Lean also integrates with modern AI proving tools, discharging goals automatically via both proof search and direct evaluation.To see Talos in action check out a proof for Stein's GCD algorithm, implemented in the popular Rust crate num-integer: https://github.com/cajal-technologies/talos/blob/main/progra....Our roadmap:- Full Wasm coverage by first passing the official W3C testsuite, then later verifying against SpecTec (formal Wasm spec) - Arbitrary crate verification - any Rust crate that compiles to Wasm should be in scope - Building our proof library codelib, to make verifying increasingly complex programs tractableWe would love to hear the community’s feedback on Talos and comments on the state of formal verification right now. Contributions are also welcome!
Hacker News3mo agoToolAI
What tools are you using for AI-assisted code review?
My team (around 40 people who write code) is evaluating tools for AI-assisted code review. The market appears to be rife with options, so before starting a series of free trials, I’d like to ask a knowledgeable crowd. What tools or services are you using? Do you use them just for code review, or for other purposes as well, such as incident response or branch management? Why did you choose them, and what do you like or dislike about them?
Hacker News3mo agoToolAI
Blockchain transaction signing apps force terrible UX or security risks
Developers building games, loyalty platforms, and automated payment apps on blockchain must either require users to manually sign every transaction (terrible UX) or hold keys insecurely, blocking great product shipping.
X3mo agoToolDev
Fitness tracking tailored for developers
Developers need a fitness tracker app designed specifically for their sedentary lifestyle, coding habits, and productivity needs.
X3mo agoToolSport & Fitness
Type foundry websites have terrible UX making font discovery painful
Designers and creatives struggle to browse, preview, and purchase fonts on type foundry websites due to poor interfaces, navigation, and preview tools.
X3mo agoToolDesign & Creative