** ** Status: support function. ** ** Given: ** ra1 double right ascension (radians), before ** dec1 double declination (radians), before ** pmr1 double RA proper motion (radians/year), before ** pmd1 double Dec proper motion (radians/year), before ** px1 double parallax (arcseconds), before ** rv1 double radial velocity (km/s, +ve = receding), before ** ep1a double "before" epoch, part A (Note 1) ** ep1b double "before" epoch, part B (Note 1) ** ep2a double "after" epoch, part A (Note 1) ** ep2b double "after" epoch, part B (Note 1) ** ** Returned: ** ra2 double right ascension (radians), after ** dec2 double declination (radians), after ** pmr2 double RA proper motion (radians/year), after ** pmd2 double Dec proper motion (radians/year), after ** px2 double parallax (arcseconds), after ** rv2 double radial velocity (km/s, +ve = receding), after ** ** Returned (function value): ** int status: ** -1 = system error (should not occur) ** 0 = no warnings or errors ** 1 = distance overridden (Note 6) ** 2 = excessive velocity (Note 7) ** 4 = solution didn't converge (Note 8) ** else = binary logical OR of the above warnings ** ** Notes: ** ** 1) The starting and ending TDB dates ep1a+ep1b and ep2a+ep2b are ** Julian Dates, apportioned in any convenient way between the two ** parts (A and B). For example, JD(TDB)=2450123.7 could be ** expressed in any of these ways, among others: ** ** epna epnb ** ** 2450123.7 0.0 (JD method) ** 2451545.0 -1421.3 (J2000 method) ** 2400000.5 50123.2 (MJD method) ** 2450123.5 0.2 (date & time method) ** ** The JD method is the most natural and convenient to use in ** cases where the loss of several decimal digits of resolution ** is acceptable. The J2000 method is best matched to the way ** the argument is handled internally and will deliver the ** optimum resolution. The MJD method and the date & time methods ** are both good compromises between resolution and convenience. ** ** 2) In accordance with normal star-catalog conventions, the object's ** right ascension and declination are freed from the effects of ** secular aberration. The frame, which is aligned to the catalog ** equator and equinox, is Lorentzian and centered on the SSB. ** ** The proper motions are the rate of change of the right ascension ** and declination at the catalog epoch and are in radians per TDB ** Julian year. ** ** The parallax and radial velocity are in the same frame. ** ** 3) Care is needed with units. The star coordinates are in radians ** and the proper motions in radians per Julian year, but the ** parallax is in arcseconds. ** ** 4) The RA proper motion is in terms of coordinate angle, not true ** angle. If the catalog uses arcseconds for both RA and Dec proper ** motions, the RA proper motion will need to be divided by cos(Dec) ** before use. ** ** 5) Straight-line motion at constant speed, in the inertial frame, ** is assumed. ** ** 6) An extremely small (or zero or negative) parallax is interpreted ** to mean that the object is on the "celestial sphere", the radius ** of which is an arbitrary (large) value (see the iauStarpv ** function for the value used). When the distance is overridden in ** this way, the status, initially zero, has 1 added to it. ** ** 7) If the space velocity is a significant fraction of c (see the ** constant VMAX in the function iauStarpv), it is arbitrarily set ** to zero. When this action occurs, 2 is added to the status. ** ** 8) The relativistic adjustment carried out in the iauStarpv function ** involves an iterative calculation. If the process fails to ** converge within a set number of iterations, 4 is added to the ** status. ** ** Called: ** iauStarpv star catalog data to space motion pv-vector ** iauPvu update a pv-vector ** iauPdp scalar product of two p-vectors ** iauPvstar space motion pv-vector to star catalog data ** ** This revision: 2008 May 16 ** ** Original version 2012-03-01 ** ** Copyright (C) 2013 Naoki Arita. See notes at end. */ { double pv1[2][3], tl1, dt, pv[2][3], r2, rdv, v2, c2mv2, tl2, pv2[2][3]; int j1, j2, j; /* RA,Dec etc. at the "before" epoch to space motion pv-vector. */ j1 = iauStarpv(ra1, dec1, pmr1, pmd1, px1, rv1, pv1); /* Light time when observed (days). */ tl1 = iauPm(pv1[0]) / DC; /* Time interval, "before" to "after" (days). */ dt = (ep2a - ep1a) + (ep2b - ep1b); /* Move star along track from the "before" observed position to the */ /* "after" geometric position. */ iauPvu(dt + tl1, pv1, pv); /* From this geometric position, deduce the observed light time (days) */ /* at the "after" epoch (with theoretically unneccessary error check). */ r2 = iauPdp(pv[0], pv[0]); rdv = iauPdp(pv[0], pv[1]); v2 = iauPdp(pv[1], pv[1]); c2mv2 = DC*DC - v2; if (c2mv2 <= 0) return -1; tl2 = (-rdv + sqrt(rdv*rdv + c2mv2*r2)) / c2mv2; /* Move the position along track from the observed place at the */ /* "before" epoch to the observed place at the "after" epoch. */ iauPvu(dt + (tl1 - tl2), pv1, pv2); /* Space motion pv-vector to RA,Dec etc. at the "after" epoch. */ j2 = iauPvstar(pv2, ra2, dec2, pmr2, pmd2, px2, rv2); /* Final status. */ j = (j2 == 0) ? j1 : -1; return j; /*---------------------------------------------------------------------- ** ** Celes is a wrapper of the SOFA Library for Ruby. ** ** This file is redistributed and relicensed in accordance with ** the SOFA Software License (http://www.iausofa.org/tandc.html). ** ** The original library is available from IAU Standards of ** Fundamental Astronomy (http://www.iausofa.org/). ** ** ** ** ** ** Copyright (C) 2013, Naoki Arita ** All rights reserved. ** ** Redistribution and use in source and binary forms, with or without ** modification, are permitted provided that the following conditions ** are met: ** ** 1 Redistributions of source code must retain the above copyright ** notice, this list of conditions and the following disclaimer. ** ** 2 Redistributions in binary form must reproduce the above copyright ** notice, this list of conditions and the following disclaimer in ** the documentation and/or other materials provided with the ** distribution. ** ** 3 Neither the name of the Standards Of Fundamental Astronomy Board, ** the International Astronomical Union nor the names of its ** contributors may be used to endorse or promote products derived ** from this software without specific prior written permission.   ** **--------------------------------------------------------------------*/ }


Better night, but still a lot of up-time.  I'm going with sick.
2/2/2009, 8:45:03 AM
Favs: 0
Retweets: 0
link--- layout: tweet ---
Better night, but still a lot of up-time.  I'm going with sick.
2/2/2009, 8:45:03 AM
Favs: 0
Retweets: 0
link


Akon plans to run for president to move US forward in 2024 with Kanye West
- Evergreen worldwide singer, Akon, said there is hope he will run in the US 2024 presidential race with Kanye West
- The Smack That crooner said he feels so unempowered and unsafe under Trump's presidency and said he feels the race is going to be a fight
- According to Akon, though he does not have the same political belief with West, he believes the difference could make for a great team
Legendary singer, Akon, is gunning for the 2024 US presidential run and might even collaborate with popular American rapper, Kanye West, as reports suggest.
Yahoo reports that the I Wanna Love You crooner on Monday, November 18, spoke about his stepping back from the 2020 presidential race.
“I know what the issues are. And as a person, as an immigrant, as a black man, as whatever you want to call it, I kinda know or feel like I know that I can take the country and move it forward. I really believe so,” he said.
Wizkid celebrates manager on his birthday, gifts him multimillion naira wristwatch (photo, video)
He also spoke about how he has been watching closely and how he feels so much unsafe and unempowered under President Trump’s administration, and how running might be a tough fight.
“I feel a lot more unsafe. I feel unempowered. Honestly, I feel it's gonna be a fight. I've been thinking about running for 2020 very seriously,” he said.
When asked what he thought about Kanye West, who has also shown interest in running, he said that he does not see it as a competition.
“I honestly need him to run, I want him to run. My thing is, if he does run, it’s great for the culture. Now, whether or not you think he’s fit is another thing, that’s why you got me as another choice,” he said.
The Smack That crooner also added that though his political belief is different from West's, the difference will make for a good team as he does not mind running as his vice president.

Meanwhile, Legit.ng earlier reported that West announced that he would be staging his first-ever opera titled Nebuchadnezzar.
The rapper who just turned Christian devotee said that he would be presenting the opera come Sunday, November 24, at the Hollywood Bowl, Evening Standard reports.
On his Twitter account, Kanye shared a sample of the golden ticket designed by Nick Knight and has an engraved image of the ancient Babylonian king, Nebuchadnezzar.
Naij.com (naija.ng) > Legit.ng We have upgraded to serve you better
How Nigerian rappers can make money from their music - Hotyce | Legit TV


