Content from 2021-07
The heat finally gets at me, melting my circuits. And the fact that in Moscow on average it was much worse gives me shivers. I have to admit, I just hate summer this much.
The research work goes somewhere. Slowly, given the uncertified character of the computational codes that we use in DFT, bugs and errors in formalism are found. Last one we spotted after writing complete tensor representation for an alternative approach to get one heat flux component (one out of five!). Feels like every step towards the goal is harder, and it's rather frustrating than interesting.
The by-time is getting more structured though, converging on the topics I want to explore. My Rust crusade started recently, with help of its native cli to one well-known self-promotion resource (masking itself as a self-educational one).
Meanwhile I'm using Lisp for all things practical: from job submissions at work to scripting over my StumpWM desktop. Realizing now that Common Lisp is to stay with me not only as a primarily ideas-prototyping language, but also as a reliable study companion... for life. Putting aside stupid pathos of claims like "language from out-of-Space" that bears "alien powers", what I see is a well-thought dynamic computing system where many aspects just done right... or can be implemented right by its user. And it is a joy to use and even to discover hidden gems developed with it.
Speaking of which, I'm tempted to spend some time playing with ACL as part of introduction to the computer-aided proofs. Some time after I'm done with The Little Typer book (featuring by the way a Scheme dialect designed for demonstration of a lightweight proover). And then, well, I'll seek an advice on what to pick up further. My trials with aggressive imperative programming show clearly that the future lies clearly in formal verification for computational environments.
So, that's what my leisure thoughts will spin around for the time being: promising imperative (e.g. rust), practical dynamic and meta-programming (e.g. lisp) and mathematical reasoning systems. In a combined interconnected way that will provide a better understanding of computer science - where there is science.
The recent SIESTA school produced a few valuable leftovers (apart from funny experience of hosting events on Discord). Those appear, most importantly, in a form of updated SIESTA Tutorials & Documentation , but not only.
There was also a set of video lectures prerecorded and released before the start of the school (as is trendy these days). The YouTube playlist is available here:
 Work in progress, where "progress" stands for organizers' tremendous efforts to deliver the general part of materials in time for the event, as well as to keep the project up-to-date afterwards.
While preparing one other talk I've ran into a funny feature of Paperscape that allows to view a graph of references or citations of a certain paper on arXiv. Moreover, such graph can be referred as a link (as stated in this post).
So here is the citations' projection of the original SIESTA paper onto the arXiv manifold - the overall number of citations of that publication is one order of magnitude higher, spanning over 11,5+k citing papers in total!
Funny thing, according to Miguel Pruneda that long-distance connection with "dark matter" area must be through a work on electronic stopping power for detectors. Or it may as well be a clustering artifact...
And connected is one new star in this sub-Universe, referring to its massive predecessor: SIESTA: recent developments and applications. Their relations are visible on the - yet not very bright - references graph (mind the "heavy star" to the bottom right):