--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/limit.20of.20a.20series.20of.20sets.html ---
I have an infinite series of sets that each include their successor and such that each is non-empty. How do I prove that the intersection of all sets is also non-empty?
variables (s : stream (set α)) (h₀ : ∀ i, s i ≠ ∅) (h₁ : ∀ i, s (i+1) ⊆ s i) example : (⋂ i, s i) ≠ ∅ := ...
it's false? For example take s n := {m : nat // n <= m}
right, it’s false
i was thinking for 5 minutes whether it is true or false
take (0,1/n)
Damn it!  I was hoping to generalize a theorem. I guess I'll have to keep thinking about restrictions
(deleted)
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


<lcTrueFalse>
The element <lcTrueFalse>
was deprecated in DITA version 1.3. It was
replaced with the <lcTrueFalse2>
element. It was originally intended to
present the learner with two choices, one correct, the other incorrect, often presented as
true/false or yes/no responses.
Category: Top level interactions elements (DEPRECATED)


We have the best cameras, watches and shirts for you.No need to hunt around,we have all in one place.
price:Rs 36000.00
price:Rs 40000.00
price:Rs 50000.00
price:Rs 80000.00
price:Rs 13000.00
price:Rs 3000.00
price:Rs 8000.00
price:Rs 18000.00
price:Rs 800.00
price:Rs 1000.00
price:Rs 15000.00
price:Rs 1300.00


Playlist autocompletion made easy Turns tiny playlists into slightly longer ones
Listed below are the playlists from your library Pick a nice & short one to autocompletify


--- title: SproutCore id: home ---
SproutCore is an open-source framework for building blazingly fast, innovative user experiences on the web.
You've heard all about SproutCore and now it's time to see for yourself. It's easier than ever to get started with our new tutorial. In it you'll learn:
The community-generated Guides are designed to help you get up, running, and building, in no time at all. By developers, for developers.
A series of articles covering the cutting edge of SproutCore.
Take Me To The Articles!Leverage the latest in web technologies and specifications.
Keep your code sensible and organized for easy maintenance.
Client-side logic means no
more waiting on your servers.
SproutCore apps give you a native experience—on the web.

Built-in tools to help you and your app look good. Seriously.


The October releases have arrived! For this release and hereafter, Finagle, Finatra, Scrooge, Util, and TwitterServer will be versioned as $year.$month.$patch, as opposed to $major.$minor.$patch. This means that all project versions will be in sync.
Finagle 17.10.0, Finatra 17.10.0, Scrooge 17.10.0, TwitterServer 17.10.0, and Util 17.10.0.
New Features:
finagle-core: DeadlineFilter may now be created from the class and used as a regular Filter in addition to a stack module as before. b80a1df4
finagle-mysql: Add ability to toggle the CLIENT_FOUND_ROWS
flag. fae2e69d
finagle-http: Separated the DtabFilter.Extractor from the ServerContextFilter into a new module: ServerDtabContextFilter. While this is still enabled in the default Http server stack, it can be disabled independently of the ServerContextFilter. 335d639f
Runtime Behavior Changes:
finagle-netty4: Netty4ClientEngineFactory
and Netty4ServerEngineFactory
now
validate loaded certificates in all cases to ensure that the current date
range is within the validity range specified in the certificate. dc3230e3
finagle-netty4: TrustCredentials.Insecure
now works with native SSL/TLS engines.
6b822e94
finagle-http2: Upgraded to the new netty http/2 API in netty version 4.1.16.Final, which fixes several long-standing bugs but has some bugs around cleartext http/2. One of the work-arounds modifies the visibility of a private field, so it’s incompatible with security managers. This is only true for http/2–all other protocols will be unaffected. bb01393f
finagle-http: Netty 3 HeaderMap
was replaced with our own implementation.
199dc51c
Deprecations:
c.t.f.http.Cookie
immutable,
set
methods on c.t.f.http.Cookie
have been deprecated:
comment_=
commentUrl_=
domain_=
maxAge_=
path_=
ports_=
value_=
version_=
httpOnly_=
isDiscard_=
isSecure_=
Use the c.t.f.http.Cookie
constructor to set domain
, maxAge
, path
, value
, httpOnly
,
and secure
. comment
, commentUrl
, ports
, version
, and discard
have been removed
per RFC-6265. 71760096.Alternatively, use the domain
, maxAge
, path
, httpOnly
, and secure
methods to create a
new Cookie
with the existing fields set, and the respective field set to a given value.
14beb975
c.t.f.http.Cookie.isSecure
and c.t.f.http.Cookie.isDiscard
have been deprecated. Use c.t.f.http.Cookie.secure
for c.t.f.http.Cookie.isSecure
.
isDiscard
has been removed per RFC-6265. 71760096Breaking API Changes:
finagle-mysql: Moved Cursors.cursor
method to Client
trait, and removed Cursors
trait.
This allows cursor queries to used with transactions. 1224721c
finagle-mux: Expose transport contexts in mux.Request and mux.Response. f0f46785
finagle-mux: The “leased” gauge has been removed from the mux client implementation since the metric is reported as the sum of the value over all clients which is unlikely to be useful. 1c31e384
Added:
inject-core: Remove deprecated c.t.inject.TestMixin#resetMocks
. Properly
use c.t.inject.Mockito
trait in tests. Deprecate resetting of mocks and
resettables in c.t.inject.IntegrationTestMixin
. b8cfeb65
finatra-http: Parameterize @RouteParam
,@QueryParam
,@FormParam
, and
@Header
to allow specifying the field name to read from the params or
header map. Previously these annotations only looked for values by the
case class field name leading to possible ugliness when defining case
class fields (especially with @Header
). 9913a6cc
finatra: Add support for using a java.lang.annotation.Annotation
instance
with the #bind[T]
testing DSL. This adds a way to bind instances in tests
that use the @Named binding annotation. f9503c4c
finatra-http: Allow setting the content type of a Mustache view. 2009159f
Changed:
finatra-utils: Remove deprecated ExternalServiceExceptionMatcher
. 9c78117a
finatra-jackson: ScalaType’s isMap
and isCollection
methods now check that
the given object’s class is a subclass of scala.collection.Map[Any, Any]
and
scala.collection.Iterable[Any]
, respectively. Previously the superclasses’
packages were unspecified. This is a runtime behavior change.
15a4e529
finatra-http: Require that route URIs and prefixes begin with forward slash (/). 9bd53557
inject-utils: (BREAKING API CHANGE) RichOption toFutureOrFail, toTryOrFail, and toFutureOrElse signature changed to take the fail or else parameter by name. a1efd13f
inject-server: Remove usage of deprecated c.t.inject.logging.Slf4jBridgeUtility
.
Change usages to c.t.util.logging.Slf4jBridgeUtility
. 4cf842ba
finatra-http, inject-thrift-client: Remove netty3 specific types and dependency. In finatra-http, the code using these types is deprecated and can be removed allowing us to remove netty3-specific dependencies. In inject-thrift-client we can default to use the DefaultTimer for the backupRequestFilter method param instead of the HashedWheelTimer. d8fb15fe
Fixed:
IllegalArgumentException
from Validations to
be swallowed. A catch clause in the c.t.finatra.json.internal.caseclass.jackson.FinatraCaseClassDeserializer
is too broad as it catches thrown IllegalArgumentException
s from field validations
when the annotation is applied to a field of the incorrect type, e.g., when @Max
is
applied to a String field. 37ec7050API Changes:
Bug Fixes:
Runtime Behavior Changes:
util-core: c.t.io.Buf.ByteArray.Owned.Shared now validates its input arguments. 36377837
util-jvm: The jvm/mem/postGC/{poolName}/max
metric has been removed
because it is the same as the jvm/mem/current/{poolName}/max
metric.
357912da
util-security: Assert validity of X.509 certificates when read from a file.
Attempting to read a c.t.util.security.X509CeritificateFile
will now assert
that the certificate is valid, i.e., if the current date and time are within
the validity period given in the certificate. 9dc859ef
scrooge-generator: For generated scala $FinagleService, moved per-endpoint statsFilter to the outermost of filter chain so it can capture all exceptions, added per-endpoint response classification in statsFilter. 853323dc
scrooge-generator: Generated scala $FinagleClient takes a RichClientParam
for all
configuration params, such as TProtocolFactory
, ResponseClassifier
, maxReusableBufferSize
,
and StatsReceiver
, $FinagleService takes a RichServerParam
. 8bdf36cb
TwitterServer now uses the slf4j-api
for framework logging. Backwards compatibility is
supplied via the twitter-server/slf4j-jdk14
library.
See the TwitterServer documentation for more information. c458b881
All admin endpoints except ping + healthcheck are now by-default served outside the global worker pool. acf13a2a
Rename AdminHttpServer#defaultHttpPort to AdminHttpServer#defaultAdminPort. 15e35a3a


