Android Developer Verification: Threat masquerading as Protection

https://f-droid.org/assets/fdroid-logo_bfHl7nsLHOUQxzdU8-rGIhn4bAgl6z7k2mA3fWoCyT4=.png
Google's Android Developer Verification program silently installs a virus on devices running Android 8 or higher, disguising itself as a system service with full root privileges. This virus, which affects an estimated 4 billion devices, blocks users from running software not approved by Google, posing a significant threat to user freedom and privacy.

Kimi K2.7 Code is generally available in GitHub Copilot

https://github.blog/wp-content/uploads/2026/06/613814616-4d64d5a2-d26c-4377-9ce6-a444b1b30840.png
Kimi K2.7 Code, an open-weight model, is now available in GitHub Copilot with lower costs and provider list pricing. It's rolling out to Copilot plans, but plan administrators must enable it for organization use.

The Fall of the Theorem Economy

https://substackcdn.com/image/fetch/$s_!PjDj!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F23fb6d1a-c174-487f-8619-f57247788a4c_869x475.jpeg
Mathematics is not just about proving theorems, but about understanding and sharing knowledge. The rise of AI threatens the traditional honor code of mathematicians, which prioritizes theorem-proving over conceptual innovation.

Oomwoo, an open-source robot vacuum you build yourself

https://makerspet.com/wp-content/uploads/2026/06/oomwoo-vacuum_model_top.webp
oomwoo is an open-source home robot vacuum that owners build themselves with affordable 2D LiDAR and local navigation. It's built on Raspberry Pi, ROS 2, and 3D printing, with a community-driven development process.

ZCode – Harness for GLM-5.2

https://zcode.z.ai/_next/image?url=%2Fimages%2Fimg-goal%402x.png&w=3840&q=75
User built a standalone browser-based Gomoku game from scratch using ZCode 3.0, implementing heuristic AI and win detection. The game renders a 15x15 board, tracks turns, and supports restarting with optional AI focus area overlay.

WinPE as a stateless harness for Windows driver testing and fuzzing

Recently, I analyzed two specific engineering problems in the field of low-level automation. The first one is the orchestration of CI/CD environments for Windows systems, where creating reproducible, deterministic conditions for end-to-end (E2E) tests is incredibly expensive and inefficient. Suppose you manage a repository for a Kernel-Mode Driver Framework (KMDF) kernel driver: how do you ...

Vite+ Beta

https://voidzero.dev/images/announcing-vite-plus-beta/vite-plus-chart.jpg
TL;DR: Vite+ is now in beta. It unifies the runtime, package manager, and frontend tools every web project needs behind one fast, consistent workflow. Start a new project with vp create, or adopt it in an existing project with vp migrate. Vite+ is a single entry point to web development. It manages your runtime and package manager and brings Vite, Vitest, Rolldown, tsdown, Oxlint, and Oxfmt ...

Asymmetric Quantization: Near-Lossless Retrieval with 97% Storage Reduction

https://www.mixedbread.com/_next/image?url=%2Fimages%2Fblog%2Fasym-quant%2Fasym-quant.jpg&w=3840&q=75&dpl=dpl_3D4qZkvLGFfDhJjnS6ndGsskyqko
Late interaction models like Wholembed v3 improve retrieval precision but increase storage costs due to multiple vectors per document.

Bring back crappy forums

https://proxy.tedium.co/IzwEmfCClR4WnQfbzWRBfpocU_k=/1000x667/filters:quality(80)/uploads/post-it-notes.jpg
The web forum, which was once a popular way for people to connect online, has largely been replaced by social media due to its limitations and the novelty of new technologies. Despite its flaws, the web forum has left a lasting legacy, with its concepts and tools influencing modern platforms and even being used in game development.

My Favorite Keyboards

https://fabiensanglard.net/keyboards/model_m.webp
The user's favorite keyboards include the IBM Model M, 8BitDo Model-M inspired keyboard, IBM Model M SSK, NMB RT-9100W ConcertMaster, and Ergodox EZ. They have also used the Amstrad CPC 6128 and Atari 520 STE keyboards.

Creating a Personalised Bin Calendar

https://alexwlchan.net/images/2026/bin_calendar_1x.png
The user creates a personalized bin collection calendar using Python to save time and effort. They generate an HTML calendar, customize it with bin collection dates, and print it for easy reference on their fridge.

What to learn to be a graphics programmer

https://blog.demofox.org/wp-content/uploads/2026/07/image.png?w=1024
To be hireable as a graphics programmer, learn modern graphics APIs like DirectX12, Vulkan, or Metal, and understand rendering techniques, lighting, and shading. Familiarize yourself with C++ and shader languages like HLSL or GLSL, and consider learning path tracing and physically based rendering.

FFmpeg 9.1's new AAC encoder

How do wombats poop cubes?

Wombats produce nearly 100 cubic feces daily due to their unique intestinal structure with elastic grooves and varying muscle thickness. This ability helps them create flat-sided cubes that don't roll off when marking territory.

Opening up 'Zero-Knowledge Proof' technology to promote privacy in age assurance

https://storage.googleapis.com/gweb-uniblog-publish-prod/images/Alan_headshot.max-244x184.format-webp.webp
Google open sourced Zero-Knowledge Proof libraries to support EU age assurance and digital ID solutions, making it easier for developers to build private and secure applications. This move aligns with the European Union's eIDAS Regulation, set to take effect in 2026.

Ask HN: Who is hiring? (July 2026)

