#!/usr/bin/env python3 """Nightly telemetry refresh for the profile README. Updates the marker-fenced sections of README.md: FEED — 4 newest Strange Quarks articles (RSS if populated, else the server-rendered blog HTML) STATS — telemetry row with live star/repo totals FEATURED — star counts on the featured project cards and bumps the entropy field's chaos generation so the field differs daily. Every section is fail-safe: if a fetch or parse fails, that section is left untouched and the script still exits 0. Stdlib only. """ import datetime import html as htmllib import json import os import re import subprocess import sys import urllib.request import xml.etree.ElementTree as ET ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__))) README = os.path.join(ROOT, "README.md") STATE_PATH = os.path.join(ROOT, "state", "demon.json") SITE = "https://stevenmilanese.com" # The real feed. /feed.xml was a guess that 404'd for weeks while the HTML # fallback silently matched nothing, so the FEED table quietly froze; it now # also 301s here, but point at the canonical URL rather than lean on that. FEED_URL = f"{SITE}/rss.xml" BLOG_URL = f"{SITE}/blog" # The site publishes read-time in its own namespace — valid for strict parsers, # unambiguous for this one. MANUSCRIPT_NS = "https://stevenmilanese.com/ns/manuscript" FEATURED_REPOS = [ ("anthropic-certs", "Verified Anthropic certifications — Claude, API, Claude Code CLI, MCP."), ("slTrain", "A steam locomotive for your terminal, smoke trail included."), ("meowchi-releases", "A desktop pet that evolves when you actually get work done."), ("mpl", "Mathematics Programming Language — write the equation, run the equation."), ] def fetch(url, accept=None): req = urllib.request.Request(url, headers={"User-Agent": "developtheweb-nightly/1.0"}) if accept: req.add_header("Accept", accept) token = os.environ.get("GITHUB_TOKEN") if token and url.startswith("https://api.github.com"): req.add_header("Authorization", f"Bearer {token}") with urllib.request.urlopen(req, timeout=30) as resp: return resp.read().decode("utf-8", errors="replace") def gh_api(path): return json.loads(fetch(f"https://api.github.com{path}", accept="application/vnd.github+json")) def replace_section(text, marker, body): start, end = f"", f"" if start not in text or end not in text: raise ValueError(f"missing {marker} markers") pre = text.split(start)[0] post = text.split(end)[1] return f"{pre}{start}\n{body}\n{end}{post}" def articles_from_rss(): """Primary source: the site's real feed. The feed carries read-time in the site's own namespace, so the meta column comes from the publisher rather than being scraped back out of a page. """ root = ET.fromstring(fetch(FEED_URL)) items = [] for item in root.iter("item"): title = (item.findtext("title") or "").strip() link = (item.findtext("link") or "").strip() pub = (item.findtext("pubDate") or "").strip() date = None try: date = datetime.datetime.strptime(pub[:16].strip(), "%a, %d %b %Y") except ValueError: pass mins = (item.findtext(f"{{{MANUSCRIPT_NS}}}readingMinutes") or "").strip() meta = f"{mins} min read" if mins.isdigit() else "" if title and link: items.append({"title": title, "url": link, "date": date, "meta": meta}) return items def articles_from_html(): """Fallback: parse the blog index. Written against the Manuscript's markup, which is regular enough not to need heuristics — each entry is a `row` div holding one anchor and one `meta` span:
The previous version looked for a thumbnail `alt=` attribute and a Title-Case date. The redesign has neither — no feature images on the index and uppercase abbreviated months — so it matched nothing and silently returned an empty list for weeks. """ page = fetch(BLOG_URL) skip = ("/blog/tag/", "/blog/author/") articles, seen = [], set() row_re = re.compile( r']+href="(/blog/[a-z0-9][a-z0-9-]*)"[^>]*>(.*?)' r'.{0,400}?]*class="meta"[^>]*>(.*?)', re.S, ) for m in row_re.finditer(page): slug, raw_title, raw_meta = m.group(1), m.group(2), m.group(3) if slug.startswith(skip) or slug in seen: continue title = htmllib.unescape(re.sub(r"<[^>]+>", "", raw_title)).strip() meta_text = htmllib.unescape(re.sub(r"<[^>]+>", " ", raw_meta)) meta_text = re.sub(r"\s+", " ", meta_text).strip() # "JUL 28, 2025" — uppercase, abbreviated month. date_m = re.search(r"([A-Za-z]{3,}) (\d{1,2}), (\d{4})", meta_text) if not (title and date_m): continue month, day, year = date_m.groups() date = None for fmt in ("%b %d %Y", "%B %d %Y"): try: date = datetime.datetime.strptime(f"{month.title()} {day} {year}", fmt) break except ValueError: continue if date is None: continue mins_m = re.search(r"(\d+)\s*MIN", meta_text, re.I) seen.add(slug) articles.append({ "title": title, "url": f"{SITE}{slug}", "date": date, "meta": f"{mins_m.group(1)} min read" if mins_m else "", }) return articles def update_feed(text): articles = [] try: articles = articles_from_rss() except Exception as exc: print(f"::warning title=nightly FEED rss::rss unusable ({exc}); falling back to html") if not articles: print("::warning title=nightly FEED fallback::rss yielded nothing; scraping /blog") articles = articles_from_html() dated = [a for a in articles if a["date"]] dated.sort(key=lambda a: a["date"], reverse=True) newest = dated[:4] if len(newest) < 4: raise ValueError(f"only {len(newest)} parseable articles") rows = ["| Article | |", "|:---|---:|"] for a in newest: title = a["title"].replace("|", "\\|") when = a["date"].strftime("%b %d, %Y").replace(" 0", " ") meta = f"{when} · {a['meta']}" if a["meta"] else when rows.append(f"| [{title}]({a['url']}) | {meta} |") return replace_section(text, "FEED", "\n".join(rows)) def update_stats(text): repos = gh_api("/users/developtheweb/repos?per_page=100&type=owner") public = [r for r in repos if not r["private"]] stars = sum(r["stargazers_count"] for r in public) line = ( "★ {repo["stargazers_count"]}
{blurb}
\n' f'