--- layout: archive title: Zulip Chat Archive permalink: /stream/116395-maths/topic/presheafed.20space.20category.html ---
@Scott Morrison Is there anything we could do to make that line 64 to consume less than half of mathlib compile time?
I guess tidy
might be spending some time on the category axioms...
Maybe we could help it a bit
I'm compiling mathlib a lot, and I keep staring at src/algebraic_geometry/presheafed_space.lean: parsing at line 64
and that's on my fast computer
What I really don't understand is that I see that multiple times during a single leanpkg build
run
Is there some sort of tidy
magic or similar clever tactic going on in that line? Is this a situation where you can look at the proof generated by the magic and just cut and paste it in?
It spend some time on that line, then compiles other stuff and comes back to that line
Are you sure it's just not doing that with one core and doing other things with other cores?
Yes, it's probably tidy
, so it has a hole command version we could copy-paste
You can definitely look at what tidy
produces.
I don't know how the leanpkg build
output interacts with the multiple core thing
Lean is using 1500% CPU
I don't know if tidy has anything to do with it. It's just one of these miraculous proofs which Scott is extremely good at pulling off using his magic
tidy is Scott's magic
but it's extremely slow
instance category_of_PresheafedSpaces : category (PresheafedSpace.{v} C) := { hom := hom, id := id, comp := comp } end
Shouldn't this say by structure_helper
? ;-)
Sorry about this. I am travelling/on holiday for another 10 days, but will try to get to this then.
I'm dubious about using by structure_helper
for defining data! (Notice this construction contains no proofs, because they've been tidy'd away.)
Indeed, if we are worried about such definitions being slow, by structure_helper
would make that definition strictly slower (though perhaps only by microseconds).
@Patrick Massot, sorry, I finally got around to fixing this, it's in #1273 now.
Nice! Of course I really hope all this problem will disappear at some point because tactics will either become fast or properly cached.
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


LVCHANGE
Section: Maintenance Commands (8)Updated: LVM TOOLS 2.02.95(2)-RHEL6 (2012-10-16)
Index Return to Main Contents
NAME
lvchange - change attributes of a logical volumeSYNOPSIS
lvchange [--addtag Tag] [-A|--autobackup y|n] [-a|--available y|n|ey|en|ly|ln] [--alloc AllocationPolicy] [-C|--contiguous y|n] [-d|--debug] [--deltag Tag] [--resync] [-h|-?|--help] [--ignorelockingfailure] [--ignoremonitoring] [--monitor {y|n}] [--poll {y|n}] [--sysinit] [--noudevsync] [-M|--persistent y|n] [--minor minor] [-P|--partial] [-p|--permission r|rw] [-r/--readahead ReadAheadSectors|auto|none] [--refresh] [-t|--test] [-v|--verbose] LogicalVolumePath [LogicalVolumePath...]DESCRIPTION
lvchange allows you to change the attributes of a logical volume including making them known to the kernel ready for use.OPTIONS
See lvm for common options.- -a, --available y|n|ey|en|ly|ln
- Controls the availability of the logical volumes for use. Communicates with the kernel device-mapper driver via libdevmapper to activate (-ay) or deactivate (-an) the logical volumes.
- If clustered locking is enabled, -aey will activate exclusively on one node and -aly will activate only on the local node. To deactivate only on the local node use -aln. Logical volumes with single-host snapshots are always activated exclusively because they can only be used on one node at once.
- -C, --contiguous y|n
- Tries to set or reset the contiguous allocation policy for logical volumes. It's only possible to change a non-contiguous logical volume's allocation policy to contiguous, if all of the allocated physical extents are already contiguous.
- --resync
- Forces the complete resynchronization of a mirror. In normal circumstances you should not need this option because synchronization happens automatically. Data is read from the primary mirror device and copied to the others, so this can take a considerable amount of time - and during this time you are without a complete redundant copy of your data.
- --minor minor
- Set the minor number.
- --monitor y|n
- Start or stop monitoring a mirrored or snapshot logical volume with dmeventd, if it is installed. If a device used by a monitored mirror reports an I/O error, the failure is handled according to mirror_image_fault_policy and mirror_log_fault_policy set in lvm.conf.
- --poll y|n
- Without polling a logical volume's backgrounded transformation process will never complete. If there is an incomplete pvmove or lvconvert (for example, on rebooting after a crash), use --poll y to restart the process from its last checkpoint. However, it may not be appropriate to immediately poll a logical volume when it is activated, use --poll n to defer and then --poll y to restart the process.
- --sysinit
- Indicates that lvchange(8) is being invoked from early system initialisation scripts (e.g. rc.sysinit or an initrd), before writeable filesystems are available. As such, some functionality needs to be disabled and this option acts as a shortcut which selects an appropriate set of options. Currently this is equivalent to using --ignorelockingfailure, --ignoremonitoring, --poll n and setting LVM_SUPPRESS_LOCKING_FAILURE_MESSAGES environment variable.
- --noudevsync
- Disable udev synchronisation. The process will not wait for notification from udev. It will continue irrespective of any possible udev processing in the background. You should only use this if udev is not running or has rules that ignore the devices LVM2 creates.
- --ignoremonitoring
- Make no attempt to interact with dmeventd unless --monitor is specified. Do not use this if dmeventd is already monitoring a device.
- -M, --persistent y|n
- Set to y to make the minor number specified persistent.
- -p, --permission r|rw
- Change access permission to read-only or read/write.
- -r, --readahead ReadAheadSectors|auto|none
- Set read ahead sector count of this logical volume. For volume groups with metadata in lvm1 format, this must be a value between 2 and 120 sectors. The default value is "auto" which allows the kernel to choose a suitable value automatically. "None" is equivalent to specifying zero.
- --refresh
- If the logical volume is active, reload its metadata. This is not necessary in normal operation, but may be useful if something has gone wrong or if you're doing clustering manually without a clustered lock manager.
Examples
"lvchange -pr vg00/lvol1" changes the permission on volume lvol1 in volume group vg00 to be read-only.SEE ALSO
lvm(8), lvcreate(8), vgchange(8)
Index
This document was created by man2html, using the manual pages.
Time: 05:34:27 GMT, December 24, 2015


SetWindowsHookEx()
In order to use this technique the first thing we need to understand is how MS Windows hooks work. Basically, hooks are a way to intercept events and act on them.
As you may guess, there are many different types of hooks. The most common ones might be WH_KEYBOARD and WH_MOUSE. You guessed right, these can be used to monitor, the keyboard and mouse input.
The ‘SetWindowsHookEx()’ “installs an application-defined hook procedure into a hook chain.”
HHOOK WINAPI SetWindowsHookEx(
_In_ int idHook,
_In_ HOOKPROC lpfn,
_In_ HINSTANCE hMod,
_In_ DWORD dwThreadId
);
idHook [in]
Type: int
The type of hook procedure to be installed. (...)
lpfn [in]
Type: HOOKPROC
A pointer to the hook procedure. (...)
hMod [in]
Type: HINSTANCE
A handle to the DLL containing the hook procedure pointed to by the lpfn parameter. (...)
dwThreadId [in]
Type: DWORD
The identifier of the thread with which the hook procedure is to be associated. (...)
An interesting remark on MSDN states that:
“SetWindowsHookEx can be used to inject a DLL into another process. A 32-bit DLL cannot be injected into a 64-bit process, and a 64-bit DLL cannot be injected into a 32-bit process. If an application requires the use of hooks in other processes, it is required that a 32-bit application call SetWindowsHookEx to inject a 32-bit DLL into 32-bit processes, and a 64-bit application call SetWindowsHookEx to inject a 64-bit DLL into 64-bit processes. The 32-bit and 64-bit DLLs must have different names.”
Keep this in mind.
Here’s a simple extract of the implementation.
GetWindowThreadProcessId(targetWnd, &dwProcessId);
HHOOK handle = SetWindowsHookEx(WH_KEYBOARD, addr, dll, threadID);
We need to understand that every event that occurs will go through a hook chain, which is a series of procedures that will run on the event. The setup of ‘SetWindowsHookExe()’ is basically how we put our own hook procedure into the hook chain.
The code above takes the type of hook to be installed (WH_KEYBOARD), the pointer to the procedure, the handle to the DLL with the procedure, and the thread id to associate the hook to.
In order to get the pointer to the procedure we need to first load the DLL using the ‘LoadLibrary()’ call. Then we call ‘SetWindowsHookEx()’ and wait for the event that we want (in our case pressing a key). Once that event happens our DLL is executed.
Note that even the CIA guys are, potentially, having some fun with ‘SetWindowsHookEx()’ as we can see on Wikileaks.
For the complete source code see ‘t_SetWindowsHookEx.cpp’.


Question System
{{ userName }}
Logout
Questionnaires Management
Category Management
Form Data Management
Category


GAME OVER
Your goal is to escape
Use the arrow keys to control your ship
The portals are the only escape routes
Your fuel tank is leaking, you dont have much time before you run out
You can collect gems to refuel your tank
Some portals are corrupted, nothing good happens there
You may have no escape routes at some point, you'll juste have to accept your faith


John Stratton
-
TechGladiator
Projects
Contact
On The Front End
Battling his way through the code for you!
Learn more
© 2019 John Stratton
×
Contact Form
Name:
Phone:
Email:
Message:
Send


1 Say: O disbelievers!
2 I worship not that which ye worship;
3 Nor worship ye that which I worship.
4 And I shall not worship that which ye worship.
5 Nor will ye worship that which I worship.
6 Unto you your religion, and unto me my religion.


{% extends "base.html" %} {% block body %}
Organise is yet another todo list built with the lovely Flask. What other app could have possibly been built instead?
We ♥ CRUD
Organise Now


Bank of Computer 5B
Create a New Bank Account
Name
Initial Deposit Amount
Password
Create Account
Welcome
Savings Account Balance: $
Amount
Deposit to Savings
Withdraw from Savings
Transfer to Checking
Checking Account Balance: $
Amount
Deposit to Checking
Withdraw from Checking
Transfer to Savings
Log Out
Password
Log Back In