Scrum
Summary :
The SCRUM methodology is a framework in which people are able to address complex adaptive problems in which they are creatively and productively delivering products of the highest possible value.
Product Owner:
This person is accountable for maximising the value of the product resulting from the work of the SCRUM team. How this is done can vary across organisations, teams and individuals. The main thing the product owner is accountable for is effective Product Backlog management, this includes:
Developing and explicitly communicating the Product Goal
Creating and clearly communicating the product backlog items
Ordering the product backlog items
Ensuring that the product backlog is transparent, visible and easily understood by the team
SCRUM Master:
The SCRUM master serves the SCRUM team in several ways including:
Coaching the team members in self-management and cross-functionality
Helping the SCRUM team focus on creating high value increments that meet the definition of done(acceptance criteria).
Causing the removal of blockers to the SCRUM team’s progress
Ensuring that all SCRUM events take place and are positive and productive and kept within the timebox.
Developer:
The role of a developer may seem self-explanatory, however they are more involved than just being a software developer in the team. Developers are committed to creating any aspect of a usable increment each Sprint. They’re always accountable for:
Creating a plan for the sprint and the sprint backlog
Instilling quality by adhering to the definition of done(acceptance criteria)
Adapting their plan each day toward the sprint goal
Holding each other accountable as professionals
Key elements involved with a scrum:
Epics:
An Epic can be defined as a big chunk of work that has one common objective. It could be a feature, customer request or business requirement. In backlog, it is a placeholder for a required feature with few lines of description. It tells compactly about final output of user needs. In the beginning, it may not contain all the details that the team needs to work on. These details are defined in User Stories. An epic usually takes more than one sprint to complete.
User Stories:
A user story is an informal, general explanation of a software feature written from the perspective of the end user. Its purpose is to articulate how a software feature will provide value to the customer.
Tasks:
Tasks are the smallest unit used in scrum to track work. A task should be completed by one person on the team, though the team may choose to pair up when doing the work. Typically, each user story will have multiple associated tasks.
Sprints:
A sprint is a short, time-boxed period when a scrum team works to complete a set amount of work. Sprints are at the very heart of scrum and agile methodologies, and getting sprints right will help your agile team ship better software with fewer headaches.
Blockers:
Blockers are also known as impediments in Scrum, and issues in more traditional project management approaches. A blocker doesn't necessarily have to be a complete show stopper. Drag factors are also another form of blocker, that is, things that are slowing the team (or individual) down but not stopping them entirely.
Stand Up Meetings::
The stand-up meeting is sometimes also referred to as the "stand-up", "morning rollcall" or "daily scrum". The meeting should usually take place at the same time and place every working day. All team members are encouraged to attend, but the meetings are not postponed if some of the team members are not present.
Planning Poker:
Planning poker (also called Scrum poker) helps agile teams estimate the time and effort needed to complete each initiative on their product backlog. ... These cards, which look like playing cards, estimate the number of story points for each backlog story or task up for discussion.
Sprint retrospective:
The sprint retrospective is usually the last thing done in a sprint. Many teams will do it immediately after the sprint review. The entire team, including both the ScrumMaster and the product owner should participate. You can schedule a scrum retrospective for up to an hour, which is usually quite sufficient.
Implementing Scrum within the development of Qa Cinema:
Initial planning stages of the project:
Within the beginning of the project as a team we broke down the websites specification, creating user stories,epics and sub tasks within jira. Epics included chunks of related user stories and sub tasks that relate to each other, within our project we had multiple epics as an example we had an epic called Listings Gallery , this epic consisted of all the user stories and tasks associated with the page. After creating all the epic,user stories and tasks we then started planning poker, this will give each user story and task an average score of effort, this helped in the overall project as we could prioritize tasks based on their effort and strategically tackle these tasks as a team. After completing planning poker each member of the team selected the task/user story they would like to tackle and we started as a group .
Working in a Scrum ,daily activities:
Working in scrum we had daily stand up meetings that were performed in the mornings, organised by our scrum master. The scrum master controlled the meeting making sure the meetings flow was maintained by selecting whose turn it is and generally seeing at what state everyone is and resolving any issues such as blockers. The Developers of the scrum individually explained what they had completed/worked on the day before and explain any blockers they may have come into and explained what they would be working on today, these meetings tend to be really short and to the point, these meetings helped us all understand where we was at in the project and overcome any blockers. Our Team find these meetings very helpful for understanding where the project was at and when we did run in to blockers we found solutions very fast due to us all being within the meeting.
Finishing the first sprint:
Our first sprint was a week Monday - Friday, on the Friday we completed our first sprint we had done a very good job at completing our tasks that we had set in out in our sprint with over 90% of the tasks being completed, the one that we had left were smaller tasks as we prioritised functional tasks for the first week, the tasks and user stories we had left got moved back to the backlog for the next Sprint.
Starting second sprint:
Starting our first sprint we done a Sprint Retrospective, this is where we looked at what could have been improved from last sprint, as a group we agreed that we could have improved on our initial planning investing more time on making a more detailed plan on how the website will function and how that will effect the backend. We also all agreed that we worked well as a group supporting each other and having clear communication lines. After this we then started planning our next


We optimize dogs!
- reinvent integrated bandwidth
- generate granular technologies
- streamline holistic infrastructures
- extend next-generation action-items
- reinvent turn-key paradigms
- utilize turn-key web services
- repurpose rich markets
- expedite dynamic mindshare
- generate web-enabled mindshare
- iterate proactive networks
- transform wireless solutions
- benchmark collaborative content
- engage world-class vortals
- whiteboard killer eyeballs


You do not have enaugh credit for your purchase. If you proceed with your orders it will be held for credit review.


What do you get when you cross a lifetime's passion for music, a lush professional background and unparalleled web development training? If your answer is this guy in a nutshell, well...call me a legume. At heart, I love to create and collaborate. Heroes of mine range from Neil deGrasse Tyson to Tim Ferriss, with the common thread being my fascination with how passion combines with innovation and optimization. My fascination grew so huge that I couldn't sit on the sidelines anymore - I had to throw my hat in the ring.
Matt Jacob
Rainbows Wild
Rocking Chair
Creedence
Can't Be Both
Lullaby For Loved Ones
I've been playing music since I was 6. I'm a composer, multi-instrumentalist and singer with a voice often described as being akin to Tom Waits.
My love of creating music can be described as both my sanity and my madness, and my passion for performing extends not only to stages around the world, but
also to organizations like Musicians On Call, which allows me the opportunity to cheer up children stuck in hospitals.
My instruments: guitar, piano, banjo, harmonica, ukulele, bass, congas, bongos, ceiling fan


Dev Extravaganza is a 2-day workshop series in association with MLH empowering all the budding developers with real-world knowledge and experience, bridging the gap between school and the industry. The series will focus on practical the side of Web development, Game development, and Deployment all having fun with some of the best technologies in the current industry and winning some exciting goodies from Github.
A brief timeline of the programme is as follows:


If you are a parent/student and wish to collaborate, please take this survey
If you're an Institute, a Special Educator, a Researcher, a Software Developer, or want to join as an Intern, please fill in the details.
If you are a parent/student and wish to collaborate, please take this survey
If you're an Institute, a Special Educator, a Researcher, a Software Developer, or want to join as an Intern, please fill in the details.


Faculty/Staff
Resources / School Services
- Accreditation
- Chapter 19
- DOE Compliance Expectations - Mandatory Videos
- DOE Online Forms
- Family Educational Rights and Privacy Act (FERPA)
- Grade Check Dates for Co-Curricular Activities
- Hawaii Department of Education
- Hawaii State Teachers Association (HSTA)
- Hawaii Teacher Standards Board (HTSB)
- Jupiter Grades
- Lotus Notes via a browser (Internet Explorer or Firefox)
- National Education Association (NEA)
- Network Support Services Branch (NSSB)
- Professional Development (PDE3)
- Resource Websites:
- PBS Learning Media - http://www.pbslearningmedia.org/
- School Community Council (SCC) Meeting Documents
- TSEAS Online
- Wish List
}


--- permalink: /education ---
{% include tracking.html %}
I graduated with my
Master of Science in Computer Science from
NYU Tandon School of Engineering in 2019.
Use the filters below to know more about my education so far!
for details
Brooklyn, New York
Coursework: Machine Learning, Data Science, Big Data,
Info Visualization, Computer Vision, Cloud Computing,
Databases, Algorithms
GPA: 3.93/4
Honors: Awarded an Academic Achievement Award and a
merit-based graduate scholarship
for details
Hyderabad, India
Coursework: Artificial Intelligence & Machine Learning,
Data Mining, Cloud Computing, Probability & Statistics
GPA: 3.95/4


