occasional tweets about ORMS, ((theoretical) computer) science, coding & prog. languages (eg. C++, Rust), open source, and related stuff. Mostly in English.
@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.
@__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.
@__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.
@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?
@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. ๐ค
@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.
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):
๐งต
@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.