Hillel Wayne explains why formal methods like TLA+ matter, how they help build reliable software, and whether AI will finally bring formal verification into the mainstream. I enjoyed listening to this, I am planning to watch the video since Hillel Wayne shows some tool demos. I have not used formal methods in my career, but […]

Recently, I was doing some work to make sure that the OPML files I created using Drummer and available via Drummer were available from my site instead of drummer.scripting.com. My initial effort was using code from the outlineBrowser2 and opmlPackage repos from Dave Winer. After reviewing the code, I felt that I could focus more on using the […]

LinkedIn: Wisk CEO Sebastian Vigneron announces deal Archer Aviation: Press release LinkedIn: Thomas Wagenberg comments, noting this was a “no-cash” deal LinkedIn: Ken Morris sees this consolidation as strengthening the urban air mobility sector CNBC: Boeing sells eVTOL subsidiaries, takes stake in Archer CNBC: Archer Aviation shares jump 10% on news of Boeing deal The […]

For a long time, I resisted subscribing to news services. After all, pretty much all the news was available somewhere for free… For years, my go-to news hub was CNN. I still check it more often than any other news site. In the past year or two, though, CNN has gone from unlimited access to […]

I have been working on a tool to access the sitemap of a news website to try to create feeds when the site does not provide feeds. The tool starts by reading the robots.txt file, which usually has a list of things that are “disallowed”. On one of the sites, it specifically included “Claude Code” […]

I migrated all of my websites from Bluehost to Opalstack this summer. I am on the Single Stack plan, which provides shared hosting with 1 GB of RAM. When I was on Bluehost, I never worried about how much memory was being used when a site was accessed. Since moving to Opalstack, I noticed that […]

I am continuing work on my Feed News Archive project, adding feeds from US newspaper websites. There is a combination of sites that do not offer feeds, sites with difficult ways to access feeds, some WordPress VIP sites that block access to their feeds (?!) and one (Seattle Times) that seems to only allow access […]

Dave Winer talks about how to create a standard in 2026, but offers RSS.chat as the standard being described. I don’t buy it. Is this project leading to developing a standard for chat networks? I don’t think so….can anyone help me out here?

This story about a pop-up restaurant in Woodstock NY (via Daveverse) is puzzling. My takeaway is that they did not have enough staff – did people not want to work in Woodstock?

When Dave Winer first released the rss.chat application, he stated that the rss.chat instance would be restricted to a small number of participants. He later created the demo.rss.chat instance for anyone to try out. In his initial post, he said he did not “want to get into moderation”. Soon, however, he posted comment guidelines, which […]

Second WP test post using different email/account

Test post from my WordPress site (andysylvester.com) to my rss.chat instance (rsschat.andysylvester.com)

Ricardo Mendes has been doing some interesting development inspired by rss.chat, his application is called Really Simple Conversations (see his instance and Github repo) – check it out!

Updated my install of rss.chat (rsschat.andysylvester.com) to the latest server code to pick up a security patch, everything seems to be running smoothly. It is open to all!

I created a local viewer for my OPML Zettlekasten file that I created in 2022 and updated posts. The code uses a combination of the outlineBrowser2 and opmlPackage repos from Dave Winer. I will add a repo in my account soon with the setup that I used.

Tropical Storm Bertha is making landfall. What is not happening is any mention of the phrase “Gulf of Mexico”. (NBC, CBS, CNN) – just “Gulf” or “Gulf Coast”. Hmph!

Tried out another NYT Cooking recipe: Orzo with Summer Squash and Pesto. Result: another hit – 4 for 4!

Returning to our previously scheduled programming – I discovered recently that some services I used for OPML rendering are no longer running. My first change was to my post on the 2020 Electoral Count liveblog to add a new pointer (see the blog here). More news later!

There are 4 rss.chat servers – neat (rss.chat, demo.rss.chat, rsschat.andysylvester.com and perstitio.us)! The latest (perstitio.us) actually incorporates feeds from other sources besides the rss.chat instance – interesting! The author has posted an essay describing this approach. Two rss.chat forks: xicubed and hal-nine Frank Meeuuwsen shares some thoughts on rss.chat, in addition to John Johnston. Decided […]