Go Analysis Framework: modular static analysis by go team

77 AbuAssar 2026-07-26 13:16:46 UTC pkg.go.dev Llama Share 6

The Go analysis package provides a modular static analysis framework that allows developers to define and reuse analysis functions, known as checkers, which can be easily selected and incorporated into various driver programs. The framework includes a common interface, Analyzer, which describes an analysis function, and a Pass type that provides information to the analysis function and allows ...

Ruff v0.16.0 – Significant new updates – 413 default rules up from 59

230 vismit2000 2026-07-26 09:16:46 UTC astral.sh Llama Share 130

Ruff v0.16.0 is a fast Python linter and formatter with breaking changes, including a new default rule set with 968 rules. It adds suppression comments and improved output formats, including JSON and GitHub/GitLab formats.

Park by Robot at London Gatwick Airport

11 agotterer 2026-07-26 14:41:46 UTC aerospaceglobalnews.com Llama Share 1

London Gatwick airport introduced robotic parking in partnership with Stanley Robotics, allowing passengers to leave their car in a secure storage area without handing over keys. The service eliminates parking hassle, gets passengers to the terminal quickly, and maximizes parking capacity.

Google Discloses $94.1B in SpaceX Stock, Marking 6% Stake

158 1vuio0pswjnm7 2026-07-26 13:16:46 UTC wsj.com Full Share 85

Please enable JS and disable any ad blocker

GrapheneOS protections against data extraction from locked devices

239 Cider9986 2026-07-26 06:16:46 UTC discuss.grapheneos.org Full Share 120

Something went wrong while trying to load the full version of this site. Try hard-refreshing this page to fix the error.

I learned PCB design, 3D printing and C just to listen to music

58 interfeco 2026-07-26 12:16:46 UTC pentaton.app Llama Share 6

User built a streamer that resembles a vinyl sleeve, using a 17" industrial LCD and Radxa CM3 single-board computer. The device displays high-resolution artwork from AirPlay streams and can be powered via USB-C PD, consuming less than 2 watts when off.

What's Under Your Feet in New York City?

39 sohkamyung 2026-07-26 11:16:46 UTC practical.engineering Llama Share 3

New York City's underground infrastructure is a complex network of water, electrical, steam, gas, and telecommunications lines that provide essential services to its residents. The city's unique infrastructure is a result of its dense population and the need for reliable and efficient services, but it also poses significant engineering challenges and requires ongoing maintenance and upgrades.

A shell colon does nothing. Use it anyway

313 olexsmir 2026-07-26 04:16:46 UTC refp.se Llama Share 128

A programmer is discussing how a single colon in a shell script can simplify code by discarding the result of a parameter expansion. This allows for a more concise and typo-reduced way of checking if a variable is set.

Third Drone Shot Down in Three Days in Romanian Territory

154 _tk_ 2026-07-26 12:16:46 UTC english.mapn.ro Full Share 146

An F-16 fighter aircraft of the Romanian Air Force, assigned to the 86th Air Base, Fetești, while conducting an air policing mission to monitor and track an unmanned aerial vehicle (UAV) that had violated national airspace, engaged the target with an air-to-air missile on Friday, July 24th and neutralized it over an unpopulated area in the vicinity of Padina, Buzău County.

The new rules of context engineering for Claude 5 generation models

407 mellosouls 2026-07-25 21:16:46 UTC claude.com Llama Share 299

Claude Code's previous best practices have become myths, and newer models can handle decisions without explicit rules. To effectively use Claude, focus on providing context through design, using progressive disclosure, and referencing relevant information in code, skills, and CLAUDE.md files.

An ESP32 based plane radar for my desk

214 alexktz 2026-07-26 03:16:46 UTC blog.ktz.me Llama Share 42

User built a live aircraft radar using an ESP32-C3 and a 1.28-inch display, improving the project with proper flight context and local weather data. They plan to port the project to a larger display and design a 3D-printed enclosure.

DeepSeek pause fundraise after comments on compute gap to US leaked (transcript) [pdf]

209 oliculipolicula 2026-07-26 00:16:46 UTC github.com/demo-zexuan Full Share 161

You have triggered an abuse detection mechanism. Please wait a few minutes before you try again; in some cases this may take up to an hour.

Inflect-Micro-v2: complete voice in 9.36M parameters

175 nateb2022 2026-07-26 01:16:46 UTC huggingface.co Llama Share 14

Inflect v2 is a local text-to-waveform speech synthesis model with 10M parameters, supporting fixed-voice English TTS, long-text handling, and CPU or CUDA inference. It has a public API with two sizes: Micro prioritizing quality and Nano prioritizing footprint.

Alien World Chemistry Found Inside Meteorite That Struck New Jersey Home

125 spzx 2026-07-26 02:16:46 UTC seti.org Llama Share 43

A meteorite crashed through a New Jersey home on July 16, 2024, and was found to be a rare primitive CM1/2 carbonaceous chondrite. The meteorite's pristine condition allowed scientists to study fragile minerals and organic compounds, providing new insight into the role of water and asteroid chemistry in shaping the early solar system.

Show HN: I mapped every US golf course

177 rickmf 2026-07-26 03:16:46 UTC golfcoursebrowser.com Full Share 112

Free interactive map of 18,000+ US golf courses — ratings, slope, hole-by-hole scorecards, live weather, public/private status, and tee time booking.

What is happening to jobs? Separating AI hype from reality

170 pod_krad 2026-07-25 23:16:46 UTC siepr.stanford.edu Llama Share 230

Research suggests AI is not causing significant job losses, but may be negatively affecting demand for young white-collar workers. AI adoption is uneven and slow, with many firms still in the experimentation stage, and its effects on employment are not yet clear.