Constant(value: Double)
A terminal node that represents a constant value.
Evaluating a constant node will simply result in the value the node encapsulates.


You can now download NVIDIA's new GeForce 441.20 WHQL driver. The new Game Ready Driver provides the latest performance optimizations, profiles, and bug fixes for Star Wars Jedi: Fallen Order. In addition, this release also provides optimal support for the new VR title Stormland. Also reportedly, Multi GPU support has been enabled for Red Dead Redemption 2.


..
analyzing my reading statistics
Tracking my data has always helped me keep up good habits. For books, I use Goodreads, despite the sometimes borderline unusable interface and a questionable color scheme.
I decided to export my library and dig into my reading data a little bit. I used Jupyter Notebooks and Python (mainly pandas and matplotlib). The notebook is here.
Interesting insights:
- Some genres to explore that I haven’t read much: history, philosophy and poetry.
- I have a pretty clear bias in my author countries (I’m reading a bit more German-speaking authors in German now)
- Publication year had to be cut off, because reading some Greek tradegies messes up the axes. Still, I’m surprised at how many “modern” (e.g. post 1950s) books I read.
- It’s not very straightforward to find the gender of authors - would be interesting to look at the distribution as well.
Some things I found and learned along the way:
- Pandas has a ‘to_datetime’ method that allows for extraction of any part of the date and other such operations (file that under ‘no need to reinvent the wheel’). The downloaded data had pretty wonky reading statistics (date read was recorded correctly on the website, but not in the CSV), so I ended up not using it as much.
- Python has a ‘requests’ package that deals with APIs, it’s actually fairly simple to use. I tried to use the OpenLibrary API to find the book genre, but since it doesn’t provide it, I had to use my existing shelves.
- Matplotlib has a lot of good looking color schemes.
- I used the Wikidata API to find the country of origin: the description of most authors had their nationality first. If it didn’t, I discarded it. I used a list of demonyms to convert this to country. Kind of convoluted, but it worked.
- Geopandas can be used to plot geographical data - I used Counter to count up the countries, converted this dict to a data frame and then to a Geopandas data frame (side note: Geopandas did not work without its own dedicated environment)


Guess
Try to guess the hidden combination of colours. You will be given limited information about each guess you make, enabling you to refine the next guess.
Drag from the colours on the left into the topmost unfilled row to make a guess; then click on the small circles to submit that guess. The small circles give you your feedback: black pegs indicate how many of the colours you guessed were the right colour in the right place, and white pegs indicate how many of the rest were the right colours but in the wrong place.


The Domain Name System is burning. The Blockchain to the rescue...
Goal: Convince you that this is most important problem to solve with a blockchain
- What is the Domain Name System?
- Exploitation of the Domain Name System
- DNSCrypt and DNSSEC are all about centralized trust
- Replacing the DNS system with a Blockchain?
The Domain Name System is the trustless heart of the Internet
The Domain Name System pairs urls to server address
- DNS is depended upon by every app and device
- 8 Root servers controlled by ICANN are the authoritative state of the system.
- Zero cyrptographic trust
The Certificate Authority system
- Creates a binding between a cryptographic key and a domain via a certificate authority
- Most devices trust over 1000 CAs for all domains
Exploiting the Domain Systems
Recent events in Turkey
- March 20th, Turkish government instructs all ISP DNS servers to stop resolving Twitter.com
- Turkish ISPs follow up by spoofing the IP addresses of public DNS servers
- DNS is the poor mans censorship system.
Ceritificate spoofing on Intelligence Networks
- The French government produced a fraudulent SSL certificate for google.com to MITM Google on their Intelligence land
Cryptography is for freedom and trust. Freedom and trust on the Internet is under attack.
Past protosals
- DNSSec: Sign official DNS records with key from some authority
- DNSCrypt: SSL for DNS
- Certificate transparency: Publish key->domain bindings
Store DNS info on the BlockChain?
The Blockchain is a machine for enforcing invariants.
The invariants of BitCoin are:
- Constant value in the system
- Transaction inputs and outputs are bound together
- All transactions are bound to at least 1 public key
Can Etherium enforce the Invariants of DNS?
- Each name record must be unique
- One public key to each record
- Transaction must guarantee a record moves from one key to the next
Solving the DNS problem is proof of principle for any Blockchain 2.0 technology
The mechanics of implementing TLS key verification,DNS lookups, registration and maintainence on thin devices need both effort and create opportunity. We need to avoid the mistakes of the past.
Every censorship creates a new go to market moment. These will only accelerate.


