Gemini Robotics 2 brings whole body intelligence to robots

172 ai2027 2026-07-30 15:45:56 UTC deepmind.google Llama Share 126

Gemini Robotics 2 is a major advance in robotics, enabling intelligent whole-body control, advanced dexterity, and multi-robot collaboration. It unlocks a broad range of tasks, from cleaning up a cluttered room to complex workflows, and can run locally on-device while adapting to new robotic bodies.

Physicists Solve a Muon Mystery. Now, Old Results Don't Add Up

46 ibobev 2026-07-30 15:45:56 UTC quantamagazine.org Llama Share 4

Physicists have been puzzled by a discrepancy in muon particle wobble measurements, but new calculations and experiments have resolved the issue. The muon mystery has been largely explained by lattice simulations, but electron-positron collision data still needs to be understood.

The Economic Benefit of Refactoring

51 javaeeeee 2026-07-30 15:45:56 UTC martinfowler.com Llama Share 23

A developer used a generative AI tool to refactor a 150,000-line codebase, reducing input tokens for a specific task by 83% from 159,564 to 27,360. The refactoring process involved breaking down a large file into smaller ones, reducing code duplication and improving the agent's ability to identify the smallest subset of files necessary to read.

Hacker Public Radio

59 bmacho 2026-07-30 14:45:56 UTC hackerpublicradio.org Llama Share 6

Hacker Public Radio is a technology podcast with listener-produced shows on various topics, encouraging respectful debate and positive feedback. Listeners are asked to submit one show per year, with unfilled slots filled from the Reserve Pool to keep the project running.

SDL_GPU minimal, single-header, high-performance 2D graphics painting library

33 n67094 2026-07-30 14:45:56 UTC github.com/n67094 Llama Share 11

The text describes the SDL_GP library, a graphics library that provides a simple resource management system and various functions for rendering graphics, including drawing shapes, textures, and images. The library is open-source and licensed under the MIT License, and the author, nsix, encourages support through GitHub Sponsors and their blog at www.nsix.blog.

Launch HN: Prized (YC S26) – Let non-engineer staff build secure internal tools

44 marinoseliades 2026-07-30 13:45:56 UTC prized.dev Llama Share 21

The ops, support, and finance teams can use a centralized platform to manage work, with admin-approved connectors and a renewal desk on Salesforce, Postgres, and Zendesk. The platform provides a view of orders, tickets, and revenue trends, with risk flags and an audit trail for decision-making.

RFC 8890 – The Internet is for End Users (2020)

66 notarobot123 2026-07-30 13:45:56 UTC mnot.net Llama Share 20

The Internet Engineering Task Force (IETF) should prioritize the needs of end users when making decisions about Internet protocols, rather than just focusing on technical merit. This requires considering the potential impact of decisions on people and power, and engaging in broader consultation to ensure that the Internet remains a force for good in the world.

Upper stage impacting the moon on 2026 August 5

60 ryannevius 2026-07-30 13:45:56 UTC projectpluto.com Llama Share 14

A Falcon 9 rocket's upper stage will hit the moon on August 5, 2026, at 06:34 UTC. The impact will create a crater about 17 meters in diameter and eject rocks into space, but it's unlikely to be visible from Earth.

RCade: The Arcade Cabinet with CI/CD Deployment, Custom Graphics Card for CRT [video]

15 evakhoury 2026-07-30 15:45:56 UTC youtube.com Embed Share 1

Ron Gilbert started production on Thimbleweed Park 2

180 alberto-m 2026-07-30 08:45:56 UTC grumpygamer.com Llama Share 82

Production has started on Thimbleweed Park 2, due out in early 2028, with the original team returning. A dev blog will be started to keep fans updated on the game's progress.

Show HN: Claude-account – switch Claude Code accounts without logging in again

10 hamza_rehman 2026-07-30 15:46:56 UTC github.com/hamzarehmandeveloper Llama Share 5

Claude-account is a Linux-only profile switcher for Claude Code that provides isolated config directories and transparently forwards commands to the official executable. It allows multiple profiles with different credentials and settings, and can switch between them without affecting existing sessions.

Paging Through a Parquet File in DuckDB: File_row_number or Offset?

21 rustyconover 2026-07-30 15:45:56 UTC rusty.today Llama Share 3

Using OFFSET for pagination in DuckDB can be slow due to decompressing the entire file, but rewriting the query to use file_row_number can speed it up by 2.53x. However, this approach has its own limitations and potential pitfalls, such as row order guarantees and client-side validation.

Are We Stuck with Lean?

70 jjgreen 2026-07-30 12:45:56 UTC mathoverflow.net Llama Share 25

The mathematical community is discussing the possibility of an alternative to Lean, a popular proof assistant, citing concerns about soundness bugs and the need for higher assurance of correctness. Some users suggest that Metamath or other set-theoretic proof assistants could be viable alternatives, but acknowledge that switching would require significant institutional support and community effort.

Building a native C# implementation of CEL engine

32 jackedEngineer 2026-07-30 13:45:56 UTC bsid.io Full Share 5

Mbodi AI (YC P25) Is Hiring Robotics/Research Engineers

0 2026-07-30 12:45:56 UTC ycombinator.com Llama Share

Mbodi is an AI platform that enables robots to learn from humans through natural language, allowing for rapid skill execution in production. It's pioneering a new wave of robotics with advanced generative models and global industrial partnerships.

Gpiozero Flow

108 benn_88 2026-07-30 10:45:56 UTC bennuttall.com Llama Share 33