Cloudflare's new AI traffic options for customers

158 alphabetatango 2026-07-25 23:16:46 UTC blog.cloudflare.com Llama Share 132

Cloudflare is updating its AI bot management system to provide more nuanced control over AI traffic, including three use cases: Search, Agent, and Training. The new system will allow website owners to block or allow specific AI behaviors and will introduce a new "Verified" label for bots that meet certain transparency and honesty standards.

Stinkpot: SQLite-backed shell history

98 nerdypepper 2026-07-26 04:16:46 UTC tangled.org Llama Share 30

Stinkpot is a tiny SQLite-backed shell-history searcher for Bash, providing session agnostic history management and a TUI searcher. It's a smaller alternative to Atuin, with a 400-line Go codebase.

Ask HN: What are the most promising RL fields for a new master student?

18 zecice 2026-07-26 14:16:46 UTC news.ycombinator.com Llama Share 8

As an MSc student in reinforcement learning, consider subfields with strong practical directions like sim-to-real robotics and closed-loop adaptive BCIs. These areas have a good volume of researchers and potential for deep knowledge, making them suitable for a master's thesis.

The New AI Superpowers: Focus and Followthrough

3 mooreds 2026-07-26 13:16:46 UTC rickmanelius.com Prefix Share 0

So logically, if AI can help us complete tasks 2-100x faster than before, we should be UNDERWORKED and experiencing ZERO burnout, right? You may be too young to recognize this meme, but it’s the feeling most people in tech had when AI started accelerating their efficiency. Because for years, all of us had dozens, if not hundreds, of side projects we could have started but had to shelve ...

Running a 28.9M parameter LLM on an $8 microcontroller

245 boveyking 2026-07-25 19:16:46 UTC github.com/slvdev Llama Share 65

A 28.9 million parameter language model runs on an $8 ESP32-S3 microcontroller, writing text to a small screen at 9 tokens per second. The model fits due to Google's Per-Layer Embeddings, storing most parameters in slow flash and loading only needed rows.

DskDitto: Ultra-fast, parallel duplicate-file detector

45 ingve 2026-07-26 06:16:46 UTC github.com/jdefrancesco Llama Share 11

dskDitto is a parallel duplicate-file detector with interactive menus for hassle-free duplicate clearing. It offers a terminal interface and an optional graphical alternative, with features like safe deletion, symlink conversion, and fine-grained filtering.

I wouldn't say Pangram is broken, but I would say that it's brittle

40 antigizmo 2026-07-26 09:16:46 UTC freddiedeboer.substack.com Llama Share 19

The author of a blog post was accused of using AI to write a section about Ta-Nehisi Coates, but a paid AI detection tool called Pangram showed the entire 5,000-word essay was 100% human written with high confidence.

Htmx 4.0, the first JavaScript library to release exclusively on the Game Boy

6 rcy 2026-07-26 12:16:46 UTC swag.htmx.org Full Share 0

Four levels of pickle-collecting excitement. Squish client-side JS down to size, avoid slop and, if you have the skills, defeat Warren to unlock the htmx 4.0 source code! Quality is guaranteed. If there is a print error or visible quality issue, we'll replace or refund it. Because the products are made to order, we do not accept general returns or sizing-related returns.

Show HN: Reverse Minesweeper

7 pompomsheep 2026-07-26 13:16:46 UTC sunflowersgame.com Prefix Share 2

A Medium grid must force at least this many two-clue subset moves. Raise for meatier Mediums. A Hard grid must force at least this many two-clue overlap moves (plus at least one subset move). An Extreme grid must force at least this many what-if moves: assume a square, watch a clue break. The deepest logic in the game. At least one what-if must need a chain this long (in counting steps). ...

Rethinking Legal Education in the AI Era

113 jjwiseman 2026-07-26 01:16:46 UTC law.uchicago.edu Llama Share 70

The University of Chicago Law School is adapting its curriculum to the AI era by developing AI-resilient pedagogy, elevating essential human skills, and teaching responsible AI use. The school is implementing policies across its curriculum, including prohibiting electronic devices in 1L classrooms, introducing AI skills training in 1L Legal Research and Writing, and experimenting with ...

Kill The Cookie Banner

6 rapnie 2026-07-26 12:16:46 UTC killthecookiebanner.eu Prefix Share 2

Tired of misleading cookie banners? The EU Commission has finally proposed a solution: set your privacy preferences in the browser once, and never see another banner. Unfortunately, the tracking industry is pushing back – and so far, they’ve been successful. We need YOUR help to #KillTheCookieBanner! You may think that EU privacy law requires cookie banners. But the law is clear: online ...

LLM Usage in Debian: Three Proposals

191 zdw 2026-07-25 20:16:46 UTC debian.org Llama Share 173

The Debian project proposes to ban contributions written with the use or assistance of large language models (LLMs) or other generative AI tools due to concerns over stability, accuracy, and legal status. The proposal aims to protect Debian's reputation for stability and reliability, as well as the interests of its volunteers, by prohibiting LLM-assisted contributions to the project.

Elevated Errors for Opus 5

62 TimCTRL 2026-07-26 10:16:46 UTC status.claude.com Full Share 56

Claude's Status Page - Elevated errors for Opus 5.

Pip install Postgres – no Docker/Brew/apt

25 leontrolski 2026-07-26 09:16:46 UTC github.com/leontrolski Llama Share 7

The user is using a Python library called postgresql_testing to create and manage Postgres databases for testing purposes, allowing for fresh databases per thread or from a template. The library provides a simple interface to create databases, users, and templates, and has potential for future development such as caching migrated databases.