The first post in this series introduced Frml, a little procedural language I created so that I could learn how program verification works. This post explains how Frml checks scalar-level programs that have straight-line and branching code over scalar values with no function calls, contracts, loops, or quantifiers. The Prover’s Data Model The prover tracks a program point with a State object. State.vars holds the symbolic values of scalar variables, and State.path holds every fact assumed to…

I forgot I still had one of these so happy to give it a try today. It seems like everything I’ve tried recently has for the most part been from South Korea – nothing wrong with that, I just like diversity of the origin country to keep it interesting. Let’s give it a shot! Tang Master Spicy Pork Bone Noodle – China A distributor / import sticker (click to enlarge). Detail of the side panels (click to enlarge). Looks to be meat free but check for yourself. To prepare, add in everything and fill…

The next episode of SOOC Live is today at 10:00 AM Pacific Time, 1:00 PM Eastern. Join Nathalie Boucry and myself as we chat with Bo De Lange about his wonderful photography and his favorite Film Simulation Recipes. This is an interactive show, so your participation makes it better. I hope that you can join us! Click here to join, or you can watch below.

✏️ #inktober day 8 Buying shoes with son.

A Nova extension that keeps your terminals running in a tmux session per project, shared between Nova’s terminal and Ghostty, iTerm, kitty or Terminal. Why? With the this setup, each project gets a session and each Nova terminal tab gets a tmux window. Close a tab or quit Nova and your shells, builds and other processes keep running. Open another tab to return to an unused window, or join the session from your external terminal. tmux also provides renamable sessions, split panes, windows and…

Back in May I wrote about my Zerto Docs MCP server, the thing that lets Claude, Copilot, or Cursor answer Zerto questions straight from help.zerto.com with citations. It works well, but it has one catch: you need an AI client that speaks MCP, and you need to know how to add a custom connector to… The post chat.jpaul.me: Ask Zerto, HPE Morpheus, and OpsRamp Questions From a Browser appeared first on Justin's IT Blog.

Bringing receipts for xkcd.com/2347. adactio.com/links/22794

On this page I seem to always lose my USB drives when I need to make a live USB. Recently I needed one to install Clan on my Beelink Mini S12 Pro. [1] Clan is a peer-to-peer computer management framework for NixOS. It lets you fully provision a remote machine in a declarative way. So, if Clan can control a machine over the network, why not just initially boot the machine over the network too? Then I wouldn't need to go out and buy a new flash drive. This is where Preboot Execution Environment…

An in-depth report from Galax, the Old Time equivalent of the fleadh. adactio.com/links/22793

moss

“Every Ubuntu or Fedora user eventually hits the same wall. The six-month update cycle stops feeling exciting and starts feeling like a chore, or worse, a two-year LTS jump breaks half your configuration in one sitting. Rolling release distributions exist because a lot of Linux users got tired of that rhythm and wanted their system to just stay current, indefinitely, without the ceremony of a version upgrade.” “A rolling release distribution doesn’t have version numbers the way Ubuntu 24.04 or…

Going for a stroll last week, I spotted this fence. There are several similar ones on the estate it's on. I think the ground has dried up so much, that the posts have all started to lean. Obviously, the bars have held, so it's just leaned over. Which looks an awful lot like many a model fence I have seen - so there is a prototype if you can't make your posts stand up straight!

The monster may have abandoned humanity, but it hasn’t abandoned trousers. There comes a point in every monster’s entrance when my eyes wander south. The head is mesmerizing. The fangs are angry and ready to draw blood, and the claws mean business. Then I notice the pants. Not a second skin, not some mysterious extension … Continue reading A TRAILER A DAY KEEPS THE BOOGEYMAN AWAY! Pants Monsters: Terror, One Leg at a Time!

I recently talked a bit about going home and not finding Jacksonville, or even Jackson, I remember. I was standing out in front of what we called "the old High School," the Newton-Bateman building where people in my town went to school up until about 1983. I never went there. We had the "new" High School out north of town. That structure survives in Jackson with the old, haunted High School and the new school. I also wrote a bit about Charmed. The one thing the new Charmed series established…

This is the latest collection of indie games I (Josh Bycer) covered for my shorts series. Rushcremental Iron Bramble Brazilian Drug Dealer Before 4 Rust and Shine IGTAP Seven Stars of Orion Entropy

