Gemini Robotics 2 brings whole body intelligence to robots

80 ai2027 2026-07-30 15:17:22 UTC deepmind.google Llama Share 45

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.

The Lost Civic Life of Movie Rental Stores

36 facundo_olano 2026-07-30 14:56:22 UTC thereader.mitpress.mit.edu Full Share 33

You don't have permission to access "http://thereader.mitpress.mit.edu/the-lost-civic-life-of-movie-rental-stores/" on this server.

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

15 rustyconover 2026-07-30 14:59:22 UTC rusty.today Llama Share 0

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.

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

25 n67094 2026-07-30 14:56:22 UTC github.com/n67094 Llama Share 4

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

34 marinoseliades 2026-07-30 13:56:22 UTC prized.dev Llama Share 18

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.

Hacker Public Radio

37 bmacho 2026-07-30 14:56:22 UTC hackerpublicradio.org Llama Share 2

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.

The Economic Benefit of Refactoring

17 javaeeeee 2026-07-30 15:11:22 UTC martinfowler.com Llama Share 2

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.

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

54 notarobot123 2026-07-30 13:56:22 UTC mnot.net Llama Share 14

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.

Ron Gilbert started production on Thimbleweed Park 2

160 alberto-m 2026-07-30 08:56:22 UTC grumpygamer.com Llama Share 73

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.

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

77 Thom2503 2026-07-30 12:56:22 UTC hillelwayne.com Llama Share 52

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 ...

Gpiozero Flow

103 benn_88 2026-07-30 10:56:22 UTC bennuttall.com Llama Share 32

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.

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

76 crescit_eundo 2026-07-30 12:56:22 UTC construction-physics.com Llama Share 78

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.

Trusted URLs via Cryptographic Signatures

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

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 ...

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

0 2026-07-30 12:56:22 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.

Building a native C# implementation of CEL engine

18 jackedEngineer 2026-07-30 13:56:22 UTC bsid.io Full Share 2

Upper stage impacting the moon on 2026 August 5

25 ryannevius 2026-07-30 13:56:22 UTC projectpluto.com GoogleT5 Share 6

2025-010d was on the tenth rocket launched into orbit in 2025. it was the fourth bit of hardware to be tracked from that launch - a rocket that could have reached the moon if it hit the earth en route to the surface of the planet... john sutter says we don't know unless we see it, but it could be worth observing for the chance of seeing the impact crater form. he

The Alice and Bob After Dinner Speech (1984)

19 kamma4434 2026-07-30 12:56:22 UTC hex.ooo Full Share 1

A humorous speech about coding theory.

Are We Stuck with Lean?

49 jjgreen 2026-07-30 11:56:22 UTC mathoverflow.net Llama Share 16

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.

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

3 ibobev 2026-07-30 15:24:22 UTC quantamagazine.org Prefix Share 0

For 25 years, physicists have been puzzled by an apparent one-part-in-a-million problem. Their expectations of the way that certain particles should wobble in a magnetic field were clashing with what they saw in experiments. The discrepancy was an electrifying hint that they might be seeing evidence of unknown particles. Then in 2021, that hint seemed to evaporate. When researchers updated ...

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

4 evakhoury 2026-07-30 14:56:22 UTC youtube.com Embed Share 0

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

34 matryer 2026-07-30 12:56:22 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.

3D Pinball for Windows (1995)

41 mushstory 2026-07-30 11:56:22 UTC 98.js.org Full Share 19

Downloading...

The Glass Famine

75 baud147258 2026-07-30 06:56:22 UTC edconway.substack.com Full Share 34

CosmosEscape: Taking over Every Database in Azure Cosmos DB

32 uvuv 2026-07-30 12:56:22 UTC wiz.io Llama Share 8

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

121 Amorymeltzer 2026-07-30 09:56:22 UTC en.wikipedia.org Llama Share 38

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 ...

You can't solve computer use by ignoring the interface

39 mpavlov 2026-07-30 11:56:22 UTC steelmanlabs.com Llama Share 15

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

248 dmantis 2026-07-30 10:56:22 UTC android-developers.googleblog.com Llama Share 280

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.

The first watch featuring computer functions

66 stefanv 2026-07-30 08:56:22 UTC by.seiko-design.com Llama Share 27

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.

Why DNA damage from smoking and UV rays cause cancer in some but not others

39 gmays 2026-07-30 14:56:22 UTC cam.ac.uk Llama Share 57

Researchers found that genetic background influences cancer development and response to treatments, suggesting a need for personalized approaches. A study in mice showed that inherited genetics can alter how tumours arise and evolve, affecting cancer risk and treatment outcomes.

Agent-Manager: A Tmux TUI for Running Claude Code, Codex and OpenCode

75 yoanwaidev 2026-07-30 09:56:22 UTC github.com/yoanwai Llama Share 58

The agent-manager is a tool that runs multiple AI coding agents (Claude Code, Codex, OpenCode, and Grok) in separate tmux sessions, providing a live status list and features like session renaming, review, and settings. The tool also supports custom tools and has a configuration file for settings like polling interval, theme, and status detection rules.