Tidewave Web: in-browser coding agent for Rails and Phoenix

Tidewave Web is a coding agent that runs directly in the browser alongside web applications, providing shared page context and deep framework integration to eliminate the need for constant back-and-forth between tools. It is currently available for Rails and Phoenix, with support for other frameworks like React, Django, and Next.js on the roadmap, and offers features such as collaborative browser testing and automatic code execution within the running app.

Read more

Vibe coding creates a bus factor of zero

The concept of "Bus Factor" measures the risk of losing knowledge about a project if team members were to suddenly become unavailable, and traditionally, humanity has strived to keep this factor above 1 by sharing knowledge and documenting processes. However, with the rise of AI-generated code, particularly since the release of ChatGPT, the industry has become increasingly comfortable with a Bus Factor of zero, where no human understands how the code was generated or works, posing significant risks and challenges for maintenance, debugging, and security.

Read more

Show HN: What country you would hit if you went straight where you're pointing

Leascope is a free education app available on the App Store that uses historical map data to show where you would end up if you kept going straight. The app, developed by Ben Gross, is designed for iPad and iPhone, requires iOS 17.5 or later, and does not collect any user data, according to its privacy policy.

Read more

Best Options for Using AI in Chip Design

The best opportunities for applying AI in chip design are in narrowly defined verticals, where AI can be highly focused on specific requirements and design patterns. Experts predict that AI will increase productivity for designers in the short term, but may also lead to more disruptive changes in the long term, such as autonomous workflows that could potentially reduce the need for junior-level engineers.

Read more

Claim: GPT-5-pro can prove new interesting mathematics

Sebastien Bubeck claims that gpt-5-pro can prove new interesting mathematics, citing an example where it proved a better bound than what was in a convex optimization paper. He says he checked the proof and found it to be correct, and is sharing more details about the achievement.

Read more

Rough Numbers Between Consecutive Primes

Almost all gaps between consecutive primes contain a natural number whose least prime factor is at least the length of the gap, confirming a prediction of Erdős. The number of exceptional gaps is relatively small, with an upper bound of $O(X/\log^2 X)$, and assuming the Hardy--Littlewood prime tuples conjecture, a more precise asymptotic of $N(X) \sim c X / \log^2 X$ can be established for an explicit constant $c$.

ArXiv

Ultra Ethernet's Design Principles and Architectural Innovations

The Ultra Ethernet (UE) 1.0 specification introduces a new High-Performance Ethernet standard for Artificial Intelligence and High-Performance Computing systems, featuring advancements across the entire Ethernet stack. The UE standard, particularly its Ultra Ethernet Transport protocol, aims to provide reliable, fast, and efficient communication, leveraging the expansive Ethernet ecosystem to deliver a new era of high-performance networking.

ArXiv

Is radicalization reinforced by social media censorship? (2021)

Radicalized beliefs, such as those tied to conspiracy theories, can lead to violent behavior and understanding how these beliefs spread is crucial to mitigating radicalization. A model of a social media network found that both decentralized and centralized censorship can increase certainty in radicalized views, but centralized banning of individuals has the strongest effect on radicalization by limiting exposure to dissenting information.

ArXiv

Consumer Autonomy or Illusion? Rethinking Consumer Agency in Age of Algorithms

Consumer agency in the digital age is threatened by factors such as obligatory consumption, algorithmic manipulation, and unstable work schedules, which can lead to impulsive purchases and financial instability. To address this, it's essential to recognize consumer agency as a value that requires active cultivation, and solutions such as systemic interventions and consumer education can help strengthen agency and support informed financial decision-making.

ArXiv

Too Long, Didn't Model

The Too Long, Didn't Model (TLDM) benchmark was created to test large language models' ability to understand complex, long-range semantic dependencies in novels, which often exceed 128k tokens in length. The benchmark found that none of the seven tested models could retain a stable understanding of a novel's plot beyond 64k tokens, highlighting the need for more comprehensive evaluation methods.

ArXiv

Show HN: Project management system for Claude Code

Claude Code PM is a workflow system that uses spec-driven development, GitHub issues, and multiple AI agents to ship code more efficiently, with features like persistent context, parallel execution, and transparent audit trails. The system follows a strict 5-phase discipline, from brainstorming to execution, to ensure that every line of code traces back to a specification, and provides a collaboration protocol for humans and AI agents to work together at scale.

Repo

Show HN: Luminal – Open-source, search-based GPU compiler

Luminal is a deep learning library that uses search-based compilation to achieve high performance, allowing it to run models like Llama 3 8B on M-series Macbooks at 15-25 tokens per second. The library is designed with a focus on simplicity, speed, and native integration, using a RISC-style architecture and compiling operations into complex GPU kernels to achieve high performance.

Repo

Show HN: Bizcardz.ai – Custom metal business cards

Bizcardz.ai is a website that allows users to design business cards, which are then converted into KiCad PCB schematics that can be manufactured into metal business cards. The website utilizes various AI models, including Groq, OpenAI, and Gemini, to generate and rank SVG designs, and offers a command-line interface for users who want to create PCB files from their own images.

Repo

Show HN: Web MCP Free Tier – Web Access for Agents Without Getting Blocked

The Web MCP server by Bright Data enables large language models (LLMs) and AI agents to access the web in real-time, bypass geo-restrictions, and navigate websites with bot detection protection. The server offers 5,000 free requests per month for the first three months, after which a credit card is required, but no extra charges are incurred unless premium features are used.

Repo

Show HN: We beat Google DeepMind but got killed by Zhipu AI

Mobile-use is an open-source AI agent that automates Android and iOS devices using natural language, allowing users to interact with their phone's UI and perform tasks such as sending messages and navigating apps. The project is highly customizable and extensible, with features like data scraping and support for different language models, and is actively evolving with contributions from the community.

Repo