Here are the summaries in 2 concise English sentences each, not exceeding 200 characters:

Why jet engines aren't made in China

https://substackcdn.com/image/fetch/$s_!cBBF!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F2d4d6017-b15d-4796-857b-7620b402737d_1080x675.png
China's state-capitalist model excels in industries with fast iteration cycles and well-known manufacturing processes, but struggles with complex technologies like jet engines that require slow iteration speeds and accumulated knowledge. The jet engine industry's high regulatory burden, extreme cost sensitivity, and reliance on a network of specialized suppliers make it nearly impossible for ...

Weave Robotics launches Isaac 1, a $7,999 home robot with Fall 2026 deliveries

https://www.weaverobotics.com/videos/posters/isaac-1/isaac1-at-home.jpg
Isaac 1 is a home robot designed to handle tedious tasks like laundry and room reset. It's autonomous and controlled through a smartphone app, with teleoperation assistance available when needed.

Senior SWE-Bench: open-source benchmark that assesses agents as senior engineers

https://senior-swe-bench.snorkel.ai/og?v=0239cf7316
Senior SWE-Bench introduces realistic tasks with natural language instructions and a validation agent to evaluate solutions. It also scores tasteful solves by combining runtime correctness tests with quality metrics.

CursorBench 3.1

https://ptht05hbb1ssoooe.public.blob.vercel-storage.com/assets/blog/og/cb-07-01.png
A chart compares model scores against average cost per task, with Fable 5 and Opus 4.8 showing high scores at high cost. Lower-cost models like Composer 2.5 and GLM 5.2 also achieve high scores.

Qualcomm Linux 2.0

https://www.qualcomm.com/content/dam/qcomm-martech/dm-assets/images/blog/headshots/Pragya_Pathi.png
Qualcomm Linux 2.0 is a unified platform with a single open-source foundation, upstream-first development model, and production-ready modular architecture. It is generally available today, June 30, 2026, with a focus on meeting customer and developer needs.

For first time, a cell built from scratch grows and divides

https://www.quantamagazine.org/wp-content/uploads/2026/07/SyntheticLife-cr-Ada-Zejun-Shen-Lede-copy-scaled.webp
Scientists created a synthetic cell that grows, replicates DNA, and divides, demonstrating basic cell functions. The cell is not alive but shows promise for generating life from non-life and could lead to breakthroughs in materials and disease research.

Aerial Photographs (2017)

https://www.toronto.ca/wp-content/themes/cot/img/share_toronto_twitter.jpg
Viewing maps is recommended on a laptop or desktop for best performance. Aerial photographs of Toronto from 1947 to 1992 are accessible online or can be purchased individually.

Monetization Gateway: Charge for any resource behind Cloudflare via x402

https://cf-assets.www.cloudflare.com/zkvhlag99gkb/qPuShvhz5HUDcJS2agaXn/be302f6d4f4e511a51378f597d0b21c0/BLOG-3342-hero.png
Cloudflare introduces the Monetization Gateway, allowing customers to charge for digital assets with usage-based pricing. The gateway uses the x402 protocol for sub-second payment settlement in stablecoins.

The Underhanded C Contest

http://www.underhanded-c.org/squash.png
The 2015 Underhanded C Contest had over 40 submissions, with many using NaN poisoning attacks, but the winner, Linus Åkesson, used a clever type confusion bug to misinterpret double-precision floating-point numbers as single-precision numbers. This allowed a host country to leave behind a small amount of fissile material and place something else in the test object to produce a substantial ...

Learn Vim motions with an ice-cream van

https://vimscoops.dev/og.png
The game teaches Vim motions one at a time through badges on the town map. Players match keystroke patterns to clear levels and earn Wizard rank.

Why I'm Forced to Say Farewell: Google Management Has Lost Its Moral Compass

https://lh7-us.googleusercontent.com/docs/AHkbwyLDFDjH1oOIrLs8FGhwA5MgiYRChi4RGDOW07-LkQWdKupDRuT5q4_uSjpbc_C_YYoIJcegOZvH_hoDKk9PQS53OhkclLOksNur_nhjH7CcSsqqFgQF=w1200-h630-p
Why I’m Forced to Say Farewell: Google Management Has Lost Its Moral Compass [go/rmayrhofer-leaving-note] When Google offered me the job of Director of Android Platform Security in 2017, it was impossible to refuse. Yes, Trump was already president—my family and I had qualms—but he seemed conta...

OpenAI: In early talks to give 5% stake to US Government

https://i.guim.co.uk/img/media/76da7fb7c521edfd0fc738f9b9eb5354bb771bd1/720_0_7200_5760/master/7200.jpg?width=465&dpr=1&s=none&crop=none
OpenAI is reportedly in talks to give the US government a 5% stake in the company, with other AI firms possibly following. The move aims to share AI benefits with the public and improve industry relations with the Trump administration.

The Wisdom of Quinn the Eskimo (Apple Developer Technical Support Engineer)

https://opengraph.githubassets.com/0a9f9d6783b264baa4a3cede74b0853c38942e63cbc508ad624f0aedb679b337/macshome/The-Wisdom-of-Quinn
User found an easy way to update Wisdoms and expects new updates soon. Deprecated posts are replaced by official documentation and subject to Apple Developer Forums' license.

Show HN: Searchable directory of 22k+ products from worker-owned co-ops

https://www.workerowned.info/logo-yourfairshare.png
Find worker-owned coffee shops and restaurants across the US. Search by city to discover cooperatively owned cafes, bakeries, and restaurants in your area.