Overview
Whether you're hosting a festive party or a casual get-together with friends, our Pumpkin Pie will make entertaining easy!
- Original recipe yield
- 1 × 9-inch deep dish pie
- Prep Time
- 10min
- Cook Time
- 1hr
- Ready In
- 1hr 10min
Ingredients
- 1 (9in) unbaked deep dish pie crust
- ½ cup white sugar
- 1 tsp ground cinnamon
- ½ tsp salt
- ½ tsp ground ginger
- ¼ tsp ground cloves
- 2 eggs
- 1 can (15oz) pumpkin puree
- 1 can (12fl oz) evaporated milk
Directions
- Preheat oven to 425°F
- Combine sugar, salt, cinnamon, ginger and cloves in small bowl.
- Beat eggs lightly in large bowl.
- Stir in pumpkin and sugar-spice mixture.
- Gradually stir in evaporated milk.
- Pour into pie shell.
- Bake for 15 minutes.
- Reduce temperature to 350°F; bake for 40 to 50 minutes or until knife inserted near center comes out clean.
- Cool on wire rack for 2 hours.
- Serve immediately or refrigerate.
Nutrition
- Servings Per Recipe
- 8
Amount Per Serving
- Calories
- 284
- Total Fat
- 12.1g
- Cholesterol
- 65mg
- Sodium
- 355mg
- Total Carbs
- 38.8g
- Dietary Fiber
- 2.7g
- Protein
- 6.3g


Trait 自 PHP 5.4.0 起，PHP 实现了一种代码复用的方法，称为 trait。 Trait 是为类似 PHP 的单继承语言而准备的一种代码复用机制。Trait 为了减少单继承语 言的限制，使开发人员能够自由地在不同层次结构内独立的类中复用 method。Trait 和 Class 组合的语义定义了一种减少复杂性的方式，避免传统多继承和 Mixin 类相关典型问 题。 Trait 和 Class 相似，但仅仅旨在用细粒度和一致的方式来组合功能。无法通过 trait 自身来实例化。它为传统继承增加了水平特性的组合；也就是说，应用的几个 Class 之间 不需要继承。 Example #1 Trait 示例 优先级 从基类继承的成员会被 trait 插入的成员所覆盖。优先顺序是来自当前类的成员覆盖了 trait 的方法，而 trait 则覆盖了被继承的方法。 Example #2 优先顺序示例 从基类继承的成员被插入的 SayWorld Trait 中的 MyHelloWorld 方法所覆盖。其行为 MyHelloWorld 类中定义的方法一致。优先顺序是当前类中的方法会覆盖 trait 方法，而 trait 方法又覆盖了基类中的方法。 sayHello(); ?> 以上例程会输出： Hello World! Example #3 另一个优先级顺序的例子 sayHello(); ?> 以上例程会输出： Hello Universe! 多个 trait 通过逗号分隔，在 use 声明列出多个 trait，可以都插入到一个类中。 Example #4 多个 trait 的用法 sayHello(); $o->sayWorld(); $o->sayExclamationMark(); ?> 以上例程会输出： Hello World! 冲突的解决 如果两个 trait 都插入了一个同名的方法，如果没有明确解决冲突将会产生一个致命错误 。 为了解决多个 trait 在同一个类中的命名冲突，需要使用 insteadof 操作符来明确指定 使用冲突方法中的哪一个。 以上方式仅允许排除掉其它方法，as 操作符可以将其中一个冲突的方法以另一个名称来引 入。 Example #5 冲突的解决 在本例中 Talker 使用了 trait A 和 B。由于 A 和 B 有冲突的方法，其定义了使用 trait B 中的 smallTalk 以及 trait A 中的 bigTalk。 Aliased_Talker 使用了 as 操作符来定义了 talk 来作为 B 的 bigTalk 的别名。 修改方法的访问控制 使用 as 语法还可以用来调整方法的访问控制。 Example #6 修改方法的访问控制 从 trait 来组成 trait 正如 class 能够使用 trait 一样，其它 trait 也能够使用 trait。在 trait 定义时通 过使用一个或多个 trait，能够组合其它 trait 中的部分或全部成员。 Example #7 从 trait 来组成 trait sayHello(); $o->sayWorld(); ?> 以上例程会输出： Hello World! Trait 的抽象成员 为了对使用的类施加强制要求，trait 支持抽象方法的使用。 Example #8 表示通过抽象方法来进行强制要求 getWorld(); } abstract public function getWorld(); } class MyHelloWorld { private $world; use Hello; public function getWorld() { return $this->world; } public function setWorld($val) { $this->world = $val; } } ?> Trait 的静态成员 Traits 可以被静态成员静态方法定义。 Example #9 静态变量 inc(); // echo 1 $p = new C2(); $p->inc(); // echo 1 ?> Example #10 静态方法 属性 Trait 同样可以定义属性。 Example #11 定义属性 x; ?> 如果 trait 定义了一个属性，那类将不能定义同样名称的属性，否则会产生一个错误。如 果该属性在类中的定义与在 trait 中的定义兼容（同样的可见性和初始值）则错误的级别 是 E_STRICT，否则是一个致命错误。 Example #12 解决冲突 User Contributed Notes 32 notes =============================================================================== Unlike inheritance; if a trait has static properties, each class using that trait has independent instances of those properties. Example using parent class: Example using trait: =============================================================================== The best way to understand what traits are and how to use them is to look at them for what they essentially are: language assisted copy and paste. If you can copy and paste the code from one class to another (and we've all done this, even though we try not to because its code duplication) then you have a candidate for a trait. =============================================================================== Note that the "use" operator for traits (inside a class) and the "use" operator for namespaces (outside the class) resolve names differently. "use" for namespaces always sees its arguments as absolute (starting at the global namespace): On the other hand, "use" for traits respects the current namespace: Together with "use" for closures, there are now three different "use" operators. They all mean different things and behave differently. =============================================================================== add to "chris dot rutledge at gmail dot com": __CLASS__ will return the name of the class in which the trait is being used (!) not the class in which trait method is being called: testMethod(); //Class: BaseClass //Trait: TestTrait =============================================================================== Keep in mind; "final" keyword is useless in traits when directly using them, unlike extending classes / abstract classes. But this way will finalize trait methods as expected; =============================================================================== It may be worth noting here that the magic constant __CLASS__ becomes even more magical - __CLASS__ will return the name of the class in which the trait is being used. for example whereAmI(); //Hello $b = new World; $b->whereAmI(); //World ?> The magic constant __TRAIT__ will giev you the name of the trait =============================================================================== Another difference with traits vs inheritance is that methods defined in traits can access methods and properties of the class they're used in, including private ones. For example: var; } } class TraitUser { use MyTrait; private $var = 'var'; public function getVar() { return $this->accessVar(); } } $t = new TraitUser(); echo $t->getVar(); // -> 'var' ?> =============================================================================== Note that you can omit a method's inclusion by excluding it from one trait in favor of the other and doing the exact same thing in the reverse way. sayHello(); $talker->sayWorld(); ?> The method sayHello is imported, but the method sayWorld is simply excluded. =============================================================================== Not very obvious but trait methods can be called as if they were defined as static methods in a regular class =============================================================================== bar(); //C::bar =============================================================================== Traits can not implement interfaces. (should be obvious, but tested is tested) =============================================================================== The magic method __call works as expected using traits. go(1,2,3,4); // echoes 4 =============================================================================== The difference between Traits and multiple inheritance is in the inheritance part. A trait is not inherited from, but rather included or mixed-in, thus becoming part of "this class". Traits also provide a more controlled means of resolving conflicts that inevitably arise when using multiple inheritance in the few languages that support them (C++). Most modern languages are going the approach of a "traits" or "mixin" style system as opposed to multiple-inheritance, largely due to the ability to control ambiguities if a method is declared in multiple "mixed-in" classes. Also, one can not "inherit" static member functions in multiple-inheritance. =============================================================================== Simple singleton trait. name = 'foo'; } } class bar { use singleton; private function __construct() { $this->name = 'bar'; } } $foo = foo::getInstance(); echo $foo->name; $bar = bar::getInstance(); echo $bar->name; =============================================================================== Using AS on a __construct method (and maybe other magic methods) is really, really bad. The problem is that is doesn't throw any errors, at least in 5.4.0. It just sporadically resets the connection. And when I say "sporadically," I mean that arbitrary changes in the preceding code can cause the browser connection to reset or not reset *consistently*, so that subsequent page refreshes will continue to hang, crash, or display perfectly in the same fashion as the first load of the page after a change in the preceding code, but the slightest change in the code can change this state. (I believe it is related to precise memory usage.) I've spent a good part of the day chasing down this one, and weeping every time commenting or even moving a completely arbitrary section of code would cause the connection to reset. It was just by luck that I decided to comment the "__construct as primitiveObjectConstruct" line and then the crashes went away entirely. My parent trait constructor was very simple, so my fix this time was to copy the functionality into the child __construct. I'm not sure how I'll approach a more complicated parent trait constructor. =============================================================================== Traits are useful for strategies, when you want the same data to be handled (filtered, sorted, etc) differently. For example, you have a list of products that you want to filter out based on some criteria (brands, specs, whatever), or sorted by different means (price, label, whatever). You can create a sorting trait that contains different functions for different sorting types (numeric, string, date, etc). You can then use this trait not only in your product class (as given in the example), but also in other classes that need similar strategies (to apply a numeric sort to some data, etc). sort_field], $item2[$this->sort_field]); } private function string_desc($item1, $item2) { return strnatcmp($item2[$this->sort_field], $item1[$this->sort_field]); } private function num_asc($item1, $item2) { if ($item1[$this->sort_field] == $item2[$this->sort_field]) return 0; return ($item1[$this->sort_field] < $item2[$this->sort_field] ? -1 : 1 ); } private function num_desc($item1, $item2) { if ($item1[$this->sort_field] == $item2[$this->sort_field]) return 0; return ($item1[$this->sort_field] > $item2[$this->sort_field] ? -1 : 1 ); } private function date_asc($item1, $item2) { $date1 = intval(str_replace('-', '', $item1[$this->sort_field])); $date2 = intval(str_replace('-', '', $item2[$this->sort_field])); if ($date1 == $date2) return 0; return ($date1 < $date2 ? -1 : 1 ); } private function date_desc($item1, $item2) { $date1 = intval(str_replace('-', '', $item1[$this->sort_field])); $date2 = intval(str_replace('-', '', $item2[$this->sort_field])); if ($date1 == $date2) return 0; return ($date1 > $date2 ? -1 : 1 ); } } class Product { public $data = array(); use SortStrategy; public function get() { // do something to get the data, for this ex. I just included an array $this->data = array( 101222 => array('label' => 'Awesome product', 'price' => 10.50, 'date_added' => '2012-02-01'), 101232 => array('label' => 'Not so awesome product', 'price' => 5.20, 'date_added' => '2012-03-20'), 101241 => array('label' => 'Pretty neat product', 'price' => 9.65, 'date_added' => '2012-04-15'), 101256 => array('label' => 'Freakishly cool product', 'price' => 12.55, 'date_added' => '2012-01-11'), 101219 => array('label' => 'Meh product', 'price' => 3.69, 'date_added' => '2012-06-11'), ); } public function sort_by($by = 'price', $type = 'asc') { if (!preg_match('/^(asc|desc)$/', $type)) $type = 'asc'; switch ($by) { case 'name': $this->sort_field = 'label'; uasort($this->data, array('Product', 'string_'.$type)); break; case 'date': $this->sort_field = 'date_added'; uasort($this->data, array('Product', 'date_'.$type)); break; default: $this->sort_field = 'price'; uasort($this->data, array('Product', 'num_'.$type)); } } } $product = new Product(); $product->get(); $product->sort_by('name'); echo '
'.print_r($product->data, true).''; ?> =============================================================================== A (somewhat) practical example of trait usage. Without traits: With traits: =============================================================================== don't forget you can create complex (embedded) traits as well =============================================================================== Visibility in traits is not shared between trait users. secret; } } class Y { use T; } (new X)->peek(new Y); // Fatal: Cannot access protected property Y::$secret ?> This is as expected when thinking of traits as language assisted copy-paste. =============================================================================== (It's already been said, but for the sake of searching on the word "relative"...) The "use" keyword to import a trait into a class will resolve relative to the current namespace and therefore should include a leading slash to represent a full path, whereas "use" at the namespace level is always absolute. =============================================================================== A note to 'Beispiel #9 Statische Variablen'. A trait can also have a static property: trait Counter { static $trvar=1; public static function stfunc() { echo "Hello world!" } } class C1 { use Counter; } print "\nTRVAR: " . C1::$trvar . "\n"; //prints 1 $obj = new C1(); C1::stfunc(); //prints Hello world! $obj->stfunc(); //prints Hello world! A static property (trvar) can only be accessed using the classname (C1). But a static function (stfunc) can be accessed using the classname or the instance ($obj). =============================================================================== I think it's obvious to notice that using 'use' followed by the traits name must be seen as just copying/pasting lines of code into the place where they are used. =============================================================================== Trait can not have the same name as class because it will show: Fatal error: Cannot redeclare class =============================================================================== If you want to resolve name conflicts and also change the visibility of a trait method, you'll need to declare both in the same line: trait testTrait{ public function test(){ echo 'trait test'; } } class myClass{ use testTrait { testTrait::test as private testTraitF; } public function test(){ echo 'class test'; echo '