Release Notes
Release Notes For 2.1.0
KubeSphere 2.1.0 was released on Nov 11th, 2019, which fixes known bugs, adds some new features and brings some enhancement. If you have installed versions of 2.0.x, please upgrade it and enjoy the better user experience of v2.1.0.
Installer Enhancement
- Decouple some components and make components including DevOps, service mesh, app store, logging, alerting and notification optional and pluggable
- Add Grafana (v5.2.4) as the optional component
- Upgrade Kubernetes to 1.15.5. It is also compatible with 1.14.x and 1.13.x
- Upgrade OpenPitrix to v0.4.5
- Upgrade the log forwarder Fluent Bit to v1.3.2
- Upgrade Jenkins to v2.176.2
- Upgrade Istio to 1.3.3
- Optimize the high availability for core components
App Store
Features
Support upload / test / review / deploy / publish/ classify / upgrade / deploy and delete apps, and provide nine built-in applications
Upgrade & Enhancement
- The application repository configuration is moved from global to each workspace
- Support adding application repository to share applications in a workspace
Storage
Features
- Support Local Volume with dynamic provisioning
- Provide the real-time monitoring feature for QingCloud block storage
Upgrade & Enhancement
QingCloud CSI is adapted to CSI 1.1.0, supports upgrade, topology, create or delete a snapshot. It also supports creating PVC based on a snapshot
BUG Fixes
Fix the StorageClass list display problem
Observability
Features
- Support for collecting the file logs on the disk. It is used for the Pod which preserves the logs as the file on the disk
- Support integrating with external ElasticSearch 7.x
- Ability to search logs containinh Chinese words
- Add initContainer log display
- Ability to export logs
- Support for canceling the notification from alerting
UPGRADE & ENHANCEMENT
- Improve the performance of log search
- Refine the hints when the logging service is abnormal
- Optimize the information when the monitoring metrics request is abnormal
- Support pod anti-affinity rule for Prometheus
BUG FIXES
- Fix the mistaken highlights in the logs search result
- Fix log search not matching phrases correctly
- Fix the issue that log could not be retrieved for a deleted workload when it is searched by workload name
- Fix the issue where the results were truncated when the log is highlighted
- Fix some metrics exceptions: node
inode
, maximum pod tolerance - Fix the issue with an incorrect number of alerting targets
- Fix filter failure problem of multi-metric monitoring
- Fix the problem of no logging and monitoring information on taint nodes (Adjust the toleration attributes of node-exporter and fluent-bit to deploy on all nodes by default, ignoring taints)
DevOps
Features
- Add support for branch exchange and git log export in S2I
- Add B2I, ability to build Binary/WAR/JAR package and release to Kubernetes
- Support dependency cache for the pipeline, S2I, and B2I
- Support delete Kubernetes resource action in
kubernetesDeploy
step - Multi-branch pipeline supports trigger other pipelines when create or delete the branch
Upgrades & Enhancement
- Support BitBucket in the pipeline
- Support Cron script validation in the pipeline
- Support Jenkinsfile syntax validation
- Support custom the link in SonarQube
- Support event trigger build in the pipeline
- Optimize the agent node selection in the pipeline
- Accelerate the start speed of the pipeline
- Use dynamical volume as the work directory of the Agent in the pipeline, also contributes to Jenkins #589
- Optimize the Jenkins kubernetesDeploy plugin, add more resources and versions (v1, app/v1, extensions/v1beta1、apps/v1beta2、apps/v1beta1、autoscaling/v1、autoscaling/v2beta1、autoscaling/v2beta2、networking.k8s.io/v1、batch/v1beta1、batch/v2alpha1), also contributes to Jenkins #614
- Add support for PV, PVC, Network Policy in deploy step of the pipeline, also contributes to Jenkins #87、#88
Bug Fixes
- Fix the issue that 400 bad request in GitHub Webhook
- incompatible change: DevOps Webhook’s URL prefix is changed from
/webhook/xxx
to/devops_webhook/xxx
Authentication and authority
Features
Support sync and authenticate with AD account
Upgrades & Enhancement
- Reduce the LDAP component’s RAM consumption
- Add protection against brute force attacks
Bug Fixes
- Fix LDAP connection pool leak
- Fix the issue where users could not be added in the workspace
- Fix sensitive data transmission leaks
User Experience
Features
Ability to wizard management of projects (namespace) that are not assigned to the workspace
Upgrades & Enhancement
- Support bash-completion in web kubectl
- Optimize the host information display
- Add connection test of the email server
- Add prompt on resource list page
- Optimize the project overview page and project basic information
- Simplify the service creation process
- Simplify the workload creation process
- Support real-time status update in the resource list
- optimize YAML editing
- Support image search and image information display
- Add the pod list to the workload page
- Update the web terminal theme
- Support container switching in container terminal
- Optimize Pod information display, and add Pod scheduling information
- More detailed workload status display
Bug Fixes
- Fix the issue where the default request resource of the project is displayed incorrectly
- Optimize the web terminal design, make it much easier to find
- Fix the Pod status update delay
- Fix the issue where a host could not be searched based on roles
- Fix DevOps project quantity error in workspace detail page
- Fix the issue with the workspace list pages not turning properly
- Fix the problem of inconsistent result ordering after query on workspace list page
页面内容


Here you can test how the Hit type: transaction is going to be duplicated to Pipes. Please click on the links below. Each click will send a pageview to Pipes.
Please activate Preview mode in Google Tag Manager to see if all events are properly fired.
Product Name: Coutie Vans


title = "Blog Post" url = "/blog/post/:slug" layout = "passages" description = "Viewing a single blog post" is_hidden = 0 [blogPost] slug = "{{ :slug }}" categoryPage = "blog/category" [postNavigation] slug = "{{ :slug }}" smallNav = 0 postPage = "blog/post" seriesPage = "blog/category" == post->title;*/ if (isset($this->post)) $this->page->title = $this->post->title; $this['bannerImage'] = $this->themeUrl('assets/images/blog-banner.jpg'); if ($this->post && $this->post->featured_images->count() > 0) { $this['bannerImage'] = $this->post->featured_images->first()->getPath(); } } ?> ==


Name your season (e.g. Season 2017)
{{ $ctrl.errors.name }}
Interval is required.
Number of events is required.
{{$ctrl.getDateForInterval($ctrl.season, $ctrl.season.numberOfEvents-1) | date: 'yyyy.MM.dd'}}


{% extends "base.html" %}
{% block content %}
Usage Logs Export has completed
Export ID: {{ export_id }}
{% if status == 'success' %}
| The exported logs information can be found at {{ exported_data_url }} and will remain accessible for {{ exported_data_expiration }} seconds before being deleted. |
{% elif status == 'failed' %}
| The attempt to export the logs in the specified range has failed. This operation will be retried up to 3 times. Please contact support if this problem persists. |
{% elif status == 'timedout' %}
| The attempt to export the logs in the specified range has timed out. Please contact support if this problem persists. |
{% elif status == 'invalidrequest' %}
| The attempt to export the logs failed due to an invalid request. Please contact support if this problem persists. |
{% endif %}
| If you did not initiate this operation, please delete this e-mail. |
Best Wishes,
The {{ app_title }} Team
{% endblock %}


Words:
0
Total Characters(including trails):
0
Characters (excluding trails):
0
Characters (excluding all spaces):
0
Count


Yes… I MADE LOLCAT!
The photo is from my flickr photostream, [link]; taken whilst we were staying at the farm – couldn’t resist taking a snap of these two “love cats”
Who knows why I end up doing this sort of thing… it’s not like I’ve got time to waste these days!
Right, back to work!


{% load staticfiles %}
| No. | Service Name | Service Price |
|---|---|---|
| {{ forloop.counter }} | {{ services.title }} {% include 'carts/snippets/remove-services.html' with services_id=services.id %} | {{ services.price }} |
| Subtotal Rs.{{ cart.subtotal }} | ||
| Total Rs.{{ cart.total }} | ||
| Checkout |
Cart is empty
{% endif %}


Information architecture (IA) is the structural design of an information space to facilitate intuitive access to its contents.
IA comprises:
Tree testing tests whether an information hierarchy (tree) is intuitive to end users:
Tree testing is sometimes also known as hierarchy validation or reverse card sorting.
c-inspector.com
Commercial, discontinued 2014.
naviewapp.com
Commercial, discontinued 2017.
https://userzoom.com/tree-testing/
Commercial ($$$), edu plan.
treejack.com
Commercial ($166 per month per user), edu plan.
Will be free, open-source.
https://ftp.isds.tugraz.at/pub/theses/amehic-2019-msc.pdf
http://boxesandarrows.com/card-based-classification-evaluation/
https://treetesting.atlassian.net/wiki/spaces/TTFW/
https://nngroup.com/articles/interpreting-tree-test-results/
Thanks to my students present and past:
My web site:
https://isds.tugraz.at/keith/
These slides:
https://keithandrews.com/talks/2019/uxdg-2019-11-14-tree-testing/


