[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math

Search:


View post   

>> No.8694297 [DELETED]  [View]
File: 108 KB, 548x822, emma-stone-burberry.jpg [View same] [iqdb] [saucenao] [google]
8694297

In this thread I have to do some shilling. The Idris book, the intro to the dependently typed language went online on amazon for <40€ and I'll get series going trough it an discuss it onceit comes out in a month.
Purchase and join me
thx

https://www.amazon.de/Type-Driven-Development-Idris-Edwin-Brady/dp/1617293024

also, fundamebtal math general, or whatever

>> No.8418110 [View]
File: 108 KB, 548x822, emma-stone-burberry.jpg [View same] [iqdb] [saucenao] [google]
8418110

>>8416386
So coming back to the video idea, I figured out a book which should gather people from various fields of interests. "Probabilistic robotics" by Thurn et. al., which ought to be downloadable on google.
Shall I initiate a sort of reading group as a moderator, with a video later? Any takers?

>> No.8184647 [View]
File: 108 KB, 548x822, emma-stone-burberry.jpg [View same] [iqdb] [saucenao] [google]
8184647

>>8183365
To be honest family, I wrote that code on the Wikipedia page and I'm not 100% sure about the implementation of dW(). If abyone can check the use of dt's in that line, that be cool
>trusting Wikipedia

In any case, there is a python implementation package for SDE solvers on github ("sde-master" or something, easy to google) that should be more trustworthy

Regarding the OP, from reading SE quant and some introductory texts, the traders use codes as blackbox and this is all not so jigh end from the math side. I have friends that worked for banks etc, and usually you'll be forced to get into old code (BASIC, even) and modulate them. Because they sure will npt drop their working tools.

>> No.8141830 [View]
File: 108 KB, 548x822, emma-stone-burberry.jpg [View same] [iqdb] [saucenao] [google]
8141830

>>8141650
We don't share the stance. I don't hope for objective truth. I not only find it absurd, I also find it boring

>>8141655
>>8141718
It's a term from /lit/

>>8141738
A spook is a fixed idea, which you put above your own / your self.
You may own a dog, then you may leave the dog in front of your house. If you <can't> do that, then it's not your property in a Stirnerian sense. You may own your goal (e.g. become the most cited logican, or not eating meat anymore), but if you're obsessed and can't drop them and they actually control your actions ("own you"), then you're spooked.
Christianity, nationality, being a good citicen - those are common spooks.
Stirner is about being aware of all lingering spooks and put all behind yourself. Properly own everything to the extend you can and want. Like your dog. Care for your ambitions, and your dog, if you want him healty - just like you want your shirt (clearly your property) clean.
You may adopt ideas like being gentle to everybody, but you should be concious about what you're doing, not mindlessly becoming a servant to someone.

Navigation
View posts[+24][+48][+96]