🛠️ All DevTools

Show HN: Onboard-CLI, a LLM powered and AST-based tool to visualize codebase

Show HN: Hnwork.app – UI for Who is hiring posts Hey HN, I built a UI on top of the &quot;Who is hiring&quot; posts. Take a look at <a href="https:&#x2F;&#x2F;hnwork.app" rel="nofollow">https:&#x2F;&#x2F;hnwork.app</a>!<p>One of the downsides of unstructured text posts is the readability due to it being free-form and having little to no format. While there are other tools that have been built over the years to make perusing Who is hiring posts easier, I took a try on making my own (I actually tried to build this at a YC hackathon a few years back, but got around to completing it recently).<p>Features: - Text search and search filters - Original post text with call outs to important information - Removes posts that aren’t on topic (complaints, seeking work, vague or missing contact info) - Analytics - API<p>In addition, job posters can create accounts to submit postings through the app. While I don’t expect posting to move over to this app, it’s what I envisioned what a Who is hiring thread would like as an app: - Structured postings with required fields (e.g., salary range required) - Job posters get notifications about comments on their posts - Job posters get verified through their email before posting (e.g., someone posting a Sony job has a Sony email address) - Companies with multiple job posters can coordinate postings and view past postings - Admins can audit and approve companies and posts<p>Job seekers can also create an account to post comments or get access to a simple API but otherwise browsing doesn’t require any kind of signup&#x2F;signin.<p>I’m open to feedback: let me know if you’d like me to ingest more data from past months, something is missing or broken, or there’s a new feature you’d like to see. Thanks!

Grok 4.5 <a href="https:&#x2F;&#x2F;cursor.com&#x2F;blog&#x2F;grok-4-5" rel="nofollow">https:&#x2F;&#x2F;cursor.com&#x2F;blog&#x2F;grok-4-5</a>

Show HN: Requirements Engineering with Formal Verification I&#x27;ve been building an open source formal methods system (fizzbee.io) for the past few years.<p>Today I&#x27;m launching a new app built on the same technology. It performs requirements engineering using formal verification to uncover gaps and produce precise instructions for your coding agents to follow.<p>When given a prompt, it - asks high signal follow-up questions - converts to formal spec and identifies complex requirements gaps - generates validation scenario<p>At the end, it produces a specification document that can be shared with coding agents. In my trials on various projects, it produces working code in fewer iterations.<p>Please give it a try and share your feedback. <a href="https:&#x2F;&#x2F;fizzbee.ai&#x2F;" rel="nofollow">https:&#x2F;&#x2F;fizzbee.ai&#x2F;</a><p>You can also look at a sample project. <a href="https:&#x2F;&#x2F;fizzbee.ai&#x2F;projects&#x2F;94bf2869-97a1-445c-8f5d-4445848bba11&#x2F;view" rel="nofollow">https:&#x2F;&#x2F;fizzbee.ai&#x2F;projects&#x2F;94bf2869-97a1-445c-8f5d-4445848b...</a>

Show HN: Microsoft releases Flint, a visualization language for AI agents Data visualizations are the bridge between user and data.<p>But building AI agents that can generate visualizations reliably can be very tricky:<p>- simple chart specs can be reliable, but generated charts are often of low quality due to reliance on system defaults; - complex chart specs with explicit details can produce good-looking charts, but they are verbose and agents can struggle with reliability<p>We figured out it is a limitation on the language issue (not just AI capability thing) -- current visualization languages are a bit too low-level for AI agents, requiring them to explicitly make visual decisions that are supposed to be handled by a good compiler. Flint is a visualization intermediate language to address this issue, allow AI agents to solve this last-mile human-agent interaction problem. It provides a simple semantic-type based specification, and contains a layout optimization engine that can produce good-looking charts (filled with derived low-level details) from simple high-level specs. The result is also very human understandable and adaptable. Flint powers data formulator for generating visualizations (another open source project from microsoft <a href="https:&#x2F;&#x2F;data-formulator.ai&#x2F;" rel="nofollow">https:&#x2F;&#x2F;data-formulator.ai&#x2F;</a>).<p>Flint is available open source, and we built a MCP server that you can directly plug flint in your favorite agent app to play with data.

PlayStation can delete all your digital games after 3 years of inactivity (EU)

What Do We Know About the Microplastics Inside Us?

Show HN: Pretend to Vibe Code, but Meditate

Show HN: Abralo – Free, easy way to run several Claude Code agents in one window Hi guys,<p>I&#x27;ve been using Claude Code for almost everything lately. Have given one an email account so it can research business leads, draft emails, fact-check them and clear them with me before sending (works really well by the way). I also tend to have a few Claude Code agents running at any one time for coding.<p>I used to create a split terminal to manage them from there, but found working in the terminal all day pretty depressing and, more importantly, found it hard to follow Claude Code&#x27;s process and see which agents needed my immediate attention.<p>I tried Anthropic&#x27;s VS Code Claude Code extension and it had a great UI (more info on Claude Code&#x27;s process and easier to read), but it crashed my PC when I ran more than 3 and I couldn&#x27;t watch multiple agents in parallel (had to constantly switch between them).<p>So I built a lightweight Tauri desktop app which lets you run multiple Claude Code agents in one window alongside each other. It&#x27;s easier to read the output and see which agents need your attention than a terminal.<p>Have been using this all day everyday instead of an IDE and have obsessed over every detail to make sure it&#x27;s easy-to-use, but also lightweight and fast (so you can manage multiple agents without your PC crashing).<p>There are some nice features like better usage alerts for when you&#x27;re going to hit your 5-hour and weekly limits (with sparklines to show when usage peaked, and which agents are the most token-intensive).<p>It&#x27;s free to use (you just need to log in with your existing Claude Code account) for up to 4 agents simultaneously. This app doesn&#x27;t store your Claude Code account details and doesn&#x27;t store any of your interactions with Claude Code. They remain between you and Anthropic. It&#x27;s compatible with Windows, MacOS and 64-bit Linux.<p>Would really appreciate any feedback, so if you have any thoughts, issues or suggestions please let me know.<p>Thanks, Chris

The 'absolute magic' of Morse code that still connects people globally

Taiwan's Lost 8-Bit Computer [video]

This is MCP server for Claude that gives it terminal control, file system search and diff file editing capabilities

Declarative Continuous Deployment for Kubernetes

TencentDB Agent Memory delivers fully local long-term memory for AI Agents via a 4-tier progressive pipeline, with zero external API dependencies.

Digital Deli, 1984 book by early PC hackers and enthusiasts

Unicode's transliteration rules are Turing-complete

Fibonacci's Real Mathematical Legacy

Decoding the obfuscated bash script on a Uniqlo t-shirt

Geosql: A Claude/Codex skill for geospatial data

Tune Code Before Your Garbage Collector