🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 14:25:11 UTC No. 16167376
Where can I find a complete, free/open-source, searchable database for
mathematical formulas?
>inb4 Wolfram Math World
Neither complete, nor searchable or any of the other things.
Foreign language variants of Wikipedias have some very nice "cheat sheet" style articles but they tend to be all over the place.
Does something like I'm describing even exist?
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 14:22:23 UTC No. 16167373
Which math classes did you enjoy the most
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 14:18:36 UTC No. 16167368
>Homo neanderthalensis
>Homo sapiens
>Different species
>Yet could have fertile offspring
Mighty curious :)
🧵 WOKE ASTRONOMICAL NAMES
TRUE at Thu, 9 May 2024 13:54:48 UTC No. 16167350
It sounds like /pol/ paranoia, but they've actually been bringing woke and virtue signaling garbage into their naming policy, as they avoid the names related to western culture as much as possible.
One clear example is the naming of a Kuiper belt object (pic rel), which became the furthest object ever visited by a spacecraft. It was initially nicknamed "Ultima Thule"
>Before the flyby on 1 January 2019, NASA invited suggestions from the public on a nickname to be used for the object. One of the choices, Ultima Thule,[c] was selected on 13 March 2018. Thule (Ancient Greek: Θούλη, Thoúlē) is the northernmost location mentioned in ancient Greek and Roman literature and cartography, while in classical and medieval literature ultima Thule (Latin for 'farthermost Thule') acquired a metaphorical meaning of any distant place located beyond the "borders of the known world". Once it was determined that the body was a bilobate contact binary, the New Horizons team nicknamed the larger lobus "Ultima" and the smaller lobus "Thule". They are now formally named "Wenu" and "Weeyo", respectively.
>The nickname was criticized by a Newsweek columnist because of the use of "Thule" by 19th-century racists as the mythical homeland of the Aryan race. In November 2019, the International Astronomical Union (IAU) announced the object's permanent official name, Arrokoth.
>Arrokoth was named for a word in the Powhatan language of the Tidewater region of Virginia and Maryland in the eastern United States. The Powhatan language became extinct in the late 18th century and little was recorded of it.
Wikipedia even deleted the naming controversy, as it obviously highlights the woke stupidity. Here's an old version of the article: https://en.m.wikipedia.org/w/index.
🧵 Sound Symbolism
Anonymous at Thu, 9 May 2024 13:13:42 UTC No. 16167294
I need scientific articles on the subject of Sound Symbolism that have been published in the field the past 10 years. Specially cross-linguistic investigations.
🧵 Bioinformatics
Anonymous at Thu, 9 May 2024 12:52:10 UTC No. 16167252
I am persuing a master's in bioinformatics and will do a PhD. once I graduate. Is this field any good? I would like to hear your thoughts and experiences. I gained experience working with MATLAB, python and R. Really good at mathematical analysis as well as biochem, genetics and molecular biology. It was hell pushing through all this but I did it and I'm proud so I just hope it will pay off atleast a bit. My thesis revolves around applying statistical algorithms to simulate CRISPR dynamics.
🧵 Any new science around?
Anonymous at Thu, 9 May 2024 12:21:10 UTC No. 16167195
All popular science is boring; beginning of the universe: boring; speculation on Aliens: boring.
What is new in science?
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 10:59:31 UTC No. 16167114
What if a mad scientist did an experiment where he put a 1-second baby into a bed covered his eyes and ears and gave him food through his blood with anti-psychotics so that he wouldn't hallucinate...
What will happen to that person when he becomes an adult?
🧵 How long does it take you to read a handbook?
Anonymous at Thu, 9 May 2024 10:53:00 UTC No. 16167107
I am an about-to-graduate cs student. I feel really interested into programming language theory related stuff like compilers construction, type theory or formal semantics but the more I get into it the more I realize the lack of prerequisites from my classical cs curriculum in mathematical logic.
while I have already cover some materials like the 2005's Type summer school or experiencing type systems properties proofs using Coq, I am actually seeking for some classics in those domain to get myself confortable with my academic aspirations. Luckily, the domain doesn't looks that wide since some books clearly emerge as must-have lectures. And thanks to Zlibrary I am planning for this summer to go throught Girard's Proof and types, Thompson's type theory and functionnal programming, sethi and ullman's compiler dragon book plus intro to automata theory and for further times readings Winskel's Formal semantics of programming languages etc.
But while these books always almost starts with the basic introduction to first order logic, natural deduction and lambda calculus, they sometimes mainly discuss some concepts that are beyond my undergraduate knowledge like domain and model theory or denotationnal semantic. My goal is to fill once and for all those prerequisites with pic related handbooks (especially the first and the third one) that are written and reviewed by the greatest like Barendregt, Milner or Hindley.
They review Recursion theory, Universal algebra, category theory, model theory, term rewriting systems, modal and temporal logic, domain theory, denotational or algebraic semantics, etc.
My question is how many time can i expect to cover the core concepts if not just the minimal required from these rawly 2000 pages? Is it worth it or should I focus directly on the previous book i cited with their light introduction to those fields before treating them, or just on the effective graduate courses hopping to be further introduced to those fields?
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 10:13:26 UTC No. 16167051
What is sustaining the Universe? Why doesn't it just blink out of existence?
🧵 Moving's block efficiency and perpetuum mobile
Anonymous at Thu, 9 May 2024 10:01:52 UTC No. 16167039
Google translate because i dont wanna rewrite so much.
In Vidril https://youtu.be/ohv1h3nT4ag?featur
Why are they telling me and all of us at school that there is no efficiency higher than 100%, although there is evidence (and they talk about it at school in the topic about blocks) that 1 moving block can give a gain in work (we lift a small load to a height, and then he lifts a large load himself)?
Since the video is not fake and they even talk about it in school, I conclude that there is a mechanism with an efficiency of up to 200%.
Since there is a mechanism with an efficiency above 100%, they can be used to assemble a mechanism with as much efficiency as you like. The mechanism is presented on picril1.
Load m1, using a movable block, lifts load m2, which is more massive; load m2 is attached to the new block system and lifts load m3, which is even heavier; You can continue as long as you like, accelerating the efficiency, no matter how heavy the load n is, it can be lifted by a light load using movable blocks.
Since we have enormous efficiency, the picryl structure can be “closed”, and the energy from the fall of the last load (to do this you just need to unhook the n-1st load, returning the system to its original state) can be used to lift the first load + there will be excess. That is, it turns out to be a perpetual motion machine based on gravity and moving blocks.
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 09:44:58 UTC No. 16167029
The two sentences that destroyed "Humans are vegans by nature" theory.
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 09:40:17 UTC No. 16167028
>we descend from monkeys
>we come from Africa
What did they mean by this?
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 08:43:39 UTC No. 16166999
Dr. Birx now says that covid vaccines are dangerous and can kill you, she also says that they were never recommended except for people in high risk groups such as the very old and ppl with AIDS.
Do any of the vaxxxies of /sci/ regret their choice to get vax'd for no good reason against the recommendation of the government officials?
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 07:07:04 UTC No. 16166952
say something nice about my wife
🗑️ 🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 06:58:36 UTC No. 16166945
Is it possible to become a foot doctor but exclusively for children?
I am thinking a pediatrician but for children's feet.
🧵 Comprehensive refutation of the Younger Dryas Impact Hypothesis (YDIH)
Anonymous at Thu, 9 May 2024 04:56:51 UTC No. 16166847
ITS JOEVER
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 04:47:45 UTC No. 16166841
Where are all the Aliens !?
🗑️ 🧵 I got banned for racism
Anonymous at Thu, 9 May 2024 04:00:31 UTC No. 16166799
... and yet I'm still here. Kek, the lengths you fags will go to protect the feelings of the sub 80 IQ crowd. All I have to say is that the tranny janny is a double nigger, and I'll never change my ways.
🧵 Untitled Thread
Anonymous at Thu, 9 May 2024 03:37:41 UTC No. 16166775
>All the splendors of modern medicine and yet no one has ever found a cure for this