Colorbrewer and viridis have been the two main resources for this page.
library(RColorBrewer)
display.brewer.all(colorblindFriendly = TRUE)
Please see the viridis: Default Color Maps from ‘matplotlib’ CRAN package. Thre is a great vignette by the package authors.
library(ggplot2)
library(viridis)
ggplot(data.frame(x = rnorm(10000), y = rnorm(10000)), aes(x = x, y = y)) +
geom_hex() +
coord_fixed() +
scale_fill_viridis() + # The virdis color scale
theme_bw()
## Warning: Computation failed in `stat_binhex()`:
## Package `hexbin` required for `stat_binhex`.
## Please install and try again.
library(scales)
show_col(viridis_pal(option = 'viridis')(10))
show_col(viridis_pal(option = 'magma')(10))
Here’s a function to plot colors in a series of rectangles (written by Vicki)
pal <- function(col, border = "light gray", ...) {
n <- length(col)
plot(0, 0,
type = "n",
xlim = c(0, 1),
ylim = c(0, 1),
axes = FALSE,
xlab = "", ylab = "", ...)
rect(0:(n - 1) / n,
0,
1:n/n,
1,
col = col,
border = border)
}
HEX
#b2182b
#ef8a62
#fddbc7
#d1e5f0
#67a9cf
#2166ac
colours <- c(
'#b2182b',
'#ef8a62',
'#fddbc7',
'#d1e5f0',
'#67a9cf',
'#2166ac'
)
pal(colours)
colours <- c(
'#b2182b',
'#ef8a62',
'#fddbc7',
'#ffffff',
'#d1e5f0',
'#67a9cf',
'#2166ac'
)
pal(colours)
Here is a function to plot colors in a pie chart (written by Vicki)
wheel <- function(col, radius = 1, ...) {
pie(rep(1, length(col)), col = col, radius = radius, ...)
}
Colorbrewer only has 1 color scheme that is both colorblind and print friendly. It only allows 4 classes.
Hex:
#a6cee3
#1f78b4
#b2df8a
#33a02c
cbPalette <- c(
'#a6cee3',
'#1f78b4',
'#b2df8a',
'#33a02c'
)
wheel(cbPalette)
Here we added a grey color to be used as a NA
value in plots.
cbPalette <- c(
'#a6cee3',
'#1f78b4',
'#b2df8a',
'#33a02c',
"#999999",
'#000000',
'#ffffff'
)
wheel(cbPalette)
RGB:
166,206,227
31,120,180
178,223,138
51,160,44
CMTK
35,7,0,0
90,30,0,0
30,0,45,0
80,0,100,0
The colorbline friendly pallete is the same as the colorblind and print friendly color scheme.
Removing the colorblind friendly limitation, gives us a maximum of 9 qualitative colors. There is only 1 color scheme for this many classes.
HEX
#e41a1c
#377eb8
#4daf4a
#984ea3
#ff7f00
#ffff33
#a65628
#f781bf
#999999
cbPalette <- c(
'#e41a1c',
'#377eb8',
'#4daf4a',
'#984ea3',
'#ff7f00',
'#ffff33',
'#a65628',
'#f781bf',
'#999999'
)
wheel(cbPalette)
RGB
228,26,28
55,126,184
77,175,74
152,78,163
255,127,0
255,255,51
166,86,40
247,129,191
153,153,153
CMYK
10,90,80,0
80,30,0,0
70,0,80,0
40,65,0,0
0,50,100,0
0,0,80,0
35,60,80,0
0,50,0,0
0,0,0,40


Everything You Always Wanted to Know About NLP but Were Afraid to Ask
09:00 AM - 09:55 AM on July 17, 2016, Room CR7Steven Butler and Max Schwartz
- Audience level:
- novice
Description
Natural language processing can be a daunting field to dive into for a beginner. The need for a working knowledge of machine learning, statistics, linguistic theory, and data management techniques can seem like a high bar to meet for a person who just wants to write a Twitter bot, so our aim is to give a crash-course in the basic ideas and tools people might need to get started building something cool. We will cover core concepts in linguistics and explain how Python can be used to analyze, interpret, and even mimic natural language.
Abstract
This talk will provide an overview of the theory and tools needed to get started for Python programmers with little-to-no experience with natural language programming, and will be co-presented by Steven Butler and Max Schwartz. Topics discussed will include n-gram language models, part-of-speech tagging, syntactic parsing, morphological segmentation, and other tasks related to text-based natural language processing. Linguistic topics will include core areas of linguistic theory like syntax, semantics, and morphology. Tools and resources demonstrated will include Python’s Natural Language Toolkit (NLTK), WordNet, and several general-purpose language corpora.
Participants will be encouraged to explore example code during the presentation. Our goal is to provide a foundation in NLP on a conceptual level, with the goal that participants will have enough information to begin implementing these ideas in their own projects.


{% extends "base.html" %} {% block page_title %}Password Reset{% endblock %} {% load account %} {% block content %}
The password reset link was invalid, possibly because it has already been used. Please request a new password reset.
{% else %} {% if form %} {% else %}Your password is now changed.
{% endif %} {% endif %}


The Downloads location is the directory where all new content will be saved upon downloading. For more information about downloading new content, see: Downloading.
The default Downloads location is the user's Downloads directory.
Typically: %userprofile%\Downloads\
.
Shown in Figure 1 is the panel for editing the Downloads location.
To type in a location: click on the input box below the Download to: heading (shown in Figure 1).
Either begin typing or paste in the path from the clipboard (perform a right-click and select Paste or use the keyboard shortcut CTRL + V
).
To browse for a directory on your machine: click on the ... button to the right of the input box to open the Browse for folder dialogue box (shown in Figure 2).
Once you have selected the desired folder: click on the OK button to close the dialogue box.
Or to cancel (and leave the Downloads location unchanged): click on the Cancel button.


seems like our servers got dusted in the snap Our Avengers are working on getting the universe back to normal


part of the markdeck docs
to proceed to the next slide, press ‘space’, ‘cursor right’, or click the nervous arrow at the edge.
You find the source of the current slide on the right side, and the rendered result on the left.*
*: the only case where iframe
s are appropriate.
With the bg
attribute, you can specify the background color of a slide.
here: bg=#222244
With the bg
attribute, you can specify a background image for the slide:
after the definition for the solid color, separated by a semicolon.
here: bg=#222244;assets/bgimage.jpg
TODO
find more documentation


How To Win:
Each player takes turn to clear one or more stick (must be next to each other) in one row only. The player that has last stick to clear loses the game.


by ipedrazas 0001-01-01 DevOps
categories: – DevOps – Mesos tags: – devops – docker
I’ve been wanting to write this for a while but it seems that it’s never the right time, so tonight, I’m biting the bullet and not going to bed until I write it all.
I’ve notice that lately people don’t talk about Docker so much. Nothing to complain about, really, but what happens is that people has shifted to talk about Kubernetes and Mesos… Sigh.
One of the questions I’ve asked more frequently is “How to move to Mesos… and is it worth it?”
There’s no straight answer to that question really. I don’t like to say “it depends” because it seems that you’re trying to run away, but in this case it really does.
It’s a bit like asking “how to go to the London Eye”, first thing I need to find out is to know where you’re travelling from because it is not the same to come from Liverpool than from Liverpool street… Distance is important because I can assume that if you come from Liverpool you will arrive to London Euston (but I might be wrong, and you might be travelling by car instead of train…).
Anyway, it doesn’t matter where you come from, I’m sure you will manage to find the way to the London Eye, and if not… just ask. There’s plenty of people happy to help.
With Mesos you have a similar problem, you see? it’s not the same to come from a multi-monolithic architecture with more silos than the MOD, than to have a very lean service based architecture with containers and service discovery already in place.
So, are containers important? strictly speaking: No, however, by using containers you can leverage some very cool functionality that systems like Mesos have.
Service Discovery, anyone? let’s put it like this, it does not matter how you build software, using SD should be part of it. Period.
There are 3 big blocks in any application:
These blocks do not depend on what you run: Java, python, javascript… or where you run it: Amazon, Azure… they are 3 blocks that every software development has to define… what about in Mesos?
Well, Mesos, as a software, will need these 3 blocks: we have the runtime, mesos, marathon, cronos… the different configuration files these young lads use, and where do we run Mesos: our datacenter, AWS, Google…
The interesting thing is that inside Mesos those 3 blocks are somehow diluted.
To begin with, Context is Mesos… To the point that once you have Mesos you don’t have environments anymore. Your application have different datasources (Dev, Test, Prod) and different priorities, but it’s unlikely that you will have a Mesos cluster per environment (and if you do, there’s something very fundamental that you didn’t get right).
What makes Mesos very attractive is that “he knows” so you don’t have to. But to be able to do that your applications have to be built in a way that it’s safe for Mesos to move around (here it’s where containers and service discovery can be very handy).
As I said before, people keep asking me about Mesos and my answers always point towards the same place: maybe Mesos is not for you, but moving to containers and using service discovery will make your applications to work better and look, once you’re there, you’re not that far from Mesos.
In summary, you should not aim to use Service Discovery and containers as a pre-condition to Mesos, you should do it because it will make your life (and the life of people dealing with your systems) better.
Not everybody is Google, but everybody should aim to run applications like Google does.
polo is made with by @agonzalezro


Issue: PLIST-DUPLICATESReference: X3J13/92-102, dpANS 12.24
Glossary, p.26-33, initialization argument list
Glossary, p.26-49
Section 7.1.1, Initialization Arguments
Section <IP_ADDRESS>, Specifiers for keyword parameters
X3J13/92-3107, Kim Barrett comment #7
Category: CHANGE
Edit History: Version 1, 1/6/93, Kim Barrett
Status: Proposal ALLOW accepted 8-0, March 1993
Problem Description:
The definition of \term{property list} states that the keys must all be
distinct under EQ. This requirement goes all the way back to CLtL1.
However, it causes some problems. It forced the editor to define the term
\term{property list format} and describe some things in terms of that new
term rather than describing them as simply being property lists, because
these things were not required to satisfy the distinct keys requirement.
Initialization argument lists and keyword argument lists are among the most
pervasive, with the result that, strictly speaking, GETF and friends cannot
be used to maniplulate such lists. Instead, users must either write their
own functions for manipulation of such lists (with a possible concomitant
performance loss) or rely on implementors to use the "obvious" implementations
of these functions and hope for the best.
GET-PROPERTIES is incorrectly documented as accepting a list in
\term{property list format}, rather than a \term{property list}. This is a
technical change without basis in committee decision. It then goes on to
refer to that argument as a \term{property list}.
The terms \term{property}, \term{property indicator}, and \term{property
value} should probably all be defined in terms of lists in \term{property
list format} rather than in terms of \term{property lists}.
The term \term{initialization argument list} is not defined in terms of
the term \term{property list format}.
Proposal (PLIST-DUPLICATES:ALLOW):
1. Remove the unique key requirement for \term{property lists}, by deleting
the following phrase from its definition in the glossary
", and in which all \term{keys} are \term{different} under \funref{eq}"
and adding the following sentence
"When there is more than one \term{name} and \term{value} pair with
the \term{same} under \funref{eq} \term{name} in a \term{property list},
the first such pair determines the \term{property}."
2. Remove the term \term{property list format}, instead using the term
\term{property list} throughout the document.
3. Specify that REMF and REMPROP only remove the first occurance (the
\term{property}, as specified by (3) above) when there are multiple occurances
of the same key. Similarly, specify that SETF of GETF and SETF of GET update
only the first occurance.
4. Change the definition of the term \term{initialization argument list} to
specify that it is a \term{property list}. This allows the removal of some
redundant text from the second paragraph of section 7.1.1.
5. Change the description of keyword argument processing in section <IP_ADDRESS> to
use the terms \term{property list}, \term{property}, \term{property indicator},
and \term{property value} where appropriate.
Editorial Impact:
One global query replace, a few changes to one glossary entry, and a small
amount of rewriting of a couple paragraphs.
Rationale:
Addresses the problem description.
Item 1 is the leftmost rule used by initialization and keyword arguments.
Current Practice:
With the possible exception of REMF/REMPROP, does anybody *not* implement
exactly this?
Cost to Implementors:
Probably none.
Cost to Users:
None.
Performance Impact:
Users can use built-in operators for parsing such things as keyword argument
lists, possibly improving performance slightly.
 Makes the document slightly
