# am happy (blogs) — RSS Amplifier Recent posts from the 2 feeds in the RSS Amplifier directory that cover am happy. Page: Feed: --- ## [(untitled)](https://micro.mjdescy.me/2026/08/12/i-got-wireguard-working-on.html) _2026-08-13 · Michael Descy_ I got WireGuard working on Opnsense for the second time. I am afraid I will never figure out how to reproduce it! ## [What sort of maths are LLMs good at?](https://gowers.wordpress.com/2026/08/12/what-sort-of-maths-are-llms-good-at/) _2026-08-12 · gowers · Gowers's Weblog_ For the sake of anyone who might read this blog post in the distant future (a month from now, say), let me mention that I am writing it a few days after OpenAI announced that it had solved ten major problems in mathematics and theoretical computer science, including the first construction of a non-sofic group, \[ \] ## [(untitled)](https://micro.mjdescy.me/2026/08/01/i-am-thrilled-to-discover.html) _2026-08-01 · Michael Descy_ I am thrilled to discover a new email client, Veem , that integrates with Gnome, is clean and modern, and has a unified inbox. It is just what I was looking for. ## [Thoughts about the Leiden Declaration](https://gowers.wordpress.com/2026/07/26/thoughts-about-the-leiden-declaration/) _2026-07-26 · gowers · Gowers's Weblog_ Last September I went to a workshop at the Lorentz Centre in Leiden to discuss mathematics and AI with historians, philosophers, computer scientists, AI researchers, and mathematicians of several different flavours (though there was a surprising preponderance of algebraic geometers). The whole event was extremely stimulating, with some talks but also a lot of time \[ \] ## [(untitled)](https://micro.mjdescy.me/2026/07/23/i-cant-stand-backslashes-in.html) _2026-07-23 · Michael Descy_ I can’t stand backslashes in Windows file paths. They screw things up for me all the time. ## [(untitled)](https://micro.mjdescy.me/2026/07/19/it-looks-like-i-am.html) _2026-07-19 · Michael Descy_ It looks like I am coding in Python again. Data engineering work keeps taking me back in that direction. ## [(untitled)](https://micro.mjdescy.me/2026/07/17/it-has-been-a-very.html) _2026-07-18 · Michael Descy_ It has been a very hard work for me but I am hopeful for the future. ## [(untitled)](https://micro.mjdescy.me/2026/07/11/were-packed-and-ready-to.html) _2026-07-12 · Michael Descy_ We’re packed and ready to go in the morning! ## [(untitled)](https://micro.mjdescy.me/2026/07/09/i-am-experimenting-with-having.html) _2026-07-10 · Michael Descy_ I am experimenting with having Opencode edit Opencode’s settings to build coding agents, juggle models efficiently, and so on. It’s pretty fascinating what it comes up with. ## [(untitled)](https://micro.mjdescy.me/2026/07/08/i-am-very-happy-to.html) _2026-07-09 · Michael Descy_ I am very happy to say that I am taking my Nintendo Switch 2 on vacation with me this year. I ordered a protective case and will be good to go. I hope to play some Metroidvanias plus Mina the Hollower in handheld mode. ## [International money transfers (Sponsored)](https://crawlproof.com/a/QEzh1CHgWXVH) _2026-07-09 · **Sponsored**_ Send money to other countries and manage multi‑currency balances online. ## [(untitled)](https://micro.mjdescy.me/2026/07/08/just-noodling-around-tonight-i.html) _2026-07-09 · Michael Descy_ Just noodling around tonight. I am having Opencode write Nushell scripts for me to automate some of my basis file operations: unzipping, zipping, and transcoding. It is surprisingly capable. I think I like Nushell better than Python for these tasks now. ## [(untitled)](https://micro.mjdescy.me/2026/07/05/the-minions-vs-monsters-movie.html) _2026-07-06 · Michael Descy_ The Minions vs. Monsters movie was a lot to take in. ## [(untitled)](https://micro.mjdescy.me/2026/07/05/i-found-a-pretty-involved.html) _2026-07-06 · Michael Descy_ I found a pretty involved tutorial for creating a Gnome desktop app using Rust. I’m trying to learn from it while I am battling the need for sleep. ## [(untitled)](https://micro.mjdescy.me/2026/07/04/i-am-not-happy-about.html) _2026-07-05 · Michael Descy_ I am not happy about 87℉ temperatures at 9:38 at night. ## [(untitled)](https://micro.mjdescy.me/2026/07/04/we-lost-power-last-night.html) _2026-07-04 · Michael Descy_ We lost power last night due to a thunderstorm. We still don’t have power today, but are running on a generator. We are comfortable but I wonder how much it is costing us in natural gas. At 95 degrees F outside, though, we don’t have much of a choice. ## [(untitled)](https://micro.mjdescy.me/2026/07/03/i-saw-supergirl-today-with.html) _2026-07-03 · Michael Descy_ I saw Supergirl today with my family. While I liked it, it was not the movie I expected. It was grim and very, very dark. I liked the story after a while, but it was a bad idea to bring my nine-year-old son to it. He hated it. ## [(untitled)](https://micro.mjdescy.me/2026/07/03/it-actually-works.html) _2026-07-03 · Michael Descy_ It actually works! ## [(untitled)](https://micro.mjdescy.me/2026/07/03/i-vibecoded-a-micropub-posting.html) _2026-07-03 · Michael Descy_ I vibe-coded a Micropub posting client for Gnome last night so I would have something to try to learn from. ## [(untitled)](https://micro.mjdescy.me/2026/07/03/i-discovered-a-git-client.html) _2026-07-03 · Michael Descy_ I discovered a git client for Gnome called Gitte . It’s really good! I use it to supplement my command-line work with git. Fork for Windows and Mac is my favorite git client for those platforms. ## [(untitled)](https://micro.mjdescy.me/2026/07/03/well-my-aibuilt-devcontainer-is.html) _2026-07-03 · Michael Descy_ Well, my AI-built devcontainer is not working out too well. It installed a bunch of old versions of software that aren’t compatible with each other. Nothing builds. The agent is starting to go in circles. It’s time to pull the plug on it and go to bed. ## [Browse ThreatCrush Modules (Sponsored)](https://crawlproof.com/a/smZ1xIEbn8He) _2026-07-03 · **Sponsored**_ Install community-built security modules to extend real-time threat intelligence and monitoring ## [(untitled)](https://micro.mjdescy.me/2026/07/03/i-dont-know-why-i.html) _2026-07-03 · Michael Descy_ I don’t know why I didn’t think of asking opencode to build a devcontainer for Gnome development before, but it is doing it right now. I hope it works! I hope I can build a Gnome app without using Builder. ## [(untitled)](https://micro.mjdescy.me/2026/07/03/i-just-bought-mina-the.html) _2026-07-03 · Michael Descy_ I just bought Mina the Hollower and played it for a little bit. I have been wanting it since it came out. It’s a fun game! I look forward to playing it when I have more time. ## [(untitled)](https://micro.mjdescy.me/2026/07/02/after-many-years-of-thinking.html) _2026-07-03 · Michael Descy_ After many years of thinking my git history should reflect exactly what I did, however messy it is, I am suddenly doing the opposite. I am doing a git rebase -i before every push to my own repositories. I understand that now clean git history can be build on little white lies. ## [(untitled)](https://micro.mjdescy.me/2026/07/02/to-illustrate-my-frustration-with.html) _2026-07-03 · Michael Descy_ To illustrate my frustration with Github Copilot, I burned through 15% of my monthly limit writing SQL queries today. I was not vibe-coding or doing anything agentic. I was just trying to get some challenging queries working. ## [(untitled)](https://micro.mjdescy.me/2026/07/02/github-copilots-recent-price-hikes.html) _2026-07-03 · Michael Descy_ GitHub Copilot’s recent price hikes have converted me to a huge fan of OpenCode , an open source AI coding harndess, and OpenCode Go , which provides very inexpensive access to non-frontier AI models. It’s a tremendous value. ## [(untitled)](https://micro.mjdescy.me/2026/07/01/i-created-my-first-completely.html) _2026-07-02 · Michael Descy_ I created my first completely vibe-coded app tonight. It’s a very simple tool I will use at work. I am getting more adept at using AI coding tools every day. ## [(untitled)](https://micro.mjdescy.me/2026/07/01/the-lore-version-control-system.html) _2026-07-02 · Michael Descy_ The Lore version control system looks fascinating. I wonder if I should try to use it for data projects. ## [A recent experience with ChatGPT 5.5 Pro](https://gowers.wordpress.com/2026/05/08/a-recent-experience-with-chatgpt-5-5-pro/) _2026-05-08 · gowers · Gowers's Weblog_ We are all having to keep revising upwards our assessments of the mathematical capabilities of large language models. I have just made a fairly large revision as a result of ChatGPT 5.5 Pro, to which I am fortunate to have been given access, producing a piece of PhD-level research in an hour or so, with \[ \] ## [Group and semigroup puzzles and a possible Polymath project](https://gowers.wordpress.com/2026/03/20/group-and-semigroup-puzzles-and-a-possible-polymath-project/) _2026-03-20 · gowers · Gowers's Weblog_ An Artin-Tits group is a group with a finite set of generators in which every relation is of the form or for some positive integer , where and are two of the generators. In particular, the commutation relation is allowed (it is the case of the first type of relation) and so is the braid \[ \] ## [Point a Domain, Start a Pit (Sponsored)](https://crawlproof.com/a/ayVsZalOJco7) _2026-03-20 · **Sponsored**_ Point any domain to a blacked-out, poison-green coming-soon page with an email waitlist. ## [Creating a database of motivated proofs](https://gowers.wordpress.com/2025/09/22/creating-a-database-of-motivated-proofs/) _2025-09-22 · gowers · Gowers's Weblog_ It s been over three years since my last post on this blog and I have sometimes been asked, understandably, whether the project I announced in my previous post was actually happening. The answer is yes the grant I received from the Astera Institute has funded several PhD students and a couple of postdocs, and \[ \]