Hello! My name is Raphaëlle.
I am a 22 years old french-american student in VR engineering, currently pursuing a double degree in video games development in Canada! I'll be graduating by the end of the year 2020.
I am a passionate and versatile person: I have a lot of points of interest and hobbies, my main one being video games creation and development. I pay special attention to art, music and design in video games, and I am always curious to discover more.
My key strengths are my perseverance, creativity and leadership. I always take more pleasure creating games with others rather than alone!
I am currently looking for a 6-month end-of-study internship in game development starting July 2020 or later.
If you are interested in my profile, please do not hesitate to contact me.
| General programming | C#, C++, C, Java |
|---|---|
| Web | HTML, CSS, JavaScript, PHP |
| Database | MySQL |
| Tools | Unity3D, Unreal Engine, 4D, Scade, Git, Perforce |
|---|---|
| Technologies | OpenGL, SDL, Glut, OpenCV |
| Others | Photoshop |
4th year technical internship. I worked on manual interactions in virtual reality used in industrial machine maintenance tutorials. I worked in particular on bimanual interactions in VR (grabbing an object with two hands), which is rarely implemented in the industry.
Technologies used: Unity, VR, C#.
Manager of inter-universities and inter-students relationships for the association iWeek (association consisting in inviting and housing international students in Paris for a week).
Discovery and appropriation of the IT software 4D. Creation of a report on its uses, its flaws and how to solve them.
Techologies used: the 4D program and its language.
Creation of a BDE (Bureau des élèves) team. Organisation of the campaign events (500 persons+), applying for subvention grants, working on the team's cohesion, managing the team's finances.


NoPixel
Online Roster 👾
Active Players:
In Queue:
Please report missing or inaccurate
on GitHub
or
via email
.
#
Session ID
Twitch
NoPixel Forums
Steam Name
Steam ID
Steam64 ID
Ping
Loading....
Updates every 1 minute.


First select the desired gate using the buttons on the left of the window. After having clicked on the desired button, click anywhere on the empty "canvas" part of the window, to the right. Doing this will place your gate on the canvas, and you can now drag the gate to any position within the canvas.
To make connections from input to output, first select the wire button from the list of buttons to the right of the window. Next, click (not drag) on the first gate's input or output and then on the second gate's input or output. The connection will be made as soon as you click.
To turn a switch on or off, simply click anywhere on the switch (except on its output).
To remove a gate from the canvas, right-click on it. This will remove the gate along with any connections it has. To remove connection, right-click on the input or output associated with the specific connection. If multiple connections are made from an single output,right-clicking on it will cause all connections connected to the output will be removed.


Next: Rules about Test Functions, Previous: Sequences, Up: Sequences
A sequence is an ordered collection of elements, implemented as either a vector or a list.
Sequences can be created by the function make-sequence, as well as other functions that create objects of types that are subtypes of sequence (e.g., list, make-list, mapcar, and vector).
A sequence function is a function defined by this specification or added as an extension by the implementation that operates on one or more sequences. Whenever a sequence function must construct and return a new vector, it always returns a simple vector. Similarly, any strings constructed will be simple strings.
| concatenate | length | remove |
| copy-seq | map | remove-duplicates |
| count | map-into | remove-if |
| count-if | merge | remove-if-not |
| count-if-not | mismatch | replace |
| delete | notany | reverse |
| delete-duplicates | notevery | search |
| delete-if | nreverse | some |
| delete-if-not | nsubstitute | sort |
| elt | nsubstitute-if | stable-sort |
| every | nsubstitute-if-not | subseq |
| fill | position | substitute |
| find | position-if | substitute-if |
| find-if | position-if-not | substitute-if-not |
| find-if-not | reduce |
Figure 17–1: Standardized Sequence Functions
| • General Restrictions on Parameters that must be Sequences: |


Siobhan O'Connor Enspiral Dev Academy 2016
Home
Blog
About
Contact
Reflection
Time and Habits
Emotional Intelligence
Udacity Reflection 1
Udacity Reflection 2
Design To Web
Meditation Process
Javascript Basics
Daily Mindfulness
Self Confidence
Problem Solving
Control
JavaScript Language
Motivation
Testing
Connecting
Leadership


Get houses similar to houses you like on Redfin
This will allow you to see houses that otherwise may not be on your radar
Ready to use with your own favorite houses on Redfin.com


They have a bad temper and love to attack other Pokémon and humans. And they do it in packs, because they are too weak individually. They very reverently defend their territory, and the whole community attacked the enemy. Spearow hate Pidgey, with whom they often live in the same places and hunt for the same prey. It's not uncommon for clashes between these two types of Pokémon.


Logged in as: {{name}}.Authorised users should log in.
This application requires the very latest in HTML5 and Javascript technology. In order to have the best possible
experience we recommend that you use a modern browser. Google Chrome and Mozilla Firefox are both known to
work well. This application will work on a tablet computer (eg. iPad) and even a phone (though you don't
really want to do that!). However, please note that it was designed for computers with larger displays and
more processing power than is normally found in portable devices.


Settings
29
Notifications
@ Mentions (18 new)
Comments (9 new)
DM (2 new)
@Astrian
My timeline
My weibo
Lodon
18℃-21℃ Cloudy
Change
Web Search Engine
Google
Yahoo!
Baidu
Sogou
360
Spical
Wikipedia
Rotten Tomatoes
Twitter
Douban
Soku
Bilibili
✓
Search
Bookmark
Twitter
Facebook
Google+
Reddit
Wordpress
More...
Most Visit
RSS Feed
How to Disappear (almost) Completely: the illusion of privacy
Engadget · 16 hours ago
Mila Kunis Interviewer Explains What Went Wrong During Horrifying Q&A
Yahoo · 6 hours ago
Hillary Clinton Hasn’t Learned Any of the Lessons of Iraq
Slate · 6 hours ago