Hi! I'm a software developer from Croatia.
I started my professional carrier at Ingemark as a fullstack developer.
During my rather short career, I've worked on various projects written in various programming languages
such as Java, Ruby and JavaScript.
Java remains my preferred and mostly used language and somehow I'm most comfortable writing stuff in it.
Beside that, I'm very interested in the Rust programming language and I would really like to use it professionally one day.


Introduction to Singularity¶
Singularity is a container platform. It allows you to create and run containers that package up pieces of software in a way that is portable and reproducible. You can build a container using Singularity on your laptop, and then run it on many of the largest HPC clusters in the world, local university or company clusters, a single server, in the cloud, or on a workstation down the hall. Your container is a single file, and you don’t have to worry about how to install all the software you need on each different operating system.
Why use Singularity?¶
Singularity was created to run complex applications on HPC clusters in a simple, portable, and reproducible way. First developed at Lawrence Berkeley National Laboratory, it quickly became popular at other HPC sites, academic sites, and beyond. Singularity is an open-source project, with a friendly community of developers and users. The user base continues to expand, with Singularity now used across industry and academia in many areas of work.
Many container platforms are available, but Singularity is focused on:
Verifiable reproducibility and security, using cryptographic signatures, an immutable container image format, and in-memory decryption.
Integration over isolation by default. Easily make use of GPUs, high speed networks, parallel filesystems on a cluster or server by default.
Mobility of compute. The single file SIF container format is easy to transport and share.
A simple, effective security model. You are the same user inside a container as outside, and cannot gain additional privilege on the host system by default. Read more about Security in Singularity.
Why use containers?¶
A Unix operating system is broken into two primary components, the kernel space, and the user space. The Kernel talks to the hardware, and provides core system features. The user space is the environment that most people are most familiar with. It is where applications, libraries and system services run.
Traditionally you use an operating system that has a fixed combination of kernel and user space. If you have access to a machine running CentOS then you cannot install software that was packaged for Ubuntu on it, because the user space of these distributions is not compatible. It can also be very difficult to install multiple versions of the same software, which might be needed to support reproducibility in different workflows over time.
Containers change the user space into a swappable component. This means that the entire user space portion of a Linux operating system, including programs, custom configurations, and environment can be independent of whether your system is running CentOS, Fedora etc., underneath. A Singularity container packages up whatever you need into a single, verifiable file.
Software developers can now build their stack onto whatever operating system base fits their needs best, and create distributable runtime environments so that users never have to worry about dependencies and requirements, that they might not be able to satisfy on their systems.
Use Cases¶
BYOE: Bring Your Own Environment!¶
Engineering work-flows for research computing can be a complicated and iterative process, and even more so on a shared and somewhat inflexible production environment. Singularity solves this problem by making the environment flexible.
Additionally, it is common (especially in education) for schools to provide a standardized pre-configured Linux distribution to the students which includes all of the necessary tools, programs, and configurations so they can immediately follow along.
Reproducible science¶
Singularity containers can be built to include all of the programs, libraries, data and scripts such that an entire demonstration can be contained and either archived or distributed for others to replicate no matter what version of Linux they are presently running.
Commercially supported code requiring a particular environment¶
Some commercial applications are only certified to run on particular versions of Linux. If that application was installed into a Singularity container running the version of Linux that it is certified for, that container could run on any Linux host. The application environment, libraries, and certified stack would all continue to run exactly as it is intended.
Additionally, Singularity blurs the line between container and host such that your home directory (and other directories) exist within the container. Applications within the container have full and direct access to all files you own thus you can easily incorporate the contained commercial application into your work and process flow on the host.
Static environments (software appliances)¶
Fund once, update never software development model. While this is not ideal, it is a common scenario for research funding. A certain amount of money is granted for initial development, and once that has been done the interns, grad students, post-docs, or developers are reassigned to other projects. This leaves the software stack un-maintained, and even rebuilds for updated compilers or Linux distributions can not be done without unfunded effort.
Legacy code on old operating systems¶
Similar to the above example, while this is less than ideal it is a fact of the research ecosystem. As an example, I know of one Linux distribution which has been end of life for 15 years which is still in production due to the software stack which is custom built for this environment. Singularity has no problem running that operating system and application stack on a current operating system and hardware.
Complicated software stacks that are very host specific¶
There are various software packages which are so complicated that it takes much effort in order to port, update and qualify to new operating systems or compilers. The atmospheric and weather applications are a good example of this. Porting them to a contained operating system will prolong the use-fullness of the development effort considerably.
Complicated work-flows that require custom installation and/or data¶
Consolidating a work-flow into a Singularity container simplifies distribution and replication of scientific results. Making containers available along with published work enables other scientists to build upon (and verify) previous scientific work.


