[if lte IE 9]><style>/* THIS IS AN AUTO-GENERATED FILE */ .alertbar { background-color: #97b147; color: #ffffff; font-size: 28px; text-align: center; } .alertbar-link { color: inherit; display: block; padding: 1em; text-decoration: none; } body { overflow-x: auto; }</style><div class="alertbar"><a class="alertbar-link" href="http://browsehappy.com/"> You are using an <strong>outdated</strong> browser. <br>Portions of our site may not work as intended. <br>Please <u>click here</u> to upgrade your browser! </a></div><![endif] [if lte IE 9]><style>/* THIS IS AN AUTO-GENERATED FILE */ .navbar { display: inline-block; width: 100%; } .navbar ul { display: inline-block; } .navbar-items-menu { float: right; }</style><script>/*! @source http://purl.eligrey.com/github/classList.js/blob/master/classList.js*/ ;if("document" in self&&!("classList" in document.createElement("_"))){(function(j)...

<![endif] Twitter Search query Search Twitter Remove Verified account @ Suggested users Verified account @ Verified account @ Language: English Bahasa Indonesia Bahasa Melayu Čeština Dansk Deutsch English UK Español Filipino Français Italiano Magyar Nederlands Norsk Polski Português Română Suomi Svenska Tiếng Việt Türkçe Русский Українська мова עִבְרִית العربية فارسی हिन्दी বাংলা ภาษาไทย 한국어 日本語 简体中文 繁體中文 Have an account? Log in New to Twitter? Join Today » Log in Phone, email or username Password Log in Remember me Forgot password? Already using Twitter via text message? Follow Following Unfollow Blocked Unblock Pending Cancel SpaceX Verified account ‏ @ SpaceX 3m 3 minutes ago # Falcon9 fi...

Sign up for a GitHub account Sign in All Gists Hamcha / test.cpp secret Last active April 14, 2015 Code Revisions 3 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav View test.cpp test.cpp Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 template < typename R, typename ...T> R LuaScript::callFunction ( const std::string name, const T... args) { lua_getglobal (state, name. c_str ()); int argCount = sizeof ...(args); applyAllArgs (state, args...); lua_pcall (state, argCount, 1 , 0 ); R result = getResult<R>(state); lua_pop (state, 1 ); return result; } template < ...

[if lte IE 8]> <p class="browsehappy"> You are using an <strong>outdated</strong> browser. Please <a href="http://browsehappy.com/">upgrade your browser</a> to improve your experience. </p> <![endif] Watch SpaceX's Vine "Close, but no cigar. This time." SpaceX Uploaded at 2015-01-16T16:50:10 17744608 Loops Close, but no cigar. This time. 35064 Likes 8386 Revines 1176 Comments ...

<![endif] Twitter Search query Search Twitter Remove Verified account @ Suggested users Verified account @ Verified account @ Language: English Bahasa Indonesia Bahasa Melayu Čeština Dansk Deutsch English UK Español Filipino Français Italiano Magyar Nederlands Norsk Polski Português Română Suomi Svenska Tiếng Việt Türkçe Русский Українська мова עִבְרִית العربية فارسی हिन्दी বাংলা ภาษาไทย 한국어 日本語 简体中文 繁體中文 Have an account? Log in New to Twitter? Join Today » Log in Phone, email or username Password Log in Remember me Forgot password? Already using Twitter via text message? Follow Following Unfollow Blocked Unblock Pending Cancel Elon Musk Verified account ‏ @ elonmusk 3m 3 minutes ago Ascent ...

Google Tag Manager End Google Tag Manager [if lt IE 9]> <script src="//cdn.livestream.com/website/9af414b/assets/plugins/html5-31d56487d019b3eadb1d59309321884f.js" type="text/javascript"></script> <![endif] Your browser doesn't have support for real-time updates. Please install flash or upgrade your browser. SpaceX Science & Technology / Space · After six successful missions to the International Space Station, including five official resupply missions for NASA, SpaceX’s Falcon 9 rocket and Dragon spacecraft are set to liftoff from Launch Complex 40 at the Cape Canaveral Air Force Station, Florida, for their sixth official Commercial Resupply Services (CRS) mission to the orbiting lab. Liftoff is targeted for Monday April 13, 2015, at 4:33pm EDT. If all goes as planned, Dragon will arrive at the station approximately two days after...

About Mozart Publications History Use Download Documentation Mozart v1 License information Participate Mailing list Source code Report a bug Collaboration process /.well /span The Mozart Programming System combines ongoing research in programming language design and implementation, constraint logic programming, distributed computing, and human-computer interfaces. Mozart implements the Oz language and provides both expressive power and advanced functionality. The PLDC Research Group at UCL is proud to announce the first release of Mozart 2. This release contains a completely redesigned 64-bit virtual machine (compatible with 32-bit and 64-bit processors), and adds an extension interface to the virtual machine to allow language extensions defined within Oz. The PLDC Research Group will use Mozart 2 for future programming education and future research in programming languag...

Sign up for a GitHub account Sign in All Gists kyleterry / gist:dc7883db0c4942d3e181 secret Created April 14, 2015 Code Revisions 1 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav View gist:dc7883db0c4942d3e181 gistfile1.txt Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 kyle@iff-utility01 ~ $ tenykswebpagemonitor /etc/tenyks/webpagemonitor.py Traceback (most recent call last): File "/usr/bin/tenykswebpagemonitor", line 9, in <module> load_entry_point('tenyks-contrib==0.2.0', 'console_scripts', 'tenykswebpagemonitor')() File "build/bdist.linux-x86_64/egg/webpage_monitor/main.py", line 256, in main File "/usr/lib64/python...

RU Начало пункта FORUM Начало пункта Sitemap Конец контейнера DOWNLOAD Начало пункта Начало контейнера libgen.in - 1M (Main) gen.lib.rus.ec - 1M (only search) bookfi.org libgen.info - 1M libgen.net - 1M www.libgen.net - 1M vnuki.org bookzz.org (bookza.org, bookos.org) I2P - 1M Torrents Usenet (*.nzb) libgen.in gen.lib.rus.ec Books catalog (XLS) Source (PHP) Import local files in LG format Libgen Librarian for Desktop Конец контейнера UPLOAD Начало пункта Начало контейнера Конец контейнера LAST Начало пункта Начало контейнера Last modified RSS API Конец контейнера OTHERS Начало пункта Начало контейнера Fulltext search in LG books Lib.rus.ec \ Flibusta.net - Monthly Updates Bibliography search (Ozon, Amazon, РГБ) DC++ Fulltext Search (Yandex) P2P Fulltext Search (Sphinx, magnet-links) Конец контейнера TOPICS Начало пункта Начало ко...

Skip to content Sign up Sign in This repository Explore Features Enterprise Blog Watch 4 Star 4 Fork 8 kyleterry / tenyks-contrib /.container /.repohead Code Issues Pull requests Pulse Graphs HTTPS Subversion You can clone with HTTPS or Subversion . Download ZIP /.repository-sidebar branch: master Switch branches/tags Branches Tags clean-shit-up develop feature/awww feature/tenykslinkscraper master stocks webpage_monitoring Nothing to show 0.1.21 Nothing to show tenyks-contrib / src / webpage_monitor / Cleaning shit up 2/N latest commit 82fbe9a8cc kyleterry authored Oct 27, 2014 .. Failed to load latest commit information. __init__.py Kind of worki...

TechNet Products IT Resources Downloads Training Support Windows Windows Server System Center Internet Explorer Office Office 365 Exchange Server SQL Server SharePoint Products Lync See all products » Curah! curation service Evaluation Center Learning Resources Microsoft Tech Companion App Microsoft Technical Communities Microsoft Virtual Academy Script Center Server and Tools Blogs TechNet Blogs TechNet Flash Newsletter TechNet Gallery TechNet Library TechNet Magazine TechNet Subscriptions TechNet Video TechNet Wiki Windows Sysinternals Virtual Labs Networking Cloud and Datacenter Security Virtualization Service Packs Security Bulletins Microsoft Update Windows Server 2012 R2 System Center 2012 R2 Microsoft SQL Server 2012 SP1 Windows 8.1 Enterprise See all trials » Micr...

Sign up for a GitHub account Sign in All Gists colby / sandman Last active April 14, 2015 Code Revisions 3 /.sunken-menu-group /.sunken-menu-contents Embed HTTPS SSH You can clone with HTTPS or SSH . Download Gist /.only-with-full-nav Sandman: A bash script to find all known Vagrant VMs and put them to sleeps. Zzz. View sandman sandman Raw File suppressed. Click to show. 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 #!/usr/bin/env bash # variables vagrant= " " # functions errcho () { >&2 echo " $* " exit 1 } check () { which " $1 " || errcho " Missing dependency: $1 " } # deps vagrant= $( check vagrant ) # main printf " Putting VMs to bed. " while read line do set...

~?~

CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search Programming paradigms Action Agent-oriented Automata-based Concurrent computing Relativistic programming Data-driven Declarative (contrast: Imperative ) Constraint Dataflow Flow-based Cell-oriented ( spreadsheets ) Reactive Functional Functional logic Logic Abductive logic Answer set Constraint logic Functional logic Inductive logic End-user programming Event-driven Service-oriented Time-driven Expression-oriented Feature-oriented Function-level (contrast: Value-level ) Generic Imperative (contrast: Declarative ) Literate Procedural Language-oriented Natural language programming Discipline-specific Domain-specific Grammar-oriented Dialecting Intentional Metaprogramming Automatic Reflective Attribute-oriented Homoiconic Template Policy-based Non-structured (contras...

rpwiki Edit RecentChanges History Preferences ? meta title="Relativistic Programming" RP stands for "Relativistic Programming", which is a programming technique for concurrent shared-memory architectures. RP algorithms are distinguished by two properties. The first property is that RP algorithms tolerate different threads seeing events occurring in different orders, so that events are not necessarily globally ordered, but rather subject to constraints of per-thread ordering, and in a few cases, partial-order constraints on global ordering. The second property is that RP algorithms tolerate conflicts, for example, one thread can safely modify a memory location despite the fact that other threads might be concurrently reading that same memory location. These properties allow several important classes of problems to be addressed with wait-free linearly scalable alg...

CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search This article needs additional citations for verification . Please help improve this article by adding citations to reliable sources . Unsourced material may be challenged and removed. (February 2011) Programming paradigms Action Agent-oriented Automata-based Concurrent computing Relativistic programming Data-driven Declarative (contrast: Imperative ) Constraint Dataflow Flow-based Cell-oriented ( spreadsheets ) Reactive Functional Functional logic Logic Abductive logic Answer set Constraint logic Functional logic Inductive logic End-user programming Event-driven Service-oriented Time-driven Expression-oriented Feature-oriented Function-level (contrast: Value-level ) Generic Imperative (contrast: Declarative ) Literate Procedural Language-oriented Natural language ...

[if lt IE 7]> <style type="text/css"> #logo_holder img { filter:progid:DXImageTransform.Microsoft.Alpha(opacity=0); } #logo_holder { display: inline-block; width: 176px; height: 44px; filter:progid:DXImageTransform.Microsoft.AlphaImageLoader(src='http://store.akamai.steamstatic.com/public/images/v5/globalheader_logo.png'); } </style> <![endif] STORE COMMUNITY ABOUT SUPPORT Install Steam login | language Български (Bulgarian) čeština (Czech) Dansk (Danish) Nederlands (Dutch) Suomi (Finnish) Français (French) Ελληνικά (Greek) Deutsch (German) Magyar (Hungarian) Italiano (Italian) 日本語 (Japanese) 한국어 (Korean) Norsk (Norwegian) Polski (Polish) Português (Portuguese) Português-Brasil (Portuguese-Brazil) Русский (Russian) Română (Romanian) 简体中文 (Simplified Chinese) Español (Spanish) Svenska (Swedish) 繁體中文 (Traditional Chine...

skip links for text browsers skip to main | skip to sidebar Bloggy Badger Code and ideas in computer science. And maybe a short story or two. Home About Samuel Terms and conditions google_ad_section_start(name=default) Wednesday, July 31, 2013 The Commutativity monad I have released Commutative , a monadic combinator library for writing commutative functions. This post explains the theory behind how it works. Haskell's type system is quite precise and sophisticated, yet dependently-typed languages such as Agda and Idris manage to go even further. For example, using Agda, it is trivial to define the type of commutative functions: they are simply binary functions together with a proof that the function is commutative. record Commutative (a b : Set) : Set where field f : a → a → b prf : ∀ x y → f x y ≡ f y x ...

CentralNotice From Wikipedia, the free encyclopedia Jump to: navigation , search This article may require cleanup to meet Wikipedia's quality standards . The specific problem is: Remove redundancies. Clean up markup. Do something with short sections . Please help improve this article if you can. (September 2013) In linear algebra and functional analysis , the kernel (also null space or nullspace ) of a linear map L : V → W between two vector spaces V and W , is the set of all elements v of V for which L ( v ) = 0 , where 0 denotes the zero vector in W . That is, in set-builder notation , 1 Properties of the Kernel 2 Application to modules 3 The kernel in functional analysis 4 Representation as matrix multiplication 4.1 Subspace properties 4.2 The Row Space of a Matrix 4.3 Left null space 4.4 Nonhomogeneous systems of linear equations 5 Illu...

This is a dumb hack, we should only have one or the other from the the template context, so only one of the following will be rendered. ...

Toggle navigation Christine Dodrill Blog Projects Resume Contact Contact Me I am a GitHub power user. I am constantly learning new languages and tools. I strongly believe in knowing many languages and ways to do things so I can pick the right tool for the job. Go, Moonscript, Lua, Python, PHP, C Docker deployments git -centric project management Research and Development for new ways to do things Programming, administration and orchestration of complicated, multi-tenant IRC networks. Mitigation of active attacks against IRC networks and creation of sane tools to make future mitigation easier Design and implementation of next generation services and administrative tools for IRC networks Research and development of new container-based scalable deployment systems Christine Cadence Dodrill - 2015 - revision 9120b398...