module Syntaxerr: sig .. end
type error =
| |
Unclosed of Location.t * string * Location.t * string |
| |
Expecting of Location.t * string |
| |
Not_expecting of Location.t * string |
| |
Applicative_path of Location.t |
| |
Variable_in_scope of Location.t * string |
| |
Other of Location.t |
| |
Ill_formed_ast of Location.t * string |
exception Error(error);
exception Escape_error;
let report_error: (Format.formatter, error) => unit;
let location_of_error: error => Location.t;
let ill_formed_ast: (Location.t, string) => 'a;


Simple & easy to customize, no other headaches
Don’t go by our Words, checkout our awesome demos and verify yourself.
Save 1000s of hours of designing and coding work as we already did that for you.
Inverse Admin
Material Design
Eliteadmin
CRM Admin
eCommerce
Modern
Real Estate Admin
University Admin
Hospital Admin
Colors
Music Admin
Eliteadmin-Basic PHP
Wpmenu
Dark
Mini Sidebar
Horizontal nav & Boxed
Horizontal nav & fullwidth
Eliteadmin Iconbar
Eliteadmin-RTL
Inverse-RTL
Responsive Web UI Kit for all your Needs
You will get almost everything you need. We have added all possible widgets to make your life easier with easy editing. Check them out.
Check all widgetseCommerce Dashboard
Option Included
Yes, We have also added eCommerce Dashboard option. It also has relevant sections, like List of Products, Total Earnings and & Status.
Check eCommerce DemoYour MailBox Section is
ready to use
Yup, Mail Box Application is added with Elite Admin - Responsive Kit. We have included templates for Inbox, Compose Mail, Mail detail.
Check Mailbox7 Different Variations for Showcasing
Your Header & Navigation
We have added 7 different styles for Header and Navigations. Added Horizontal and Vertical,
both types of Navigation & Mega Menu. recenly added menu like wordpress.
Other Amazing Features &
Flexibility Provided
9 Color Schemes
We have included 9 pre-defined color schemes with Elite Admin.
Dark & Light Sidebar
Included Dark and Light Sidebar for getting desire look and feel.
2000+ Page Templates
Yes, we have 20 demos & 100+ Pages per demo to make it easier.
1000+ UI Components
Almost 1000+ UI Components being given with Elite Admin Pack.
Lots of Widgets
Wide range of Widgets are available with Elite Admin Package.
Bootstrap 4x
Its been made with Bootstrap 4 and full responsive layout.
3000+ Font Icons
Lots of Icon Fonts are included here in the package of Elite Admin.
Fully Responsive
All the layout of Elite Admin is Fully Responsive and widely tested.
SassBase CSS
Our Css is written Sass Base to make your life easier.
Easy to Customize
Customization will be easy as we understand your pain.
Lots of Chart Options
You name it and we have it, Yes lots of variations for Charts.
Mutiple File Uploads
You can upload multiple files with our Multiple selector.
Light Version of Elite Admin with
Light & Dark Sidebar Option
Dark Version of Elite Admin with
Light & Dark Sidebar Option
We are proud on Features provided
with EliteAdmin Template
Lots of Table Examples
Data Tables are initial requirement
and we added them.
Validation Forms
Different Forms with Validation are
included in pack.
eCommerce Pages
Yes, all related e-Commerce
pages are included.
3 Level Dropdown Menu
We have added 3 Level Dropdown
Menu in Elite Pack.
Calendar Design
Calendar is available with our package
& in nice design.
Gallery Options
Covered options to showcase different
variation for gallery.
Detailed Documentation
We have made detailed documentation,
so it will easy to use.
Dedicated Support
We believe in supreme support is
key and we offer that.
Regular Updates
We are constantly updating our
pack with new features.
What Real Buyers have to
Say about EliteAdmin
I purchased this web kit hoping to spend more time coding database interactions rather than interface. All of my expectations have been met so far. This is a fantastic kit with everything I’ve needed. I love the modal window inputs and various calendar and time pickers. I used to do all this with seperate jquery and java scripts, but now it’s all built in. I’m working on two client projects using this kit and they love it.
2000+ Quality Designed Pages Included
We have included 100+ Different Pages to each demo. Includes Data Tables, Form Pages, Charts, Widgets etc.
13 Unique Dashboard Demos Included
We have included 13 Unique Dashboard Variations at the moment and We are going to add new demos soon. You will love all Dashboards.
7 Styles for Navigation with Mega Menu
We have added 7 different styles for Header and Navigations. Added Horizontal and Vertical, both types of Navigation & Mega Menu.
eCommerce Dashboard Included
Yes, We have also added eCommerce Dashboard option. It also has relevant sections, like List of Products, Total Earnings and & Status.
Lots of Chart Options Added in Package
We have covered almost each possible Graphs / Charts in our Elite Admin - Responsive Web App Kit. Its easy to implement in your project.
Data table Export - csv, Excel, Pdf, copy
With Elite Admin - Responsive Web App Kit, you will get option for export data from data table. You can save your data in excel, pdf, csv format.


