Spartaco Pécora {🇻🇪 ⋂ 🇮🇹} @zpartacoos@qoto.org

@jmw150 epic! Thank you!

@jmw150 Hi,

random question but would you happen to have a link that you shared many months ago (possibly more than a year) in which there was a 4 volume series on formal method including a volume for verification of C programs.

Best regards,

@underlap @freemo I don't know the specific scaling limitations which you have in mind but I suspect that if you have two users, say, X in server A and Y in server B then if one follows the other we have a link which in this hypothetical fediverse of cardinality 2 is not a problem as every post/publish is only a single channel but if we have even just 10,000 fully connected nodes in distinct servers that'd be 49,995,000 connections/edges to publish to. Is this the problem you're concerned about?

@torresjrjr sure, fediverse, whatever

Mastodon has been feeling kinda dead lately. Each week for the last few months I use it less and less. Why? I don't know. Perhaps the difficulty of finding engaging sub communities?

Anybody know people here who post regularly and are into:

* Effective Altruism #effectivealtruist
* #Graphics #opengl #vulkan #gamedev
* #machinelearning #pytorch #tensorflow
* #programming in #c #cpp #rust #python #haskell specially those who post about their #foss projects
* #crypto such as #ada #sol #algorand
* #mathematics
* #AGI
* #academia

Hot take: low h-index is a great indicator for how bitchy a professor is when grading assignments. The more free time without meaningful research, the more time to pick apart student's work on trivial stuff like chart colors.

#academia

@freemo @calligraphy where do you get the patience and motivation from? Or is it adderall?

@freemo @calligraphy had to do calligraphy in school. Hated that shit. I got no skill for hand writing or drawing. If you need evidence of clear bio differences in natural ability then look no further than a 3rd grade classroom, some kids be out there drawing monalisa looking shit and then you have people like me that can't write a "T" without it being crooked, bent and fucked up.

@freemo if that's true then I think it's crazy. Then again, I think most police in almost all countries is crazy. Like, giving a human weapons and impunity feels like a recipe for disaster. I know in my country at least we fear cops more than gangsters as they're basically the biggest gang of them all.

Oh crap

@saxnot @schnedan@kif.rocks

Saxnot, friend, you are clearly mistaken on a lot of fronts about what Rust's memory safety actually means.

Additionally, I would strongly suggest you spend sometime doing even minor low-level things on C++ then Rust. I did this experiment by trying to make a basic state machine for simulating a traffic light on a raspberry pi pico (cortex-M CPU so no Linux or other advance OS) and it was bloody simple with C++ but then I had to do it with Rust... First, their embedded Eco is seriously not as advanced or far along as their seemingly "good" documentation would suggest. It took ages to get the toolchains working, then about 3x more boiler plate code and thicker programs about 1.5x more memory (I guess because of some type of padding Rust might be doing but idk). Additionally, I tried lots of things from the offical "Discovery book" that Rust website has for embedded development and even shit from the first few chapters didn't work as stated... I did manage to reach out to the core embedded team on matrix and they fixed the issues quickly but still... If even the basic stuff is so broken (timer for example) I can't imagine trying more advanced stuff. Additionally, around this time I ran into a few articles from people in Rust community talking about how it was "dangerous that we still develop embedded systems on C/C++ when we have Rust as this can cause medical machines to malfunction" -> absolute lunacy and lack of understanding of how safety critical embedded systems are developed. Like, we have advanced tools for doing formal verification of these systems and typically they don't allocate on the heap so Rust's "strengths" wouldn't even help on this case.

So, overall the Rust community doesn't actually seem to know much about really low level details yet they still want to call Rust as "low-level/systems" language. Listen, I love Rust and would like to use it for server side stuff but certainly not for a lot of domains like embedded, for that I'd always pick C++.

@tripu @Pat bookmarking for when I have time to write a detailed response.

@icedquinn @achso @freemo hahahaha

@freemo for real????

@tripu perhaps if it seems so "reasonable" it is? How are you gauging whether your belief about covid being a dangerous epidemic (whatever "dangerous" means) is based on available data or some other motive/bias? A simple approach is to track your weekly/monthly level of conviction about various covid-related hypothesis as you read more + gather data and see how your convictions change overtime. Chances are that if they rarely change you're just choosing to belief a skewed biased narrative.

@freemo explain

@skells @freemo I.e real bacon on top and fake British substitute on bottom.

@skells @freemo that British "bacon" isn't bacon

@freemo add British to this