Login Audit LogJournal of all login attemptsFilterFilter login records by user IDRemote IPRemote IP from which the login request was sent.FromSearch for log records created after {{default_from_date}}ToSearch for log records created before {{default_to_date}}


Hacking Neuroplasticity – Why The $#@! Not?
There are many disorders caused by a disruption of networks in the brain. In some cases, I believe learning to speak and communication with new languages can help “renormalize” these networks, taking advantage of neuroplasticity to circumvent these disruptions. In Autism Spectrum Disorder(ASD), these networks of neurons develop differently during early childhood, resulting in a myriad of effects on behavior, perception and communication. In Traumatic Brain Injury(TBI), an injury either prevents the components of these networks from functioning properly or stifles communication between these networked components. Unfortunately, while this idea for treatment may be effective for some, it will not be possible in some cases.
Please note that I’m writing this article without formal training in psychology or medicene. Therefore, the information isn’t complete and should be regarded as a general hypothesis only. One of the problems of lacking formal education is familiarity of concepts without knowledge of the common language used. Therefore, I may make some mistakes such as using the term disorder in the wrong context.
I really, really like Coursera!
I’ve spent a lot of time researching how the brain works. I’ve taken Henry Lester’s Drugs in the Brain, offered by CalTech on Coursera. It was an amazing course on neuropharmacology and neurology. The class introduced me to a wide variety of topics. I’ve also taken Andrew Ng’s Machine Learning course on Coursera, an amazing introduction to the topic. In the past few years, I’ve spent a lot of time amalgamating ideas from machine learning, neurology and psychology. Recently, I took the Neuromarketing class offered by the Copenhagen Business School on Coursra.
I recently read this great ArsTechnica article on ASD, which postulates that some neurological disorders are caused by changes in how neurons and their networks are connected in our brain. Some regions have higher interconnectivity than “normal.” Some areas which are normally strongly connected are instead more disparate. In autism, this can have significant impact on how people think, perceive social interactions and communicate.
“There is even data suggesting that some neurological disorders are in fact ‘connectopathies,’ characterized by either aberrant connections or an unusual extent of connections among neurons.” - ArsTechnica
John Elder Robinson, author of Look Me in the Eye, calls the normal people neurotypicals or “nypicals” for short. There can be significant disadvantage to some of the symptoms and patterns in autism, but there are also great strengths to seeing the world in a different way. Because of this, I’m hesitant to embrace treatments that seek to artificially “normalize” the autistic brain, especially via medication. I’m not a doctor and while medication may be helpful in some areas, it doesn’t do anything to address the underlying causes of autism.
Another treatment I’ve read about is Transcranial Magnetic Stimulation, which may be promising. It’s a treatment that may affect the altered neural connections in the brain, but it’s really hard to say how it’s doing that. Everything that heals may also harm. Can we really control the level and focus of stimulation to produce the desired results? Do we even understand how the TMS mechanism would produce those effects? Can me measure the physical and behavioral effects? And if, after enough research, we can answer yes to those three questions, are we also losing the gifts that an autistic brain can offer?
IMO, Cognitive Behavioral Therapy is far more effective than either of these. This “Language Therapy” I’m proposing is really a CBT technique. It’s a skill that people can develop that may help “normalize” the networks in the autistic brain. It may also work in some cases of TBI and while I believe there is less likelihood of effective treatment in TBI, a case of effective treatment may have more beneficial effect than in ASD.
There’s been a ton of study into how learning languages effects the brain, so this Language Therapy probably isn’t a new idea. But, if it works, it would be a more natural treatment. Language therapy works by forcing the brain to make stronger connections between ideas and concepts. Language involves nearly all parts of the brain. These disparate modules in the brain are more engaged when people are having natural, spoken conversations. If the language is not spoken or the context is not a natural conversation, it may still be helpful, but it cannot holistically engage the brain.
Sidenote: all the people complaining about an America where you have to learn two languages are ignorant. Learning multiple languages will make us far smarter, understanding and compassionate. We should embrace the opportunity to do this. The earlier, the better.
Unlearning is Hard
I’ve noticed that when learning to do something in a new way, I sometimes need to prevent myself from doing it in the old way in order to make the leap. This is particularly true when the “old way” is a deeply engrained habit and is very similar to the “new way” I am trying things. If I don’t disable the old method completely, I never make the jump because my mind subconsciously reaches for the tools and connections that it has already strengthened. Many people have noticed this phenomenon and teachers are encouraged to avoid teaching you something incorrect so that you do not have to unlearn.
When I was experimenting with learning new keyboard layouts, I had the idea to turn my media keys (play, pause, etc) into the symbols !, @, #, etc. However, I could still press shift-1 to type ! and this meant that I didn’t really utilize the new keyboard layout. So, to break the habit, I instead wired the media keys to digits 1, 2, 3, etc. and the old digit keys to the symbols !, @, #, etc. Immediately, I started using the new technique.
You can read more about how to configure this keyboard layout on OSX/Linux in this article here. The files required to configure this are in my keyboard dotfiles. It meshes nicely with Qwerty, Dvorak, and Colemak!
Forcing New Connections in the Brain
My point is that, in cases where networks in the brain are disrupted, you may need to seek alternative behaviors that help force new connections to form. And learning a new language is a great way to do that! In cases of TBI, there may be networks of neurons that are still functioning, they just aren’t connected the the networks of neurons upstream. However, because you are learning something completely new, then you will be forming new connections, which will hopefully circumvent dissociated circuits. Also, because certain areas of the brain may be disconnected, your brain may respond by linking networks which are not normally connected.
As your brain continues to strengthen these alternate pathways, because language involves so many neural modules, your brain should also begin to connect these modules in new ways. This is why language perfect for circumventing disconnections in the brain – it involves all parts of the brain. And it has to make these connections, somehow – that is, if you are able to learn a new language at this point. It may be very difficult at first, but your brain should start to normalize, though it’s impossible to say how much progress someone will make.
Sign Language and Neuroplasticity
This doesn’t just apply to spoken language. Particularly, if learning a new spoken language fails, sign language should be attempted. Sign language may be particularly useful in cases where aphasia and other similar neurological patterns are present. In fact, sign language in itself forges new connections between the areas of the brain that perform motor coordination and symbolically interpret gestures. Therefore, it may be more useful than learning a new language for utilizing neuroplasticity.
Mental Functionality is Modular and Everything is Connected
In the brain, everything is connected and functionality is modular. These modules can form new connections. This can supplant or augment existing neural pathways. For example, practicing martial arts blindfolded forces you to strengthen the connections between senses not normally used. You have to focus more on what you hear and rely on the memory of your opponents position, stance and behavior. Therefore, when you remove the blindfold after significant training, these pathways have been strengthened and your mind is now more capable of utilizing all the information available.
The blind monk from the non-historical Netflix Original Marco Polo
Therefore, people who force themselves to learn more methods of doing things have more tightly integrated the modules in their brain. Language is particularly useful in this context, as it involves nearly all of the brain. You have to interpret sounds/gestures, perceive facial expressions, attune yourself to others’ emotions and experiences, and quickly assemble responses to their input.
When learning a new language, there are new idioms to learn, new grammar and new forms of written expression that are completely different. For example, English and Romance languages are Subject-Verb-Object(SVO), whereas Japanese is Subject-Object-Verb(SOV). This significantly affects both the planning process for speech and interpretation. Japanese and Chinese share the Kanji writing system, though it has somewhat diverged. Learning to recognize thousands of symbols is very difficult, but also enables you to visualize symbols more effectively.
In the languages in our world, each of these differences is a chance for your brain to make more connections that didn’t exist before. No matter their age, assuming it is possible for someone to learn a new language, making these new connections can totally rewire the brain. This is like hacking neuroplasticity!
Recommended Languages
I personally recommend Japanese, Spanish, Sign Langauge and Hindi.
Japanese
Japanese is great because there’s tons of free anime and media online to learn from. However, there isn’t a huge community of speakers in the US, so it can be hard to connect with others for IRL conversations. But there are Facebook and Google groups online where you can find people to Skype with. If there’s a will, there’s a way.
Additionally, while the writing system is difficult to learn, this is precisely why it’s a great language to learn if you want to force new connections in the brain. *Learning Chinese and Japanese will literally *MAKE YOU MORE INTELLIGENT!! ** Upgradez Yo Hardware!
The basic phonetic Hiragana and Katakana writing systems aren’t too bad and have ~100 symbols combined. But, if you can’t read Kanji, then you’re basically illiterate to Japanese media. There are lots of tools to facilitate learning Kanji, but most people would just give up. The best way to do it is to find a realllly good book, then copy and translate one symbol at a time until most of the symbols you reach are duplicates. You will be surprised at how quickly you begin to see duplicates, but this is still incredibly difficult and time consuming.
Spanish
Spanish is great because there’s a huge community of speakers in the US. That means you’re more likely to connect with other people and have real conversations that you couldn’t before. Spanish is a Romance language. Thus, is very similar to English, in its grammatical structure, its vocabulary and the relationships between concepts covered by its vocabulary. All Romance languages share these similarities with English, though some have diverged significantly.
American Sign Language
Sign language is great because, while it’s a language, learning it affects your mind differently, neurologically. This is because sign language involves vision and gestures instead of speech and hearing. And thus, if learning it to help normalize the brain, ASL may offer additional possibilities. Sign language is great to learn anyways because it offers new ways to listen to people and to express yourself.
Startup Concept: 3D Gesture Based Search for Sign Language!
Who thinks of this stuff? Me!!  No, seriously …
It doesn’t exist and would be incredibly useful!! I don’t have the time or the technical chops to do it, so you can thank me later. The idea may not be 100% original, but I did independently think of it. So, I just need to find capable hands and plant the idea. Now, go forth and start up!
Hindi
Hindi is also great because there’s a separate writing system and it’s less complicated than Kanji. The Hindi language and writing system are also phonetically unique and captures many more sounds than the Roman alphabet. In fact, the Sanskrit alphabet employed by Hindi is something of a metalanguage, due to it’s ability to encapsulate virtually every human phoneme. And thus, it has unique applications in computer science :) ;)
Update: this is actually Tibetan, not Sanskrit. Woops.
I’m not really sure why I didn’t catch this. While not very familiar with either language, I do at least recognize the lexigraphic differences. However, when I posted this, it seems that the Tibetan for “Om Mani Padme Aum” was familiar enough in my mind to prevent me from intellectually discerning that I was wrong. That’s wierd. Either that, or it’s lexigraphically similar enough to sanskrit. Sidenote: each letter in “Om Mani Padme Aum” has a symbolic significance as part of a mantra.
Getting Started
If you’re planning on using this technique as a treatment, I would consult your doctor or therapist first, as they will have many suggestions.
If you have an autistic child, it may be difficult to get them to want to learn a new language. You’ll want to approach the situation tactfully and you may not want to let them know exactly why you’d like them to learn. Additionally, you’ll need to learn the language yourself. After all, it’s no fun if you’re the only one that knows Japanese. You may try getting their friends or siblings to learn as well.
If you or someone you know has suffered from a traumatic brain injury, it might be depressing if they can’t learn it. It’s important to approach the situation carefully, but I really think it could produce dramatic results in some cases. It may be extremely difficult at first, but seeing any benefits at first should mean that more benefits are in the works.
If you don’t learn it young, there’s no point?!
Seriously? GTFO! LOL … Someone casually mentioned this to a friend behind me at the coffee shop once, while I was practicing Kanji. So I could overhear .. I guess?
Self-improvement is always beneficial and philosophically, this attitude goes nowhere fast.
DuoLingo - FREE
The best language app I know of. Rosetta Stone may be a bit better, but it’s much more expensive. Besides, Asthon Kutcher is a DuoLingo investor! Didn’t you watch That 70’s Show?


