Pinned toot

Hi fediverse,

Which of the following would be the nicest to wrap a low-level 3D geometry (I.e vertices, geometry, topology) operations library written in Rust.

Haskell
Common Lisp (and which implementation?)
Scheme:
Racket
Chicken
Gambit
...

Ideally, I'd like to be able to easily make higher-level operations such as boolean, blend, etc from the low level library and make that as one command in an ergonomic language (with a repl) that allows me to play around easily with various geometrical objects to compose them in increasingly complex ways and then pass the modified object back to the Rust code in case we need to revert a high-level operation operation (this is key). Eventually, a parser would let you pass some math formulae in (Latex?) and execute the live math for you in an interactive way that let's you modify the objects.

Thoughts?

[Boosts appreciated]

Sparta boosted

@underlap #rust would have done much better with a declarative syntax, like say #haskell , and without so many disjunctive elements. Most languages I can comprehend as written. Rust I have to transform in my mind to a declarative form before it is comprehendable. I use a mental model that looks a bit like a Makefile for simplicity. If it's not easy to code review and comprehend it is not clear if the logic is correct, even if it executes 'safe'. Safe and wrong is worst possible outcome.

@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,

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
*
*
* in specially those who post about their projects
* such as
*
*
*

Sparta boosted

I've been leaving my hotel room door open so the waiter can come into my room without me getting up to bring me food. I hear meowing and apparently i made a new friend, this friendly little fellow was next to my bed. Startled me half to death but i think we are besties now. After feeding him he is just staying in the room guarding the door to keep me safe.

I hope he will come give me some cuddles.

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.

Covid paranoia rant 

What is happening on this world? People whom I've always considered to be nice, compassionate and smart are now voicing hatred towards another portion of the population (unvaxxed) and wishing death upon them for "taking our freedoms by being selfish and not complying". These same friends previously advocated against elites but now seem to be doing exactly what the elites want, getting us to attack each other and hate one another without getting to the truth. This makes me lose all faith in humanities wisdom, it shows that after countless wars, genocides and segregation we still haven't learned the lessons of the path. I suppose this is partly a defense mechanism, after all, it's much easier to express hatred towards the unvaxxed on Twitter than to look at spread data and then protest or write a letter to your local government to try to regain those freedoms you lost. Instead, it's much easier to blame the invisible boogie man, the unvaxxed.

people of can you help me understand if this question I've had has an answer.

Here is my attempt at asking my question:

Is there a reaction/phenomenon that *seems* to violate the laws of entropy but actually doesn't? For example, you have substance A then you place a droplet of substance B on it and it diffuses/spreads/mixes and later (after some time) it seemly starts pulling together until it's again a single droplet of substance B (as if time itself had rewinded tenet style) such that if I took a video of this reaction and later on gave you the frames/pictures of that video, you would not be able to with 100% certainty put the frames together in the original order (since you can't tell which frames corresponds to the original droplet of B in A and which one corresponds to when B clumped up after having first diffused). What is this reaction?

A lot of people will be surprised when they give Kyle the guilty verdict or when the judge rules mistrial....

Elaborating: at first I thought was innocent given all the viral clips about witness accounts of events and from the prosecution doing such a bad job and while I still think the prosecutor is a piece of shit (commenting on Kyle's posts arrest silence for example trying to pin that as evidence of guilt) but if the drone footage shows Kyle pointing his weapon at the people that were next to rosenbaun and that's why he chased Kyle then I think this drastically weakens the "self defense" claim. In my eyes you don't get to point a gun at unarmed people unless they are coming at you in a menacing fashion or verbally threatening to physically hurt you or kill you. Idk. I don't know enough about this shit to comment properly but just calling it how I see it.

Sparta boosted
Sparta boosted

#Static #Analyzer #Rudra Found over 200 #Memory #Safety #Issues in #Rust #Crates

Developed at the #Georgia #Institute of #Technology, Rudra is a static analyzer able to report potential memory safety #bugs in Rust #programs. Rudra has been used to scan the entire Rust package registry and identified 264 new memory safety bugs.

infoq.com/news/2021/11/rudra-r

Sparta boosted

> The sole reliance on vaccination as a primary strategy to mitigate COVID-19 and its adverse consequences needs to be re-examined, especially considering the Delta (B.1.617.2) variant and the likelihood of future variants. Other pharmacological and non-pharmacological interventions may need to be put in place alongside increasing vaccination rates. Such course correction, especially with regards to the policy narrative, becomes paramount with emerging scientific evidence on real world effectiveness of the vaccines.
...
> In summary, even as efforts should be made to encourage populations to get vaccinated it should be done so with humility and respect. Stigmatizing populations can do more harm than good. Importantly, other non-pharmacological efforts (e.g., the importance of basic public health hygiene with regards to maintaining safe distance or hand-washing, promoting better frequent and cheaper forms of testing) needs to be renewed in order to strike the balance of learning to live with COVID-19 in the same manner we continue to live a 100 years later with various seasonal alterations of the 1918 Influenza virus.

Increases in -19 are unrelated to levels of across 68 countries and 2947 counties in the United States
ncbi.nlm.nih.gov/pmc/articles/

Sparta boosted

Battling misinformation with censorship is like battling over population with nuclear bombs.

Sparta boosted

Don't go along to get along. Don't dim yourself for anyone. Don't be afraid of who you truly are. Be the best you, be all the you, you can be. You are worth it.

Image is that of the lovely Geneviève Lantelme.

#thoughts #life #art #photography #beautifulwoman #beautifulgirl #GenevièveLantelme

@freemo what are your thoughts on the tether liquidity issue in crypto market?

Trigger warning: hot take 

Is it bad that I'm kinda into the whole metaverse idea? Like, I love the idea of being able to truly blend the physical world with the digital and don't necessarily hate it just because FB are the ones pushing for it. If it ends up being as and as they are currently claiming then what is the issue? Am I supposed to hate a cool concept just because of who came up with it? Now if they end up selling people's data to make profits of course I'd be pissed but currently they're claiming this won't be the case. Alternatively, can we make a ? Where would we start? Mozzila Hubs?

Applied to a job and got rejected the next day without explanation and without having answered any questions. Literally just submitted my CV which shows relevant qualifications+ experience. This feels odd.

Show more
Qoto Mastodon

QOTO: Question Others to Teach Ourselves. A STEM-oriented instance.

An inclusive free speech instance.
All cultures and opinions welcome.
Explicit hate speech and harassment strictly forbidden.
We federate with all servers: we don't block any servers.