Content tagged formal
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.