Real problems people complain about online, pulled every morning and scored out of 100. Build, validate, or skip. How scoring works
Accessible tool for non-technical users to automate repetitive business tasks using AI agents without coding. Solves fragmentation across manual workflows and expensive enterprise RPA tools. [Google Search suggestion]
Google Trends2mo agoToolProductivityUS
Desktop/web app consolidating multiple email accounts with smart filtering, unified inbox view, and cross-account search. Solves scattered context switching for freelancers managing work/personal/client emails. [Google Search suggestion]
Google Trends2mo agoToolProductivityUS
AI-powered tool to automatically populate Excel sheets from unstructured data, screenshots, or PDFs. Saves freelancers and small businesses hours on data entry tasks. [Google Search suggestion]
Google Trends2mo agoToolProductivityUS
Hey HN, I'm Shreyash, founder of Feyn. We built Pulpie, a family of Pareto optimal models for cleaning the web. Pulpie strips boilerplate (ads, footers, sidebars) from raw HTML and returns just the main content as HTML or Markdown.We match SOTA extraction quality while being 20x cheaper. Cleaning 1 billion webpages costs $7,900 with Pulpie versus $159,000 with Dripper, the current leading extractor.The gains come from architecture. Today's leading extractors are decoders that generate output one token at a time. Each step reads the full model from memory to produce a single token. Conversely, Pulpie models are encoders. They run one forward pass over the full input HTML and label each block as boilerplate or content. As a result, Pulpie is compute-bound while decoders are memory-bound. Cheaper GPUs have relatively more compute than memory bandwidth. This makes Pulpie easy to run optimally.Here's Pulpie and Dripper cleaning the same pages side by side: https://www.youtube.com/watch?v=ibd-tIiQECo. You can try a side-by-side comparison yourself: https://huggingface.co/spaces/feyninc/pulpieOur motivation for Pulpie came from building a deep research harness. Every search API returns noisy content that contains ads, nav elements, and sidebars. In one instance, an ad for "Gemini on Pixel" slipped into our search results, got passed into LLM context, and ended up in the final answer served to the user. Pretty embarrassing moment for us but it helped us realize how bad data kills model intelligence. We built Pulpie to get clean data for cheap.All models are open source on Hugging Face. You can read about our training process and how to use Pulpie here: https://usefeyn.com/blog/pulpie-pareto-optimal-models-for-cl...Happy to answer any questions!
Hacker News2mo agoToolAI
KiCad, a PCB EDA suite is now working in a browser, you can try it at the link, there's a demo project or you can bring your own. Firefox is best, Chrome is good, Safari is "working".We’re Emergence Engineering, a dev shop from Hungary, mostly working with rich text editors, CRDTs. PCBJam started as my (Viktor, CTO, ex-electrical engineer) hobby project but as time went on I put more and more energy into it, and a product started shaping up in my head, in the last few months we’ve started to focus on this project a bit more, and this is the first MVP~ish result.This project is a ton of fun, ton of learning, ton of improvements over improvements:- I thought there must be ways to emulate the PCB canvas OpenGL code on the web. And yes, there are a lot of ways, all of them very buggy. Turns out it’s faster to just write WebGL code that works with KiCad’s Graphics Abstraction Layer if you add the right intermediate debugging steps. I (with Claude) implemented the features and compared them to native at every step, then the app loaded up the first time and just worked. I spent weeks hunting weird emulation bugs before that.- There was an old wxWidgets web port as a starting point that helped a lot, bringing it up to the level KiCad needed is a long (and still ongoing) task. Thanks ahilss!- Pthreads on the web: with Emscripten it’s possible to port multithreaded apps (used by DRC, software 3D renderer). A lot of Emscripten features (Asyncify, Pthreads, native exceptions) are in a war with each other, but it’s possible.- Asyncify with native exceptions: Asyncify (used to make the WASM code suspend then call into the JS land, emulating blocking C++ calls by rewriting the WASM directly) is not compatible with native exceptions, even on the latest Binaryen version it can’t suspend inside catch arms. If you write a new Binaryen pass then it can, making the bundle 30-40% smaller and the app load in a second instead of 10.- Optimizing bundle size is a fun game. We
Hacker News2mo agoToolAI
Zero-Knowledge Proofs (ZKPs) let an untrusted proved show that computation was executed correctly without revealing the inputs to the verifier. However to prove anything, the computation first has to be expressed as a circuit: a system of polynomial equations (constraints) over a finite field. Circuits are the assembly language of zk and every constraint costs prover (and sometimes verifier) time, so production circuits are aggressively hand-optimized.Over the last months, we have been experimenting with writing formal specifications instead and letting LLMs produce the circuits: as long as they could prove that their implementation was correct. It started with SHA-256: we hand wrote a specification in Lean for SHA-256 compression, and then we asked LLMs to write the circuit, targeting R1CS arithmetization and large fields.It took a few hours of work for Opus 4.7, and some light steering into the right direction, but in the end the model came up with a reasonable implementation. We then asked the LLM to aggressively optimize the circuits, by driving down a cost metric of the circuit (number of constraints). We immediately got very promising results, just by asking to come up with optimization ideas, implement them and prove that the new circuit still satisfies soundness and completeness. Sometimes, it came up with unsound optimizations, however, since it could not prove them, it backtracked and got itself back on to the right approach.The result was a (non-deterministic) circuit beating the current, human optimized, state of the art for SHA256 compression. This experience lead us to create "zk.golf" which is an open competition to produce optimized, formally verified circuits to lower the bar for the use of ZKPs and make their application more efficient.Come play (https://zk.golf/llms.txt) and learn about formal verification.
Hacker News2mo agoToolAI
Hacker News2mo agoToolAI
Users struggle with chains, bridges, and gas tokens; they need mental abstraction so they can declare outcomes without operating blockchain infrastructure.
X2mo agoToolFinance
Solo builders and freelancers find cold calling extremely painful and ineffective for getting clients or trials.
X2mo agoToolOther
Developers struggle to comprehend the intent and implications of AI-generated code modifications, beyond just reverting them.
X2mo agoToolDev
Crypto product founders face pressure from loud public replies and hype on X, leading to poor product decisions instead of relying on internal judgment and long-term user needs.
X2mo agoOtherVC & Startups
Indie hackers and solo devs struggle to validate actual demand from real people (not AI or assumptions) before investing time in a product.
X2mo agoOtherVC & Startups
Most AI support bots fail not because of bad prompts, but due to underlying problems in setup, context, or workflow before the prompt stage.
X2mo agoToolAI
Founders and builders of SaaS, AI products, automation, and web apps struggle to connect, share projects, and get support/feedback from peers.
X2mo agoOtherVC & Startups
Indie hackers feel guilty buying tools and end up spending time/money reinventing wheels instead of paying for solutions to move faster on their SaaS product.
X2mo agoOtherDev
AI applications require specialized defense systems to protect against threats and ensure security.
X2mo agoToolAI
Creators on short video platforms need better ways for their community to support them directly with tips and engagement.
X2mo agoToolMedia
Music producers need free FL Studio alternatives with comparable features. Tool guides users through free DAWs (Reaper trial, Cakewalk, Ardour) matching workflow and OS requirements. [Google Search suggestion]
Google Trends2mo agoToolDevUS
Zepbound (semaglutide) is expensive; patients search for cheaper alternatives. A price comparison and eligibility checker for GLP-1 medications across pharmacies, generics, and assistance programs. [Google Search suggestion]
Google Trends2mo agoToolMedicine & HealthUS
Users want decentralized/open-source Spotify alternatives. Directory + setup guide for platforms like Funkwhale, Subsonic, Jellyfin Music, Navidrome with deployment helpers. [Google Search suggestion]
Google Trends2mo agoToolMediaUS