Internals¶
This chapter will tell you how PrestoPHP works internally.
PrestoPHP¶
Application¶
The application is the main interface to PrestoPHP. It implements Symfony’s
HttpKernelInterface,
so you can pass a Request
to the handle
method and it will return a Response.
It extends the Pimple
service container, allowing for flexibility on the
outside as well as the inside. You could replace any service, and you are also
able to read them.
The application makes strong use of the EventDispatcher to hook into the Symfony HttpKernel
events. This allows fetching the Request
, converting string responses into
Response
objects and handling Exceptions. We also use it to dispatch some
custom events like before/after middlewares and errors.
Controller¶
The Symfony Route is
actually quite powerful. Routes can be named, which allows for URL generation.
They can also have requirements for the variable parts. In order to allow
setting these through a nice interface, the match
method (which is used by
get
, post
, etc.) returns an instance of the Controller
, which
wraps a route.
ControllerCollection¶
One of the goals of exposing the RouteCollection
was to make it mutable, so providers could add stuff to it. The challenge here
is the fact that routes know nothing about their name. The name only has
meaning in context of the RouteCollection
and cannot be changed.
To solve this challenge we came up with a staging area for routes. The
ControllerCollection
holds the controllers until flush
is called, at
which point the routes are added to the RouteCollection
. Also, the
controllers are then frozen. This means that they can no longer be modified
and will throw an Exception if you try to do so.
Unfortunately no good way for flushing implicitly could be found, which is why
flushing is now always explicit. The Application will flush, but if you want
to read the ControllerCollection
before the request takes place, you will
have to call flush yourself.
The Application
provides a shortcut flush
method for flushing the
ControllerCollection
.
Tip
Instead of creating an instance of RouteCollection
yourself, use the
$app['controllers_factory']
factory instead.
Symfony¶
Following Symfony components are used by PrestoPHP:
HttpFoundation: For
Request
andResponse
.HttpKernel: Because we need a heart.
Routing: For matching defined routes.
EventDispatcher: For hooking into the HttpKernel.
For more information, check out the Symfony website.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/setext.html ---
Core lib has a funext
tactic which allows to replace apply funext, intro x
by funext x
. Would it be a good idea to copy the definition of this tactic to get a setext
tactic?
the funext
tactic is really repeat {apply funext, intro x}
though
but right, set.ext
can only be used once
well you can just set setext
to be apply set.ext; intro x
I want x
to be an argument of the tactic
sure
It's mostly a cosmetic question, but also about consistency
Because I keep trying setext x
before remembering it doesn't work yet
@Simon Hudon I recall discussing a generic ext
tactic as a complement to the monotonicity
tactic, perhaps it would help here
Yes, I have it in lean-lib
. I can create a pull request. I have a extensionality
attribute that I used to tag extentionality on sets, stream and maybe other things too
nice
I just submitted a pull request: https://github.com/leanprover/mathlib/pull/104
In tests/examples.lean you should see a bunch of situations where ext
is useful.
Let me know if you think there should be more extensionality lemmas
Thanks!
Can you give it names like with funext?
Oh, you put sorries in tests again :disappointed:
Yes. ext
will apply all extensionality lemmas that make sense while ext a b c
will only apply three (not necessarily the same) and name the introduced locals a
,b
, c
,
What is this ext1
I see in tests? Apply it only once?
like congr_n 1
?
It shouldn't affect the built because the final proof is just trivial
Ahah
I don't know of congr_n 1
but it sounds like you got the right idea
(I'm so glad congr_n
exists! I'll be able to use that now!)
I was looking to my mathlib tactics docs to point to and, shame on me, I didn't include congr_n! :disappointed:
shake head in disapproval
Would it be useful to have a monoid
and add_monoid
instance for fin n
in mathlib
?
What would be the law? Again some truncation thing?
Yes. It would be modulo arithmetic with the modulo baked into the type
Oh, modulo
That's a bit sneaky
https://github.com/leanprover/mathlib/pull/105
What kind of sneaky? Evil-sneaky or just effective-sneaky?
I don't know. People could be taken off guard. But who would want to add elements of fin n
anyway?
After a quick survey, there's me
The other alternative I see is the p ≡ q [MOD k]
notation but that looks more restricted. fin n
is usable in other contexts that congruences or equalities.
I notice your ext PR doesn't include documentation :unamused:
What's this documentation
thing?
Alright, I'll add a comment :)
Is that better?
By the way, you told me we found a bug in wlog
when I asked questions about it. Did you manage to fix it?
That's true! I forgot about it. It was pretty tricky. I'll get back to it.
Sorry for the delay
Adding a docstring to tactic/interactive.lean
would be good enough. Then I can copy it to tactic.md
But in this case I could also write the docstring I guess
The problem is I could write nonsense
There is no delay problem with wlog, I was only asking so you don't forget
Thanks for reminding me
Speaking of documentation, I wonder if @Sebastian Ullrich of @Gabriel Ebner could answer Kevin's questions in https://github.com/leanprover/mathlib/blob/master/docs/extras/calc.md (you only need to search for "Kevin" in this file)
I'll write both no worries. I was joking.
I'm not at a computer right now, but IIRC I think fin n
already has an +
but it is not very well behaved!
Actually, I think -
is more problematic. And we don't have laws for them
My memory is that these structures on fin n
are defined in core and didn't make it into a sensible mathematical object
I think 2+2 wasn't 2-2 in fin 4 for example
Docs -- yes I'd forgotten I'd left those in!
#reduce (2 : fin 4) - (2 : fin 4) -- ⟨0, _⟩
#reduce (2 : fin 4) + (2 : fin 4) -- ⟨0, _⟩
Try 1+2 and 1-2
Maybe that was it
1+2 is 3 and 1 - 2 is 0
2+2=0 so adding 2 and subtracting 2 should be the same
Thanks
hard to tell what is the rule here
it seems substration is truncated at zero
Subtracting is just subtraction on nat I think
and addition wraps
Right
Does that make it a monoid?
:simple_smile:
I think I remember reading this discussion in the past
Right
What was the conclusion?
Current definitions are... odd
https://github.com/leanprover/mathlib/pull/109/commits
ext is in PR
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


water sand temperature plots content temperatures treatments high sea sex turtle .±. mm) watering nest hatchlings low average turtles nests incubation treatment hatchling leatherback nesting Costa climate dry shaded {border-style exposed conditions px;} ratios #ffffff;} Biol Playa Water beach change days .°C hatching impacts mitigation season Paladino depth eggs lower month success Climate Spotila shading High application experimental mm), shade Rica. end higher levels plots, < Chang Temperatures depths gravimetric impact strategies Average Dermochelys Table Temperature determination olive population reproductive (mm) Fig Glob Low Plots Tomillo Treatment control egg exposed, influence potential px; results ridley significantly study {font-family Grande Grande, Mar Niño Pacific Zool changes cm, day emergence font-size hatchery important natural performance precipitation samples used water. .), .). America Booth Effects Hays Niña, Northwest Rica amounts applied decreased decreases depth. double; effect environmental highest likely neutral plot production rain rainfall received recorded respectively result sand. shaded, significant time treatments, Change Influence Packard Res Samples Santidrián Sea Shade Shading air beginning border-color border-width clutches corresponding data development different effective female following green increase increased kPa larger largest loggerhead long-term showed solid; survival temperature, treatments. turtles. were: {font-style {font-weight (°C) ./journal.pone..t Broderick Conserv Eastern Ecology Endanger Exposed Fuentes Godley JEH Mean Number PST. Physiol Saba Science Shaded Species United University Watering bold cause change. conditions, controls, courier; dependent did differences dried effects em; embryos environment examine females future greater increasing influenced male marine mass mitigate month, number period pt;} ratio reducing remained respectively. shifts small techniques temperature-dependent temperatures, time, turtles, using vegetation warmer watering,


Tue
9
Reminders
4
Sep
12
Study For Exam
Sep
11
Study For Exam
Sep
9
Study For Exam
Sep
1
Study For Exam
No New Event Reminders
Suggested/Invited
2
Sep
12
Study For Exam
Sep
12
Study For Exam
no new event invitations
Monthly Calendar
Weekly Calendar
Add New Event
Discussions
2
Professor Lai
made an announcement in
Biosensor and Entrepreneurship
No New Post Notifications
Files
2
.PDF
File Name
.DOC
File Name
.XLS
File Name
.PPT
File Name
.ZIP
File Name
no new event invitations
Followers
1
Ross Kopelman
Follow
Professors in Your Department
Courses in Your Department
Professors in Your School
Courses in Your School
Clubs in Your School
Search Your School
Profile
My Very Really Long Name
Department
Really Long School Name
Your Profile
Edit Profile
Sign Out
Classes
Subject 1
Subject 2
A Very Very Long Subject 3
Subject 4
Subject 1
Subject 2
A Very Very Long Subject 3
Subject 1
Subject 2
A Very Very Long Subject 3
Subject 1
Subject 2
A Very Very Long Subject 3
Subject 4
Subject 4
Subject 4
Clubs
Club 1
Club 2
A Very Very Really Lengthy Organisation 1
Organisation 2
Club 1
Club 2
A Very Very Really Lengthy Organisation 1
Organisation 2
Club 1
Club 2
A Very Very Really Lengthy Organisation 1
Organisation 2
Club 1
Club 2
A Very Very Really Lengthy Organisation 1
Organisation 2


