Stephan Beyer @[email protected]

occasional tweets about ORMS, ((theoretical) computer) science, coding & prog. languages (eg. C++, Rust), open source, and related stuff. Mostly in English.

[Stephan Beyer @[email protected] @_sbeyer_]

In our team, we sometimes discuss via memes.

Today's topic: #MISRA.

[Stephan Beyer @[email protected] @_sbeyer_]

@mitsuhiko There are subtle signs of a true workspace.

[Stephan Beyer @[email protected] @_sbeyer_]

@lefticus The one you prefer plus a podman/Docker image based on the one that allows you to run your software without pain.

[Stephan Beyer @[email protected] @_sbeyer_]

@mitsuhiko I'm always hesitant regarding hypes, especially when I don't get what the hype is about. I somewhat hoped I get some clarification here.

[Stephan Beyer @[email protected] @_sbeyer_]

@algo_luca I have this as kitty-session which I shared on our company-internal wiki. And a coworker in my team who just switched from VS Code to kitty+neovim (my work setting) could directly use it. And he loves it.

[Stephan Beyer @[email protected] @_sbeyer_]

@__phantomderp To be fair, I don't know if SoGoSurvey offers what you want, but from what I've found it made the most things possible with a free plan.

[Stephan Beyer @[email protected] @_sbeyer_]

@__phantomderp I had a similar problem recently with slightly different requirements. For my requirements, self-hosted LimeSurvey seems to be the only option. For yours, try SoGoSurvey.

[Stephan Beyer @[email protected] @_sbeyer_]

@m_ou_se When reading the release notes I thought there was a lot of interesting stuff going on, but in parts of the language 80+ % of Rust developers are not using. I especially wondered what the big benefit of &raw is -- you have to use unsafe to do anything useful with it, right?

[Stephan Beyer @[email protected] @_sbeyer_]

@tonywestonuk @htmx_org Single Return Law is even revoked in MISRA because it turned out harmful.

[Stephan Beyer @[email protected] @_sbeyer_]

@MichaelCaisse There are so many things that can go wrong with C++ (or its "wrong" use), but I have never seen anyone running into issues because someone used .h instead of .hpp as their C++ header file extension. 🤔

[Stephan Beyer @[email protected] @_sbeyer_]

@lefticus It has not crashed due to out of memory YET.

[Stephan Beyer @[email protected] @_sbeyer_]

@SpencrGreenberg I'd be interested in similar research with the same setting but for MBTI personalities (instead of astrological charts) and people who consider themselves experts in the MBTI topic (there's a whole community around it). I'd expect different results.

[Spencer Greenberg 🔍 @SpencrGreenberg]

Does astrology work? We tested the ability of 152 astrologers to see if they could demonstrate genuine astrological skill.

Here is how the study was designed and what we found (including a result that really surprised me):

🧵

[Stephan Beyer @[email protected] @_sbeyer_]

@TheJackForge You have to compare it to the average salaries over all jobs in the specific country to have a useful comparison.

[Stephan Beyer @[email protected] @_sbeyer_]

@lefticus A C++ wrapper for SAT solvers. https://t.co/1UgRoB0nFJ Disclaimer: I don't really maintain it anymore (started 2015, dead since 2016), but I just gave it an update to be usable in 2024 again.

[Stephan Beyer @[email protected] @_sbeyer_]

@__phantomderp I first thought you were referring to taviso as asshole, and I was very confused.

[Stephan Beyer @[email protected] @_sbeyer_]

@RasmusPagh1 Imagine the loser analysis has been published by your reviewer.

[Stephan Beyer @[email protected] @_sbeyer_]

@jmechner @01FirstSecond @stripepress Is there a video of the moment he got into the spikes?

[Stephan Beyer @[email protected] @_sbeyer_]

@lefticus I think I'll never see one in Europe, as long as they're not allowed here for safety reasons.

[Stephan Beyer @[email protected] @_sbeyer_]

@ChShersh Or he's used to using Emacs but didn't get syntax highlighting to work.