Soul of My Soul by Etat Libre d' Orange was originally a Selfridges exclusive coming out in 2020, but I smelled it a couple of years later, after the quarantine of the pandemic, which limited my traveling severely.It was a sampling in passing; it seemed nice enough, but in that lackluster quality that "nice things" often display. Damned with faint praise, in short. The fact that it was in "

42 String Beans

We have started using visibility as the measure of a fulfilled life: how large your network is, how many conversations you keep going at once, how often you show yourself. The underlying assumption is that depth translates itself outward into output and connection. But that is an assumption, not a law, and the people who live most deeply are rarely the loudest. The real measure is something else: can you experience a moment fully without immediately turning it into a strategic goal? A sunset is…

So Sadiq Khan says getting international trains at Stratford International in East London is within "touching distance" in an article in City A.M. this morning (full article here). OK, so the Mayor of London wants it, and is saying so, which is important. But the article written in his name says very little about how to actually do it.So let's have a go at that aspect.The station is a sunken concrete box, with tunnels at both ends, and a single track on a bridge rising through the middle to…

Prospect Park, Brooklyn, 15 September to 7 October 2026

The Firefox team just launched a website that allows users to rank the Interop 2027 proposals that they care about. And I care about things - for selfish reasons and for work. And that's a challenge. I want to rank things that only benefit me and my blog but I also want to rank things that would make my daily job easier. Or, at least, allow me to delete a lot of code. So I settled with a balance of five for each. My final ranking: CSS random() function CSS corner-shape property CSS gap…

If the little grey cells are not exercised, they grow the rust. – Hercule Poirot, The ABC Murders by Agatha Christie If you are a fan of detective fiction like I am, you are probably familiar with the silhouette above. If not…well…allow me to introduce you to Agatha Christie’s iconic, lovable, and incomparably well-mustached Belgian […]

Crossing Otter Creek near Smiths Falls, Ontario on the VIA 643. I’m on the VIA train from Ottawa to Toronto. We’ve just passed through Smiths Falls, streaking past paper white birch trees, golden fields, blazing orange maple trees, marsh reeds turned red, scarlet sumac all under a clear blue sky. I’m listening to The Great Lakes Suite by Rheostatics, which features poetry read by Ann Carson, who today was awarded the Nobel Prize in Literature. I’ll meet my brother in Toronto and spend the next…

If you’ve followed this blog for a while, you may know that I do a lot of work with data privacy and that I have an interest in modal logic. Recently these two worlds collided: I became aware of work that uses modal logic to reason about data privacy. The story begins with Helen Nissenbaum’s paper Privacy as Contextual Integrity [1]. Rather than simply classifying data as public or private, Nissenbaum looks at norms around the context in which data exists and moves. … the benchmark of privacy…

Clear but not as cold. The shadows of three silent, low-flying geese cross the porch as a larger flock to the south provides the soundtrack of goose music.

Costume designer Julie Weiss has a pretty impressive career spanning the last fifty years. Today

I've wanted to write a post for a few days now, but work commitments (and being in the office without privacy) have held me back. That, and I haven't been sure what to write. A few ideas percolated in my head this morning but one that grabbed me was inspired by Sylvia's post, On being overwhelmed (and letting myself feel). This isn't a "reply" post, but maybe it can be viewed as a "commiseration post". We have a lot going on in our lives right now. My wife is pregnant, coming up on 6 months…

Since my (surprisingly popular) blog on Gemini protocol I've continued to poke around with it and these are some very unstructured thoughts. Seriously - I'm typing this as I go, its not a coherent blog, its just me rambling. First off - gemtext, the text format used with the gemini protocol seems to be utterly pointless. Its neither one thing or another. I understand the need to minimalistic, easy to parse text handled by this minimalistic protocol, but you might as well just use just text. The…

I’ve wanted to visit Japan since the 1990s but I used to think it would be too overwhelming. I worried it'd be hard to navigate, difficult to find fun stuff to do, and not easy to enjoy a new country where I had a significant language barrier to contend with. This post is over six thousand words long and will take quite a while to read about everything I did and experienced during my week in Tokyo. Feel free to skim it, check out the photos, and bounce around wherever you like. But about ten…

Act 2: Scene 3December, 1989.Christmas Eve I never had much of a relationship with God and nor did I ever have the words to speak with God. My younger years showed me a disconnect because to me, religion caused wars and fights and in my experience, what God you chose was more important than say, the kind of man you are or the house you lived in.Religion caused a disconnect.This caused arguments over which God was right and who was wrongPlus –I was a Jew . . .And there was nothing cool about…