Elektrine lite

← Feed

Martin Uecker

uecker@mastodon.social

<p>Computer Science and Biomedical Engineering<br />Graz University of Technology</p><p>Full professor for biomedical imaging and head of the Institute of Biomedical Imaging at TU Graz. I do systems engineering for magnetic resonance imaging. In particular, I work on the low-level real-time software that controls the behavior of nuclear spins at nanosecond resolution and on the numerical algorithms that compute images from the acquired data. I support open science and free software. Opinions are my own.</p>

Posts

  • View post

    Today I ran a model checker (cbmc) on a sudoko solver to prove memory safety. Certainly a toy problem. But now I know my sudoko solver is verified to be written in memory safe C. Who knew this can be so simply? (I do not expect it to be that simple for real programs, but the underlying technology for sure is mature enough).

  • View post

    I can now confirm: Emergency cell broadcasts do work in spain! It would be nice if they weren&amp;#39;t exclusively in spanish though... (edit: not -&amp;gt; now.)

  • View post

    Looking a bit more into FPGAs... Made me realize again what blessing to the world gcc was (and is).

  • View post

    I can&amp;#39;t buy a train ticket with Deutsche Bahn because &amp;quot;my browser acts like a bot&amp;quot;. Would be nice of something just works for a change.

  • View post

    apt-get install clang-21 831 MB

  • View post

    Trying to avoid using any google account on my new Android phone... Let&#39;s see how far I can withstand. The Google lock-in is at least as bad as the Microsoft lock-in of the past. Quite a pitiful situation.

  • View post

    &amp;quot;... the addition `cap + bits_per_storage() - 1` wraps around to a very small value... This leads to an undersized heap allocation. ...&amp;quot; CVE-2026-44983

  • View post

    Debian will require reproducible builds!This is a huge milestone. https://lists.debian.org/debian-devel-announce/2026/05/msg00001.html #Debian #reproduciblebuilds

  • View post

    Our paper describing a simple shield suppressing capacitively coupled electrical interference in low-field MRI is publsihed. https://doi.org/10.1002/nbm.70287 @jupfi #MRI #imaging #opensource #openscience

  • View post

    ISO C Meeting: So it was decided that three more UBs will be removed from the C standard (#11, #18, #71), const variables of integer types initialized by an integer const expression become named contants (n3693), we want the elvis operator ?: (n3804), and also various wording clarifications (in particular: discarded). And defer is on its way to becoming a TS. (edit: and also bitints are now allowed as underlying type for enum)

  • View post

    I am switching all my projects to Rust. Or C++. I haven&amp;#39;t decided yet. Build times are a major motivation. Although we tried with macros, C is simply not able to keep up in this regard with these more modern languages.Also it is impossible to build proper abstractions in C, so it will never be possible to implement complex software such as a kernel, a compiler, a sophisticated editor in C.