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

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

And regarding getting your deposit back in the UK:

Move into a place with some defect (broken tile in kitchen) -> moving out get charged £700 as whole kitchen floor needs to be redone and get blamed for broken tile ->Go back to the moving inventory with pictures to show the pictures of when I moved in -> agency refuses to give deposit back -> file complaint with deposit agency -> get back £100 out of my £700 deposit for "excessive damage" to some tile that was already broken when I moved in........

Finally find a place I can afford to pay for a year then you get into this shit:

Me: okay, so we'll need you to send us the key by mail.

Agency: we can't do that since we need to do a right to rent check (in person) before we give you the keys.

Me: sends links from government website showing that you *can* do right to rent checks online, for free using the own government website.

Agency: we'll still need you to come in person to collect the keys.

I fucking hate #English landlords/letting agencies. I haven't had a single positive/neutral experience in this fucking country when renting a place.

The renting system is already broken in the #UK in which you are almost guaranteed to lose part of your deposit but as an #immigrant it's about 10x worse. You have two options, either pay 6-12 months upfront or have a **UK-based** guarantor that will pay in case you don't. So as immigrants we are basically forced to pay a whole year in advance... so f-ing #unfair.

Changing a battery and other components is NOT hard... Together we can shift societal norms away from fast moving consumerism that hurts the planet.

Laptop's age-> 5+ yrs

#designedtolast #sustainability #earthday2021 #earthday #righttorepair

The Computer Chronicles (1993)

it's crazy how little people knew about computers back then compared to now. I'm stunned. Also, screw this guy, he keeps talking over people.

@freemo do you have any advice for learning how to make a successful trading bot?

If I recall correctly you tooted about your trading strategy a while back but a lot of it went over my head such as the stuff on quantum wavelet transform.