smaller.
Discussion:
In item 3, alternatively, could make it unspecified whether REMF, REMPROP,
SETFof GETF and SETF of GET affect all or only the first occurance. However,
only affecting the first is more consistent with the new definition of a
property list and property. Not deleting all means that in some cases where
using REMF the idiom (do () ((not (remf plist property)))) is useful.


about us:
- Seattle
- Location
- hours open :6am-7pm
- +206928278308
- Tokyo
- Location
- hours open :6am-7pm
- +81-3928173300
- Dubai
- Location
- hours open :6am-7pm
- +297128278444
- paris
- Location
- hours open :6am-7pm
- +336928278308
- Lima
- Location
- hours open :6am-7pm
- +41902278308


Pine Crest School for 14 years. Favorite classes were Economics, Journalism, World History, and Ethics. Participated in Debate, Track & Field, and Film Club.
Guitar (I still play my dark blue Fender Stratocaster and Taylor Acoustic), wakeboarding, surfing, snowboarding, computers (taking them apart), graphic design (photoshop + illustrator).
Eating my mother's Cuban food, slumber-parties during Hurricane season, seeing the Stealth Bomber at the annual Air & Sea Show, cutting down fresh coconuts in our backyard.
Liberal Arts studies with a concentration in Economics. Graduated Cum Laude, conducting independent research on semiconductor innovation under 2011 Nobel Laureate, Christopher Sims. Computer Science coursework included Object-Oriented Programming, Mobile Telecommunications, and Statistics/Data Analysis.
Academically: modern art/architecture, molecular biology, and philosophy. Socially: countless good times with Tiger Inn eating club and AEPi fraternity. Actively: squash, soccer, and skateboarding. Spiritually: Zen, meditation, and yoga.
100+ person snowball fight between TI and Ivy after the 2010 blizzard; turning in the final draft of my Senior Thesis; NYC and Philly scavenger hunts; lectures by Brian Kernighan, Bonnie Bassler, and Beth Bogan; Reunions!
Summer internships with Memrise.com and Macmillan Ventures. Three years at BlackRock, in a dream role that combined financial engineering with client interaction. Built advanced tools for simulating portfolio risk, optimizing portfolio construction, and modeling historical data. Pitched and presented analytical content to executives at major corporate and government institutions.
Concerts, museums, parks, nightlife, restaurants (especially BBQ), escaping the cold, escaping the heat, the subway, the MoMa.
Brisket at Mighty Quinn's Barbeque, Summer Stage concerts in Central Park (Disclosure and Bonobo!), Koons retrospective at the Whitney, everything at 7th St and Avenue A.
Returned to my passion for technology, immersing myself in full-stack development through books, tutorials, and projects. Co-founded and built concierge platform for the resort-hotel space (successfully licensed to a 600-room property in Mexico). Built multiple very cool applications you can and should check out here.
Basing primarily out of Barcelona, traveled throughout Europe including Spain, England, Italy, Croatia, and Greece. Searched for wifi oases in the European desert. New friends, new experiences, new perspectives.
Wandering Rome all night before a 6am flight; pushing my first app to production; communicating entirely in Spanish for 3 months; setting off fireworks on New Year's Eve; consuming Jamón Ibérico, burrata, and vino tinto in large quantities.


My name is Jay Mendapara and I am a programmer, photographer, and a graphic designer. I am currently pursuing a B.S. in Computer Science with a minor in Psychology at Rutgers University. My journey into the world of photography kicked off a few years ago, when I first started sharing my perspective of the world with others. Over time, my objective of photography shifted from sharing my personal experiences to sharing the beauty of the world through nature photography and photojournalism. I am fascinated by landscapes, wildlife, and unique lifestyles so I work hard to integrate those elements into my portfolio. I started programming towards the end of high school, when I discovered the creative potential of a few lines of code. Soon after, I started to develop a strong passion for web development as it embodies creativity and human interaction. Today, I am ready to use what I have learned in school and on my own to overlook real-world projects with a fresh set of eyes. Here is my resume.
Spotify users are unable to directly share their liked songs with others. Sharify automatically creates a playlist of the user's most recently liked songs, which they can then share with their friends.
(Spotify API, OAuth 2.0, React, Flex, Heroku)
Users can request money from different groups of people vis SMS. The user has the ability to create and groups of people & their phone numbers.
(Twilio API, Capitol One API, Node.js, React)
Utilized the Merk Blockchain API to visualize the path of a drug as it travels around the world. Users can scan a barcode and see the drug's path on a Google Map.
(Google Maps API, Merck Blockchain API, HTML, CSS)
A virtual Madlibs game where multiple players message in their responses to a phone number and the phone number responds with the final story.
(Node.js, Twilio API)
Applied data visualtion to analyze sample data provided by Exxon and recommended solutions to efficiently minimize job times.
(Micrsoft BI and Excel)
Physically disabled people may have a hard time painting. Vocalart allows users to draw customizable shapes using their voices, essentially allowing them to paint on a computer.
(Microsoft LUIS Cognitive Service, React, p5.js)


"Sorry, no, but you can email her. Let me get you her card." The librarian starts, but you interrupt.
Conspiracy! You cry. I have been looking everywhere for this alleged Culinary Arts Coordinator! You all thought you could trick me, but I see the Truth!
"Oh, ok, just calm down," the librarian tries, but you refuse to quit.
No! I will not calm down! You are all the Culinary Arts Coordinator! the whole library system consists of Pod People! You are trying to take over! You are trying to spread recipes and literacy across the globe and corner the market! For shame! You yell at the top of your lungs.
You are unsure when the police arrived, but you do remember how the stun gun felt when they shocked you with it.


This Means
You Can
- Keep your subscribers hot, active, and engaged.
- Consistently send quality content with ease.
- Add value to people's lives and impact others.
- Build trust and nurture your subscribers.
- Establish yourself as a credible expert.
- Cultivate a tribe who want YOU to solve their issues.
- Send strategic emails that primes subscribers to buy.
- Make more money from serving your subscribers.
- Maximize the income potential of your email list.
BotNinja WhiteLabel Hosting
Your OWN
Custom Domain
You can incorporate your own custom domains with
BotNinja so that clients can access the platform from your domain!
Your
Logo
Brand your own SAAS platform to position as an agency authority
leader with the best in class omni channel follow up solution for small businesses.
Unlimited
Clients
No restrictions, no problems. Onboard as many clients and create as many chatbots.
You can keep unlimited margins while maintaining one account level subscriber base.


A lthough most known planets have many moons or satellites, the Earthís own Moon has been studied in the most detail with his close proximity. The Moon is one-fourth the size of Earth and so the pull of gravity on the lunar surface is approximately one-sixth of that on Earth.
Recent expeditions, mainly by the satellite Clementine have led to the discovery of a frozen ice formations at the poles of the Moon; however, the Moon does not have free water nor an atmosphere, which causes a static state of weather.
Revolving about the Earth approximately every 27 days, the Moon is 384,403 km (238,857 mi).
While the origin of our companion Moon remains in debate, the most probably theory of formation is the planetesimal impact. Stated within this theory is that the Moon originally grew from the dust particles of an original nebulae that formed the Earth and the rest of the Solar System.
As the Earth had begun its first rotations, the Moon spun off and because of its smaller mass, it was grabbed by gravitation into eternal revolution about the Earth. This theory has been repeatedly been proven by the similarity between the densities of the Earthís upper crust rocks and Moon rocks.
Still, with NASA budget cuts, missions to our closest neighbor have become rare, leaving many Moon colonization plans to be canceled.


Create New Store
Please Enter minimum number of Customer :
Please Enter maximum number of Customer :
Please enter sales of average cookies per customer:
Please enter location of store


