2,315 results for Tool

tlaplus-process-studio.com
Show HN: TLA+ Process Studiohttps://tlaplus-process-studio.com/?example=meeting-lifecycleDisclaimer: This was made with LLMs.I made this tool to help understand large business processes that can be modelled as a single state machine.The core loop of this is to enable to walk stakeholders through discussing each step, adding comments, and reiterating with an LLM of their choice to generate the TLA+ syntax on the left.Users can click through the green state nodes to see how things work visually.You can see some sample state machines in the dropdown in the top left.The power would come from getting folks on the same page of the business process, so engineers can think about how best to automate/modernize the system once they get all of the context.Additionally, once you have a single canonical model of the process, you could in theory send into a dark factory to produce the software as quickly as possible, but now we can allocate more time in the entire software lifecycle at the design and alignment before coding now that coding is faster.Additional work could be done using t
Jun 20, 2026 10:38 PM
indielaunch.club
Show HN: Indie Launch – personalized launch plans for indie developershttps://indielaunch.clubI built a tool that tries to solve a specific problem I kept running into: you finish the product, and then you have no idea where to actually launch it.Most advice says "post on Product Hunt." But Product Hunt needs first-hour upvotes you can't guarantee without an existing audience. Meanwhile, Hacker News, Reddit r/SideProject, and IndieHackers work completely differently — and better for most indie products.Indie Launch asks 4 questions about your product, matches you to the right channels based on your actual situation (audience size, where you're active, product type), and generates ready-to-use content for each platform.$10 one-time. Happy to answer any questions about how I built it.https://indielaunch.club
Jun 19, 2026 5:31 PM
news.ycombinator.com
Ask HN: What agentic directory structure do you use?https://news.ycombinator.com/item?id=48540840The more I use Claude Code to generate large swaths of systems, the more I feel like we are missing a lot of practices and tools.The first bit that really annoyed me was the lack of tracking prompts. There are lot's of little inputs that inform the what the system should do and it seems to be very ephemeral. I've since started tracking the prompts in the codebase.Another observation is that if you want to have good agentic output, you need to provide lot's of signal into the context window. It seems that being disciplined about what goes into the context window is key. Using AI to generate input files can be dangerous because it adds entropy/noise to the human signal.One practice I have started to do is organize my projects in a certain way:- /specs - Pure human signal such as product vision, requirements, designs, etc. - /prompts - Agentic recipes such as skills, jobs, AI patterns. - /references - References that can be used in the context window (brand assets, documents, figma export
Jun 15, 2026 1:19 PM
news.ycombinator.com
Story of How Im Running an Unlimited $6/Month AI Provider on 4x RTX 3090shttps://news.ycombinator.com/item?id=48524387This submission is a tale about how I launched an unlimited LLM provider to about 60 hyped people on the waitlist, then immediately served them a fully dysfunctional death-loop model, and how most people, very reasonably, disappeared, but thanks to a few extremely nice people stuck around anyway, we kept the project alive and its still pretty chaotic but gaining traction.To back up a little bit-- I believe that the whole point of AI agents is that they should keep working. They should read files, retry, search, code, summarize, run tools, and loop until the job is done. When your employer is paying for it, who cares about cost, but when it comes to my personal money/hobbies, if every loop feels like a tiny financial event, you start babysitting the agent instead of using it, and its not fun.On the other hand, metered pricing makes me worry about using too much. Usage subscriptions make me feel like I need to use every last magical % or I'm are "wasting it". If only an unlimited provide
Jun 14, 2026 5:11 AM
news.ycombinator.com
Ask HN: What happens when AI-voice becomes good enough?https://news.ycombinator.com/item?id=48507696I fell into the rabbit hole of TTS models lately. Tried all major paid tools (ElevenLabs/InWorld/etc.), and all the newest open-source models.I started asking myself: what happens when the voice is "solved"? E.g. it gets impossible to distinguish it from a human. Wanted to hear your opinions!Sketched some of my own thoughts, and I see two futures:Future 1: the nuanced versionAudiobooks: I think established authors will still prefer human narrators. If you can afford a $3k–$4k fixed cost for narration, a good human voice is usually worth it. TTS may even push human narration prices down, making that choice easier.But for new/self-published authors, especially in non-fiction, AI narration may become the default. The choice is often not “AI vs. human narrator,” but “AI audiobook vs. no audiobook.” There will be backlash, but I think people will partly get used to it.The more interesting threat may be AI readers. If I can buy an ebook for $8–$10 and have it narrated in a voice/style I like
Jun 12, 2026 6:30 PM
news.ycombinator.com
Ask HN: What is your (AI) dev tech stack / workflow?https://news.ycombinator.com/item?id=48413629Hello, happy Friday!I am looking to do some in-person "developer boot-up" workshops, and seek your suggestions for "modern tooling".The background of the participants range from motivated newbie ("I heard you can make your own app with AI!") to existing software developers who want to get up to speed on modern development for the purposes of building stuff, and getting jobs where AI tools are being used.For those who have been doing software development & "tech" lately using AI tools, and feel they have a great setup & flow - I would love to hear what your dev setup is, what tools you're using and what workflow has been working best for you (and your team).// My BackgroundI have been programming / building for 20+ years, but have not been using AI tools much (aside from hitting up LLM APIs on a few projects).I value open-source, and aim for long-term quality and supportability. Techniques like test-driven development (TDD), using proven / well documented tools, customer-centric develop
Jun 5, 2026 3:13 PM
github.com
Show HN: Circus Chief – Claude Code, Codex, and Gemini from Your Phonehttps://github.com/ferrislucas/Circus-ChiefHi HN,Circus Chief is a tool for managing coding agent sessions from a browser. It's specifically optimized for small screens. It supports Claude Code, OpenAI Codex, and Google Gemini CLI agents.FeaturesAgents can operate Circus Chief itself. Agents can spawn sessions, schedule sessions, interact with the Kanban board — anything you can do in the UI, an agent can also do.Schedule work ahead of time.Automatically reschedule when you hit usage limits.Configurable, chainable prompt templates.User-defined commands - agents can run them and see the results, and so can you in the UI. Handy for local CI or routine workflow steps.Worktree-per-session isolation, or elect to work on a specific branch.Shared canvas - this is a place for shared artifacts that don't belong in the code. Useful for iterating on planning documents.Bring your own provider. Use subscription auth for Anthropic, OpenAI, or Google, or point sessions at third-party providers with Anthropic- or OpenAI-compatible endpoints.If
Jun 2, 2026 1:59 PM
news.ycombinator.com
Is it too soon to built software factories?https://news.ycombinator.com/item?id=48268815I keep hearing about “software factories” / background coding agents that can autonomously work on production repos. It seems like the capabilities are there, but not sure if we have the right tools yet.There are already some companies providing software for this like ona/factory/codex/claude/cursorOpen-source alternatives - https://github.com/ColeMurray/background-agentsBig companies like stripe/ramp/uber/spotify built their own background-agents infrastructureBut nothing seems to be mature enough to just work fine. Is it too soon?
May 25, 2026 4:39 PM
getatrium.dev
Show HN: atrium – a resumable, tiling workspace manager for Claude Code, Codexhttps://getatrium.devatrium is a macOS desktop app that provides a fully resumable workspace manager with a variety of heterogenous panes including terminals, browsers, tasks, notes, and more.Over the last couple of months, I've been building an AI development tool that treats CLI AI dev harnesses as first class citizens. With Claude's SDK pricing changes on the horizon, I wanted to avoid getting locked in to paying API rates for something I already had a subscription for.It started after my computer crashed and iTerm didn't restore my sessions, so I set out to solve that problem initially. I liked it and added functionality till it became my daily driver. I ended up with atrium and I'm enjoying it so much I thought maybe others would, too.A little about the principles I started following as I built:Organization - everything fits into a hierarchy of workspaces, rooms, panes (agents, terminals, browser, notes, source control, etc), and stacks within a highly customizable mosaic.Persistence - everything, inc
May 20, 2026 2:44 PM
bing.com
New insights into how the human hand evolved from our ape-like ancestorshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8974bdcea444f7a5ffc6ae3c31db23&url=https%3A%2F%2Fphys.org%2Fnews%2F2026-05-insights-human-evolved-ape-ancestors.html&c=14148544098581840510&mkt=en-usThe human hand is an evolutionary marvel. While other primates rely on their hands for locomotion and basic grasping, ours can shape tools, manipulate objects, and perform detailed tasks requiring ...
May 20, 2026 10:10 AM
bing.com
New insights into how the human hand evolved from our ape-like ancestorshttp://www.bing.com/news/apiclick.aspx?ref=FexRss&aid=&tid=6a8b580d083a4ddb9ab78d26db3537c9&url=https%3A%2F%2Fphys.org%2Fnews%2F2026-05-insights-human-evolved-ape-ancestors.html&c=14148544098581840510&mkt=en-usThe human hand is an evolutionary marvel. While other primates rely on their hands for locomotion and basic grasping, ours can shape tools, manipulate objects, and perform detailed tasks requiring ...
May 20, 2026 10:10 AM
scan.gethyperpress.com
Show HN: Website Performance Scanner Specifically for WordPresshttps://scan.gethyperpress.com/Hi HN, Kevin Gilleard here from GillyTech. I run a digital agency that deals with a lot of WordPress sites and have always been interested in optimizing my WP instances (going back 16 years).I love to find ways to optimize for speed, security and stability and found myself using a ton of different tools to do performance audits. GTmetrix and Google Page Speed Insights are my go-to's as a starting point. But there were other things I needed to check like security headers, which builder (if any) is used on the site, WooCommerce, caching plugins, CDNs, WAF, etc. So I decided to make my own performance scanner with persistent reports that can be shared with clients and bring those tools together in one custom app. It shows a number of metrics that are specifically important for optimizing WordPress against the three S's: Speed, Stability and Security.Necessarily this scanner will reject your website if it isn't WordPress, so there is some unique exclusivity here. Full transparency: we do o
May 19, 2026 5:28 PM
github.com
Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic taskshttps://github.com/antoinezambelli/forgeHi HN, I'm Antoine Zambelli, AI Director at Texas Instruments.I built Forge, an open-source reliability layer for self-hosted LLM tool-calling.What it does:- Adds domain-and-tool-agnostic guardrails (retry nudges, step enforcement, error recovery, VRAM-aware context management) to local models running on consumer hardware- Takes an 8B model from ~53% to ~99% on multi-step agentic workflows without changing the model - just the system around it- Ships with an eval harness and interactive dashboard so you can reproduce every numberI wanted to run a handful of always-on agentic systems for my portfolio, didn't want to pay cloud frontier costs, and immediately hit the compounding math problem on local models. 90% per-step accuracy sounds great, but with a 5-step workflow that's a 40% failure rate. No existing framework seemed to address this mechanical reliability issue - they all seemed tailor-made for cloud frontier.Demo video: https://youtu.be/MzRgJoJAXGc (side-by-side: same model, same
May 19, 2026 12:23 PM
loxeai.com
Show HN: Built a verifiable, open-source SoC 2 readiness scannerhttps://loxeai.comAfter speaking with over 50+ CISOs, DevOps, & pre-series A founders for months, I realized a problem in the GRC industry. SOC 2 automation exists, but people are split between trusting these black-box tools with systems that are continuously changing. As a result audits are slow & mistrusted.Right now the most important thing is verifiability & depth, rather than just compliance automation-because it does exist, everywhere.Here's what I did from learning this:-> Created an open-source AWS Evidence Scanner & Control Mapper for lean, pre-series A AWS-Native teams thinking about SOC 2 Type l or are undergoing SOC 2 Type l audit. Collects across 15+ AWS Services to 12 critical controls in the trust-service criteria.Why open-source? Accessibility for people who might have their hands tied choosing between expensive GRC tools. Its also used as a trust-mechanism. Code is right there. A CEO or auditor can read exactly what API calls we make before giving us the role ARN.-> I included a paid re
May 17, 2026 12:02 AM
news.ycombinator.com
Ask HN: What's your experience with AI in hiring?https://news.ycombinator.com/item?id=48111921"AI-native hiring" is just faster keyword/vector matching. Every atomic hiring step such as filtering applicants, moving to different stages involves, we will be dealing with 100s of judgement parameters before we take any action forward. What are we offloading to AI today? - just admin tasks or human judgements?- Sourcing and filtering are intensive human judgements operations. - Accepting applications, managing, organising, collaborating, outreach are most time admin consuming tasks in hiring pipeline.Simple ATS sass automates most of these things. AI is a great tool, but before fitting into hiring user flows where judgements >>> automations, we need to resolve on fundamental principle, AI-augmented judgment or AI-replaced judgment? Which you think is actually working well today for HR professionals? Has AI helped, or just added noise?
May 12, 2026 6:04 PM
mosaicqr.com
Show HN: MosaicQR – QR codes that double as pixel art of any simple imagehttps://mosaicqr.comI wanted to make a QR code for a separate business (a software company for MEP engineers) where the QR code itself looked like the logo. I found several tools online, but none that produced the result I was looking for.I made a tool that powers MosaicQR.com to achieve the balance of aesthetics and functional scanning that I wanted. This website generates QR codes where the module layout looks like the inputted image. The free version auto-fetches the favicon from any URL you enter.Curious what people think.
May 12, 2026 2:21 PM
news.ycombinator.com
Can you help reconcile my first/second-hand LLM Experience with HN's Experience?https://news.ycombinator.com/item?id=48102861I've made an account as a long-time lurker because I am hoping y'all could help reconcile my experience in my company/team with what seems to be the wise HN consensus around LLMs.My Background (Software Engineer II):I've been writing software professionally for >10 years and grew up coding games/websites for fun; did my undergraduate in C.S./C.E., and did some time in ML research and such. Right now I'm on the back-end/DevOps team - my teammates are all Senior Staff/Principal Engineer (one is almost double my age lol!) and we have a pretty standard tech stack (NodeJS, AWS, C++, etc) with 95% brownfield development at a large but not FAANG-like company. I've had my current job for >6 years and out of ~20 in our department I'm the third newest!I'd say I'm a pretty stereotypical engineer AKA "a total nerd" with private side projects mostly around implementing computational geometry or procedural simulation papers in Rust, sometimes working on a lil website tool we use daily. But I mostly
May 12, 2026 12:57 AM
objo.dev
Show HN: Objo Studiohttps://objo.devObjo Studio is a new development environment for building desktop and command line apps. It has a visual designer, a debugger, a compiler, and a modern BASIC-like language called ObjoBasic. The aim is simple: make it enjoyable to build real applications for macOS, Windows and Linux and learn how to program.I've been working on Objo Studio in one shape or another since about 2019. I've always loved tools that let you move quickly from idea to working prototype and that abstract a lot of complexity and get out of your way. This has been tried before (VisualBasic, Xojo, etc) but have either been abandoned, become expensive or lost focus on hobbyists.The whole stack is written in C#. There's a custom stack-based VM that is roughly on-par with Python for speed but this is not a high performance tool. It's an all-in-one IDE for visually developing cross-platform desktop apps. It tries to make it simple for users, abstracting runtimes and libraries to help newcomers learn but also let them th
May 11, 2026 3:38 PM
github.com
Show HN: Super ISO Updaterhttps://github.com/JoshuaVandaele/SuperISOUpdaterI built Super ISO Updater (SISOU), a tool that keeps bootable ISOs on a Ventoy drive automatically updated.This project started a few years back because I got tired of manually checking for new releases of the various troubleshooting tools and installers I kept on my Ventoy drive.SISOU automates checking for updates, downloading them, verifying the downloads, and storing everything in a neatly-sorted directory structure.It’s open source (GPL-2.0-or-later), written in Python, and works on both Linux and Windows.One note: on Python 3.14, libtorrent currently needs to be installed through your system package manager (or built manually), since upstream hasn’t published on pypi yet. On Arch Linux, the package is libtorrent-rasterbar.I would love to hear what you think. You can try it out by installing `sisou` using pip/pipx/uv. Issues and PRs are welcome!
May 10, 2026 11:39 AM