public class DirectionConfig
extends java.lang.Object
| Constructor and Description |
|---|
DirectionConfig()
The default constructor, sets
DirectionMode to DirectionMode.HighPerformance and the tag age interval
to five seconds. |
| Modifier and Type | Method and Description |
|---|---|
void |
enableSector(short sector)
Adds the specified sector to the list of sectors that should be monitored for tag
entrances, exits, and updates.
|
java.lang.Short[] |
getEnabledSectors() |
DirectionFieldOfView |
getFieldOfView() |
boolean |
getIsMaxTxPower() |
DirectionMode |
getMode() |
short |
getTagAgeIntervalSeconds()
The "age interval" specifies how long a tag needs to go unseen before
it's removed from the population of tags tracked for direction and an
exit report is sent.
|
double |
getTxPowerinDbm() |
short |
getUpdateIntervalSeconds()
Specifies how often update reports are sent when
updates are enabled.
|
short |
getUserTagPopulationLimit() |
boolean |
isDiagnosticReportEnabled()
When enabled, diagnostic reports are generated at each update interval
and sent to the application
|
boolean |
isEntryReportEnabled()
When enabled, an entry report is sent immediately upon the tag
entering the field of view of the reader.
|
boolean |
isExitReportEnabled()
When enabled, an exit report is generated when the tag has not been
seen by the reader in the tag age Interval.
|
boolean |
isSectorConfigurationValid()
Tests that no two sectors in the set of enabled sectors are numerically consecutive, nor that both
sectors 2 and 9 are enabled.
|
boolean |
isSectorEnabled(short sector)
Tests if the specified sector is in the list of sectors that should be monitored for tag
entrances, exits, and updates.
|
boolean |
isUpdateReportEnabled()
When update reports are enabled, direction reports are sent by the reader
periodically for all tags in the direction database
|
void |
removeAllSectors()
Removes all sectors from the list of sectors that should be monitored for tag
entrances, exits, and updates.
|
void |
removeSector(short sector)
Removes the specified sector from the list of sectors that should be monitored for tag
entrances, exits, and updates.
|
void |
setDiagnosticReportEnabled(boolean diagnosticReportEnabled)
When enabled, diagnostic reports are generated at each update interval
and sent to the application
|
void |
setEntryReportEnabled(boolean entryReportEnabled)
When enabled, an entry report is sent immediately upon the tag
entering the field of view of the reader.
|
void |
setExitReportEnabled(boolean exitReportEnabled)
When enabled, an exit report is generated when the tag has not been
seen by the reader in the tag age Interval.
|
void |
setFieldOfView(DirectionFieldOfView fieldOfView)
Sets the field of view for tag direction tracking.
|
void |
setIsMaxTxPower(boolean maxTxPower) |
void |
setMode(DirectionMode mode) |
void |
setTagAgeIntervalSeconds(short tagAgeIntervalSeconds)
The "age interval" specifies how long a tag needs to go unseen before
it's removed from the population of tags tracked for direction and an
exit report is sent.
|
void |
setTxPowerinDbm(double txPowerinDbm) |
void |
setUpdateIntervalSeconds(short updateIntervalSeconds)
Specifies how often update reports are sent when
updates are enabled.
|
void |
setUpdateReportEnabled(boolean updateReportEnabled) |
void |
setUserTagPopulationLimit(short userTagPopulationLimit) |
public DirectionConfig()
DirectionMode
to DirectionMode.HighPerformance
and the tag age interval
to five seconds.public void enableSector(short sector) throws OctaneSdkException
OctaneSdkException
when you attempt to call ImpinjReader.applySettings(Settings)
.sector
- A number between 2 and 9 corresponding to the sector space beneath the xArrayOctaneSdkException
- When a number outside the 2-9 range (inclusive) is specified.public void removeSector(short sector)
sector
- A number between 2 and 9 corresponding to the sector space beneath the xArray.public void removeAllSectors()
public boolean isSectorEnabled(short sector)
sector
- A number between 2 and 9 corresponding to the sector space beneath the xArray.public boolean isSectorConfigurationValid()
public java.lang.Short[] getEnabledSectors()
public short getUserTagPopulationLimit()
public void setUserTagPopulationLimit(short userTagPopulationLimit)
userTagPopulationLimit
- A user specified tag population limit.public boolean getIsMaxTxPower()
public void setIsMaxTxPower(boolean maxTxPower)
maxTxPower
- Set to true if the maximum reader transmit power is desired. Set false
if a custom transmit power is desired.public double getTxPowerinDbm()
public void setTxPowerinDbm(double txPowerinDbm)
txPowerinDbm
- Sets the transmission power to be usedpublic short getTagAgeIntervalSeconds()
public void setTagAgeIntervalSeconds(short tagAgeIntervalSeconds)
tagAgeIntervalSeconds
- the desired value for the tag age intervalpublic short getUpdateIntervalSeconds()
LocationConfig.setUpdateReportEnabled(boolean)
public void setUpdateIntervalSeconds(short updateIntervalSeconds)
updateIntervalSeconds
- the time between report generation, in seconds. If the provided
value is zero or negative, a value of 1 will be applied.LocationConfig.setUpdateReportEnabled(boolean)
public boolean isUpdateReportEnabled()
LocationReport
public void setUpdateReportEnabled(boolean updateReportEnabled)
updateReportEnabled
- When true, update reports on the current
population of tags will be sent.LocationReport
public boolean isEntryReportEnabled()
LocationReport
public void setEntryReportEnabled(boolean entryReportEnabled)
entryReportEnabled
- true to enable entry reportsLocationReport
public boolean isExitReportEnabled()
LocationConfig.setTagAgeIntervalSeconds(short)
,
LocationReport
public void setExitReportEnabled(boolean exitReportEnabled)
exitReportEnabled
- true to enable exit reportsLocationReport
public boolean isDiagnosticReportEnabled()
LocationReport
public void setDiagnosticReportEnabled(boolean diagnosticReportEnabled)
diagnosticReportEnabled
- true to enable diagnostic reportsLocationReport
public DirectionFieldOfView getFieldOfView()
public void setFieldOfView(DirectionFieldOfView fieldOfView)
fieldOfView
- Determines which "rings" are enabled when reading and tracking tags.public DirectionMode getMode()
public void setMode(DirectionMode mode)
mode
- Sets the performance/sensitivity mode for this direction reporting session.