|
Home >
Enterprise >
Participants >
HanSight > APT29 Configuration
|
HanSight Configuration
Description
HanSight Enterprise SIEM – A next-generation SIEM platform that enables security teams to accurately detect and prioritize threats across the enterprise network. It provides intelligent insights that guide security teams to respond quickly to reduce the impact of incidents.
Product Architecture
Data Collection
Flexible Correlation Engine
To combat advanced threats, the HanSight Enterprise SIEM employs cross-generation analytics techniques, including signature match, threat intelligence, correlation rules, and ML/AI-based anomaly detection. In the Eval test, most of the fired alerts came from detections by correlation rules or the ML engine.
The correlation engine (aka “SAE engine”) can perform correlation analysis across devices and attack stages to guarantee high-fidelity alerts with low false positives. It also supports chaining interrelated detections by the Boolean operators (AND/OR/NOT) and sequence operators (FOLLOW BY, WITHIN) to form complex logic. For example, in the Eval test to detect “Abnormal Powershell executes potential attack”, we correlated the data sources from both SysMon & ETW and used the Follow_By template to do cross-stage correlation.
The ML-based advanced analytics also plays an integral role in detecting advanced threats. For example, we leveraged SVM (ML in lab) to generate detection models for DNS tunneling. In the case of fileless attack detection, we used both the CNN + LSTM ML engines to detect anomalous PowerShell.
HQL (HanSight Query Language)
The HanSight Query Language is an interactive threat hunting/investigation tool developed on ad-hoc search. The query language syntax supports Linux pipeline and SQL with over 20 commands. Its powerful search capability, with easy-to-use features such as auto-completion, has greatly helped us in the Eval test to identify relevant telemetry and alerts/incidents, benefitting not only the on-site teams but also the MSSP teams
For more information about the HanSight Enterprise SIEM, visit the website at https://en.hansight.com/
Product Configuration
We use Sysmon v10.41. Attached is the configuration file. Below is the summary of captured event. We also configured blacklist/whitelist for each event, total number is greater than 1000.
Event ID 1 == Process Creation
Event ID 2 == File Creation Time
Event ID 3 == Network Connection
Event ID 5 == Process Terminated
Event ID 6 == Driver Loaded
Event ID 7 == Image Loaded
Event ID 8 == CreateRemoteThread
Event ID 9 == RawAccessRead
Event ID 10 == ProcessAccess
Event ID 11 == FileCreate
Event ID 12,13,14 == RegObject added/deleted, RegValue Set, RegObject Renamed
Event ID 15 == FileStream Created
Event ID 17,18 == PipeEvent. Log Named pipe created & Named pipe connected
Event ID 19,20,21, == WmiEvent. Log all WmiEventFilter, WmiEventConsumer, WmiEventConsumerToFilter activity


boston-consulting-group
Businessmodel of Boston Consulting Group
Customer Segments
BCG has a mass market business model, with little differentiation between customers. The company targets its offerings at firms of all sizes and industries seeking management consulting services.
Value Proposition
BCG offers four primary value propositions: convenience, customization, performance, and brand/status.
The company creates convenience by offering a three-step program for client enablement. The process involves a) identifying the capabilities necessary to win, b) developing better managers by providing them with a mix of managerial and technical skills, and c) developing next-level business platforms to maximize manager effectiveness. The program can be applied across industries.
The company offers customization through the second step of its enablement program. It develops programs with a curriculum tailored for specific managers and cohorts. For example, its “lean curriculum” has 24 modules, which are used in different combinations for different cohorts.
The company has demonstrated strong performance through tangible client results. High-profile examples of these outcomes include the following:
- An industrial engineering conglomerate used BCG’s enablement program to obtain more than $25 million worth of positive results (e.g., savings)
- A rolling stock manufacturer used BCG’s lean transformation program to decrease lead times by 70% and increase productivity by 30%
- A government agency used a new BCG operating model to increase productivity by 15%
- A pest control company used BCG’s pricing and infrastructure improvement program to drive bottom-line improvements of over 250 basis points annually
- A building products company used BCG’s lean manufacturing program to create bottom-line improvements worth over $100 million within two years The company has established a strong brand as a result of its success. It is one of the world’s top management consulting firms, operating 85 offices in 48 countries. Its clients include over two-thirds of the Fortune 500. Lastly, it has won many honors, including recognition as one of the “World’s Best Outsourcing Advisors” by IAOP (2016), as one of the “Best Firms to Work For” by Consulting magazine (2015), and as one of the top three consulting firms by Vault for three years in a row.
Channels
BCG’s main channel are its partners that acquire new consulting projects. The company promotes its offering through its social media pages and attendance at conferences.
Customer Relationships
BCG’s customer relationship is primarily of a dedicated personal assistance nature. Customers work directly with staff members to implement solutions. That said, there is a self-service component. The company’s website features self-help resources such as articles and research reports.
Key Activities
BCG’s business model entails creating and developing problem-solving solutions for customers.
Key Partners
BCG maintains the following partnership programs:
BrightHouse – The company partners with this firm, billed as the world’s first ideation company, to help clients become more purpose-driven to increase employee engagement and customer loyalty.
BCG Digital Ventures – The company works with business leaders and investment communities to quickly develop and introduce transformational digital platforms, products, and businesses.
Key Resources
BCG’s main resources are its human resources. Beyond its traditional consulting staff, it maintains the following key groups of employees:
BCG Gamma – Consists of world-class business consultants and data scientists who specialize in advanced analytics, utilizing computer science, machine learning, artificial intelligence, and statistics. Team members operate from BCG’s North American, Asian, and European hubs.
Centers of Excellence – Consist of specialist coaches and consultants who utilize proprietary resources and tools and design certification programs for clients. There are seven centers total.
Cost Structure
BCG has a value-driven structure, aiming to provide a premium proposition through significant personal service. Its biggest cost driver is likely cost of services, a variable expense. Other major drivers are in the areas of research/development and customer support/operations, both fixed costs.
Revenue Streams
BCG has one revenue stream, the fees charged to its clients for its selection of services. These fees vary by type of client and project.


{%extends 'base.html'%} {%load bootstrap4%} {%block content%} {%include 'genNav.html'%}
Found {{business|length}} Match
{%else%}No results founf for {{name}}
{%endif%} {%for bus in business%}Owner {{bus.user}}
NeighbourHood {{bus.neigbor.name}}
Contact {{bus.user.email}}


We offer the finest in pizza pies! We offer different sizes and only the very best in toppings. If you wish to place an order or see our menu please click the Order Now button. Otherwise feel free to give us a call or drop in!
Price is before toppings
$1.50 Each


Device Status
{{ online | count }} devices are online and receiving content updates.
{% if offline %}{{ offline | count }} devices are offline and not receiving content updates. The devices are:
-
{% for device in offline %}
- {{ device.nickname }} (Offline for {{ device.offline_for }}) {% endfor %}
No devices are offline.
{% endif %} {% if out_of_date %}The following devices are out of date and need to be updated:
-
{% for device in out_of_date %}
- {{ device.nickname }} (version {{ device.system_version }}) {% endfor %}


How we use your information
The Environment Agency runs the data returns service. Their personal information charter explains how they deal with your information.
The emissions data you send may be made available to the public.
We ask for your email address to send you a confirmation email but we don't keep it after that.
We don't collect any other personal information in this service.


The adapters
configuration object lets you create different global “saved settings” that you can mix and match in your models. The default
option indicates which saved setting should be used if a model doesn't have an adapter specified.
Keep in mind that options you define directly in your model definitions will override these settings.
For example, to use the in-memory adapter (for DEVELOPMENT ONLY), first install the module with npm install sails-memory
, then define it in adapters.js
:
memory: {
module: 'sails-memory'
},
then in your model definition, add adapter: 'memory'
:
module.exports = {
adapter: 'memory',
attributes: {
// some attributes
}
}
Sails adapters have been written for a variety of popular databases such as MySQL, Postgres and Mongo. You can find a list of supported adapters here.


- Launch bogg in collaboration with international textile designer Chang, leading patchwork bedding trend
- At the fair, sell bogg series that has been presented at the Seoul Living Design Fair for the past 2 years
Prestige home interior brand bogg presents bedding brand bogg to the Seoul Living Design Fair, slated for 27 Feb to 3 March at COEX in Samsung-dong.
Each year, the Seoul Living Design Fair, having taken place for 19 years since 1994, presents content that reflects the latest trend with living industry, leading brand and designer from home and abroad. This year, trend-leading, representative brands will be shown under the theme of new family landscape.
Bogg, which will be introduced as a main brand at the fair, is a popular bedding brand in home-shopping due to its unique patchwork design expressing modern and Korean beauty. This is the first time that a domestic home-shopping brand presents its products at the fair.
Bogg is only-one brand (self-production brand), launched in March 2013 in collaboration with international textile designer Chang Eung-Bok. It received a lot of favorable comments from buyers from all over the world when it was exhibited at the world's biggest interior fair, Maison & Objet.
It was Designer Chang who introduced the hot keyword, ¡®Up-Cycling (transforming products that are thrown away into the one with higher value)¡¯ to the interior industry. She applied traditional skill of patchwork, which is to put pieces of fabric together, into various items including furniture, bedding, cushion, and lighting. Designer Chang's creativity is widely recognized with the establishment of ¡®MONO Collection' and interior works for luxurious hotels at home and abroad.
¡®Bogg¡¯ is considered as one of high end bedding brand as much as luxury brand at a department store by using best quality cotton, only used for premium outfit with unique design of putting together pieces of fabric on which modern patterns are printed. Despite three to four times higher price than ordinary home-shopping bedding brands, ¡®bogg' is enjoying accumulated revenue of 30 billion won.
¡°¡¯bogg¡¯ is an art work expressing Korean and modern sensibility, and garners a lot of attention from the bedding industry at home and abroad. It is also leading patchwork bedding trend - a hot trend in the home-shopping industry," says Sunyoung Lee, director of underwear/bedding business of CJ O shopping. "The participation in the fair shows that ¡®bogg' product power, which can match specialized interior brand's product, is recognized. I expect this will be the opportunity for ¡®bogg' to elevate its status and increase brand awareness in the interior industry.¡±
¡®Bogg¡¯ presents romantic Mediterranean ¡°Provence Dream,¡± launched in 2011, ¡®English Garden,¡¯ applying hexagonal patchwork pattern, and ¡®Sweet Blossom,¡¯ using flower shoes as motif at the Seoul Living Design Fair, and sell its products at the fair.
|


{% extends "base.html" %}
{% block title %}| Video Upload Form{% endblock %}
{% block content %}
Video Upload Form:
{% if not user.is_authenticated %}
You are currently not logged in, this means you cannot edit or delete anything you upload.
{% endif %}
{{ message }}
{% endblock %}


{% url 'core:device-delete' object.id as delete_action %}
{% include "network_monitor/core/partials/action_modal.html" with prefix_id='action' message_class='text-danger' title='Delete Device' message='Are you sure to delete? this will remove the device permanently!' action=delete_action %}
{% endblock %}
{% block extra_js %}
{{form.media}}
{% endblock %}