--- excerpt: say hello layout: post category : personal tags : [personal] ---
Hello Hackers. I'm Terry Lu from Shanghai China. Now I'm mainly focus on algorithm learning, along with embedded Linux software development. I love travel and photography.
This is a blog for recording some technical tips and interesting stuffs I found in daily work. I used to have a private wiki set up on my workstation. But those kind of things seems to be out of date after I meet static site generator like Jekyll and Nicola. They works perfectly with the github pages. Feel free to contact me by email.


src/stats/CellNeighborList.js
import Stat from "./Stat.js"
import BorderPixelsByCell from "./PixelsByCell.js"
import CPM from "../models/CPM.js"
/** This stat computes a list of all cell ids of the cells that border to "cell" and
belong to a different cellid, also giving the interface length for each contact.
@experimental
@example
* let CPM = require("path/to/build")
*
* // Set up a CPM and manipulator
* let C = new CPM.CPM( [300,300], {
* T:20,
* torus:[false,false],
* J:[[0,20],[20,10]],
* V:[0,200],
* LAMBDA_V:[0,2]
* })
* let gm = new CPM.GridManipulator( C )
*
* // Seed a cells, run a little, then divide it
* gm.seedCell(1)
* for( let t = 0; t < 50; t++ ){
* C.timeStep()
* }
* gm.divideCell(1)
*
* // Get neighborlist
* console.log( C.getStat( CPM.CellNeighborList ) )
*/
class CellNeighborList extends Stat {
/** The set model function of CellNeighborList requires an object of type CPM.
@param {CPM} M The CPM to compute bordering cells for.*/
set model( M ){
if( M instanceof CPM ){
/** The CPM to compute borderpixels for.
@type {CPM} */
this.M = M
} else {
throw( "The stat CellNeighborList is only implemented for CPMs, where cellborderpixels are stored!" )
}
}
/** The getNeighborsOfCell method of CellNeighborList computes a list of all pixels
that border to "cell" and belong to a different cellid.
@param {CellId} cellid the unique cell id of the cell to get neighbors from.
@param {CellArrayObject} cellborderpixels object produced by {@link BorderPixelsByCell}, with keys for each cellid
and as corresponding value the border pixel indices of their pixels.
@returns {CellObject} a dictionairy with keys = neighbor cell ids, and
values = number of neighbor cellpixels at the border.
*/
getNeighborsOfCell( cellid, cellborderpixels ){
let neigh_cell_amountborder = { }
let cbp = cellborderpixels[cellid]
//loop over border pixels of cell
for ( let cellpix = 0; cellpix < cbp.length; cellpix++ ) {
//get neighbouring pixels of borderpixel of cell
let neighbours_of_borderpixel_cell = this.M.neigh( cbp[cellpix] )
//don't add a pixel in cell more than twice
//loop over neighbouring pixels and store the parent cell if it is different from
//cell, add or increment the key corresponding to the neighbor in the dictionairy
for ( let neighborpix of neighbours_of_borderpixel_cell ) {
let neighbor_id = this.M.pixt( neighborpix )
if (neighbor_id != cellid) {
neigh_cell_amountborder[neighbor_id] = neigh_cell_amountborder[neighbor_id]+1 || 1
}
}
}
return neigh_cell_amountborder
}
/** The compute method of CellNeighborList computes for each cell on the grid
a list of all pixels at its border that belong to a different cellid.
@returns {CellObject} a dictionairy with keys = cell ids, and
values = an object produced by {@link getNeighborsOfCell} (which has keys for each
neighboring cellid and values the number of contacting pixels for that cell).
*/
compute(){
let cellborderpixels = this.M.getStat( BorderPixelsByCell )
let neighborlist = {}
// the this.M.cellIDs() iterator returns non-background cellids on the grid.
for( let i of this.M.cellIDs() ){
neighborlist[i] = this.getNeighborsOfCell( i, cellborderpixels )
}
return neighborlist
}
}
export default CellNeighborList


