Clink gave me a nice surprise today. It gave me the option to update or not and even told me how to turn it off. That's how software should act, as a helper, not a master of its user. Kudos to Christopher Antos and Martin Ridgers. #clink #shell #update #dev #nomxd #Tech-talk

I've installed the mathlib docs, but it's not a copy of its online version. I got only warningsbut no errors, and references are disabled by default for some reason. Well, it's only an alternate if my ISP is having a bad connection day. #mathlib #docs #lean #nomxd #Tech-talk

Ok, some of you are doing too many requests to wttr.in, lol. So here is a way I do it: a singlerequest every time my PC boots. No need for us to do it every time we open a shell, just save the report to a file & read from it. #Weather #shellscript #Bash #Zsh #nomxd #Tech-talk

More silly stuff for today, I've added my weather forecast to my terminal using <<wttr.in >> API, and a funny phrase for the cmd fortune. #weatherforecast #api #fortune #terminal #linux #nomxd #Tech-talk

How did I beat Claude 4? It has an 84% score on a GPQA Diamond (a higher score than experts'). GPQA benchmarks (Diamond is one of their sets) are made of multiple-choice questions. Any student knows these are the easiest ones to solve. 1/2 #claude #ai #sonnet #nomxd #Tech-talk

I also remembered about this site <<https://uhunt.onlinejudge.org/ >>, which allows us to find interesting problems on UVA's site. Theones people have been working on. And the Chat in there is always a source of amusement. lol #UVA #onlinejudge #uhunt #nomxd #Tech-talk

I use emoticons on my page, but I was upset because if a browser doesn't have them, it loads any font that does. So I found theses fonts <<https://www.nerdfonts.com/ >> that have 10,390 glyphs, including tech symbols. Nice. #symbols #unicode #emojis #nerdfonts #nomxd #Tech-talk

Tao recently posted how to formalize proofs with Lean on his channel (after 14 years without vids). So I had to install it <<https://lean-lang.org/ >>. The main guide uses VS Code. Ergo, here is an alt with neovim/linux. 1/3 #neovim #lean #vim #terencetao #nomxd #Tech-talk

Chrome is driving me insane with design issues. Anyway, I improved libretranslate's UI/UX a bit for phone users, & I found a webfont gen <<https://shorturl.at/ENOq4>>. It generates several types from the one we own. Nice. #ttf #woff #fontsquirrel #eot #svg #nomxd #Tech-talk

I added a new service to my page. It converts any video supported by ffmpeg to MP3 up to 20 MB. AndI also made some buttons bigger for phone users << http://nomxd.ddns.net/extract.php >> and so that filenames can have spaces now. #ffmpeg #audio #extraction #nomxd #Tech-talk

I needed a bpy refresher. So I made a script to generate some polyhedra that Blender apparently doesn't have (Maybe bc they are not regular). After some calculations, I made the pentagonal trapezohedron, the d10 die in RPG. #blender #polyhedra #polyhedron #nomxd #Tech-talk

A good finding of today, a funny way to say no when denying some op. And we can just pick the reasons.json file if we want, instead of running a service for it.<<https://github.com/hotheadhacker/no-as-a-service >> #api #service #no #noasaservice #isalman #nomxd #Tech-talk

Ollama is another of my sightings in the 9 hells. It runs several open-source LLMs. So I had to look for a FOSS one, but I found this interview of Richard Stallman <<https://shorturl.at/1kYQc >> Great Minds Think Alike. #fsf #ollama #stallman #oss #llm #ai #nomxd #Tech-talk

One of my findings while I was almost isekaied is Kizzy <<https://kizzy.dead8309.xyz/ >>. It updates our presence onDiscord for any app (it's a bit buggy, but I bet it's because of Android). Do you understand who owns their phone, @Android? #kizzy #android #nomxd #Tech-talk

I finally messed a bit with LibreTranslate, and now it uses a single DB regardless of my SO through a symbolic link. Now, all LT languages will always be available. And I can start adding more words to their dictionary. #libretranslate #windows #linux #nomxd #Tech-talk

I just posted an MV for the anime TobeHeroX, but my content was flagged as improper by X & blocked byMastodon! But I discovered the culprit: the hashtag in the image below. Bunch of dumbasses,Loli is a character's name! #ToBeHeroX #Tech #Mastodon #Twitter #X ##nomxd #Tech-talk

AI fails to solve an easy problem in electronics: <<https://x.com/Subuta78125/status/1911984749381656854 >>I'll tag anyone that beats an AI online within BrainVsMachine. #AI #Grok #BrainVsMachine #Tech ##nomxd #BrainVSMachine