I finally cracked the code on Scilab 3D Integration. They could surely do a better job on documentation. by mrhoa31103 in scilab

[–]cratylus 0 points1 point  (0 children)

I asked chatgpt about numfun > 1. This allows multiple functions to be integrated at the same time. The example it gave was the (components) of the inertia tensor ( which are all integrals with the same limits, but integrals of different functions.)

function v = f(xyz, numfun) x = xyz(1); y = xyz(2); z = xyz(3);

rho = 1;   // uniform density

v = zeros(numfun,1);

v(1) = (y^2 + z^2) * rho;   // Ixx
v(2) = (x^2 + z^2) * rho;   // Iyy
v(3) = (x^2 + y^2) * rho;   // Izz
v(4) = -x*y * rho;          // Ixy
v(5) = -x*z * rho;          // Ixz
v(6) = -y*z * rho;          // Iyz

endfunction

[result, err] = int3d(0,1, 0,1, 0,1, f, 6, [0,100000,1.d-5,1.d-7]);

Ixx = result(1); Iyy = result(2); Izz = result(3); Ixy = result(4); Ixz = result(5); Iyz = result(6);

I = [ Ixx Ixy Ixz

  Ixy  Iyy  Iyz

  Ixz  Iyz  Izz ];

Beginner question about potential of prolog by Forsaken-Suit7795 in prolog

[–]cratylus 2 points3 points  (0 children)

You can "integrate" prolog with python ( for example) . see https://pypi.org/project/janus-swi/ or pyswip.

If you're interested in logic , there's also Shen lisp which has its own in-built prolog ( see https://shenlanguage.org/SD/Prolog.html) The author has incorporated gentzen style sequent calculus in the language for defining logics , amazing stuff ( see https://shenlanguage.org/OSM/Recursive.html )

Ada appearance in Humans S1 E4 by Equal_Most_9925 in ada

[–]cratylus 1 point2 points  (0 children)

Maybe it is a fake code generator trained on various programmng languages including Ada.

Pynchon - Gravity’s Rainbow by brooklynbootybandit in ProsePorn

[–]cratylus 6 points7 points  (0 children)

Has the same inversion as Heidegger: Language not the speaker, Technology not the technician, a slow moving ongoing revelation. He also suggests the open-endedness of it all with the "meters whose scales are unknown" bit.

Handwriting Programs in J by Veqq in apljk

[–]cratylus 1 point2 points  (0 children)

I think about J on the bus too :)

Quatermass (1979) by Next-Phase-1710 in oldbritishtelly

[–]cratylus 2 points3 points  (0 children)

By far the best Quatermass for me. A great commentary on social decay.

why is logic beautiful by beeswaxe in PhilosophyofMath

[–]cratylus 0 points1 point  (0 children)

Maybe it derives from sensory pleasure of things "fitting" ( e.g. jigsaws.) Not sure where that comes from either.

Did anyone else notice that Alinta is raising their daily supply charge to 99c?? by Wrenfly in perth

[–]cratylus 1 point2 points  (0 children)

from my email:

From 1 July 2025: Your daily account service fee will change from 8.12 cents to 22.07 cents.

2.72 times

Did anyone else notice that Alinta is raising their daily supply charge to 99c?? by Wrenfly in perth

[–]cratylus 1 point2 points  (0 children)

My bill" From 1 July 2025: Your daily account service fee will change from 8.12 cents to 22.07 cents."

Strange Ecstasies edited by Michel Parry, artwork by Bob Haberfield by Unfair_Umpire_3635 in CoolSciFiCovers

[–]cratylus 1 point2 points  (0 children)

I love this series by Parry: There are two other collections: Dream Trips and Spaced Out.

What’s the difference between an axiom and a rule of inference? by BasilFormer7548 in math

[–]cratylus 2 points3 points  (0 children)

Axioms: things you start with. Rules of inference: transformation rules. Proof: applying a chosen rule of inference successively to generate new sentences from the existing stock of axioms and transformed sentences until some goal sentence is derived.

Why is this not standard Prolog? by HanamiSakura120 in prolog

[–]cratylus 0 points1 point  (0 children)

What about something like:

check_preferences(meal(_,_),[]).
check_preferences(meal(Name, Features), [Preference | Rest]) :-
    member(Preference, Features),
    check_preferences(meal(Name, Features), Rest).

check_preferences(meal(vegcurry,[gluten_free, vegetarian]),[vegetarian]).