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

@freemo appropriate incentive structures would need to be in place from the beginning to ensure that this country/society doesn't implode as we are seeing right now in the west. I think Charles Hoskinson's thoughts on "decentralized social media" could be extended to be relevant to a wider society. By setting the right incentives we could significantly increase the chances of people being open minded to things they disagree with and preferring long nuanced discussion over quick sound bites.

@freemo can we get everybody in qoto together to build a country with rationalism, logic, freedom and stem as a foundation?

I came across a Nigerian dude a while back complaining about his government and talking about a possible way to create a new country with a government system from scratch. His idea was to start as an online movement which would attract people of similar values and ideas about how to make governing structures. Then, you put them in a truly anonymous block chain where they can have a "passport" from this digital country and a platform where ideas and plans are made from ground up (using something like ADA/cardano or ICP/dfinity). For example, people can work on the legal infrastructure and other aspects of the country where everybody gets to vote and decisions are settled with smart contracts. All out in the open. Eventually, when sufficient people have joined the system, make a colony in a suitable piece of land (or multiple even in different geographical locations), either on earth or else where. So, you'd build all the values and digital infrastructure first and the actual physical system last.

What do you say?

Why does society put doctors on a pedestal?

In my experience, they are just regurgitation machines who lack critical thinking skills. Maybe this is just a UK thing but the number of stupid doctors I've seen is outstanding and they think that just because they have a medical degree they immediately known what is wrong with somebody, refusing to look at the latest research and other factors. They literally think the same way as those "AI" expert systems from the 80s written in prolog. In fact, I'd say those are probably better since they never forget and can be updated whereas the doctors forget a lot over time and can't consistently make the same diagnosis given the same data.

Here is a summary of my last two doctor interactions:

#1
Me: has rare condition
Doctor during a general checkup : gets a lot of details wrong about my condition and what it does
Me: points this out
Doctor: DiD YOu gO ToMeDiCAl scHOOl?

#2
Me: has trouble breathing and get 89-92% SpO2 for whole night
*goes to see a doctor in the morning*
Doctor: that's perfectly within range
Me: shows first result on google showing that it's not the case
Doctor: Google didn't go to medical school
Me: searches for research papers supporting my statement
Doctor: no, no, your values are perfectly within range, don't believe everything you read, studies might be biased
Me: *contemplates how this woman got so far in life*

@freemo do we have any mRNA tech experts here? I've been talking to somebody who I consider highly educated and smart that is pushing hard for alternative covid treatments such as Ivermectin and making claims about Pfizer's vaccine being cytotoxic. I'd like to get a second opinion to inform myself better, preferably from somebody who is actually involved in this domain as a researcher.

Holy shit. I'm filling out my work's HR training for 2021 (pandemic edition) and I figured out a formula to get all the quiz questions correct: pick whichever answer I think is wrong.

The type of shit they're asking:

1.) During a video call with Will you see that in his background, there are religious, political or otherwise offensive books.
Q: is Will in violation of company policy?
Yes/No

(Hint: HR says it is in violation)

I can't stand these companies anymore. They really think they can tell Will what to read? What happed to freedom of speech and thought?? Shouldn't this be against the law? Especially if it's books inside his OWN home! #FreeWilly

#HR #stupidcompanies #freedom #of #speech #stupidity

@freemo is it just me or did qoto go down for a bit?

Me on Friday night: I need to turn off from work and put the computer away.

Also me:
Spends weekend exploring #Lisp-like languages and ends in a #Racket rabbit hole going through #SICP book.

@wilfredh you seem like the kind of person that might know about this stuff

A big element of this endeavor would be the ability to guarantee valid types only. Meaning, I should not be able to accidentally use the higher level API to create a square with 5 sides, etc. So, whatever constrains are imposed by my primitives remain. If the higher-level language would also let me prove properties about my specific geometrical object after a series of operations that'd be a huge plus (although I have zero knowledge of this domain). For example, if after some operations (unknowingly to the user) they change a mesh in such a way that it now satisfies conditions for a Delaunay triangulation then it would output a message saying this is the case. Alternatively, given some mesh I should be able to specify "make it X" and it would automatically apply the operations (based on a selection of suitable algorithms) on the mesh that would guarantee that the output does indeed satisfy X.

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]

#math #programming #Scheme #emacs #fp #latex #haskell #commonlisp #racket #geometry #rust #coding #foss #floss #science #engineering