• 2 Posts
  • 3 Comments
Joined 5 months ago
cake
Cake day: July 9th, 2025

help-circle
  • KDE’s Plasma Desktop has a web search plugin that I use all the time. Typing the Win (Super) key followed by wp:Sistine Chapel and then the Enter key brings me straight to the Wikipedia entry on the Sistine Chapel. imdb:Jurassic Park brings me to the IMDb page for Jurassic Park. yt: will search YouTube, and so on. There are around 200 keywords pre-programmed into it, including for searching programming language documentation. Unlike the Windows feature displayed here, it doesn’t use the network unless you specify a prefix and it accesses only the service you specify by the keyword. Whoever added this feature had to do so very little work compared to the payoff. It just takes the part after the colon and inserts it into a search URL for the corresponding service and opens that URL in the browser. It’s very convenient. None of this web search stuff comes up when you’re just searching for apps and there are no surprises.




  • Using it for writing tests is attractive because the way we generally test software sucks. Programs are written abstractly for an unimaginably large number of cases, but only tested for a finite few. It’s so ugly and boring and inexact. I’d be so giddy if a language/system came along that did formal methods properly, enabling me to formally prove correctness in every case. Programming is fun. Proofs are fun. Tests are not fun. And I’m here on Earth to have the most fun.

    This is all to say that using LLMs to do the boring work of writing tests is a suboptimal solution for testing software. It fits a general pattern. Yes, you can learn X by having a conversation with an LLM, but I believe it will be a subpar experience compared to forcing yourself to read a professionally-written book on the subject.