@note.csrf_token_js/>
no worries, click here to reset your password.
Don't have an account yet ? Register an account
Enter your e-mail address below to reset your password.
Enter your personal details below:
Enter your account details below:


Sniffing with netsh trace
Start it with:
PS C:\> netsh trace start capture=yes overwrite=no tracefile=<FilePath.etl>
That’ll create a cab and etl file with events & packets
Stop the capture with:
PS C:\> netsh trace stop
Move .etl and .cab back to your machine, and open .etl with NetMon or Microsoft Message Analyzer
Only captures up to 250 MB max by default
Add “MaxSize=<N>” to alter that
Also supports fairly complex filters… View filter syntax with:
PS C:\> netsh trace show capturefilterhelp


The antiviral effects of identified drugs were analysed via IFA. F81 cells were treated with 0.1% DMSO (Control) or 5 μM, 10 μM, or 20 μM of Nitazoxanide, Closantel Sodium, or Closantel before CPV infection. Then cells were fixed with 80% acetone at about 30 hpi and immunostained for VP2 protein (green), while nuclei (blue) were stained with DAPI.


Simplified E-learning
Python is an interpreted, high-level, general-purpose programming language. Created by Guido van Rossum and first released in 1991, Python's design philosophy emphasizes code readability with its notable use of significant whitespace.
JavaScript, often abbreviated as JS, is a high-level, interpreted programming language that conforms to the ECMAScript specification. JavaScript has curly-bracket syntax, dynamic typing, prototype-based object-orientation, and first-class functions
C is a general-purpose, procedural computer programming language supporting structured programming, lexical variable scope, and recursion, while a static type system prevents unintended operations.
SQL is a domain-specific language used in programming and designed for managing data held in a relational database management system, or for stream processing in a relational data stream management system.
jQuery is a JavaScript library designed to simplify HTML DOM tree traversal and manipulation, as well as event handling, CSS animation, and Ajax. It is free, open-source software using the permissive MIT License. As of May 2019, jQuery is used by 73% of the 10 million most popular websites.
The Spring Framework is an application framework and inversion of control container for the Java platform. The framework's core features can be used by any Java application, but there are extensions for building web applications on top of the Java EE platform.
Hibernate ORM is an object-relational mapping tool for the Java programming language. It provides a framework for mapping an object-oriented domain model to a relational database.
Ruby on Rails, or Rails, is a server-side web application framework written in Ruby under the MIT License. Rails is a model–view–controller framework, providing default structures for a database, a web service, and web pages.


WASM
If you use Firefox, temporarily disable privacy.resistFingerprinting
and privacy.reduceTimerPrecision
for precise results from calls to performance.now()
.
The number in parentheses is how long it takes to convert the result to a string.
It's highly likely that TTMath is used incorrectly.
| JS | C with GMP | C++ with TTMath |
|---|


