Elektrine lite

← Feed

Manuel Eberl

pruvisto@graz.social

<p>Computer Science postdoc. Likes climbing and speaking Esperanto. Gets paid to explain mathematical proofs to computers.</p><p>Toots in Esperanto as <span class="h-card" translate="no"><a href="https://esperanto.masto.host/@pruvisto" class="u-url mention">@<span>pruvisto</span></a></span></p><p>Tiroler in Ausbildung.</p><p>Pronouns: he</p>

Posts

  • View post

    *sigh* Time to put another €10 into the &amp;quot;struggled for quite some time to prove something that blatantly isn&amp;#39;t true&amp;quot; jar. https://math.stackexchange.com/a/5013353/67576

  • View post

    Finally deleted my Twitter account. About bloody time. 🙄

  • View post

    https://mastodon.gamedev.place/@pikuma/114004127295465108 I basically taught myself programming with Borland Delphi 7. The nostalgia! 😍 Although to be perfectly honest my first programming language was actually Visual Basic Script. It&amp;#39;s… pretty terrible. But you can just open a text editor, save the thing as .vbs, and run it. No compiler or anything.

  • View post

    I am happy to announce that the first volume of the Annals of Formalized Mathematics was just released! https://afm.episciences.org/volume/view/id/1046

  • View post

    I just learnt that for some reason, the Wikipedia article on the Fisher–Yates shuffle cites my formalisation of it in the Archive of Formal Proofs. Guess that explains why that entry keeps getting cited by papers that have absolutely nothing to do with formalisation. 😄 https://www.isa-afp.org/entries/Fisher_Yates.html https://en.wikipedia.org/wiki/Fisher%E2%80%93Yates_shuffle

  • View post

    New paper! &amp;quot;Verifying an Efficient Algorithm for Computing Bernoulli Numbers&amp;quot; As a case study, I took the most efficient algorithm known for computing Bernoulli numbers and verified the hell out of it, and then Peter Lammich refined it all the way down to efficient LLVM code. Not quite as fast as the original unverified C++ code, but that&amp;#39;s not because verification is hard but rather because I&amp;#39;m bad at optimising x86 assembly at that level. 😅 Will be present...

  • View post

    I should be a bit more active on here again. So, here goes: I&amp;#39;ve had a cold for two and a half weeks now and i think it&amp;#39;s finally starting to go away after I got some antibiotics. I used the holidays and the sick leave to brush up on my Swedish again with an online teacher. If I happen to reach someone who speaks Swedish via follower power (unlikely, but can&amp;#39;t hurt to try), I&amp;#39;d be happy for someone to practise with casually. I can offer German and Esperanto in r...