Cape Coral hosting public input meetings on two parks this week
by WFTX Digital TeamCAPE CORAL, Fla. -- This week the City of Cape Coral will host two meetings to get your input on the design of several community parks.
Tuesday, residents are invited to talk about Lake Kennedy Racquet Club.
And on Thursday, they'll discuss Festival Park and Yellow Fever Creek Preserve.
Each meeting will be held at the Cape Coral Yacht Club from 6 p.m. to 8 p.m.
Last year, voters passed a bond setting set aside $60 million to pay for seven new neighborhood parks.


@API(status=EXPERIMENTAL)
public interface ShaderBuilder
Using a uniform in a shader is simple: reference the uniform by name in the shader GLSL declarations. The renderer will ensure the uniform is bound and updated appropriately.
Uniforms share the same name space. This simplifies implementations by avoiding the need to rename/rebind conflicting uniform names in the renderer. Use a prefix or suffix to ensure uniqueness and/or publish names of uniforms that should be reused.
Several uniforms are expected to be part of any renderer implementation that supports shaders. Their names are listed below as string constants with explanations of function.
| Modifier and Type | Method and Description |
|---|---|
MaterialShader |
build() |
ShaderBuilder |
fragmentSource(net.minecraft.util.Identifier fragmentSource)
Accepts a Supplier for GLSL 120 fragment shader source.
|
ShaderBuilder |
spriteDepth(int depth)
Deprecated.
|
ShaderBuilder |
uniform1f(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform1f> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform1i(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform1i> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform2f(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform2f> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform2i(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform2i> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform3f(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform3f> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform3i(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform3i> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform4f(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform4f> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniform4i(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.Uniform4i> initializer)
Creates a new uniform.
|
ShaderBuilder |
uniformArrayf(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.UniformArrayf> initializer,
int size)
Creates a new uniform.
|
ShaderBuilder |
uniformArrayi(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.UniformArrayi> initializer,
int size)
Creates a new uniform.
|
ShaderBuilder |
uniformMatrix4f(java.lang.String name,
UniformRefreshFrequency frequency,
java.util.function.Consumer<Uniform.UniformMatrix4f> initializer)
Creates a new uniform for this pipeline.
|
ShaderBuilder |
vertexSource(net.minecraft.util.Identifier vertexSource)
Accepts a resource id for GLSL 120 vertex shader source.
|
@API(status=DEPRECATED) @Deprecated ShaderBuilder spriteDepth(int depth)
ShaderBuilder vertexSource(net.minecraft.util.Identifier vertexSource)
Renderers should re-query sources and recompile shaders on resource reload and whenever renderer reload occurs. (Happens when user presses F3+A or changes some graphics settings.) This allows shader code distribution via resource packs and enables shader debugging without a game restart.
ShaderBuilder fragmentSource(net.minecraft.util.Identifier fragmentSource)
Renderers should re-query sources and recompile shaders on resource reload and whenever renderer reload occurs. (Happens when user presses F3+A or changes some graphics settings.) This allows shader code distribution via resource packs and enables shader debugging without a game restart.
ShaderBuilder uniform1f(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform1f> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform2f(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform2f> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform3f(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform3f> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform4f(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform4f> initializer)
ShaderManager
header for additional info.ShaderBuilder uniformArrayf(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.UniformArrayf> initializer, int size)
ShaderManager
header for additional info.ShaderBuilder uniform1i(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform1i> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform2i(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform2i> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform3i(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform3i> initializer)
ShaderManager
header for additional info.ShaderBuilder uniform4i(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.Uniform4i> initializer)
ShaderManager
header for additional info.ShaderBuilder uniformArrayi(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.UniformArrayi> initializer, int size)
ShaderManager
header for additional info.ShaderBuilder uniformMatrix4f(java.lang.String name, UniformRefreshFrequency frequency, java.util.function.Consumer<Uniform.UniformMatrix4f> initializer)
UniformUpdateFrequency
for additional info.MaterialShader build()


Login
Blockchain
Transactions
Confirmed
Unconfirmed
Blocks
Richlist
Stakers
Current epoch
Next epoch
About
QRL Whitepaper
Github
theQRL.org
Transactions
» Confirmed Tx
» Unconfirmed Tx
Blocks
Richlist
Stakers
» Current epoch
» Next epoch
About
» theQRL.org
» White Paper
» Github
Menu
Looking for node...
Next Stakers
Address
Balance
Nonce
Hash terminator
Ok


How to Register a Custom Data Compressor
with the G93 API
One of the motivations for creating the Gridfour G93 API was to assist investigators who were experimenting with different techniques for compressing raster data. To that end, G93 makes it easy to register new data-compression classes with the existing API so that you can add custom compression functions to G93 without modifying any of the existing API.
Currently, G93 uses two internal compression modules: one based on Huffman codes and one based on the well-known Deflate library. For this article, we will explore adding a new compression module based on BZip2. For general data compression applications, BZip2 can produce somewhat better results than Deflate, though it does require more processing time and memory resources to do so.
One reason that BZip2 is not included in our stock software distribution is that the Gridfour Project has adopted a strict rule that the Core Gridfour module does not introduce any secondary dependencies to a Java application. The Core module is pure Java code and depends only on the standard Java API. The Core module has no external dependencies. But, because BZip2 is not part of the standard Java API, adding it to the Core would have required allowing an external dependency. To work around that restriction the G93 file specification allows an application to register compression classes that belong to libraries external to Core.
Suppose we were to write a compression class called CodecBZip2 that depended on the compression utilities in the Apache Compression Library (commons-compress-1.19.jar or more recent versions). The class could be written by implementing the Gridfour interface IG93CompressorCodec:
public class CodecBzip2 implements IG93CompressorCodec { public CodecBzip2(){ } // methods from interface as appropriate }
We'll discuss more about the implementation below. For now, let's look at how the compression could be added to a G93File object.
G93FileSpecification spec = new G93FileSpecification(nRows, nCols, 90, 120); spec.addCompressionCodec("BZip2", CodecBzip2.class); // BZip2 is an arbitrary name for the compressor spec.setDataCompressionEnabled(true); File outputFile = new File("Test.g93"); G93File g93 = new G93File(outputFile, spec); g93.setTileCacheSize(G93CacheSize.Large); g93.setIndexCreationEnabled(true);
That's it. When the API goes to store the data for the G93 file, it constructs an instance of the CodecBZip2 class using the default constructor, and then uses that instance to perform data compression. Naturally, this approach leads to three important requirements for a supplemental compressor:
For this article, I implemented the CodecBZip2 class and ran it on the ETOPO1 data set that has been the subject of other "How-to" articles in this series. The results are as follows:
| Version | Time to Process | Bits/Symbol | File Size |
|---|---|---|---|
| Standard | 72 Seconds | 4.46 | 127.1 MB |
| BZip2 Added | 212 Seconds | 4.20 | 119.7 MB |
As you can see, the saving was modest, though the additional processing for adding BZip2 to the compression logic made a substantial increase in the application's run time. While the extra processing time is a disadvantage, it would not necessarily disqualify BZip2 as an alternate solution to Deflate. In applications that use data compression, it is common to write data in a compressed form just once, but to read it back multiple times. Like many data compression techniques, BZip2 requires substantially more processing to compress data, than to decompress it. So the extra processing for compression would be a one-time expense for the data producer, but would not affect the data consumers.
Details of how the Gridfour compressors work will be the subject of a future wiki article. For now, it is sufficient to note that G93 compresses the tiles in a data file individually. Each time a tile is written to the file, G93 tries each registered compression method and picks the one that yields the largest reduction in data storage size.
Each of the existing compression methods uses Predictive-Transform methods to improve the compressability of the data. There are 3 predictive-transform models currently supported: Differencing, Linear, and Triangle. The statistics below show which compression methods (Huffman, Deflate, and BZip2) were used for compression and which predictor. In the stock setup, Deflate usually produces better results, except for about 20 percent of the tiles for which Huffman works better. It turns out that BZip2 works well for the same kind of data as Deflate (both look for patterns in the data). So in most cases where Deflate would have been used, BZip2 was preferred.
The following statistics were issued through a call to
g93.summarize(System.out, true)
which was invoked after the storage of the G93 output file was complete. The times-used column indicates the number of tiles (and the percent of all tiles) for which a particular method was selected.
Codec G93_Huffman Predictor Times Used bits/sym entropy avg bits in tree/tile Differencing 393 ( 1.8 %) 1.9 2.3 205.4/20487.5 Linear 1572 ( 7.3 %) 2.9 2.9 744.3/30985.3 Triangle 3956 (18.3 %) 3.7 4.0 773.9/39829.3 DifferencingWithNulls 0 ( 0.0 %) 0.0 0.0 0.0/0.0 Codec G93_Deflate Predictor Times Used bits/sym entropy avg bits per tile Differencing 205 ( 0.9 %) 1.6 2.0 17037.2 Linear 179 ( 0.8 %) 5.3 5.6 56868.0 Triangle 1856 ( 8.6 %) 7.1 6.8 77096.0 DifferencingWithNulls 0 ( 0.0 %) 0.0 0.0 0.0 Codec BZip2 Predictor Times Used bits/sym entropy avg bits per tile Differencing 1269 ( 5.9 %) 1.2 1.4 13022.2 Linear 954 ( 4.4 %) 2.2 2.6 24079.9 Triangle 11216 (51.9 %) 4.7 5.4 50511.5 DifferencingWithNulls 0 ( 0.0 %) 0.0 0.0 0.0
For this article, the structure of the BZip2 compressor was very similar to the existing Deflate compressor class included in the Gridfour code distribution. So implementing CodecBZip2 was just a matter of copying the existing CodecDeflate compressor and replacing the calls to the Java Deflate API with calls to the Apache Compress BZip2 API.
However, it is important to note that the fact that we chose to simply refactor an existing module doesn't mean that all alternate compression techniques need to do the same thing. One of the ideas of G93 is to provide as much room for experimentation and variation as possible. So if you do wish to write your own compressor variation, feel free to do things differently.
The experiment with the BZip2 compression only explored a small fraction of the possible techniques that could have been tried in my efforts to reduce the size of the output file. But it does illustrate the potential of custom compressors to extend the capabilities of the Gridfour Core library.
If you choose to conduct your own investigations, we look forward to hearing about your results. Who knows? Perhaps you may discover techniques that substantially reduce the storage required for G93-based data products.


This demo shows you the current four supported themes. It is just a simple option of setting the picker classname to another CSS class.
Default:
Dashboard:
jQuery UI:
Vista:
Minimal:
Custom CSS classes
Simple Bootstrap


This class is a base class that defines the interface for the classes that implement methods used in path-based and link-based algorithms when the step size is calculated throw line search.
More...
#include <DescDirection.h>
This class is a base class that defines the interface for the classes that implement methods used in path-based and link-based algorithms when the step size is calculated throw line search.
| virtual int* DescDirection::getIndexes |
( |
| ) |
|
|
pure virtual |
| virtual FPType* DescDirection::getLinkFlows |
( |
| ) |
|
|
pure virtual |
- Returns
- pointer to an array with current link flows.
Implemented in ODSetWithStep.
| virtual int DescDirection::getOdIndex |
( |
| ) |
const |
|
pure virtual |
This method is used in path-based algorithms.
- Returns
- O-D pair index.
Implemented in ODSetWithStep.
This method is used in path-based algorithms.
- Returns
- pointer to object that implements path-based flow move.
Implemented in ODSetWithStep.
| virtual FPType* DescDirection::getProjectedDirection |
( |
| ) |
|
|
pure virtual |
- Returns
- a pointer to an array with direction of descent specified in terms of link flows.
Implemented in ODSetWithStep.
| virtual int DescDirection::getSize |
( |
| ) |
|
|
pure virtual |
- Returns
- size of the array with indexes.
Implemented in ODSetWithStep.
| virtual FPType DescDirection::getUpperBound |
( |
| ) |
|
|
pure virtual |
- Returns
- upper bound for line search.
Implemented in ODSetWithStep.
The documentation for this class was generated from the following file:


🥜 Nutshell (BETA)
What is :Nutshell?
Hi! You're invited to try out the Nutshell beta! Feel free to try it out on your websites/blogs, and send me your feedback via however I contacted you. I'll credit you as a beta-tester when Nutshell "officially" launches. :)
What can I do with Nutshell?
- You can embed "expandable explanations" from other pages, websites, and authors, even if they were already written long ago!
- Your Nutshells can also have audio, video, and interactive shtuff. (But don't worry, Nutshell stays safe by sanitizing HTML and sandboxing iframes) :Example
- [TODO: Support for embedding Wikipedia introductions, YouTube, and LaTeX]
How can I use Nutshell in my site?
First, if you'd like, try it out online with this interactive demo! (This demo uses Markdown, but you can use Nutshell with any word-editor you like, or directly in HTML)
(IMPORTANT NOTE: If you're working in HTML, you can't just type "# Header"!
Markdown parsing is NOT built into Nutshell, it's just part of the above demo!
You have to actually put it in header tags like
Header

.
Likewise, a link has to be :link
.
If you're working in a normal WYSIWYG text editor,
make headers and :links (with colons) as usual.)
If you liked that, here's how to install Nutshell in your blog or website...
Step 1: Put this in a page somewhere, preferably the :
Step 2: That's it.
(Details on how to write & embed Nutshells are in the interactive demo. Also, when embedding from other pages/sites, make sure both pages have Nutshell installed! If you're writing directly in HTML, you can see how this page does it itself on Github.)
[TODO: Custom styles, fine-tuning what text to embed, more direct Wordpress/Tumblr support?]
Send me feedback!
Try out the interactive demo, try Nutshell on your sites, and let me know how it goes! What was your experience reading & writing Nutshells? What did you like and not like? Bugs? Security issues? Feature requests? Send 'em all to me via however I pinged you, and I'll credit you as an early tester.
Thank you for helping me bring Nutshell to life!
💖,
~ Nicky Case
(P.S: Here's the open-source code!)


?row
shrub
of
7*j
fruit
bluish-green.
¥
H.
of
Pedro
Cross.
Alt.
400*.
R.
A.
Howard
G.
R.
Proctor
No.
13931
Sept.
16,
1954
stiera
segregata
(Tacq.)
Krug.
&
Urb.
det.
Carol
J.
Brooks
The
University
of
Alabama
INSTITUTE
OF
JAMAICA
PLANTS
OF
JAMAICA,
B.
W.
I.
Survey
of
vegetation
on
bauxite
and
related
areas
Parish:
St.
Elizabeth
Forestiera
porulosa
Po
ir.
01497700
Legend -
Level of confidence that token is an accurately-transcribed word
extremely low
very low
low
undetermined
medium
high
very high


Articles
-
From Ouazarzate
March 19, 2008
-
This is what I look like (for the academic world)
March 13, 2008
-
Fin Jornadas Culturales BFK
March 3, 2008
-
Morocco'08
March 2, 2008
-
deotm.wordpress.com
February 24, 2008
-
Acto de la Katxarraka en las Jornadas Culturales BFK
February 24, 2008
-
Last work before the show
February 23, 2008


| # | Beginner |
| 1 | Learning to Roll |
| 2 | Collect the Gems |
| 3 | Jump Training |
| 4 | Learn the Super Jump |
| 5 | Platform Training |
| 6 | Learn the Super Speed |
| 7 | Elevator |
| 8 | Air Movement |
| 9 | Gyrocopter |
| 10 | Time Trial |
| 11 | Super Bounce |
| 12 | Gravity Helix |
| 13 | Shock Absorber |
| 14 | There and Back Again |
| 15 | Marble Materials Lab |
| 16 | Bumper Training |
| 17 | Breezeway |
| 18 | Mine Field |
| 19 | Trapdoors! |
| 20 | Tornado Bowl |
| 21 | Pitfalls |
| 22 | Platform Party |
| 23 | Winding Road |
| 24 | Grand Finale |
| # | Intermediate |
| 1 | Jump Jump Jump |
| 2 | Monster Speedway Qualifying |
| 3 | Skate Park |
| 4 | Ramp Matrix |
| 5 | Hoops |
| 6 | Go for the Green |
| 7 | Fork in the Road |
| 8 | Tri Twist |
| 9 | Marbletris |
| 10 | Space Slide |
| 11 | Skee Ball Bonus |
| 12 | Marble Playground |
| 13 | Hop Skip and a Jump |
| 14 | Take the High Road |
| 15 | Half-Pipe |
| 16 | Gauntlet |
| 17 | Moto-Marblecross |
| 18 | Shock Drop |
| 19 | Spork in the Road |
| 20 | Great Divide |
| 21 | The Wave |
| 22 | Tornado Alley |
| 23 | Monster Speedway |
| 24 | Upward Spiral |
| # | Advanced |
| 1 | Thrill Ride |
| 2 | Money Tree |
| 3 | Fan Lift |
| 4 | Leap of Faith |
| 5 | Freeway Crossing |
| 6 | Stepping Stones |
| 7 | Obstacle Course |
| 8 | Points of the Compass |
| 9 | Three-Fold Maze |
| 10 | Tube Treasure |
| 11 | Slip 'n Slide |
| 12 | Skyscraper |
| 13 | Half-Pipe Elite |
| 14 | A-Maze-ing |
| 15 | Block Party |
| 16 | Trap Door Madness |
| 17 | Moebius Strip |
| 18 | Great Divide Revisited |
| 19 | Escher's Race |
| 20 | To the Moon |
| 21 | Around the World in 30 Seconds |
| 22 | Will o' Wisp |
| 23 | Twisting the Night Away |
| 24 | Survival of the Fittest |
| 25 | Plumber's Portal |
| 26 | Siege |
| 27 | Ski Slopes |
| 28 | Ramps Reloaded |
| 29 | Tower Maze |
| 30 | Free Fall |
| 31 | Acrobat |
| 32 | Whirl |
| 33 | Mudslide |
| 34 | Pipe Dreams |
| 35 | Scaffold |
| 36 | Airwalk |
| 37 | Shimmy |
| 38 | Path of Least Resistance |
| 39 | Daedalus |
| 40 | Ordeal |
| 41 | Battlements |
| 42 | Pinball Wizard |
| 43 | Eye of the Storm |
| 44 | Dive! |
| 45 | Tightrope |
| 46 | Natural Selection |
| 47 | Tango |
| 48 | Icarus |
| 49 | Under Construction |
| 50 | Pathways |
| 51 | Darwin's Dilemma |
| 52 | King of the Mountain |


This week’s top stories: AirPods Pro, 16-inch MacBook Pro exclusive, Apple TV+, and more
by Chance MillerIn this week’s top stories: An exclusive look at the 16-inch MacBook Pro, AirPods Pro are here, Apple TV+ debuts, iOS 13.2 release, and more. Read on for all of this week’s biggest news.
Apple this week officially released the new AirPods Pro. The AirPods Pro feature Active Noise Cancellation as well as Transparency mode. The new in-ear design is also more versatile, with Apple including three sets of ear tips in the box. You get five hours of battery life, and over 24 hours with the included charging case. AirPods Pro are available now for $249.
9to5Mac on Wednesday discovered an asset in macOS 10.15.1 that shows a close look at the Touch Bar and Touch ID layout for the rumored 16-inch MacBook Pro. In the image, you can see that the Touch ID button – which also serves as the power button – is separated from the rest of the Touch Bar. Read our full coverage here.
9to5Mac also reported this week that Apple is planning the “AirTag” name for its Tile-like item trackers. Read more on that here.
On Friday, Apple TV+ officially debuted to the public. Apple TV+ is launching with a library of nine titles, with a few more being released over the coming weeks. To watch Apple TV+, open the TV app on your device and look for the TV+ banner. From there, you can sign up for the service, and redeem your 1-year free trial if you’re eligible for it.
This week marked earnings week for Apple, with the company reporting its results for the fourth fiscal quarter of 2019. For the fourth quarter of 2019, Apple reported revenue of $64 billion and profit of $13.7 billion. The earnings release also included news about Apple Card: starting later this year, Apple Card users will be able to finance iPhone purchases at 0 percent interest for 24 months.
Last but not least, Apple released iOS 13.2 to the public on Monday. The update includes the new Deep Fusion camera technology for iPhone 11 and iPhone 11 Pro, new emoji, and more. There are new Siri privacy settings as well, for giving users more control over what data they share with Apple.
These and the rest of this week’s top stories below.
iOS | tvOS |
- iOS 13.2 now available with Deep Fusion, new emoji, Siri privacy settings, more
- iOS 13: How to use custom fonts on iPhone and iPad
- Apple releasing HomePod software update with promised voice profiles, Handoff features, much more
- HomePod adds new Ambient Sounds feature, here’s every command to try so far
- Complaints of iOS 13.2 killing background apps, ‘doesn’t multitask any more’
iPhone |
- How to use the Deep Fusion iPhone 11 and iPhone 11 Pro camera feature
- Exclusive: Apple planning ‘AirTag’ name for Tile-like tracker accessory
- Digitimes: 2020 iPhone to feature 120Hz high refresh rate ‘ProMotion’ display
- Deep Fusion differences sometimes subtle, but really show up in pet photos
- Apple Card adding 0% financing for iPhone purchases later this year
- First look at unreleased Apple Smart Battery case for iPhone 11, iPhone 11 Pro, and iPhone 11 Pro Max
Mac + iPad |
- Exclusive: 16-inch MacBook Pro Touch Bar and Touch ID layout confirmed
- Apple introducing new silver/black Magic accessories for upcoming Mac Pro
- Apple releases macOS Catalina 10.15.1 update with new Emoji, HomeKit Secure Video support, and more
Top Apple stories, retail |
- Apple Stores welcome AirPods Pro with larger-than-life window photography, custom displays
- Made in LDN Showcase will highlight Today at Apple creations in London
- Today at Apple and CaixaForum collaborate on creative sessions in Madrid
- ‘Snoopy in Space’ Design Lab landing in Apple Stores
Apple Watch |
- Apple releasing watchOS 6.1 to the public with Apple Watch Series 1 and Series 2 support, more
- AirPods Pro vs Powerbeats Pro: How specs, size, price, and more compare
- Act surprised: the first Xiaomi smartwatch closely resembles the Apple Watch
Apple TV |
- Apple TV+ is now live in the TV app: Start watching Apple’s original TV shows and movies
- Here’s how to get your free year of Apple TV+
- Apple TV+ Guide: Here’s all the Apple TV shows and movies available now
- $4.99/month Apple Music student subscription now bundles Apple TV+ for free
- Tim Cook explains why Apple is giving TV+ away for free, talks early Apple Arcade reception
Tech Industry |
- Review: Beats Solo Pro on-ear headphones blend AirPods features with Studio noise cancellation
- Linksys debuts Velop WiFi 6 mesh system with speeds up to 5.3Gbps, 6,000 sq ft coverage
AirPods |
- Apple unveils new in-ear AirPods Pro coming October 30 for $249
- What’s the difference in AirPods and AirPods Pro? Here’s how size, price, and features compare
- AirPods Pro vs Powerbeats Pro: How specs, size, price, and more compare
- AirPods Pro first impressions: Noise cancellation ‘better than expected,’ impressive fit, design [Videos]
- Tim Cook says AirPods Pro are complementary to AirPods, not replacements
- Poll: Are you buying the new in-ear AirPods Pro with noise cancellation?
- AirPods Pro: How to use Ear Tip Fit Test and change tips
- AirPods Pro sound review: Quality ‘fine’ and overall ’best wireless earbuds on the market’
- AirPods Pro: How to customize Force Sensor controls
- AirPods Pro teardown puts a spotlight on the tiny chips inside Apple’s noise-canceling wireless earbuds
- AirPods Pro replacement and repair costs rise to $89 per earbud, same for case
- AirPods Pro: How to use noise cancellation and Transparency mode
Top Apple stories, company |
- Apple releases fiscal Q4 2019 earnings, announces revenue of $64 billion
- Comment: Apple is gradually selling more and more of us an iPhone subscription
- Apple promotes several senior directors to VP positions, early iPhone marketing exec returns
Subscribe to 9to5Mac’s YouTube channel for more videos.
This week’s top videos |
- Review: Apple Watch Series 5 always-on display is a big improvement, but it comes at a cost [Video]
- Creating a Mac mini video editing setup for under $2,000 [Video]
9to5Mac Daily |
Sponsored by Channels: Channels makes it easy to watch live TV from all of your devices. Get your first month of Channels Plus for free here.
Listen to a recap of the top stories of the day from 9to5Mac. 9to5Mac Daily is available on iTunes and Apple’s Podcasts app, Stitcher, TuneIn, Google Play, or through our dedicated RSS feed for Overcast and other podcast players.
- 9to5Mac Daily: November 01, 2019 – Apple TV+ debuts, more
- 9to5Mac Daily: October 31, 2019 – 16-inch MacBook Pro, AAPL earnings
- 9to5Mac Daily: October 30, 2019 – watchOS 6.1, Apple TV+ bundle
- 9to5Mac Daily: October 29, 2019 – AirPods Pro officially announced
- 9to5Mac Daily: October 28, 2019 – ProMotion iPhone displays, Apple’s smart home plans
9to5Mac Watch Time episode 9 |
Will Sigmon joins Zac to talk about their shared passion for technology, Will’s experience excelling with dwarfism, practical uses for Apple Watch Walkie-Talkie, Made for iPhone hearing aid integration with iOS and watchOS, and much more.
9to5Mac Watch Time is a seasonal podcast series hosted by Zac Hall. In this series, we talk to real people about how the Apple Watch is affecting their lives.
9to5Mac Watch Time is now available on Apple Podcasts, Overcast, and your favorite podcast player through RSS. Subscribe now to enjoy our teaser trailer and hear new episodes as soon as they drop — starting next week.
Happy Hour Podcast #249 |
iPhone 5 is just days away from going offline with a critical update, Apple unveiled new AirPods Pro in-ear headphones, 9to5Mac has a detailed glimspe at the 16-inch MacBook Pro, and Apple releases new features for HomePod.
9to5Mac Happy Hour is available on iTunes and Apple’s Podcasts app, Stitcher, TuneIn, Google Play Music, or through our dedicated RSS feed for Overcast and other podcast players.
Stacktrace Podcast #59 |
Apple releases the AirPods Pro, and the Rambo Report makes its triumphant return as the name of Apple’s tracking tag is revealed. Also, balancing fixing tech debt with feature development, Swift vs SDK features, and much more.
Stacktrace by 9to5Mac is available on iTunes and Apple’s Podcasts app or through our dedicated RSS feed for Overcast and other podcast players.
Apple @ Work |
Apple @ Work is a weekly series from Bradley Chambers covering Apple in education. Bradley has been managing Apple devices in an education environment since 2009. Through his experience deploying and managing hundreds of Macs and hundreds of iPads, Bradley will highlight ways in which Apple’s products work at scale, stories from the trenches of IT management, and ways Apple could improve its products for students.
- Apple @ Work: How will Wi-Fi 6 impact Apple in the enterprise?
- Apple @ Work: When to deploy macOS Catalina, iOS 13, and iPadOS 13
- Apple @ Work: IoT devices face security problems that must be addressed
- Apple @ Work: Did web apps allow the Mac to flourish in the enterprise?
- Apple @ Work: Why are IT professionals choosing Apple products when they used to ban them?
Subscribe to get all 9to5Mac’s stories delivered to your inbox daily. And to 9to5Toys for the best deals from around the web.
FTC: We use income earning auto affiliate links. More.


| power.prop.test {stats} | R Documentation |
Compute the power of the two-sample test for proportions, or determine parameters to obtain a target power.
power.prop.test(n = NULL, p1 = NULL, p2 = NULL, sig.level = 0.05, power = NULL, alternative = c("two.sided", "one.sided"), strict = FALSE, tol = .Machine$double.eps^0.25)
n |
number of observations (per group) |
p1 |
probability in one group |
p2 |
probability in other group |
sig.level |
significance level (Type I error probability) |
power |
power of test (1 minus Type II error probability) |
alternative |
one- or two-sided test. Can be abbreviated. |
strict |
use strict interpretation in two-sided case |
tol |
numerical tolerance used in root finding, the default providing (at least) four significant digits. |
Exactly one of the parameters n
, p1
, p2
,
power
, and sig.level
must be passed as NULL, and that
parameter is determined from the others. Notice that sig.level
has a non-NULL default so NULL must be explicitly passed if you want
it computed.
If strict = TRUE
is used, the power will include the probability of
rejection in the opposite direction of the true effect, in the two-sided
case. Without this the power will be half the significance level if the
true difference is zero.
Object of class "power.htest"
, a list of the arguments
(including the computed one) augmented with method
and
note
elements.
uniroot
is used to solve power equation for unknowns, so
you may see errors from it, notably about inability to bracket the
root when invalid arguments are given. If one of them is computed
p1 < p2
will hold, although this is not enforced when both are
specified.
Peter Dalgaard. Based on previous work by Claus Ekstrøm
power.prop.test(n = 50, p1 = .50, p2 = .75) ## => power = 0.740 power.prop.test(p1 = .50, p2 = .75, power = .90) ## => n = 76.7 power.prop.test(n = 50, p1 = .5, power = .90) ## => p2 = 0.8026 power.prop.test(n = 50, p1 = .5, p2 = 0.9, power = .90, sig.level=NULL) ## => sig.l = 0.00131 power.prop.test(p1 = .5, p2 = 0.501, sig.level=.001, power=0.90) ## => n = 10451937


Be careful, loading rates will rewrite your changes.
全部 rates will be downloaded from European Central Bank www.ecb.europa.eu