HTML5, SEO and Microdata
by
MUCH thanks to at Oli Studholme at HTML5 Doctor for helping me understand this!!!!
Update July 28, 2013: Not only are many points in this post erroneous, but the correct points are a bit outdated. The schema.org library is recommened for marking up microdata instead of the older data-vocabulary.org one.
Update February 21, 2011: Oli looked at this post and suggested some code & semantics changes. Simply put, there are a lot of semantic mistakes in this article. The code below was changed as per his suggestions but the semantics were many. So many that it was easier to create a new post listing them instead of editing this article. Review the code below as it contains his edits, then read my post listing his semantic suggestions. – k
I’ve learned a few things about how HTML5 handles search engine optimization, or, SEO. The main thing I’ve learned is that we all need to fully understand microdata since Google uses it to collect detailed information about your web page.
While I’m still learning about microdata, I understand 95% of it…and let me be clear from the beginning about what I do understand:
- Microdata’s main job is to provide extra information about your site to search engines and machine readers so they can better understand the site content.
- Microdata MUST be written in 100% pure HTML5.
- Microdata does not make page content more meaningful or more keyphrase-rich.
- As with all SEO best practices, Microdata does not guarantee you a high Google site ranking.
- Hope I was clear. Now let’s move on...
Often called "HTML5′s best kept secret," Microdata, allows you to place a custom vocabulary of data onto your web page. "If the microdata uses a Google "rich snippet" vocabulary, it may also be used by Google".
Let’s see it in action:
I recently created this test page with the following code:

About Kai Gittens, AKA Kaidez

Posted by Kai Gittens on January 24th

January 24, 2011</time>

Name

Kai Gittens

Position

Founder of kaidez.com

Web Designer for Revlon/Almay

Mailing address

237 Park Ave.
New York , NY  10017
USA

Social Networking Info

Blog

Facebook Profile

Twitter Page

Let’s breakdown the code…
- Note that the opening

tag has two attributes: itemscope and itemtype. itemscope
tells the browser that everything within the