The author created a Python library called gpiozero to simplify programming GPIO devices on Raspberry Pi, and now they've developed a web-based tool called gpiozero-flow to create and control GPIO projects visually. The tool allows users to drag and drop devices, connect them, and generate equivalent Python code, with features like remote GPIO control and shareable links.

Show HN: I think I made my own web version of minimalistic audacity

7 askadityapandey 2026-07-30 15:45:56 UTC github.com/askpext Prefix Share 3

HERTZ is a web-based Digital Audio Workstation (DAW) utility designed for instant vocal polishing. It leverages the Web Audio API for real-time signal processing and FFmpeg.wasm for client-side encoding. Unlike traditional tools that rely on server-side processing (FFmpeg binaries on Linux), HERTZ runs entirely within the user's browser thread via WebAssembly. The application is built on ...

3D Pinball for Windows (1995)

58 mushstory 2026-07-30 11:45:56 UTC 98.js.org Full Share 27

Downloading...

The Alice and Bob After Dinner Speech (1984)

27 kamma4434 2026-07-30 13:45:56 UTC hex.ooo Full Share 4

A humorous speech about coding theory.

Why Don't People Use Formal Methods? (2019)

89 Thom2503 2026-07-30 12:45:56 UTC hillelwayne.com Llama Share 61

The author discusses the barriers to widespread adoption of formal methods, including the lack of a unified community, confusion over terminology, and the difficulty of formalizing human concepts. The author argues that formal methods are not necessary for all software, but can be beneficial for high-assurance software and for partial verification, and that the industry can benefit from ...

Go LLM SDK for streaming, tool-calling AI backends (plus frontend React lib)

45 matryer 2026-07-30 12:45:56 UTC github.com/grafana Llama Share 13

The Go SDK provides a unified API for model calls, streaming, and tools across supported AI providers, allowing for reuse of existing React frontends and replacement of TypeScript backends. It follows the design of Vercel's AI SDK and supports providers like Anthropic, Amazon Bedrock, and OpenAI.

Trusted URLs via Cryptographic Signatures

9 Edmond 2026-07-30 14:45:56 UTC blog.certisfy.com Prefix Share 8

With Certisfy sticker functionality, ie the ability to publish cryptographic signatures as claims, users can share trusted URLs by leveraging the verification tied to trustworthy claims. URLs can be included in trustworthy claims and posted for anything for which a user wants to project trust. They can also be restricted to sources(ie referrer) so that the link can't be fraudulently ...

The Glass Famine

88 baud147258 2026-07-30 07:45:56 UTC edconway.substack.com Full Share 40

Pgtestdb's template cloning approach to testing is fast

7 peterldowns 2026-07-30 15:51:56 UTC brandur.org Prefix Share 1

I was reminded by Cup o’ Go yesterday of the existence of Peter Downs’ pgtestdb, a Go/Postgres testing package. pgtestdb is built around Postgres template databases, a built-in feature that you can try right from a vanilla psql shell: Copying a template is very fast, more so than migrating a test database from scratch, and much more so than some of the heavyweight Docker-based techniques some ...

CosmosEscape: Taking over Every Database in Azure Cosmos DB

41 uvuv 2026-07-30 12:45:56 UTC wiz.io Llama Share 10

Wiz Research discovered a critical vulnerability, CosmosEscape, in Azure Cosmos DB's Gremlin API, allowing attackers to compromise every database and potentially enable cross-service attacks. Microsoft has fully remediated the issue and introduced new guardrails to prevent similar attacks.

Azulejo

135 Amorymeltzer 2026-07-30 09:45:56 UTC en.wikipedia.org Llama Share 43

Azulejos are a type of Iberian painted tin-glazed ceramic tilework that originated in Spain and Portugal, used for both decorative and functional purposes, and have been produced in various styles and techniques over the centuries. The art of azulejo-making has evolved significantly, influenced by various cultures and artistic movements, and continues to be an important part of Portuguese and ...

Why Is Everyone Trying to Build a Solid-State Battery?

88 crescit_eundo 2026-07-30 12:45:56 UTC construction-physics.com Llama Share 99

Solid-state batteries have potential advantages over lithium-ion batteries, including being lighter and safer due to the replacement of liquid electrolyte with a solid material. The major benefit of solid-state batteries is a substantial reduction in material scaffolding, which could eliminate dendrite problems and make batteries more energy dense and cheaper.

The first watch featuring computer functions

73 stefanv 2026-07-30 08:45:56 UTC by.seiko-design.com Llama Share 29

Seiko has a rich history of watch innovation, from the world's first wrist computer system in 1984 to the latest designs in the 2010s. The company has released numerous iconic watches, including the Grand Seiko, Quartz Astron, and Credor Eichi II, showcasing its commitment to precision, style, and functionality.

You can't solve computer use by ignoring the interface

44 mpavlov 2026-07-30 11:45:56 UTC steelmanlabs.com Llama Share 23

Computer-use agents struggle with real-world tasks due to limitations in interface interaction, relying on workarounds instead of direct manipulation. To improve performance, agents need to be able to use interfaces like humans, requiring a separate manipulator for motor control and a more efficient approach to interaction.

Google will expand age checks on Android worldwide till the end of the year

266 dmantis 2026-07-30 10:45:56 UTC android-developers.googleblog.com Llama Share 311

Google detected unusual traffic from your network possibly due to malicious software or automated requests. Solving the CAPTCHA will let you continue using Google services.