Finally got a website up for the project I've been employed in at the math department: http://www.fmigo.net/
To quote myself:
"FMIGo! is a set of Free Software tools aimed at the Functional Mockup Interface (FMI) standard. FMI is a standard for packaging simulations into .zip files called Functional Mockup Units (FMUs). Each FMU contains an XML file describing the system contained within, and a set of binaries, data and possibly source code"
Messing around with formally proving that a simple RLE compressor/decompressor in #frama-c can't crash. No problem there.
Proving that the output from compression+decompression is identical to the input on the other hand.. not so easy!
@eredondo Question for you as a battery person: what do you think of the carbon batteries being developed by Robert Murray-Smith? I find it interesting, but it's hard for me to tell how much of it is "real" since he handwaves aspects of it and I'm not a chemist
Spent some time this week implementing my own solver for Laplace's equation in GNU Octave, for FEM:ing electrostatics, and for my own sanity. Attached pic shows computed voltages for a setup in the lab. I even managed to speed the solver up considerably using BiCGSTAB :]
Then today a friend of mine tipped me about #FEniCS, a libre set of FEM tools. Is anyone on here familiar with it? It seems suitable for my needs, and having something mature other than COMSOL would be nice
I suppose an #introduction is in order:
Hello! My name is Tomas. I am a research engineer at Umeå University, MSc in Computer Science. Currently working in the field of lunar #electrostatics ⚡. If all goes well we'll be sending a set of field mills to the lunar surface some time in 2019!
I'm also involved in the #amateurradio scene under the callsign SA2TMS.
I have some other accounts elsewhere in the fediverse, but this feels like a good place for seriousposting..
Scholar Social is a microblogging platform for researchers, grad students, librarians, archivists, undergrads, academically inclined high schoolers, educators of all levels, journal editors, research assistants, professors, administrators—anyone involved in academia who is willing to engage with others respectfully.
We strive to be a safe space for queer people and other minorities, recognizing that there can only be academic freedom where the existence and validity of interlocutors' identities is taken as axiomatic.
"A Mastodon profile you can be proud to put on the last slide of a presentation at a conference"
(Participation is, of course, optional)
Scholar Social features a monthly "official" journal club, in which we try to read and comment on a paper of interest.
Any user of Scholar Social can suggest an article by sending the DOI by direct message to @email@example.com and one will be chosen by random lottery on the last day of the month. We ask that you only submit articles that are from *outside* your own field of study to try to ensure that the papers we read are accessible and interesting to non-experts.