Maintaining Control of Nodes
To review, once a node is created with an authenticated user, the creator account will have ownership/full control of the node. The ‘Authenticated Users’ principal itself will not be listed at all within the node’s DACL. Therefore, losing access to the creator account can create a scenario where you will not be able to remove an added record. To avoid this, the dNSTombstoned attribute can be set to ‘True’ upon node creation.
PS C:\Users\kevin\Desktop\Powermad> New-ADIDNSNode -Node * -Tombstone -Verbose
VERBOSE: [+] Domain Controller = Inveigh-DC1.inveigh.net
VERBOSE: [+] Domain = inveigh.net
VERBOSE: [+] ADIDNS Zone = inveigh.net
VERBOSE: [+] Distinguished Name = DC=*,DC=inveigh.net,CN=MicrosoftDNS,DC=DomainDNSZones,DC=inveigh,DC=net
VERBOSE: [+] Data = <IP_ADDRESS>
VERBOSE: [+] DNSRecord Array = 04-00-01-00-05-F0-00-00-BC-00-00-00-00-00-02-58-00-00-00-00-22-D8-37-00-C0-A8-7D-64
[+] ADIDNS node * added
This puts a node in a state where any authenticated user can perform node modifications.
Alternatively, the node’s DACL can be modified to grant access to additional users or groups.
PS C:\Users\kevin\Desktop\Powermad> Grant-ADIDNSPermission -Node * -Principal "Authenticated Users" -Access GenericAll -Verbose
VERBOSE: [+] Domain Controller = Inveigh-DC1.inveigh.net
VERBOSE: [+] Domain = inveigh.net
VERBOSE: [+] ADIDNS Zone = inveigh.net
VERBOSE: [+] Distinguished Name = DC=*,DC=inveigh.net,CN=MicrosoftDNS,DC=DomainDNSZones,DC=inveigh,DC=net
[+] ACE added for Authenticated Users to * DACL
Having the creator account’s ownership and full control permission listed on a node can make things really easy on the blue team in the event they discover your record. Although changing node ownership is possible, a token with the SeRestorePrivilege is required.