June 01, 2004
JetBrains ReSharper plug-in enables intelligent C# code editing and powerful coding assistance to Visual Studio like those provided in Java by IntelliJ IDEA
Prague, Czech Republic, June 1, 2004 - JetBrains™, Inc., creators of intelligent application development tools, today announced it has launched its Early Access Program (EAP) for JetBrains ReSharper™, the company's powerful add-in tool for developers using Visual Studio.NET 2003. The ReSharper integrated plug-in enhances Visual Studio with powerful, intelligent C# code editing assistance and many of the same types of robust productivity enhancements they have come to rely on in the company's flagship IntelliJ IDEA IDE, now in version 4.0.
Strong, positive comments by initial trial users have already spread through the Internet's C# developer community newsgroups. Now JetBrains is expanding the EAP to invite C# developers everywhere to download the latest preview version. ReSharper makes its power available within Visual Studio VS.NET 2003 with a convenient, integrated ReSharper menu, without significant slowdown of Visual Studio. ReSharper is available for download at https://www.jetbrains.com/resharper.
"Our early trial users have given us consistently great reports on ReSharper because it provides many of the same types of productivity enhancements in C# that IntelliJ IDEA provides in Java," said Eugene Belyaev, president and chief technology officer at JetBrains. "By expanding the Early Adopter Program beyond our intellij.net online developer community, we now invite developers worldwide to help us make ReSharper an unmatched C# productivity tool in the Visual Studio environment."
Key ReSharper features include:
Known for its consistent focus on increasing the productivity of developers, JetBrains continues to set the IDE technology standard with JetBrains ReSharper. For more information about JetBrains, visit http://www.jetbrains.com
JetBrains, Inc. is a technology-leading software development firm specializing in the creation of intelligent development tools. The company is widely known for its innovative, multiple award-winning Java integrated development environment, IntelliJ IDEA (see details on the Web at https://www.jetbrains.com/idea/). JetBrains, Inc. maintains its headquarters in Prague, Czech Republic, with R&D labs located in St. Petersburg, Russia and Boston, Massachusetts and sales offices in San Mateo, California and Medford, New Jersey. For more information, see http://www.jetbrains.com.
JetBrains, IntelliJ IDEA and ReSharper are trademarks or registered trademarks of JetBrains, Inc. All other trademarks are the properties of their respective owners.
Press/Analyst Contact
Marketing Director
Product Reviews Contact
Marketing Manager


Peptide
An mass spec experiment often don't contain protein names and protein sequences, these are the key information to interpret the protein identification results. In the PRIDE Inspector, you can click on Update Protein Details to retrieve the complete protein names, protein accession status, protein sequence and protein sequence coverage. Once clicked, two extra columns will be added to the protein table: protein name and fit. [Note that, this requires an active Internet connection]
More information on Obtain Protein Details
| Column | Description |
| Peptide Sequence | The complete peptide sequence is shown with modified amino acids highlighted in red. If you mouse over the peptide sequence, a tooltip with PTM details will be displayed. |
| Fit | whether the peptide sequence fits the protein sequence, it could be unknown when the protein sequence is no available, or fit if the peptide sequence can be found at the given start and stop position of the protein sequence, or fuzzy fit if the peptide position no longer fit, but the peptide sequence can still be found in the protein sequence. |
| Protein | The peptide's protein accession |
| Modification | Post translational modifications on this peptide. |
| #PSM | A number of peptide-spectrum matches |
| Length | Peptide length |
| pI | Theoretical isoelectric point calculated using peptide sequence. See details from here. |
PSM
You can click on to show or hide columns, and the table below gives a short description for every column in the PTM table:
| Column | Description |
| Peptide Sequence | The complete peptide sequence is shown with modified amino acids highlighted in red. If you mouse over the peptide sequence, a tooltip with PTM details will be displayed. |
| Fit | whether the peptide sequence fits the protein sequence, it could be unknown when the protein sequence is no available, or fit if the peptide sequence can be found at the given start and stop position of the protein sequence, or fuzzy fit if the peptide position no longer fit, but the peptide sequence can still be found in the protein sequence. |
| Ranking | The ranking given by the search engine |
| Delta m/z | The difference between the observed and theoretical m/z. |
| Charge | Precursor ion charge |
| Precursor m/z | Precursor ion m/z value. |
| Modifications | A distinct list of PTM accessions with their count |
| Peptide Score | Peptide b1Score given by the search engine, the number of columns depends on the search engine used. For instance, mascot b1Score will be displayed if Mascot search engine is used. Both X correlation and Delta Cn will be displayed for SEQUEST search engine. |
| Length | Peptide length |
| Start | The start position of the peptide within protein sequence. |
| Stop | The stop position of the peptide within protein sequence. |
| Spectrum Id | Spectrum ID |
Spectrum Browser
Displays the spectrum identifying the selected peptide.
For more details, please refer to: Spectrum Browser.
Protein Sequence Viewer
The Protein Sequence Viewer can be used to visualize downloaded protein sequence, and colour code it
with
peptide and ptm identifications.
For more details, please refer to: Protein Sequence
Viewer.


0 2x Weaknesses
0 4x Weaknesses
0 8x Weaknesses
0 16x Weaknesses
0 Immunities
0 2x Resistances
0 4x Resistances
0 8x Resistances
0 16x Resistances
0 Rocks User(s)
0 Spikes User(s)
0 Toxic Spikes User(s)
0 Light Screen User(s)
0 Reflect User(s)
0 Aurora Veil User(s)
0 Defogger(s)
0 Spinner(s)
| Pokémon | Hp | Atk | Def | SpA | SpD | Spe | BST |
|---|
| Pokémon | Bug | Dark | Dragon | Electric | Fairy | Fighting | Fire | Ghost | Grass | Ground | Ice | Normal | Poison | Psychic | Rock | Steel | Water |
|---|
| Type | Coverage? | STAB? | Type | Coverage? | STAB? | Type | Coverage? | STAB? |
|---|---|---|---|---|---|---|---|---|
| Bug | Fire | Normal | ||||||
| Dark | Poison | |||||||
| Dragon | Ghost | Psychic | ||||||
| Electric | Grass | Rock | ||||||
| Fairy | Ground | Steel | ||||||
| Fighting | Ice | Water |


|
| void | zswap_ (int *, doublecomplex[], int *, doublecomplex[], int *) |
| |
| void | zaxpy_ (int *, doublecomplex *, doublecomplex[], int *, doublecomplex[], int *) |
| |
| void | zcopy_ (int *, doublecomplex[], int *, doublecomplex[], int *) |
| |
| void | dcopy_ (int *, double[], int *, double[], int *) |
| |
| double | dzasum_ (int *, doublecomplex *, int *) |
| |
| double | dznrm2_ (int *, doublecomplex *, int *) |
| |
| double | dnrm2_ (int *, double[], int *) |
| |
| int | izamax_ (int *, doublecomplex[], int *) |
| |
| int | ilu_zdrop_row (superlu_options_t *options, int first, int last, double drop_tol, int quota, int *nnzLj, double *fill_tol, GlobalLU_t *Glu, double dwork[], double dwork2[], int lastc) |
| |
Copyright (c) 2003, The Regents of the University of California, through Lawrence Berkeley National Laboratory (subject to receipt of any required approvals from U.S. Dept. of Energy)
All rights reserved.
The source code is distributed under BSD license, see the file License.txt at the top-level directory.
-- SuperLU routine (version 4.1) --
Lawrence Berkeley National Laboratory.
June 30, 2009


[1]
the activities - then it is worth it.
[2]
the holiday food drinks and activities - there were good.


|
General
New
Features
|
Integrated chat |
|
"Who's Playing" |
|
Real-time messaging |
|
Global messaging |
|
NavPoints |
|
Quick-stats |
|
"Backtrack" key |
Updated
Features
|
Interactive
combat |
|
Cooperative play |
|
Real-time ship movement |
|
Independent Alien,
Ferrengi, and Feds |
|
Turn recovery every
hour |
|
Daily taxation |
|
Real-time stats |
|
"New Mail" notification |
|
Stabilized planet and port updates |
|
Works with DOS & MBBS helpers |
|
|
|
|
|
|
What's
New!
| Version
3 brings multiplayer interaction to the popular DOS BBS game, with fully
integrated chat systems, real-time
global messaging, status
reports and combat.
A completely new file system should remove all known "cheats" from the
game and make loopholes a thing of the past. |
Overview
of Changes
The most
notable changes in Trade Wars 2002 v3 are its interactive capabilities.
Trade Wars has always been a "multiplayer" game, but the DOS version was
never designed to handle multiple players in the game simultaneously.
This new version upgrades the DOS Trade Wars game to the level of the Major
BBS "interactive Trade Wars". For example,
In previous versions,
a player entering the game would receive a "snap-shot" of the universe.
The player was essentially alone, because, even though others occupied
the universe, they were "frozen" for the duration of the game session.
Aliens, Ferrengi, and Feds only existed within that player's universe, and
their movement was
triggered by the player's movements. The new version breaks down the
barriers between you and the other players. While playing, you will
see other players and non-players moving from sector to sector, landing
on ports and planets, and even attacking one-another.
Previously, there was
no need for a means of communication beyond simple e-mail. The new
version requires a more instantaneous, interactive form of communication.
These needs are met with not one, but four modes of communication
in addition to the improved mail system. And these new chat modes
aren't even available in the Major BBS version.
For SysOps, the Trade
Wars utilities (TEDIT and EXTERN) can now run concurrently
with the game sessions. All changes made with these utilities will
be represented in the games instantaneously.
One feature that hasn't
been updated is the reasonable cost of registration. At $25 for new
registrations, its still an unbeatable value. And did I mention that
it's FREE to all registered owners of Trade Wars 2002?
For details on these
new and updated features, click the "bullet" next to the item of interest.
|
|
|
|
|
|
|
SysOp
New
Features
|
Auto v2
to v3 data conversion |
|
Fossil driver support |
|
Modify real-time move
delays for all player ships |
|
Self-cleaning real-time
message file |
|
Online system status
report |
Updated
Features
|
TEDIT and
EXTERN run concurrently with Trade Wars sessions |
|
Separate message and
mail files |
|
Alien, Ferrengi, and
Fed processing distributed |
|
Some player activities limited to once daily |
|
Improved TEDIT prompting |
|
Various code optimizations |
|
|


The Neighbourhood
One of the best bands of Indie Rock
2013:
I Love You.
2015:
Wiped Out!
2018:
The Neightbourhood
If you want to know more about this awesome band please,
Click Here


This site uses Google Analytics features implemented based on Display Advertising (e.g. Remarketing, Google Display Network Impression Reporting, the DoubleClick Campaign Manager integration or Google Analytics Demographics and Interest Reporting). Using the Ads Settings , visitors can opt out of Google Analytics for Display Advertising and customise Google Display Network ads.
Supi and third-party vendors, including Google, use first-party cookies (such as the Google Analytics cookie) and third-party cookies (such as the DoubleClick cookie) together to report how ad impressions, other uses of ad services and interactions with these ad impressions and ad services are related to visits to this site.
Supi currently only uses this data to improve the quality of it's service. This form of analytics allows us to see demographics such as age range and gender that further allow us to customise the design of the site to suit the target audience.
Supi may, at any time, choose to include advertising on the site based on these demographics, should the site become popular enough to need some financial help. If this is the case, the ads will use Remarketing with Google Analytics to advertise online. Third-party vendors, including Google, may show our ads on sites across the Internet.
Visistors can use any of the currently available opt-outs for the web.


Websites and Web solutions focused on usability and responsive design, creative branding solutions that inject personality into your business
Logo Designing , Brochure Design , Flyer design , Newsletter Designing, Custom Business Card Designs, Poster Design.
Digital marketing services are professional services that help market or advertise your business online, like through search, social media, and paid channels.
Website maintenance is the act of regularly checking your website for issues and mistakes and keeping it updated and relevant.
Prices are Subject to Discuss! Below are the service pakages!
Testimonial


Getting started
License
GeotabDriveSDK is available under the MIT license. See the LICENSE file for more info.
DriveViewController
What is DriveViewController
DriveViewController is the starting point of integrating Geotab Drive SDK. It’s the container of the Geotab Drive Web app equipped with native APIs for accessing Geotab Drive web app’s data.
How to start
Installation
Geotab Mobile SDK is a Swift Package. Refer to Apple document for how to add the SDK to your project: https://developer.apple.com/documentation/xcode/adding_package_dependencies_to_your_app
Add Background mode capabilities
In your app’s “Signing and Capabilities” section, add “Background mode” section and check the “Audio, Airplay and Picture in Picture” and “Location updates” options.
Info.plist
The following keys must be added to your app’s Info.plist:
- “Privacy - Location Always Usage Description”
- “Privacy - Location Always and When In Use Usage Description”
- “Privacy - Location When In Use Usage Description”
- “Privacy - Camera Usage Description”
- “Privacy - Photo Library Usage Description”
- “Privacy - Face ID Usage Description”
- “Privacy - Bluetooth Always Usage Description”
- “Privacy - Motion Usage Description”
Initialization
Inside your main
controller, define a property that holds the instance of DriveViewController
private var driveVC: DriveViewController!
If your drivers should login from a specific Geotab server, then you should set the serverAddress first:
DriveSdkConfig.serverAddress = "<server-name>.geotab.com"
Note: Do not prefix with “https://”. SDK prefixes “https://” by default.
You should also set up a listener for LastServerAddress
update:
driveVC.setLastServerAddressUpdatedCallback { server in
let store = UserDefaults.standard
store.setValue(server, forKey: MainViewController.GEOTAB_DRIVE_LAST_SERVER_KEY)
DriveSdkConfig.serverAddress = server
}
Whenever LastServerAddress
is changed. it should be saved in persistent storage. At the next launch of your app, you should read the value from your persistent storage and set it to DriveSdkConfig.serverAddress
before executing any Drive SDK APIs.
Initialize the instance during viewDidLoad()
of your main
controller
driveVC = DriveViewController(modules: [])
Login
GeotabDriveSDK allow integrators use their own authentication and user management. All the SDK needs to know to log into Geotab Drive is user’s credential.
Tell DriveViewController about the user credential as follows:
driveVC.setSession(credentialResult: CredentialResult, isCoDriver: <set to true if it's a co-driver login>)
where credentials is a type of:
public struct GeotabCredentials: Codable {
var userName: String
var database: String
var sessionID: String
public init(userName: String, database: String, sessionID: String){
self.userName = userName
self.database = database
self.sessionID = sessionID
}
}
See GeotabCredentials.swift
.
Present the DriveViewController
Once user credentials are given, present the driveVC to user. DriveViewController will automatically validate the session and continue through the normal Drive workflow.
self.present(driveVC, animated: true)
Session expire/Invalid/No-session and co-driver Login
To get notified when a user session is expired. Set a listener callback as follows:
driveVC.setLoginRequiredCallback { (status, errorMessage) in
... ...
}
Set a callback to listen for session changes. That includes: no session, invalid session, session expired, co-driver login is requested.
There are three defined values and variance of different error messages that could be passed in the callback.
- “”, empty string, indicates no login required or login is successful, or the login is in progress. At this state, implementor should presents the DriveViewControlleFragment.
- “LoginRequired”: indicates the login UI is going to show a login form(No valid user is available or the current activeSession is expired/invalid). At this stateimplementor presents its own login screen.
- “AddCoDriver”: indicates that a co-driver login is requested. At this state, implementor presents its own co-driver login screen.
- Any error message, any other error messages. At this state, implementor presents its own login screen.
After receiving such session expired callback call. Integrator usually dismisses the presented DriveViewController
and present user with its Login screen.
Other important callbacks
There are couple of other callbacks you that can be useful for managing and watching DriveViewController.
DriveViewController::setDriverActionNecessaryCallback
: driverActionNecessary is a list of events that occur in our app where the application owner needs to bring the Drive app activity UI to the foreground. Example: “Your vehicle has been selected by another driver. You now need to select a vehicle”.DriveViewController::setPageNavigationCallback
: pageNavigation event indicates any navigation changes by the driver in Geotab Drive.DriveViewController::setLastServerAddressUpdatedCallback
: Drive tells the integrator which server address is used after a user successful login. This server address must be used for future logins of other users of the same company. Integrators can save the receivedserver
address to a persistant storage and when the app restarts next time, update theDriveSdkConfig.serverAddress
with the saved one. This will let SDK know which Geotab server to use.
Overwrite Default Background color, font color and icon
To override default background color in the network error page, create a property in Info.plist with the name “NetworkErrorScreenBckColor” of type String and add a hex value for the color To override default font color in the network error page, create a property in Info.plist with the name “NetworkErrorScreenFontColor” of type String and add a hex value for the color To override default font color in the network error page, create a property in Info.plist with the name “NetworkErrorScreenIcon” of type String and add the name of the image. The image must also be added to the project.
Drive APIs
All drive APIs are accessible directly under an instance of DriveViewController
or MyGeotabbViewController
. See more details in the API document.


Here’s a short documentary on YoungInnovations prepared by students of KCM as one of their academic projects. It has been more than 2 and half years and lot of things have changed here.
The visible changes are the faces seen in the video. Some have gone for their higher education abroad, some have joined other companies and some have started their own companies. Although they are, now, not here but we proudly express that their contributions are valuable and have shaped our company that it is today. We always cherish the time they spent here - their hardship, ideas, success, failure, knowledge and happy and sad moments.
The other change is that we have shifted to new building at Kumaripati with many young and enthusiastic people - some starting their career and some sharing their past experiences to take YoungInnovations to new beginning.
Of course, the working style have also changed adapting to the needs of the new projects and increase in the number of YIPLites resulting different teams. However, the team spirit is same as before. Each team member has equal opportunities and challenges in completing projects. As our CEO, Bibhusan, expresses, “We work hard and we party harder”, all the YIPLites are actively involved in fun activities too.
Changes are inevitable. YoungInnovations has changed and will change in future and each of us is working together for the best of each and YoungInnovations.


--- layout: base-with-padding ---
Blogs {{ page.title }}
By {{ author.name }} | {{ page.date | date: '%B %d, %Y' }}


or
Syntax
A or B
Description
The or (boolean) operator yields a result of true if at least one (or both) of the operands is true. or is a short circuit operator. For example, if A is true in A or B then B is not evaluated.
Example
var success : boolean := false
var continuing := true % the type is boolean
continuing := continuing or success
Details
continuing is set to false, if and only if, both continuing and success are false. Since Turing uses short circuit operators, once continuing is true, success will not be looked at.
The or operator can be applied to natural numbers. The result is the natural number that is the bit-wise or of the operands. See nat (natural number).
See also
boolean (which discusses true/false values), explicitTrueFalseConstant (which discusses the values true and false), precedence and expn (expression).


Bitcoin mining has become concentrated in regions with low electricity costs. The network hashrate is so monumental that cutting edge ASIC hardware is needed to get a return on the capital costs of getting into mining. Our concept is simply to use the ultimate source of free energy, and to distribute the work of hashing between a very large number of relatively low hashrate modules.
| Solar energy powers pretty much every living process on the planet. Research into photovoltaics continues to improve solar energy conversion efficiency, currently exceeding 20%, and reaching greater and greater economic viability. There seems to be no better solution to the electricity cost challenges of bitcoin mining than free energy. | Global distribution of low hashrate devices powered by solar energy seems the perfect way to decentralize mining into the community. As the world turns, mining continues in each timezone. We are looking at a consumer device that plugs straight into a standard 12V solar panel and is set up using a smart phone. | The important economic consideration in solar mining is the capital cost of the module required. Production scale of these modules will be a vital part of making the proposition viable. Of course, there are quite a few challenges to address with regard to thermal characteristics and environmental tolerance of such units. |
Our approach is to start simple, and learn as we go...
Our first prototype uses the Arduino/Genuino 101 board. A real bonus is that this board has built-in Bluetooth LE, so gives us a quick start on set up and configuration using a smart phone. We've added on a WiFi101 shield on top to allow the board to work with a remote mining pool server. Not surprisingly, hashing using the Curie microcontroller is slow. It clocks in at around 1.5 KH/s, but this only a temporary measure. We are inevitably looking into ASIC hardware and into the design of an ASIC shield which will add more realistic hashing capacity to the unit.
Obviously, a mining client isn't much good without a pool server, so we're also building that out. We've also started on an iterative design for a lightweight mining pool protocol that is appropriate for an extremely high number of client modules. The pool server already works with the mining module, and connects up to a local bitcoind instance. We will soon add the web side of things for registration and views of pool stats.
We are fully open sourcing the work. The current state of the source code can be found here.
The code is still very much in development, but we don't think it will be too long before we can provide installation instructions for the entire setup.
If you want to help out, then please mail us directly. We need the most help in the design of the PCB for the planned ASIC shield, and engineering knowledge to help us figure out overall electronics, weather resistance and thermal characteristics of the module/solar panel system.


The last stop of the year, the very thing that we have worked for: the National Leadership Conference offers an indescribable experience for the aspiring businessperson. This one week journey includes a plethora of networking opportunities, life-changing workshops, and of course the highest level of competitive events in FBLA-PBL. For the 2012-2013 FBLA-PBL year, the National Leadership Conference will take place in Anaheim, CA. Eligibility for this conference requires the prerequisite of placing first or second in a presentation-based competitive event or placing first, second or third in a test-based event at the State Business Leadership Conference. If you did not receive the aforementioned accolades, but still placed in the top five, then contact our adviser as he will receive notices regarding withdrawals from other competitors that could leave vacancies.
June 30 - July 3
June 27 - June 30
June 29 - July 2
Anaheim, CA - June 29 - July 2, 2013
For Information on the 2013 National Leadership Conference, check out the NLC page of the FBLA national website.
Great job to all who participated in the 2012 National Leadership Conference! Thank you for representing our state.
Click for 2012 Washington State NLC winners.


Benchmark collection of random problem + language combinations.
Comes with a framework making it easy to contribute, run, and visualize new solutions. This website is auto-generated from the results.
Disclaimer: This is a fun project, without putting too much though into experiment design. Some results are obviously flawed.
Notes: The figure is based on the median run time of largest problem size. The numbers correspond to the ranks within each benchmark. Use mouse-over to see relative run times. The color scale uses green for the minimum run time of a benchmark, gray for the median run time, and red is set to the point which is three standard deviations away from the median.
The framework allows to quickly run a set of benchmarks and generates output to visualize the results. All HTML on this page is auto-generated.
Each benchmark problem is split into stages, i.e., the solution is computed in several steps and each step is measured individually (implementations are responsible themselves to measure the time for each step). The total runtime is obtained by adding up the runtimes of all stages.
In some cases splitting the solutions into several steps will feel slightly non-idiomatic and inefficient, but it comes with the benefit to disentangle for instance I/O from the computations. Moreover, it sometimes reveals interesting results like a language being particularly fast in a certain step while being slow in a different step.
Each benchmark is performed with three different problem sizes: Currently, each problem comes in a small, medium, and large variant.
You can run all benchmarks for yourself or even create your own set of benchmarks. The main framework is written in Python, and should be reproducible on any UNIX based system.
TODO: extend documentation
Contributions of any kind are highly welcome: GitHub Repository
In particular it would be nice to see (more) implementations e.g. for the languages: Nim, Rust, Go, Haskell, Closure, Kotlin, Julia, R, Crystal, Racket, Lua, Ruby, Java...
This project is licensed under the terms of the MIT license.
All benchmarks were performed on a PC with the following specs:
| Property | Value |
|---|---|
| OS | Linux |
| Distribution | Ubuntu 14.04.5 LTS |
| Kernel | 3.13.0-110-generic |
| CPU | Intel(R) Core(TM) i5-4670 CPU @ 3.40GHz |
| Number of cores | 4 |
| L1 data cache size | 32K |
| L1 instruction cache size | 32K |
| L2 cache size | 256K |
| L3 cache size | 6144K |
| Memory | 7930.1 MB |
Summary of compiler/language versions used:
| Property | Value |
|---|---|
| GCC | gcc (Ubuntu 4.8.5-2ubuntu1~14.04.1) 4.8.5 |
| Clang | clang version 3.8.0-2ubuntu3~trusty4 (tags/RELEASE_380/final) |
| JVM | Java(TM) SE Runtime Environment (build 1.8.0_74-b02) |
| Python | Python 2.7.6 |
| Go | go version go1.7.4 linux/amd64 |
| Rust | rustc 1.15.1 (021bd294c 2017-02-08) |
| Nim | Nim Compiler Version 0.16.1 (2017-02-18) [Linux: amd64] |


---
layout: post
title: Museography
date: '2013-11-18T07:30:00+01:00'
categories:
- Concept Art
picture_url: https://film-Storyboards.tumblr.com/post/67363829907/visualising-visitors-circulation-for-the
---
Visualising visitors circulation and scenography for the Gallo-Romeins Museum Tongeren.
Content designer: Johan Schelfhout, M.D.


The basic-tabs component applies a stock combination of a basic-tab-strip and a basic-modes element.
Spread tabs out
Show tabs on: Top Left Right Bottom


Dr. Sendek Stanford PhD
Dr. Sendek's Ph.D. research at Stanford University focused on developing new data-driven methods for identifying solid lithium superionic conductor materials. Based on a training set of only 40 examples, Dr. Sendek and colleagues discovered a model capable of identifying new superionic conductor materials three times more effectively than guesswork and orders of magnitude faster than experiments or simulations.
Learn more