tags is microdata and should be treated as such.itemtype
attaches the microdata to the "Person" vocabulary library stored atdata-vocabulary.org[schema.org/] (http://schema.org/), the common data vocabulary collaboration of several major search engines.- For every piece of data within the

tag (name, address, etc.) an itemprop attribute needs to be applied to it. Look at the code and copy it like I did in terms of assign values. - All the data is then sent to Google and if it comes up in their search results, it will look like this:
If you need more proof of this result, see what information comes back when my test page is plugged into Google’s Rich Snippets Testing Tool.
I’ve done a variety of Google searches trying to get this snippet to come up…no luck yet. But I’m confident that it will eventually and know that the microdata is still doing things behind the scenes.
Microdata isn’t really that new of a concept: it’s similar to existing technologies such as RDFa and microformats. But RDFa needs to be written in XHTML, which is headed for W3C deprecation; while microformats don’t really work without CSS, meaning you’ll have write extra code. Getting microdata to work requires writing non-deprecated HTML5 code and nothing else.
Speaking of microformats using CSS classes, here’s a quick FYI: placing the above-code into a Twenty Ten-themed WordPress page will still send you a positive result when placed into the Rich Snippet tool, but generate a warning saying that certain things are missing...see the results with the warning here. It’s due to the fact that Twenty Ten, which is HTML5-ready, uses a lot of the same CSS classes as the ones used by the ‘hatom’ feed format, which is similar to the RSS feed.
I plugged the code into this blog’s About Page and got that warning. Since this blog design is based on Twenty Ten and uses hatom classes like entry-title
and entry-content
, the presence of these classes is forcing the Snippet tool to look for hatom feed content in my About page. And as the lack of an author class makes the hatom data incomplete, the error shows up. I could fix this by putting a tag with a class named author somewhere on my post pages, but I’m happy with my design so I’m not going to do this.
If you want to get a feel of how much microdata is out there, check out the Operator plug-in for Firefox. It inserts a toolbar that detects microdata along with RDFa and Microformats, showing you what data is being collected and its potential use...especially for e-commerce. Plug in Operator, then do some general web surfing while paying attention to the toolbar…you’d be surprised what you’ll find out.
For further reading, the awesome HTML5 microdata tutorial at HTML Goodies and HTML5 Doctor’s microdata article are great starting points on the subject. After that, read what Mark Pilgrim has to say about microdata and definitely read Google’s microdata documentation.
Some other HTML5 SEO things...
- Microdata only works if placed into a page with the bare minimum of HTML5 formatting. Read my tutorial on this.
- If you try to hide microdata on your page (i.e. putting it into a page tag set to display:none), Google will totally ignore it.
- Microdata must be placed in the main content of your web page; if you place it among header or footer content, Google will totally ignore it.
Bing and Yahoo! use microdata as well. To be fair, Bing was the first search engine to use it…go and read more about this.So erroneus, it's not even funny.- Update (Jan 28, 2011): this may or may not be true…am in the middle of verifying this.
- Update (Feb 02, 2011): Have to strikethrough this line…see this comment below.
- "Person" is just one of nine vocabularies currently stored over at data-vocabulary.org. The complete list as of this post is: Person, Event, Organization, Product, Review, Review-aggregate, Breadcrumb, Offer and Offer-aggregate. Go and read about all of them.
- Note that one of the vocabularies is named "Products." So if you’re selling stuff online, microdata can help you.
- If you want reviews of your products to appear in search results, take note of the "Review" and "Review-aggregate" vocabularies.
- One of best uses of microdata is to create a well-designed digital business card, or a vCard. Many web designers use this tactic; see some of their work.
- Even though I use the

tag in my example, don’t read too much into this. Google has adopted a "wait-and-see" policy in terms of applying HTML5 elements to their search algorithm. Many believe that the

tag will eventually get a lot of SEO weight since it’s the main spot for page content. - Microdata does not diminish the importance of the old rules of SEO. Commit the info in Google’s Webmaster Tools documentation to memory and remember that good, relevant content is always the best way to getting a good site rank. Also remember that the meta keywords tag is completely worthless, just like Google says it is.
In closing, remember that microdata works if used properly. So let’s all now take a blood oath and promise not to use it to create spam bait and ruin the party for everyone.


Home (Default Route)
User 1
Edit User 1
User 3, Article 250
User 2
Test Route
Route does not exist example 1
Route does not exist example 2
Austin, TX Weather
City:
State or Country:
Get Weather


Hong Kong Fans Read A Lot Into A Hideo Kojima Tweet
by Brian AshcraftTo promote Death Stranding, Hideo Kojima has been going on a world tour. It was announced early last month with Kojima visiting cities across the globe.
Below are the locations included in the original announcement.
It was recently announced on the PlayStation Hong Kong Facebook account that Ludens Ducks signed by Kojima would be part of a giveaway. Folks in Hong Kong who purchase the game have a chance to be one of 80 lucky winners.
Hong Kong is an important market for PlayStation, so this kind of promotional giveaway makes sense. However, because of the recent demonstrations and in light of the whole Blizzard kerfuffle, the whole thing is taking on another meaning for some fans.
Especially after Kojima tweeted this:
Note the #WorldStrandTour2019 hashtag. Plus, Kojima has been signing many of his tweets with the “Tomorrow is in your hands” tagline. Considering what’s happening in Hong Kong, however, that line takes on a different meaning.
Twitter users with Hong Kong flags and emojis in sickness masks, which are being worn by protesters, are thanking Kojima for his tweet. Others believe that too much is being read into this, and Kojima is merely promoting the giveaway—or even that Kojima is actually supporting the Hong Kong police.
But are people reading too much into this?
That’s true, but Kojima did delete the tweet.
And replaced it with this:
Oh.