Eagle Event Planning
Home
Contact
Login
Eagle Event Planning and Catering
Award Winning Event Planning
Get the Personal and Effective Approach


Federico Villalpando Paez
Code
Publications
Patents
Education
Contact
Composite particles having coated aggregates with low structure carbon black cores, coatings and inks with high resistivity and optical density, devices made therewith, and methods for making same
10/2016
U.S. Patent Pending
Thermally conductive polymer compositions containing carbon black
6/2015
U.S. Patent Pending
Compounded rubber having improved thermal transfer
6/2015
U.S. Patent Pending
Process for the production of carbon submicronic structures having a tubular morphology, using metallic or ceramic substrates which have been subjected to thermal and/or thermo chemical treatments
10/2008
International Classification C01B31/02
Process for the manufacture of plastic materials for containers acting as an oxygen, water and carbon dioxide double barrier, using polymers or copolymers along with carbon-nitrogen and/or silicon oxide submicronic structures
10/2008
International Classification B29C70/68


You Can Now Get Beer Delivered To Your Front Door By Your Milkman
by Cameron FrewMilk and beer: the two founding fathers of breakfast.
Nothing screams British suburbia more than a crisp, glass bottle of milk being delivered to your door every morning.
However, one dairy company is changing the game. That’s right, your milkman can now leave bottles of beer on your doorstep.
I live in a block of flats, so having that liquid calcium hand-delivered to me during the week isn’t really an option (yes, I could get my shopping delivered via Tesco or Asda etc, but it’s not the same).
Milk deliveries aren’t as common as they used to be: what used to be standard procedure for households across the country can seem like a rarity for some.

Up until the 1970s, nearly everyone had milk delivered. But, then came the supermarkets, with cheaper milk and plastic bottles, essentially choking out the local competition.
But, as Bob Dylan sang, the times they are a-changin’ – people aren’t quite as keen these days to invest in countless plastic cartons. Thousands are starting to make the switch back to glass in a small bid to help protect the planet.
As per the Mirror Online, the number of doorstep drops has jumped from 800,000 a day to a million over the past two years.
It’s all good news for Milk & More, which uses electric carts to serve 500,000 homes. After being relaunched by German giant Müller last year, it has since linked up with Ipswich-based brewer Big Drop. For just £1.99 per bottle, you can get beer delivered by your milkman.
Dairy and grain – what a treat.
After graduating from Glasgow Caledonian University with an NCTJ and BCTJ-accredited Multimedia Journalism degree, Cameron ventured into the world of print journalism at The National, while also working as a freelance film journalist on the side, becoming an accredited Rotten Tomatoes critic in the process. He’s now left his Scottish homelands and took up residence at UNILAD as a journalist.


Enumeration members
DRM_LICENSE_WIDEVINE_
DRM_LICENSE_WIDEVINE_: = "DRM_LICENSE_WIDEVINE,"
KEY_HLS_AES_
KEY_HLS_AES_: = "KEY_HLS_AES,"
MANIFEST_DASH_
MANIFEST_DASH_: = "MANIFEST_DASH,"
MANIFEST_HLS_MASTER_
MANIFEST_HLS_MASTER_: = "MANIFEST_HLS_MASTER,"
MANIFEST_HLS_VARIANT_
MANIFEST_HLS_VARIANT_: = "MANIFEST_HLS_VARIANT,"
MANIFEST_SMOOTH_
MANIFEST_SMOOTH_: = "MANIFEST_SMOOTH,"
MEDIA_AUDIO_
MEDIA_AUDIO_: = "MEDIA_AUDIO,"
MEDIA_PROGRESSIVE_
MEDIA_PROGRESSIVE_: = "MEDIA_PROGRESSIVE,"
MEDIA_SUBTITLES_
MEDIA_SUBTITLES_: = "MEDIA_SUBTITLES,"
MEDIA_THUMBNAILS_
MEDIA_THUMBNAILS_: = "MEDIA_THUMBNAILS,"
MEDIA_VIDEO_
MEDIA_VIDEO_: = "MEDIA_VIDEO,"
UNKNOWN
UNKNOWN: = "UNKNOWN"


Jonah 3:2
Arise, go unto Nineveh, that great city, and preach unto it the preaching that I bid thee.


{% extends "appfx:base_with_app_bar.html" %} {% load splunkui %} {% block title %}{{app_name}} Home Page{% endblock title %} {% block css %} {% endblock css %} {% block content %}
Another common activity is to have one timepicker control multiple searches. In this example, we have the same timepicker set the timebounds for two separate searches that drive the single-value controls.
The key to this example is a special context called a group context, which as its name implies, encapsulates multiple contexts and exposes them as a single context.


Class links.Network.Slider
Slider
An html slider control with start/stop/prev/next buttons
Defined in: network.js.
| Constructor Attributes | Constructor Name and Description |
|---|---|
|
links.Network.Slider(container)
|
| Method Attributes | Method Name and Description |
|---|---|
|
Retrieve the current framerate
|
|
|
getLoop()
Retrieve the current value of loop
|
|
|
getValue()
retrieve the current value in the correct type, Number or Date
|
|
|
next()
Select the next index
|
|
|
onChange()
Execute the onchange callback function
|
|
|
onmousemove(event)
|
|
|
onmouseup(event)
|
|
|
play()
Start playing
|
|
|
playNext()
Select the next index
|
|
|
prev()
Select the previous index
|
|
|
redraw()
redraw the slider on the correct place
|
|
|
setAcceleration(acceleration)
Set the time acceleration for playing the history.
|
|
|
setDuration(duration)
Set the duration for playing
|
|
|
setFramerate(framerate)
Set the interval for playing the list
|
|
|
setLoop(doLoop)
Set looping on or off
|
|
|
setOnChangeCallback(callback)
Set a callback function which will be triggered when the value of the
slider bar has changed.
|
|
|
setRange(start, end)
Set the range for the slider
|
|
|
stop()
Stop playing
|
|
|
Toggle start or stop playing
|
Class Detail
links.Network.Slider(container)
- Parameters:
- {DOM element} container
- The element where the slider will be created
Method Detail
{number}
getFramerate()
Retrieve the current framerate
- Returns:
- {number} framerate in frames per second
{boolean}
getLoop()
Retrieve the current value of loop
- Returns:
- {boolean} doLoop If true, the slider will jump to the start when the end is passed, and will jump to the end when the start is passed.
{Number or Date}
getValue()
retrieve the current value in the correct type, Number or Date
- Returns:
- {Number or Date} value
next()
Select the next index
onChange()
Execute the onchange callback function
onmousemove(event)
- Parameters:
- event
onmouseup(event)
- Parameters:
- event
play()
Start playing
playNext()
Select the next index
prev()
Select the previous index
redraw()
redraw the slider on the correct place
setAcceleration(acceleration)
Set the time acceleration for playing the history. Only applicable when
the values are of type Date.
- Parameters:
- {number} acceleration
- Acceleration, for example 10 means play ten times as fast as real time. A value of 1 will play the history in real time.
setDuration(duration)
Set the duration for playing
- Parameters:
- {number} duration
- Duration in seconds
setFramerate(framerate)
Set the interval for playing the list
- Parameters:
- {number} framerate
- Framerate in frames per second
setLoop(doLoop)
Set looping on or off
- Parameters:
- {boolean} doLoop
- If true, the slider will jump to the start when the end is passed, and will jump to the end when the start is passed.
setOnChangeCallback(callback)
Set a callback function which will be triggered when the value of the
slider bar has changed.
- Parameters:
- callback
setRange(start, end)
Set the range for the slider
- Parameters:
- {Date or Number} start
- Start of the range
- {Date or Number} end
- End of the range
stop()
Stop playing
togglePlay()
Toggle start or stop playing


Simple event bus - allows loosely coupled software design in you application.
It’s an elegant way to enable communcation between controllers without introducing strong coupling between them.
Implemented in pubsub.js.:
/**
* Define an event handler for this eventType listening on the event bus
*
* subscribe( type, callback )
* @param {String} type A string that identifies your custom javaScript event type
* @param {function} callback(args) function to execute each time the event is triggered
*
* @return Handle used to unsubribe.
*/
$.subscribe(eventType, handler(args));
/**
* Remove a previously-defined event handler for the matching eventType
*
* @param {String} handle The handle returned by the $.subscribe() function
*/
$.unsubscribe(handle);
/**
* Publish an event in the event bus
*
* @param {String} type A string that identifies your custom javaScript event type
* @param {Array} data Parameters to pass along to the event handler
*/
$.publish(eventType, [extraParameters]);


NLP Sentiment Analyzer
Enter a URL of an article to discover its sentiment.
Analysis Results:
Powered by MeaningCloud API


Maxime Choffat
- IT Consultant @NalysGroup
- GIS Developer
- Agile & DevOps enthusiast
- Games lover
- Contact :
DevOps is unique to everyone who practices it
This presentation will NOT :
- Be objective
- Be exhaustive
- Be a copy/paste pack of solutions
This presentation will :
- Give a basis for reflection
- Try to answer "why" DevOps
- Help you avoid some traps
From Agile...
... to sluggish
- Delivery
- Feedback
- Time and improvement
The Agile infrastructure
BUSINESS
AGILE
DEVELOPMENT
DEVOPS
OPERATIONS
A story about Devs and Ops
DEVELOPER
WALL OF CONFUSION
OPERATIONAL
I want change !
I want stability !
CATCH !
WHAT ?
It is not (only) about devs and ops
A problem occuring between devs and ops might find its solution elsewhere
DevOps is about ...
- bringing people together
- automation and continuous delivery
- giving value to the customer
- a lot of things
- NOT about a lot of things
What it is not
- Just Devs and Ops
- Taking jobs away
- A separate team
- A top bottom approach
- (only) Tools or Culture
- A job title
The golden Circle
All credit goes to Simon Sinek
The why
- collaboration & trust
- responsabilities
- less frustration
- motivation
- delivery speed
- frequent features
- quick fixes
- quality & stability
- downtime
- communication
- handle unexpected
- time to market
- result & progress
- awareness of events
- satisfaction
why not ?
- Complexity layer
- Learning curve
- Time
- Cost
The how
- team centered
- learning culture
- communication & transparency
- trust & responsability
- incentives
- team building, lunchs, breakfasts, tech meetings ...
- quality is not an option
- take time
- measure & monitor
- adapt & improve
- automate
- support culture and process
- avoid duplicates
- choose tools
- use the apis
Wrap up
- Everyone is involved
- Go iterative
- Measure team success
- People & Culture > Process > Tools
Source Code Management
Continuous Integration/Delivery/Deployment
VMs vs Containers
Microservices
- Modular approach
- Enforces CD & Monitoring
- Scalabile
- Mixed technologies
- Fine grain (deploy, management ...)
There is no Silver Bullet
QUICK DEMO
Break Silos
Go iterative
It is ok to fail
Get feedback
DevOps is unique to your project
Questions time


{% extends base_layout %} {% comment %} Licensed under the Apache License, Version 2.0 (the "License"); you may not use this file except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0 Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License. {% endcomment %} {% block page_content %} {{ top_msg.render }} {% if not record %}


int mt_rand ( void )
random number generators of older libcs have dubious or unknown characteristics and are slow. By default, PHP uses the libc random number generator with the rand() function. The mt_rand() function is a drop-in replacement for this. It uses a random number generator with known characteristics using the » Mersenne Twister, which will produce random numbers four times faster than what the average libc rand() provides. If called without the optional min, max arguments mt_rand() returns a pseudo-random value between 0 and mt_getrandmax(). If you want a random number between 5 and 15 (inclusive), for example, use mt_rand(5, 15).
A random integer value between min (or 0) and max (or mt_getrandmax(), inclusive)