featured works Reimersrisso laravel 3 + jquery Estudio GD laravel 3 + jquery CPD(in progress...) laravel 4 + jquery Wagon laravel 3 + jquery JetSetLengo Wordpress theme and admin customization Biocare Wordpress theme and admin customization for fun Playing with angularjs/bootstrap, online delivery and budget calculator. Playing with Polymer + sass + gulp, a mastermind clone(works better on chrome).
experience Front End Developer - Fizzmod - 2016 - present Contractor Front End Developer - phlow - 2015 - 2015 Fullstack developer - RubiM - 2011 - present PC technician - Mlnetworking - July 2011 - July 2012 QA analyst - Globant - January 2009 - January 2010
education Bachiller en Artes Plásticas - Bachillerato de Bellas Artes UNLP Licenciatura en informática (in progress) - UNLP
+54<PHONE_NUMBER>
facebook
twitter
linkedin
google+
github
codepen


Kyle I S Harrington /<EMAIL_ADDRESS>The nervous system is a net of neurons each having a soma and an axon
McCulloch, W.S. and Pitts, W., 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, 5(4), pp.115-133.Their adjunctions, or synapses, are always between the axon of one neuron and the soma of another
McCulloch, W.S. and Pitts, W., 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, 5(4), pp.115-133.At any instant a neuron has some threshold, which excitation must exceed to initiate an impulse
McCulloch, W.S. and Pitts, W., 1943. A logical calculus of the ideas immanent in nervous activity. The bulletin of mathematical biophysics, 5(4), pp.115-133.$y_k = \phi ( \displaystyle \sum_{j=1}^m w_{kj} x_j + x_0)$
$x_1 \textbf{ AND } x_2$
$x_1 \textbf{ OR } x_2$
$\textbf{NOT } x_1$
$x_1 \textbf{ XOR } x_2$
How do we set the weights?
The assumption, in brief, is that a growth process accompanying synaptic activity makes the synapse more readily traversed.
Hebb, Donald Olding. The organization of behavior: A neuropsychological theory. Psychology Press, 1949.When an axon in cell A is near enough to excite cell B and repeatedly and persistently takes part in firing it, some growth process or metabolic change takes place in one or both cells such that A’s efficiency in firing B is increased.
Hebb, Donald Olding. The organization of behavior: A neuropsychological theory. Psychology Press, 1949.Hebb's learning rule: fire together, wire together
$\Delta w_{kj} = \eta x_j y_k$
change weight $i$ proportinally to the product of the input and the output
$\Delta w_{kj} = \eta x_j y_k$
Problems?
How do we find weights that can produce a particular output?
$\Delta w_{kj} = \eta ( t_k - o_k ) i_k$
More linear threshold units
And more learning methods


--- layout: page title: "Contact" description: "Swing by for a cup of coffee, or leave us a message:" header-img: "img/contact-bg.jpg" ---
Want to get in touch with me? Fill out the form below to send me a message and I will try to get back to you within 24 hours!
Locate us:
Near Raj Bhawan PG


Share great quotes and also read the best quotes .
Author:{{quote.author}}
Submitted by:{{quote.name}}
{{quote.description}}


|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.apache.catalina.valves.ValveBase | +--org.apache.catalina.authenticator.SingleSignOn
A Valve that supports a "single sign on" user experience, where the security identity of a user who successfully authenticates to one web application is propogated to other web applications in the same security domain. For successful use, the following requirements must be met:
Host
).Realm
that contains the shared user and role
information must be configured on the same Container (or a higher
one), and not overridden at the web application level.org.apache.catalina.authenticator
package.
| Field Summary | |
protected java.util.HashMap |
cache
The cache of SingleSignOnEntry instances for authenticated Principals, keyed by the cookie value that is used to select them. |
protected int |
debug
The debugging detail level for this component. |
protected static java.lang.String |
info
Descriptive information about this Valve implementation. |
protected LifecycleSupport |
lifecycle
The lifecycle event support for this component. |
protected java.util.HashMap |
reverse
The cache of single sign on identifiers, keyed by the Session that is associated with them. |
protected static StringManager |
sm
The string manager for this package. |
protected boolean |
started
Component started flag. |
| Fields inherited from class org.apache.catalina.valves.ValveBase |
container |
| Fields inherited from interface org.apache.catalina.Lifecycle |
START_EVENT, STOP_EVENT |
| Constructor Summary | |
SingleSignOn()
|
| Method Summary | |
void |
addLifecycleListener(LifecycleListener listener)
Add a lifecycle event listener to this component. |
int |
getDebug()
Return the debugging detail level. |
java.lang.String |
getInfo()
Return descriptive information about this Valve implementation. |
void |
invoke(Request request,
Response response,
ValveContext context)
Perform single-sign-on support processing for this request. |
protected void |
log(java.lang.String message)
Log a message on the Logger associated with our Container (if any). |
protected void |
log(java.lang.String message,
java.lang.Throwable throwable)
Log a message on the Logger associated with our Container (if any). |
protected org.apache.catalina.authenticator.SingleSignOnEntry |
lookup(java.lang.String ssoId)
Look up and return the cached SingleSignOn entry associated with this sso id value, if there is one; otherwise return null . |
void |
removeLifecycleListener(LifecycleListener listener)
Remove a lifecycle event listener from this component. |
void |
sessionEvent(SessionEvent event)
Acknowledge the occurrence of the specified event. |
void |
setDebug(int debug)
Set the debugging detail level. |
void |
start()
Prepare for the beginning of active use of the public methods of this component. |
void |
stop()
Gracefully terminate the active use of the public methods of this component. |
java.lang.String |
toString()
Return a String rendering of this object. |
| Methods inherited from class org.apache.catalina.valves.ValveBase |
getContainer, setContainer |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait |
| Field Detail |
protected java.util.HashMap cache
protected int debug
protected static java.lang.String info
protected LifecycleSupport lifecycle
protected java.util.HashMap reverse
protected static final StringManager sm
protected boolean started
| Constructor Detail |
public SingleSignOn()
| Method Detail |
public int getDebug()
public void setDebug(int debug)
debug
- The new debugging detail levelpublic void addLifecycleListener(LifecycleListener listener)
addLifecycleListener
in interface Lifecycle
listener
- The listener to addpublic void removeLifecycleListener(LifecycleListener listener)
removeLifecycleListener
in interface Lifecycle
listener
- The listener to removepublic void start() throws LifecycleException
configure()
,
and before any of the public methods of the component are utilized.
start
in interface Lifecycle
java.lang.IllegalStateException
- if this component has already been
started
LifecycleException
- if this component detects a fatal error
that prevents this component from being usedpublic void stop() throws LifecycleException
stop
in interface Lifecycle
java.lang.IllegalStateException
- if this component has not been started
LifecycleException
- if this component detects a fatal error
that needs to be reportedpublic void sessionEvent(SessionEvent event)
sessionEvent
in interface SessionListener
event
- SessionEvent that has occurredpublic java.lang.String getInfo()
getInfo
in interface Valve
getInfo
in class ValveBase
public void invoke(Request request, Response response, ValveContext context) throws java.io.IOException, javax.servlet.ServletException
invoke
in interface Valve
invoke
in class ValveBase
request
- The servlet request we are processingresponse
- The servlet response we are creatingcontext
- The valve context used to invoke the next valve
in the current processing pipeline
java.io.IOException
- if an input/output error occurs
javax.servlet.ServletException
- if a servlet error occurspublic java.lang.String toString()
toString
in class java.lang.Object
protected void log(java.lang.String message)
message
- Message to be loggedprotected void log(java.lang.String message, java.lang.Throwable throwable)
message
- Message to be loggedthrowable
- Associated exceptionprotected org.apache.catalina.authenticator.SingleSignOnEntry lookup(java.lang.String ssoId)
null
.
ssoId
- Single sign on identifier to look up
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


The story of the eagle is quite an inspiration to me that motivates me to make sacrifices for the future.
The eagle has the longest life-span of its species of about 70 years. But for it to reach this age it
must make a very difficult decision.That is to undergo the process of change or die since at its 40th
age it can no longer capture prey. The process of change takes about 150 days and after the process of
change the eagle lives for an additional 30 years.


Across: 1. Broad-minded fellow to befuddle Americans' (3-Down)s (11,3) 8. Syzygy gig gets negatives after Muhammad (8) 9. Still coming in first at ice skating (6) 11. Right on, soccer star! (4) 12. Poor ghost's identification showed lack of decorum (10) 14. Stubborn husky command around mid-slip (6) 15. He has a key and a belt with his van (5) 17. Fresh AC/DC components (5) 18. Log O: take measures about oddball (6) 20. Doctored testaments? (10) 21. Tourist Mecca: grand mausoleum therein (4) 23. Heard one in probes (6) 24. Private British weapon? (5,3) 25. I did plans - wowsy arrangements (in stores now) (6,8) Down: 2. Bright ideas (1-Across) (6) 3. Bed queen? (4) 4,19. Above being a wage (and a man below), seen with a note about mixed vitamins ... am not! (9,3,3,3) 5. Reported sights about some guy's capital (10) 6. Insect deficient early as a Ma (8) 7. Brownish coating established in selected characters (8,5) 8. Disaster current in cinema work (10,3) 10. Professional hit with AC/DC in gets one on first six bars (12) 13. Placed her circle below wild place of phantom perhaps (6,4) 16. Change it out man! (8) 19. see 4-Down 22. Voila! My last gift-rush! (4)


Construction plant and labour hire services. We offer wet and dry hire on a range of different construction machinary including Vacuum trucks, Excavators, Sweeper trucks as well as labour supply direct to construction sites. Get a quote today by enquiring below.
Learn morecreated with
Website Builder Software .


Ingredients: Mozarella cheese, Shredded cheese, Garlic,Minced meat
Ingredients:Peppers,Mushrooms,Eggplant, Red Onions,Sweet Corn
Ingredients: Sliced Peperoni,Oregano, Hot Peri-Peri Sauce
Ingredients: Sausages,Bacon, pepperoni,Beef cubes,Olives
Ingredients: Bacon, Gralic,Tomatoes,Sausages,Beef cubes,Olives
Ingredients: Shredded chicken, parmesan cheese, bbq steak, bacon


Mujhse Dosti Karoge!
Mujhse Dosti Karoge! is a movie starring Hrithik Roshan, Kareena Kapoor, and Rani Mukerji. A young man in England regularly mails his childhood sweetheart in India is unaware that the replies he receives are written by another girl.


Reinaldo Llano
About Me
Portolio
Portfolio
Cork Board
Crystal's Collector
Trivia Game
Superhero Gifs
Bonker Burgers
Train Scheduler
LIRI-Bot Node App
My Store Front
Friend Finder
Flick-Pic
RPDR Hangman
Connect with Me


{% extends "sentry/emails/base.html" %} {% load sentry_helpers %} {% load sentry_assets %} {% block preheader %} {{ author.get_display_name }} assigned you an issue in {{ group.organization.name }}/{{ group.project.name }}. {% endblock %} {% block header %} View on Sentry {{ block.super }} {% endblock %} {% block main %}
{{ author.get_display_name }} assigned this issue to you in {{ group.organization.name }}/{{ group.project.name }}.{% include "sentry/emails/group_header.html" %} {% endblock %}


Schedulinator 9000
We will schedule the workdays of the entire Tri-State Area!
9am
10am
11am
12pm
1pm
2pm
3pm
4pm
5pm


This is an example of how to utilize Kitchen-Terraform to test a Docker container running on localhost configured with the Terraform Docker Provider.
mkdir -p docker_provider_example/test/integration/example/controls
cd docker_provider_example
Gemfile
in the root of the project by running:touch Gemfile
Gemfile
.source 'https://rubygems.org/' do
gem 'kitchen-terraform', '~> 7.0'
end
gem install bundler
bundle install
.kitchen.yml
file in the root of the project.touch .kitchen.yml
.kitchen.yml
file.---
driver:
name: terraform
provisioner:
name: terraform
verifier:
name: terraform
systems:
- name: docker container
backend: ssh
password: root
hosts_output: container_host
controls:
- operating_system
port: 2222
- name: localhost
backend: local
controls:
- state_files
platforms:
- name: ubuntu
suites:
- name: example
test/integration/example/
versions.tf
in the root of the project.touch versions.tf
# Set the required provider and versions
terraform {
required_version = ">= 0.14.0, < 2.0.0"
required_providers {
# We recommend pinning to the specific version of the Docker Provider you're using
# since new versions are released frequently
docker = {
source = "kreuzwerker/docker"
version = "2.23.1"
}
}
}
main.tf
in the root of the project.touch main.tf
provider "docker" {
host = "unix:///var/run/docker.sock"
}
data "docker_registry_image" "ubuntu_sshd" {
name = "rastasheep/ubuntu-sshd:latest"
}
resource "docker_image" "ubuntu_sshd" {
keep_locally = true
name = data.docker_registry_image.ubuntu_sshd.name
pull_triggers = [data.docker_registry_image.ubuntu_sshd.sha256_digest]
}
resource "docker_container" "ubuntu" {
image = docker_image.ubuntu_sshd.latest
must_run = true
name = "ubuntu_container"
ports {
external = 2222
internal = 22
}
}
output.tf
touch output.tf
output "terraform state" {
description = "The path to the backend state file"
value = "${path.module}/terraform.tfstate.d/${terraform.workspace}/terraform.tfstate"
}
output "container_host" {
description = "The container's host name"
value = "localhost"
}
.kitchen.yml
file and in the verifier section you will see a reference to the above container host output.test/integration/example/inspec.yml
touch test/integration/examples/inspec.yml
---
name: default
.kitchen.yml
file and inside the verifier section there is an operating_system control which we need to create.test/integration/example/controls/operating_system.rb
# frozen_string_literal: true
control 'operating_system' do
describe command("lsb_release -a") do
its('stderr') { should match /lsb_release: command not found/ }
end
describe command('uname -ar') do
its('stdout') { should match(/Linux/) }
end
describe command("env -i bash -c '. /etc/os-release; echo $NAME'") do
its('stdout') { should match /Ubuntu/ }
end
end
test/integration/example/controls/state_file.rb
# frozen_string_literal: true
terraform_state = input('terraform_state', {})
control 'state_files' do
describe 'the terraform state file' do
subject do
file terraform_state
end
it do
is_expected.to exist
end
end
end
bundle exec kitchen converge
-----> Starting Test Kitchen (v3.4.0)
-----> Creating <example-ubuntu>...
$$$$$$ Reading the Terraform client version...
Terraform v0.14.0
+ provider registry.terraform.io/kreuzwerker/docker v2.23.1
Your version of Terraform is out of date! The latest version
is 1.3.6. You can update by downloading from https://www.terraform.io/downloads.html
$$$$$$ Finished reading the Terraform client version.
$$$$$$ Verifying the Terraform client version is in the supported interval of >= 0.11.4, < 2.0.0...
$$$$$$ Finished verifying the Terraform client version.
$$$$$$ Initializing the Terraform working directory...
Initializing the backend...
Initializing provider plugins...
- Finding kreuzwerker/docker versions matching "2.23.1"...
- Installing kreuzwerker/docker v2.23.1...
- Installed kreuzwerker/docker v2.23.1 (self-signed, key ID BD080C4571C6104C)
Partner and community providers are signed by their developers.
If you'd like to know more about provider signing, you can read about it here:
https://www.terraform.io/docs/plugins/signing.html
Terraform has been successfully initialized!
$$$$$$ Finished initializing the Terraform working directory.
$$$$$$ Creating the kitchen-terraform-example-ubuntu Terraform workspace...
Created and switched to workspace "kitchen-terraform-example-ubuntu"!
 Workspaces isolate their state,
so if you run "terraform plan" Terraform will not see any existing state
for this configuration.
$$$$$$ Finished creating the kitchen-terraform-example-ubuntu Terraform workspace.
Finished creating <example-ubuntu> (0m3.36s).
-----> Converging <example-ubuntu>...
$$$$$$ Reading the Terraform client version...
Terraform v0.14.0
+ provider registry.terraform.io/kreuzwerker/docker v2.23.1
Your version of Terraform is out of date! The latest version
is 1.3.6. You can update by downloading from https://www.terraform.io/downloads.html
$$$$$$ Finished reading the Terraform client version.
$$$$$$ Verifying the Terraform client version is in the supported interval of >= 0.11.4, < 2.0.0...
$$$$$$ Finished verifying the Terraform client version.
$$$$$$ Selecting the kitchen-terraform-example-ubuntu Terraform workspace...
$$$$$$ Finished selecting the kitchen-terraform-example-ubuntu Terraform workspace.
$$$$$$ Downloading the modules needed for the Terraform configuration...
$$$$$$ Finished downloading the modules needed for the Terraform configuration.
$$$$$$ Validating the Terraform configuration files...
Success! The configuration is valid.
$$$$$$ Finished validating the Terraform configuration files.
$$$$$$ Building the infrastructure based on the Terraform configuration...
docker_image.ubuntu_sshd: Creating...
docker_image.ubuntu_sshd: Creation complete after 0s [id=sha256:49533628fb371c9f1952c06cedf912c78a81fbe3914901334673c369376e077erastasheep/ubuntu-sshd:latest]
docker_container.ubuntu: Creating...
docker_container.ubuntu: Creation complete after 1s [id=b2766cde74c528e46638f5ab273476431402f7053668499145bc03a12e07291f]
Apply complete! Resources: 2 added, 0 changed, 0 destroyed.
Outputs:
container_host = "localhost"
terraform_state = "./terraform.tfstate.d/kitchen-terraform-example-ubuntu/terraform.tfstate"
$$$$$$ Finished building the infrastructure based on the Terraform configuration.
$$$$$$ Reading the output variables from the Terraform state...
$$$$$$ Finished reading the output variables from the Terraform state.
$$$$$$ Parsing the Terraform output variables as JSON...
$$$$$$ Finished parsing the Terraform output variables as JSON.
$$$$$$ Writing the output variables to the Kitchen instance state...
$$$$$$ Finished writing the output variables to the Kitchen instance state.
$$$$$$ Writing the input variables to the Kitchen instance state...
$$$$$$ Finished writing the input variables to the Kitchen instance state.
Finished converging <example-ubuntu> (0m3.32s).
-----> Test Kitchen is finished. (0m7.86s)
bundle exec kitchen verify
-----> Starting Test Kitchen (v3.4.0)
-----> Setting up <example-ubuntu>...
Finished setting up <example-ubuntu> (0m0.00s).
-----> Verifying <example-ubuntu>...
$$$$$$ Reading the Terraform input variables from the Kitchen instance state...
$$$$$$ Finished reading the Terraform input variables from the Kitchen instance state.
$$$$$$ Reading the Terraform output variables from the Kitchen instance state...
$$$$$$ Finished reading the Terraform output variables from the Kitchen instance state.
$$$$$$ Verifying the systems...
$$$$$$ Verifying the 'docker container' system...
Profile: default
Version: (not specified)
Target: ssh://root@localhost:2222
✔ operating_system: Command: `lsb_release -a`
✔ Command: `lsb_release -a` stderr is expected to match /lsb_release: command not found/
✔ Command: `uname -ar` stdout is expected to match /Linux/
✔ Command: `env -i bash -c '. /etc/os-release; echo $NAME'` stdout is expected to match /Ubuntu/
Profile Summary: 1 successful control, 0 control failures, 0 controls skipped
Test Summary: 3 successful, 0 failures, 0 skipped
$$$$$$ Finished verifying the 'docker container' system.
$$$$$$ Verifying the 'terraform state' system...
Profile: default
Version: (not specified)
Target: local://
✔ state_files: the terraform state file
✔ the terraform state file is expected to exist
Profile Summary: 1 successful control, 0 control failures, 0 controls skipped
Test Summary: 1 successful, 0 failures, 0 skipped
$$$$$$ Finished verifying the 'terraform state' system.
$$$$$$ Finished verifying the systems.
Finished verifying <example-ubuntu> (0m6.20s).
-----> Test Kitchen is finished. (0m7.62s)
bundle exec kitchen verify
bundle exec kitchen destroy


--- layout: page title: About me subtitle: My biography, career, achievements and future intentions css: "/css/aboutme.css" ---
Previously worked as a software engineer (Provectus, DarQube).
Obtained my Bachelor degree in Computer Science from Innopolis University, Russia.


---
layout: archive
title: Lean Prover Zulip Chat Archive
permalink: 116395maths/19240Infinitesetsarenonempty.html
---
The archive URL format has changed. Please find this page at:
https://leanprover-community.github.io/archive/stream/116395-maths/topic/Infinite.20sets.20are.20nonempty.html


For this question, refer to the following lines of code:
int[][] numbers = new int[10][20]; numbers[2][3] = 3;
What element has been set to 3?
Remember indexing for arrays starts at 0


I haven't really experienced compassionate leadership, especially in professional settings. My experiences of leadership have been in highly stressful, emotionally intense environments where nurturing team members took last place, and instead there was a heavy focus on KPIs, meeting demand and putting your own needs first.
It was a new experience for me. I did enjoy picturing goodness as light, although the light I pictured was blue because I need colour to keep me focused.
This is similar to some of the anxiety mindfulness I used to do with clients, except it goes one step further by examining the pain of others. I found it intense but ultimately rewarding. We can spend a lot of time avoiding pain (which limits what we are willing to try, as the author notes) and also avoiding the acknowledgement of pain in our lives. That leads us to also avoid addressing other people's pain, because pain is a difficult thing to sit with. Tonglen meditation seems like a useful, safe way of acknowledging pain and working through it in life.
I think that status, certainty and autonomy have played a particularly big role in Phase 0 for me. In terms of status, gaining some mastery and confidence has definitely been a boost. I don't feel particularly certain of my skills but I do feel certain that I want to code for a living, which is great. And there's a lot of autonomy involved since it's self-paced. Relatedness and fairness haven't played much of a part in Phase 0. However, I suspect they will play a significant role at bootcamp. I think the elements of SCARF have different weights depending on the situation.
I really valued the idea of impact being different from intention, and that we tend to judge others based on the former and ourselves on the latter. I also think that knowing the other person has identity factors at play is an important part of a successful difficult conversation and also just in building empathy in general.


the very finger of God on stone tablets. That finger was now before them wearing human flesh and tracing in the dirt.
Another time the Bible speaks of God writing is in the book of Jeremiah. This time the law God promised to write wouldn’t be inscribed on stone tablets or even a dirt floor:
Reread Jeremiah 31:33 and fill in the blanks below:
“This is the covenant I will make with the people of Israel
after that time,” declares the Lord.
“I will put my law in their
and write it on their .
I will be their God,
and they will be my people.” (NIV)
God wants us to know that the laws He gave us weren’t just for external consideration. He doesn’t want us to keep His commands out of duty or obligation but because the desire to obey is written on our hearts out of love for Him. He doesn’t want His people to use the law as a weapon of judgment, raising it over our heads like a stone to throw and hurt people when they break it. God’s hope is that His desires would become our desires. He wants not just a set of rules but a relationship.
How would you explain the difference between following the commands of God written on stone tablets (Exodus 31:18) and having those laws written on your own heart (Jeremiah 31:33)? Your outward actions might be the same, so what would be different?
In Scripture, God uses the metaphors of different kinds of relationships to explain who He is and how He relates to us: King and subject, Father and child, Shepherd and sheep. One of those relationships that really speaks to the heart of God for His people is the bond of Groom to bride, Husband to wife.
Read these Scriptures about the relationship between Jesus and the church. Next to each, write a few words describing what the verses say about that relationship.
Ephesians 5:25-27


To Vectorise or Squeegee / The Creative Conference / SXSW: Data Visualisation for Social Change / SXSW: Everything is a remix / SXSW: "Design for Hackers" Kadavy: Designing for White Space / SXSW: Community-centered design / Troika
SXSW: Community-centered design
Interactive, Film and Music Conference SXSW runs more than 5000 events over nine days. Held in Austin, Texas, the city doubles its population and the Convention Centre - the size of six city blocks - creaks under the pressure.
Catching an industry talk necessitates solid forward planning and luck , yet both are vulnerable to the queues and unexpected deviations and distractions that have become SXSW in-jokes.
What is refreshing about SXSW (for a graphic designer at least) is that it isn't a design conference. There are a handful of designers speaking, but also technology experts, educators, futurists, bloggers, data analysts and Bruce Springsteen. Instead of a designer talking about design, there is an interesting speaker talking about an interesting topic, all under the umbrella of "interactive," and all relevant within a designer's holistic industry education.
The short talks that have provided an environment in which to take notes, I'll be sharing here on desktop.
A relatively cosy 200 interactive attendees gathered for 'Community-Centered Design: It's Not About the User', presented by Richard White, co-counder of UserVoice, and Steve Huffman of Reddit fame. The two partnered-up to discuss the realities of creating an online community, and the consequences of managing its resulting success.
From White's perspective, user-centered design aims to "Get an individual user, efficiently and humanely, from A to B". But 'Community-centered design' focuses on shaping public policy for the entire website population, with priority on the enabling and empowering of the whole group. Put simply, "It's more fun," says White.
This way of designing risks a backlash from existing users (we are all aware of the free flowing negative opinions whenever a large, social-centred website makes global changes) or could create a 'tree house effect' - where content becomes inaccessible to new users through cliques and in-jokes, a concern when Huffman introduced the commenting system on Reddit.
Which, as my favourite part of the website, was surprising to learn that Reddit's comments were introduced nine months after its launch, and met with vehement objection. "Now, they have come to signify a huge turning point for the site," explained Huffman, with the commenting system containing all the warmth he initially intended - enriching the community and enabling the user to build a reputation. "The lightening bolt moment came when we decided to sort comments by the same algorithm as posts," meaning - being self-moderated, the humourous and interesting comments are bumped to the top by peers, leaving the spam or inappropriate comments to fall into obscurity. This way, the work is taken out of Reddit's hands, and into the smart, capable community, allowing them to nurture and reward the content they want to read and ensuring sustainable relevance.
Huffman admits Reddit is an "ugly website" but praises its users for its ongoing popularity.
Huffman had an irrepressible, contagious belief in "When in doubt, figure it out later," and actively resists usability trends and panicked knee-jerk reactions. For example, the Web 2.0 introduction of tags - "We didn't know what to do, so we left it. Now nobody cares about them."
If you came looking for tips to success, the key message was to create your own rulebook. Copying another site - the functionality or desire to create a duplicate community, guarantees failure. "Good intentions need to be thoughtful - know what you want to achieve, and create a strong strategy," insisted Huffman. He explained that building a passionate audience will look after your product - and by sharing the same goals and staying true to them, a lot of the responsibilities become shared.
The similarities between the speakers were apparent not only in their project presentations, but in their passion and attitude - their joking, reminiscence of the 'early days', relaxed approach and desire to keep things simple. Huffman summed up, "Fake it till you make it."
By Aimee Jay
Published by Desktop Magazine blog March 2012.


--- creation_epoch:<PHONE_NUMBER> lastmod_epoch:<PHONE_NUMBER> categories: Security title: Good explanation of when and why to use HMAC --- http://benlog.com/articles/2008/06/19/dont-hash-secrets/
Good explanation of how hashing functions should be used for MAC and HMAC. Especially good point about digital signatures.


You are viewing an historical archive of past issues. Please report new issues to the appropriate project issue tracker on GitHub.
Comments
-
Greg Hurrell
Summary changed:
- From: Don't barf for empty repos
- To: Don't barf when hitting repos#show for an empty repo (ie a repo with no commits yet)
Add a comment
Comments are now closed for this issue.


These documents have been approved by Innovate UK.
We are unable to approve your documents and have returned them to you. A member of Innovate UK will be in touch to discuss our requirements.
These documents have been returned to the project team, the following reason was given;
Only the Project Manager can upload and submit additional documents to support your grant application.
These documents are:
- the collaboration agreement
- the exploitation plan
You should review these documents with the other partners in the project.
The documents submitted below are now being reviewed. We will contact the Project Manager if we need any further information.
Collaboration agreement
The collaboration agreement covers how the consortium will work together on the project. It must be signed by all partners.
What should I include in the collaboration agreement?
This is an agreement between project partners and will cover how the project will operate. It will also include details of how you will exploit the results of the project. Please allow enough time to complete this process before your project start date.
The following partners need to sign this collaboration agreement:
An example of a collaboration agreement can be found on the Lambert Agreement website.
The uploaded collaboration agreement must:
- be in a Portable Document Format (.pdf)
- be legible at 100% magnification
- be less than 1mb in file size
Awaiting upload by the Project Manager
Exploitation plan
The plan aims to confirm the benefits realisation that the project hopes to achieve. You should describe the partner activities that will exploit the results of the project.
What should I include in the exploitation plan?
This plan will evolve and change during the lifetime of the project. Its aim is to confirm the business case for the project. It should also describe partner activities that will exploit the results of the project so that:
- changes in the commercial environment can be monitored and accounted for
- adequate resources are committed to exploitation
- exploitation can be monitored by the stakeholders
A framework of the exploitation plan is available for download
The uploaded exploitation plan must:
- be in a Portable Document Format (.pdf)
- be legible at 100% magnification
- be less than 1mb in file size
Awaiting upload by the Project Manager
The Project Manager needs to upload the documents and submit them to us.


Comments
Want to leave a comment? Visit this post's issue page on GitHub (you'll need a GitHub account).


|
Prismic.io PHP kit
3.0.0
|
First of all, install apc to have the default build-in cache support.
Install with https://getcomposer.org/doc/00-intro.md "Composer":
The recommended way to get started is with a sample project:
Include the dependency:
Then call the API:
The kit is compatible and tested with PHP 5.4 and above.
Because of a dependency on the event dispatcher, this library is compatible with Symfony version 2.8 and higher. For Symfony 2.7 projects, use version 2.0.3.
Contribution is open to all developer levels, read our "[Contribute to the official kits](https://developers.prismic.io/documentation/UszOeAEAANUlwFpp/contribute-to-the-official-kits)" documentation to learn more.
Clone this GitHub repository, then https://getcomposer.org/doc/00-intro.md "install Composer" if you haven't, and run:
Please write tests for any bugfix or new feature.
If you find existing code that is not optimally tested and wish to make it better, we really appreciate it; but you should document it on its own branch and its own pull request.
Tests are run by running the command phpunit
.
Some of the kit's tests check stuff that are built on top of APC and need APC to work from the command line. If you've installed and enabled APC, and your cache tests don't pass:
php -i | grep apc
; if no output is displayed, then maybe the APC extension you installed and enabled is only enabled in apache but not for your command line. Check how your OS works to make that happen, and if it involves changing a php.ini file, make sure it's the right php.ini (you might have one for apache, and one for the command line)apc.enable_cli
(which you see in the output of php -i | grep apc
) is 'On'. If it's not, add this at the end of your php.ini: apc.enable_cli = 1
. Make sure it's the right php.ini (you might have one for apache, and one for the command line)Please document any bugfix or new feature.
If you find existing code that is not optimally documented and wish to make it better, we really appreciate it; but you should document it on its own branch and its own pull request.
For documentation admins: documentation is generated by running the command:
This software is licensed under the Apache 2 license, quoted below.
Copyright 2013 Zengularity (http://www.zengularity.com).
Licensed under the Apache License, Version 2.0 (the "License"); you may not use this project except in compliance with the License. You may obtain a copy of the License at http://www.apache.org/licenses/LICENSE-2.0.
Unless required by applicable law or agreed to in writing, software distributed under the License is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the License for the specific language governing permissions and limitations under the License.


Travel Oasis
Travel Oasis will help people make smart travel choices and plan your trip seamlessly with just a click.
We introduce "Travel Oasis” which is a web application which will save users from the trouble of looking for reviews and suggestions online to find their next travel destination!
With globalization there is a high demand for travelling. Many agencies are available to book it, pack it and set you off to another place. But wait, where's that another place. Our product optimizes your choices by specifically focusing on your personality and answers to our unique questions to recommend you the right place to go.
Confused? How to get about this?Let's Begin the Journey to the wonderful Destinations...
Let's start by Signing up!
Now, all set for Logging in !!
Let's play a game to know you better!
Here You go with the set of places best suited to you!
Lorem ipsum dolor sit amet, consectetur adipisicing elit.
Feel free to leave us a comment on the Travel Oasis Facebook page to give some feedback about our services!


library(pcre)
provides access to Perl Compatible Regular Expressions.
The core facility for string matching in Prolog is provided by DCG (Definite Clause Grammars). Using DCGs is typically more verbose but gives reuse, modularity, readability and mixing with arbitrary Prolog code in return. Supporting regular expressions has some advantages: (1) in simple cases the terse specification of a regular expression is more comfortable, (2) many programmers are familar with them and (3) regular expressions are part of domain specific languages one may wish to implement in Prolog, e.g., SPARQL.
There are roughly three options for adding regular expressions to
Prolog. One is to simply interpret them in Prolog. Given Prolog's
unification and backtracking facilities this is remarkable simple and
performs quite reasonable. Still, the implementing all facilities of
modern regular expression engines requires significant effort.
Alternatively, we can compile them into DCGs. This brings terse
expressions to DCGs while staying in the same framework. The
disadvantage is that regular expressions become programs that are hard
to reclaim, making this approach less attractive for applications that
potentially execute many different regular expressions. The final option
is to wrap an existing regular expression engine. This provides access
to a robust implementation for which we only have to document the Prolog
binding. That is the option taken by library library(pcre)
.
This module provides an interface to the http://www.pcre.org/PCRE (Perl Compatible Regular Expression) library. This Prolog interface provides an almost comprehensive wrapper around PCRE.
Regular expressions are created from a pattern and options and represented as a SWI-Prolog blob.  Compiled regular expressions can safely be used in multiple threads. Most predicates accept both an explicitly compiled regular expression, a pattern or a term Pattern/Flags. In the latter two cases a regular expression blob is created and stored in a cache. The cache can be cleared using re_flush/0.
?- re_match("^needle"/i, "Needle in a haystack"). true.
Options:
true
, match only at the first position
false
)
anycrlf
, \
R only matches CR, LF or CRLF. If unicode
,
\
R matches all Unicode line endings. Subject string is the
end of a line (default false
)
true
)
true
)
false
)
any
, recognize any Unicode newline sequence, if anycrlf
,
recognize CR, LF, and CRLF as newline sequences, if cr
,
recognize CR, if lf
, recognize LF and finally if crlf
recognize CRLF as newline.
| Regex | is the output of re_compile/3,
a pattern or a term Pattern/Flags, where Pattern is an atom or string.
The defined flags and there related option for re_compile/3
are below.
|
capture_type(Type)
option passed to re_compile/3,
may be specified using flags if Regex is of the form
Pattern/Flags and may be specified at the level of individual captures
using a naming convention for the caption name. See re_compile/3
for details.
The example below exploits the typed groups to parse a date specification:
?- re_matchsub("(?<date> (?<year_I>(?:\\d\\d)?\\d\\d) - (?<month_I>\\d\\d) - (?<day_I>\\d\\d) )"/e, "2017-04-20", Sub, []). Sub = re_match{0:"2017-04-20", date:"2017-04-20", day:20, month:4, year:2017}.
call(Goal, Dict1, V0, V1), call(Goal, Dict2, V1, V2), ... call(Goal, Dictn, Vn, V).
This predicate is used to implement re_split/4 and re_replace/4. For example, we can count all matches of a Regex on String using this code:
re_match_count(Regex, String, Count) :- re_foldl(increment, Regex, String, 0, Count, []). increment(_Match, V0, V1) :- V1 is V0+1.
After which we can query
?- re_match_count("a", "aap", X). X = 2.
?- re_split("a+", "abaac", Split, []). Split = ["","a","b","aa","c"]. ?- re_split(":\\s*"/n, "Age: 33", Split, []). Split = ['Age', ': ', 33].
| Pattern | is the pattern text,
optionally follows by /Flags. Similar to re_matchsub/4,
the final output type can be controlled by a flag a (atom), s
(string, default) or n (number if possible, atom
otherwise). |
\
N
or $Name. Both N and Name may be written as {N} and {Name} to avoid
ambiguities.
| Pattern | is the pattern text,
optionally follows by /Flags. Flags may include g ,
replacing all occurences of Pattern. In addition, similar to re_matchsub/4,
the final output type can be controlled by a flag a (atom)
or s (string, default). |
regex
(see blob/2). Defined Options
are defined below. Please consult the PCRE documentation for details.
anycrlf
, \
R only matches CR, LF or CRLF. If unicode
,
\
R matches all Unicode line endings.
true
, do caseless matching.
true
, $ not to match newline at end
true
, . matches anything including NL
true
, allow duplicate names for subpatterns
true
, ignore white space and # comments
true
, PCRE extra features (not much use currently)
true
, force matching to be before newline
javascript
, JavaScript compatibility
true
, ^
and $ match newlines within data
any
, recognize any Unicode newline sequence, if anycrlf
(default), recognize CR, LF, and CRLF as newline sequences, if cr
,
recognize CR, if lf
, recognize LF and finally if crlf
recognize CRLF as newline.
true
, use Unicode properties for \
d, \
w,
etc.
true
, invert greediness of quantifiers
In addition to the options above that directly map to pcre flags the following options are processed:
true
, study the regular expression.
Start-Length
. Note the
we use
Start-Length` rather than the more conventional
Start-End
to allow for immediate use with sub_atom/5
and
sub_string/5.
The capture_type
specifies the default for this pattern.
The interface supports a different type for each named group
using the syntax (?<name_T>...)
, where T
is one of S
(string),
A
(atom), I
(integer), F
(float), N
(number), T
(term) and R
(range). In the
current implementation I
, F
and N
are synonyms for T
. Future versions may act different if
the parsed value is not of the requested numeric type.
PCRE_CONFIG_*
constant after removing =PCRE_CONFIG_= and mapping the name to lower
case, e.g. utf8
, unicode_properties
, etc.
Value is either a Prolog boolean, integer or atom.
Finally, the functionality of pcre_version()
is
available using the configuration name version
.


Tweak Description Here
Version: <IP_ADDRESS> (06/03/2021)
Text beneath the main changelog for notices/etc
Version: <IP_ADDRESS> (06/03/2021)
Version: <IP_ADDRESS> (06/01/2021)


I worked on Small Business Advisors as the only designer assigned 100%. What started as a UX/UI designer role quickly became a full Product design role, since I had to work with high-level definitions of the product and grow from there, impacting not only on the experience and the visuals of the service but on the value proposition for the business side. I also worked on the initial content drafts for the landing page and the different tools (merchant facing and internal use), and produced some animations as well.
I had the chance to study Google Standards and developed a great dynamic within the team and with the client, making the process of discovery, ideation, and validation super straightforward.
Category
B2B, Customer service, Internal tools
Platforms
Web
Role
Product Designer
Time
8 months
Context
About Small Business Advisors
Small Business Advisors (SBA) is a Google My Business initiative that aims to connect small and medium business owners (merchants) with experts trained across Google products, so they can find all the help they need in just one place.
Google My Business (GMB) is a free and easy-to-use tool for businesses and organizations to manage their online presence across Google, including Search and Maps.
Problem definition
There were two main problems to tackle:
Merchants were often forced to visit different help desks when looking for help for different services from Google. This translated into a disjointed experience and long waiting times (these help desks are online services with cues).
Small and medium businesses owners had the preconception that Google services were meant only for large businesses and renowned brands, making it difficult for Google to reach them.
Objective
Provide small and medium business owners with a space for them to have a holistic approach to Google services through a new website and a standalone booking tool that allows them to book appointments. In these appointments the merchants would have video calls with Google Agents to address their questions/problems related to Google's product suite.
The launch of this system was expected for August 2020. Design, development and building processes had to be done following Google standards and internal procedures and tools.
Team
The team was fairly minimal since we wouldn't have to build a lot of functionalities. Small teams have the advantage that communication is more streamlined and is easier to get a sense of design limitations and opportunities based on technical and business constrains and other roles' inputs.
We were:
1 Product Owner (client)
1 Marketing Manager (client)
1 Project Manager
1 Tech Lead
1 Data Architect
2 Backend Developers
2 Frontend Developers
1 Product Designer (me)
1 UX Writer (client)
1 Illustrator (client)
Discovery
Users
Since time was pretty limited, I couldn't get into too much detail for User and Journeys, so I had to find a way to keep these simple but still actionable.
Journeys
Service Blueprint
With users and journeys defined, I ran a Service blueprint workshop (~90mins) with the entire team so we could get on the same page early on the design process and get a lot of assumptions cleared. This proved to be an excellent way to get a common understanding of what we needed to build and how every piece of the product should work in context, and to set clear expectations for the client.
Strategy
After setting expectations and clearing assumptions, I laid out a very basic roadmap with a prioritization of features by User.
We ended up with four areas of focus:
Booking tool — The heart of the service, for merchants to be able to book an appointment with a Google agent.
Landing page — With information for new merchants, and easy access to the booking tool for current merchants.
Merchant panel — For merchants to be able to manage their future and past appointments.
Management tool — For Admins and Team leaders (at this point we decided they were separate users) to have an overview of the service and access to certain features.
Collaboration
As a next step we defined the Design workflow:
We would have design validation meetings and co-creation sessions with the client (PO and Marketing Manager) once a week, with smaller sessions on demand.
Details and general questions could be sorted through email or chat.
We would have access to a photographic library with images from merchants and their businesses.
Eventually we would have support from a UX Writer from Google to help us with the actual content and someone from the Illustration team as well.
Design files and prototypes would be made in Sketch using the Google Material components library. Dev handoff would be made through Sketch Cloud.
User flows
I wouldn't say user flows are part of a Discovery but, since they are focused on user objectives and the rest of the case study is organized by areas of focus, I don't really have a better place for them. =P
Landing page
I decided to start with the Landing page since it would require the most iterations (we needed to nail the Marketing tids and bits in order to drive conversion) plus the experience for merchants would revolve around it.
Making it Googley
Google already had a proof of concept (PoC) of the landing page, but it was a very first draft and while it had good bones, it didn't look anything like a product from Google. I'm not a big fan of reinventing the wheel, so I took the PoC (for which we already had feedback from merchants) as a starting point and benchmarked other GMB landing pages to better align our own.
Making it interesting
I proposed two approaches next:
A conventional one — Using tried and tested patterns from other GMB landing pages, so merchants would feel SBA as something familar.
Trying something new — Going for a storytelling centric option, where we tell the story of a few merchants by showcasing different touchpoints with Google products and how Google could add value to their business.
We decided to try and mix both options by adding some of the storytelling ideas into the more conventional layout. I then went ahead and drafted the initial content; I lacked the specific expertise with Google's tone of voice, but their UX writing documentation was pretty good and it helped coming up with something that I could work with.
Since this landing was aimed to merchants, it was super critical to have proper content, so I made my case that we needed support from someone from the UX writing team, which we got later on.
Designing support pages
We wanted to have a specific page with possible scenarios, so merchants could have an idea of what to expect from the service. We also needed a Frequently Asked Questions (FAQ) page as per Google standards.
At this point I had established a good rapport with the client's team and noticed they had a great understanding of the scope of every meeting, so I felt confident enough to propose some pages directly using Google Material without worrying that a meeting would derail into discussing styles.
Booking tool
Once I had the first approach for the landing page validated I started drafting the first approach to the Booking tool, so I could work with both flows in parallel.
Lo-fi prototype
I drafted the first iteration using just pen and paper and quickly put together a propotype to tackle navigation through the flow.
My first intention was putting as much value as possible before asking the merchant to log/sign in (the last step was all about personal and business data that we could extract from their Google account).
Mid-fi prototype
When we tested the first prototype, we identified that the critical step was date/time selection, since it was the only thing out of the merchant's control, and it would be a better experience for them to know that they're going through the flow with a slot already selected.
We also needed to put the login component as early as possible on the flow to cover some security concerns. With the date/time selector having the most value, we could afford leaving it public and putting the rest of the steps behind auth.
After detecting how important the date/time selector step was, I paid special attention to it, making sure the experience was consistent and accesible in different breakpoints, from desktop to mobile.
Merchant panel
With the Landing page and the Booking tool on track, I then switched my attention to the Merchant panel which was pretty straightforward.
Merchants needed a place where to:
See information regarding their next appointment (v0 functionality), and being able to join the meeting.
Reschedule/cancel a meeting, if possible (v0 functionality).
See details about past and future appointments (v1 functionality).
See their payment information and email notifications settings (v1 as well).
Management tool
The Management tool serves two users:
Team Leaders — An internal user responsible of a group of ~10 agents at a specific location. This user manages the schedule of their agents and is in charge of solving issues with merchants.
Admins — This user is responsible of the high-level part of the service and how it performs, and manages different locations and team leaders.
Team leader
The first iteration was around the Team leader (TL), since it was needed to provide operational support to Agents. Being an internal tool I focused on providing information in a clear and concise way so they could take action when needed.
In this first iteraion, TLs were able to:
Check the status of a specific appointment and reschedule/cancel it.
Add/edit/delete Agents on their team.
Define profiles to manage appointment slots and asign Agent to the profile
Manage Agent's time-offs
Admins
The Admin features could wait until later, when the service was already running, so they were tackled on the second iteration of the tool.
Admins were able to.
Add/edit/delete Locations (to scale the service to new regions).
Add/edit/delete Team leaders and asign them to a Location.
Manage Promo codes (either one-use only or as part of a marketing effort).
Have access to the specific TL's dashboard (appointments, profiles, and agents) to analyse and/or manage when necessary.
We had direct contact with both TLs and Admin users, so we could gather their feedback and build something tailored to their needs. Most of this feedback came from interviews and co-creation sessions.
Please note that in order to access the booking tool you'll need a VPN since the service is currently region-locked to the US.
Next steps
After building the MVP and having 2 iterations on it we had a pretty solid product and the project entered a phase of stabilization, while we were seeing an influx of merchants using the service. At that point, I got rotated from the project since we were doing mainly maintenance, but we still had some features outlined for the next version:
Landing page — Addition of onboarding video. Visual and conceptual revamp of the Expertise page.
Booking tool — Additional step to gain insight about the merchant level of expertise so we can offer a product aligned to their business needs. Option to talk again with a specific Agent.
Management tool — Offer enhanced metrics on the Dashboard. Enable Admins to customize the Booking flow. Apply Machine Learning to help automate slot parametrization in an efficient way.


Data Process¶
Data process is essential in EEG signal analysis. First, original EEG signal may contain missing values and noise, which may disturb or hidden the real information. Also, a lot of research works have shown that the spectrum properties of EEG on certain frequency bands are very important to uncover useful information which cannot be directly quantified by original temporal signal. In addition, the number of samples are relatively small for EEG signal, which may not fully release the power of machine learning. Data augmentation through segmentation and sampling are two major ways to increase sample size in EEG analysis.
So we designed the data process module to provide solutions to the requirements mentioned above. The data process module contains 5 functions:
process.check(
process_check()
)process.smooth(process_smooth)
process.band(process_band)
process.segment(process_segment)
process.sampling(process_sampling)
- deeg.process.check(array)¶
Check whether the input signal contains NaN, print relevant information
- param array
the temporal signal with 1d or with multiple dimensions
- style array
numpy array
- return
None or dict. Dict stores indicator of Nan/Abnormal values. If there is no NaN in signal, return None, else return the index where NaN occurs.
- deeg.process.smooth(array, window_size, polyorder)¶
Apply the Savitzky-Golay fiklter to smooth signals. We support both 1d array input and DEEG standard input (p,m,e). For the later format, we calculate DE on “e” dimension and return a (p,m) numpy array.
- param array
the temporal signal with 1d or with multiple dimensions
- style array
numpy array
- param window_size
the length of the filter window. window_size must be a positive odd integer. default is 5.
- style window_size
int. window_size must be a positive odd integer. default is 5.
- param polyorder
the order of the polynomial used to fit the samples. polyorder must be less than window_length. default is 2.
- style polyorder
int
- return
ndarray of the filtered data, same shape as array.
- deeg.process.band(array):
Filter temporal signal by all the 5 filters commonly used in EEG analysis: delta, theta, alpha, beta, gamma.
- param array
the temporal signal with 1d or with multiple dimensions
- style array
numpy array
- return
dictionary. Keys are filter name and values are filtered signal in temporal domain.
- deeg.process.segment(array, length, overlap):
Generate the signal segments to augment sample size.
- param array
the temporal signal with 1d or with multiple dimensions
- style array
numpy array
- param length
the length of segments. Default is 10, which means each signal segment contains 10 data points.
- style length
int
- param overlap
the overlap length between neighboring segments. Default is 1.
- style overlap
int
- return
numpy array with shape (p,m,s,e) or (s,e), depending on the input. s is the number of segments.
- deeg.process.sampling(array, interval, offset):
Down-sample the input signal with certain interval.
- param array
the temporal signal with 1d or with multiple dimensions
- style array
numpy array
- param interval
the interval to sample EEG signal. Default is 1, which means NO down-sampling is applied
- style interval
int
- param offset
sampling starts from “offset-th” data point
- style offset
int
- return
numpy array of down-sampled signal


The week's top news stories: November 10, 2019
VFACTS is in, Holden talks warranty, and Audi makes the R8 rear-wheel drive... for real!
by Scott Collie- shares
The automotive news wheel is always turning. If you’re not constantly checking CarAdvice – which you should be doing, by the way – it can be easy for some headlines to slip through the cracks.
To make sure you haven’t missed anything important, we’ve gathered what we reckon are the hottest news stories from this week, right here.
Hyundai’s hybrid and electric-car stampede: 44 new models by 2025
Hyundai is going to take on Toyota in the hybrid and electric-car race globally, but it’s unclear how many of these models will come here.
That's a lot of electrified cars
2020 BMW M2 CS revealed
The most aggressive M2 yet will serve to farewell the current 2 Series, as BMW readies its rear-wheel drive successor, set for a mid-2020 launch in Australia.
VFACTS: October 2019 sales results
Another month of sales cuts as Mazda, Mitsubishi, Holden and Subaru plummet, though market leaders Toyota and Hyundai hang in, and Kia shows growth yet again.
The market's downturn continues
2020 Aston Martin DBX pricing revealed
Aston Martin will price its first-ever crossover between the Lamborghini Urus and Bentley Bentayga when it arrives in Australia.
Holden Monaro reborn: One-off 'Project Monaro' revealed
The blue coupe has been developed over the course of five months, and will be given to a lucky punter in March next year.
Audi R8 V10 RWD: Mid-engined supercar here in mid-2020
The R8 RWS was Audi's first-ever rear-wheel drive car. It was such a success the brand has come back for more – and this time it's a proper production model.
2020 Toyota Yaris GR-4 teased
Toyota is readying a new production Yaris hot hatch, following in the footsteps of the limited-run (and Europe-only) Yaris GRMN.
Big guards and four-wheel drive?
2020 Nissan Patrol pricing and specs: AEB now standard, no CarPlay/Android for Australia
Nissan has upped the price on its large SUV, but it wades into battle with more safety equipment and a fresh look.
2020 Mitsubishi Mirage teaser photo released: can it win back sales in the city-car class?
Mitsubishi is giving its Mirage city-car its biggest makeover since this generation went on sale six years ago.
Holden rules out seven-year warranty
Holden says there are no plans to introduce a permanent seven-year warranty, but is considering expanding its seven-year free servicing offer.
More service offers could be on the cards
1
11
nextprevious
The week's top news stories: November 10, 2019


{% extends 'base.html' %} {% load static %} {% load humanize %} {% block body %} Dashboard Home Wishlist Please enter your email id to reset your password. Send {% endblock %}
Please enter your email id to reset your password.


.progress-darker
.progress-danger
.progress-success
You can put content inside progress bars.
Progress bars will automatically animate as they fill up.
Currently doesn't look so great on Firefox. Should use thin versions in most places.
You can add an .active
class to animate stripes and indicate an indeterminate state.


Toggle navigation
A01
Home
My Choice
Contact Me
Bhavika Padidala
Price Calculation Based On Quantity
Product Description
Quantity
Price
Item 1
$100
Item 2
$90
Item 3
$80
Item 4
$70
Item 5
$60
Item 6
$50
Item 7
$5
Item 8
$4
Item 9
$3
Item 10
$2
Item 11
$1
Total:
$0
Customer Details
Name
Street
Mobile Number
Transaction Type
Cash
Credit Card
Debit Card


Please Select the warehouse
| MM | FEET | QTY | KG |
| ----- | ----- | ----- | ---- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |
| MM | FEET | QTY | KG |
| --- | --- | --- | --- |


The Story
I am a San Francisco native living in Oakland, CA. I had the unique privilege of attending a full French immersion school (K-12) and a top liberal arts college, Pomona (ranked top 5 in the country). Joining Teach for America after graduation and taking on a role as a high school basketball coach, I spent the next two years exploring the possibilities of a teaching career. I just completed an M.A. in Urban Education through Loyola Marymount University (December, 2016). At the moment, I am making a career shift from my current position as a Math Teacher in the Oakland Unified School District to become a full-time Software Engineer.


Most recent blog posts
Enumerable Methods: Map It To Me One Time
This Tech World of Ours: Why "Ours" Needs To Include Everyone
Arrays and Hashes: for Kindergarteners, by Kindergarteners
Learning Styles: What's Going On In That Brain of Mine?
CSS Design: The Box Model
Chefs in the Kitchen
Git Blog


RomanNumeral
public struct RomanNumeral
The RomanNumeral type abstracts data and operations related to working with roman-numeral expressions of harmony. Two basic systems of roman-numerals are provided: ‘Traditional’ and ‘Berklee’, the former employing figured-bass notation and both upper and lower case characters, and the latter resembling chord symbols and using all upper case characters.
-
The Traditional roman numeral type uses figured-bass notation and both upper and lower case characters. Examples:
- iv6: first-inversion minor triad built on the fourth scale-degree
- IM43: second-inversion major-seventh chord built on the tonic.
- Ger6: German augmented-sixth chord.
- VI6: first-inversion major triad built on the flatted-sixth scale-degree.
Note that the convention of using the upper case ‘M’ character to imply a major-seventh chord is applied here. I7, for example, implies a dominant-seventh chord built on the tonic. Initialized with a string, e.g. RomanNumeral.Traditional(
See moreiv6
).Declaration
Swift
public struct Traditional
-
The Berklee roman numeral type uses chord-symbol style notation and only upper case characters, as is used in the system of harmony taught to undergraduates in the Berkee College of Music’s core jazz-based harmony courses. Examples:
- IVm6: minor-sixth chord built on the fourth scale-degree.
- bVImaj7#11: major-seventh chord with an added sharp-eleventh built on the flatted-sixth scale-degree.
- V7b9#9b5#5: dominant-seventh chord with a flatted-ninth, sharp-ninth, flatted-fifth, and sharp-fifth (no perfect-fifth) built on the fifth scale-degree.
- subV7/IV: dominant-seventh chord built on the flatted-fifth scale-degree.
Initialized with a string, e.g. RomanNumeral.Traditional(
See morebIIImaj7b5
).Declaration
Swift
public struct Berklee


Installation¶
Conan¶
mgs
is available from the conan-center
remote and can be installed like this:
$ conan install mgs/0.2.0@
Integration¶
CMake¶
CMake config files are released to ease integration.
If you used Conan to install mgs
, you can use the cmake_find_package_multi
generator for the same results.
cmake_minimum_required(VERSION 3.3)
project(example)
set(CMAKE_CXX_STANDARD 14)
set(CMAKE_CXX_EXTENSIONS OFF)
# not useful if installed with Conan
list(APPEND CMAKE_PREFIX_PATH "<path/to/mgs>")
find_package(mgs REQUIRED)
add_executable(example main.cpp)
target_link_libraries(example mgs::mgs)
You can also use CMake components:
cmake_minimum_required(VERSION 3.3)
project(example)
set(CMAKE_CXX_STANDARD 14)
set(CMAKE_CXX_EXTENSIONS OFF)
# not useful if installed with Conan
list(APPEND CMAKE_PREFIX_PATH "<path/to/mgs>")
find_package(mgs REQUIRED COMPONENTS base64 base64url)
add_executable(example main.cpp)
target_link_libraries(example mgs::base64 mgs::base64url)
Manual¶
Passing -isystem/path/to/mgs/include
to your compiler invocation should be enough.


[§8-8.2] Saint Marianne Cope Day. January 23 of each year shall be known and designated as "Saint Marianne Cope Day", provided that this day is not and shall not be construed to be a state holiday. [L 2014, c 3, §2]


Allopay allows you to manage, organize and pay your online service subscriptions easily.
Be the first user of Allopay by registering your email.
Allopay gives you the tools to measure, understand and grow your subscription business. Use data to prove (or disprove) your hypotheses and stop wasting time in Excel, all your recurring revenue metrics are calculated automatically and updated in real-time.
Your stored cards will continue to work even if the card number or expiry date changes— Allopay works directly with card networks so that your customers can continue using your service without interruption.
Allopay makes it easy for merchant with secure and robust API's and keys with advanced and easy solutions.
Allopay adapts to every recurring billing scenario. Within minutes of sign up, you'll have access to flexible plan solutions, subscription add-ons, coupons, and effortless tax management.
Grow and maintain extraordinary customer relationships. Chargify provides all the tools you need to manage subscriber accounts and stay in contact regularly, while ensuring you keep getting paid.
Unleash the full potential of your business. Monitor all of your activity in Chargify's intuitive business dashboard, gain access to customer analytics, and seamlessly integrate with third-party apps.
Register your email now for beta access


--- layout: blog title: index permalink: / ---
I am in my final year as a Ph.D. candidate in the Biology department at the University of Vermont. I am interested in how temporal and spatial factors influence the transmission of amphibian disease, specifically Ranavirus. I am working with my advisor Dr. Nicholas Gotelli and with the support of my current and previous labmates: Lindsey Pett, Andrew Nguyen, Amanda Northrop, Alex Burnham, and Emily Beasley.
I am amplifying the MHC gene in experimental Wood Frog tadpoles to determine whether there are genetic differences in susceptible individuals compared to resistant individuals.
Aug 2020 - presentI am investigating whether amphibian diversity is related to Ranavirus prevalence. A positive relationship would be an example of the amplification effect, while a negative relationship would be an example of the dilution effect.
Aug 2019 - presentI collected liver tissue from Bullfrog (Lithobates catesbeianus) and Amazonian anuran species to analyze whether the presence and abundance of Ranavirus is associated with the presence and abundance of anuran macroparasites.
January 2019 - presentI collected 4 Wood Frog egg masses from 10 sites and will experimentally infect 5 tadpoles per egg mass (5 controls) to determine if there are differences in how populations respond to ranavirus
May-June 2018I collected toe and tail tissue from 29 sites around Vermont (two time points).
July and Aug. 2017I finished my first field season where I collected toe and tail tissue from 18 sites (7 time points) around Vermont.
May-Aug. 2016I started my journey to obtain my doctorate degree at the University of Vermont, advised by Dr. Nicholas Gotelli.
Aug. 2015I graduated UCL with a Master of Research in Biodiversity, Evolution, and Conservation, completing two species distribution modeling projects during that time.
Sep. 2014I graduated from UF with a Bachelor of Science in Wildlife Ecology and Conservation.
May 2012R
GIS
Species Distribution Modeling
qPCR
DNA isolation
Unix
Fieldwork
The ranavirus is an amphibian disease causing mass die-offs across the world. It has yet to be documented naturally in Vermont, which is what my research focuses on.
Liatris-novae angliae is a rare flower endemic to New England. I have been working on comparing historic and present occurrences using data from the Natural Heritage programs of various states.
{{ site.jingyu.description }}
© {{ 'now' | date: "%Y" }} {{ site.title }}


STEM is a curriculum based on the idea of educating students in four specific disciplines — science, technology, engineering and mathematics — in an interdisciplinary and applied approach. Rather than teach the four disciplines as separate and discrete subjects, STEM integrates them into a cohesive learning paradigm based on real-world applications.
STEM is important because our world depends on it. The economy, our general well-being; it’s all backed by science, technology, engineering, and math. STEM is not just coding and lab coats. It’s the underpinning of manufacturing, food production, health care, and so much more that frankly, we might take for granted, but surely can’t live without.


Sign up
User Name
Valid
Please fill out this field
Email
Valid
Please fill out this field
Password
Valid
Please fill out this field
Confirm Password
Valid
Please fill out this field
Submit
Cancel


--- layout: post title: What to put in /etc/mk.conf ---
In order to get a sane build environment and to build sane packages out of your environment, you should consider overriding some default
values in your /etc/mk.conf
. For example, if you are running NetBSD/alpha, you shouldn't use any optimizations to cc(1), because
gcc is still buggy on Alpha. And in general you should think twice before setting the optimization level above 2, because this might cause
several programs to segfault frequently or not run at all. Here are some lines from my mk.conf
, which might help you
(they will honor all default values but -O*):
When trying to fix bugs in packages, it is helpful to append -Wall -Werror
to COMMONCFLAGS
, but beware: This might
break a lot of configure scripts (so, you have the chance to fix them too ;-). Another needful thing to have in your mk.conf
is support
for sudo instead of the default su(1), so you may need not to type the root password everytime you install a
package as a user. Here are the lines from my mk.conf
:
Another helpful thing to do, is to override the default MASTER_SITE
with faster (local) mirrors. E.g. I have a local NetBSD mirror
(thats the tatooine.kosmos.all
line, so don't simply copy&paste to your mk.conf
:-),
from where pkgsrc should try to fetch the needed distfiles first and after that fails, it will try several other mirrors, and only if a distfile cannot
be found there, it'll try to fetch it from the MASTER_SITE
s specified for the package. Here are the lines from my mk.conf
:


I am a paragraph of text with a floated box inside me.
When working on something with
, it can be helpful to have a grid behind you.Click me!
Sometimes you want to increase the size of a hit target without changing its position. Depending on the situation, there may be a number of ways to accomplish this. But a simple and often effective one is to apply a negative margin and padding of the same value. They sort of cancel eachother out while allowing you to increase the hit target region by the size you choose.
<svg xmlns=\'http://www.w3.org/2000/svg\'>
<filter id=\'grayscale\'>
<feColorMatrix type=\'matrix\' values=\'0.3333 0.3333 0.3333 0 0 0.3333 0.3333 0.3333 0 0 0.3333 0.3333 0.3333 0 0 0 0 0 1 0\'/>
</filter>
</svg>


mtrace - interpret the malloc trace log
mtrace [option]... [binary] mtracedata
mtrace is a Perl script used to interpret and provide human readable
output of the trace log contained in the file mtracedata, whose
contents were produced by mtrace(3). If binary is provided, the
output of mtrace also contains the source file name with line number
information for problem locations (assuming that binary was compiled
with debugging information).
For more information about the mtrace(3) function and
mtrace script usage, see mtrace(3).
- --help
- Print help and exit.
- --version
- Print version information and exit.
This page is part of release 5.05 of the Linux man-pages project. A
description of the project, information about reporting bugs, and the latest
version of this page, can be found at https://www.kernel.org/doc/man-pages/.


2 Samuel 21:15
Moreover the Philistines had yet war again with Israel; and David went down, and his servants with him, and fought against the Philistines: and David waxed faint.


Class State
A State which contains an array of Instances and controls them, allowing full power over them
Inheritance
System.Object
State
Inherited Members
System.Object.ToString()
System.Object.Equals(System.Object)
System.Object.Equals(System.Object, System.Object)
System.Object.ReferenceEquals(System.Object, System.Object)
System.Object.GetHashCode()
System.Object.GetType()
System.Object.MemberwiseClone()
Assembly: Inferno.Runtime.Desktop.dll
Syntax
Constructors
|
Improve this Doc
View Source
State(Game)
Declaration
public State(Game parent)
Parameters
| Type |
Name |
Description |
| Game |
parent |
|
|
Improve this Doc
View Source
State(Game, Int32, Int32, Sprite)
Declaration
public State(Game parent, int Width, int Height, Sprite background = null)
Parameters
| Type |
Name |
Description |
| Game |
parent |
|
| System.Int32 |
Width |
|
| System.Int32 |
Height |
|
| Sprite |
background |
|
Fields
|
Improve this Doc
View Source
Background
Declaration
Field Value
|
Improve this Doc
View Source
Camera
Declaration
Field Value
|
Improve this Doc
View Source
DrawingCheck
Whether or not to check if something can be seen before drawing
Declaration
Field Value
| Type |
Description |
| System.Boolean |
|
|
Improve this Doc
View Source
Height
Declaration
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
ParentGame
The game that the state belongs to
Declaration
Field Value
|
Improve this Doc
View Source
SpaceSize
The Size of each Spatial "Space"
Declaration
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
SpatialMode
Declaration
public SpatialMode SpatialMode
Field Value
|
Improve this Doc
View Source
SpatialSafeZone
Declaration
public Rectangle SpatialSafeZone
Field Value
| Type |
Description |
| Microsoft.Xna.Framework.Rectangle |
|
|
Improve this Doc
View Source
UpdateMode
Declaration
public UpdateMode UpdateMode
Field Value
|
Improve this Doc
View Source
UseSpatialSafeZone
Whether or not the State has a Spatial Safe Zone
Declaration
public bool UseSpatialSafeZone
Field Value
| Type |
Description |
| System.Boolean |
|
|
Improve this Doc
View Source
Width
Declaration
Field Value
| Type |
Description |
| System.Int32 |
|
Properties
|
Improve this Doc
View Source
Bounds
Declaration
public Rectangle Bounds { get; }
Property Value
| Type |
Description |
| Microsoft.Xna.Framework.Rectangle |
|
|
Improve this Doc
View Source
Item[Int32]
Declaration
public Instance this[int id] { get; set; }
Parameters
| Type |
Name |
Description |
| System.Int32 |
id |
|
Property Value
Methods
|
Improve this Doc
View Source
AddInstance(Instance)
Add an instance to the State
Declaration
public int AddInstance(Instance instance)
Parameters
Returns
| Type |
Description |
| System.Int32 |
The instance reference ID
|
|
Improve this Doc
View Source
BeginUpdate()
Declaration
public void BeginUpdate()
|
Improve this Doc
View Source
ConfigSpatial()
Configure the spatial spaces
Declaration
protected void ConfigSpatial()
|
Improve this Doc
View Source
Draw(SpriteBatch)
Declaration
public void Draw(SpriteBatch spriteBatch)
Parameters
| Type |
Name |
Description |
| Microsoft.Xna.Framework.Graphics.SpriteBatch |
spriteBatch |
|
|
Improve this Doc
View Source
EndUpdate()
Declaration
|
Improve this Doc
View Source
GetIdForObj(Int32)
Get a list of spaces that contains the instance
Declaration
public List<int> GetIdForObj(int instance)
Parameters
| Type |
Name |
Description |
| System.Int32 |
instance |
|
Returns
| Type |
Description |
| System.Collections.Generic.List<System.Int32> |
|
|
Improve this Doc
View Source
GetInstance(Int32)
Declaration
public Instance GetInstance(int id)
Parameters
| Type |
Name |
Description |
| System.Int32 |
id |
|
Returns
|
Improve this Doc
View Source
GetInstanceChildren(Int32)
Get everything that states it is a children of the specified instance ID
Declaration
public Instance[] GetInstanceChildren(int id)
Parameters
| Type |
Name |
Description |
| System.Int32 |
id |
|
Returns
|
Improve this Doc
View Source
GetInstanceId(Instance)
Get the ID of an instance
Declaration
public int GetInstanceId(Instance instance)
Parameters
Returns
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GetInstances()
Get an array of present Instances
Declaration
public Instance[] GetInstances()
Returns
|
Improve this Doc
View Source
GetNearby(Int32)
Get all Instances near the specified instance
Declaration
public List<Instance> GetNearby(int obj)
Parameters
| Type |
Name |
Description |
| System.Int32 |
obj |
|
Returns
| Type |
Description |
| System.Collections.Generic.List<Instance> |
|
|
Improve this Doc
View Source
InvokeOnStateLoad(Object)
Invoke the state load event
Declaration
public void InvokeOnStateLoad(object sender)
Parameters
| Type |
Name |
Description |
| System.Object |
sender |
|
|
Improve this Doc
View Source
InvokeOnStateUnLoad(Object)
Invoke the state unload event
Declaration
public void InvokeOnStateUnLoad(object sender)
Parameters
| Type |
Name |
Description |
| System.Object |
sender |
|
|
Improve this Doc
View Source
RegisterInstanceInSpace(Instance)
Register the instance in a space
Declaration
protected void RegisterInstanceInSpace(Instance obj)
Parameters
|
Improve this Doc
View Source
RegisterInstanceInSpace(Int32)
Register an instance in a space by ID
Declaration
protected void RegisterInstanceInSpace(int obj)
Parameters
| Type |
Name |
Description |
| System.Int32 |
obj |
|
|
Improve this Doc
View Source
Update(GameTime)
Declaration
public void Update(GameTime gameTime)
Parameters
| Type |
Name |
Description |
| Microsoft.Xna.Framework.GameTime |
gameTime |
|
Events
|
Improve this Doc
View Source
OnStateDraw
Called when the state is drawn
Declaration
public event EventHandler OnStateDraw
Event Type
| Type |
Description |
| System.EventHandler |
|
|
Improve this Doc
View Source
OnStateLoad
Called when the state is loaded
Declaration
public event EventHandler OnStateLoad
Event Type
| Type |
Description |
| System.EventHandler |
|
|
Improve this Doc
View Source
OnStateUnLoad
Called when the state is unloaded
Declaration
public event EventHandler OnStateUnLoad
Event Type
| Type |
Description |
| System.EventHandler |
|
|
Improve this Doc
View Source
OnStateUpdate
Called when the state is updated
Declaration
public event EventHandler OnStateUpdate
Event Type
| Type |
Description |
| System.EventHandler |
|


The Neubot Project was a project by the Nexa Center for Internet & Society at Politecnico di Torino (DAUIN). The project started in June 2008 and concluded on May 31, 2017. After this date, Simone Basso has been maintaining the software tools originated by the Neubot project.
This web page exists to document the status of Neubot after the original project at Nexa Center has been shut down.
The spirit of the agreement around Neubot between Simone Basso and the Nexa Center is that the Neubot tool will be retired and the Neubot name will not be used anymore. Yet, it's fine for the DASH experiment researched and implemented as part of the Neubot project to continue to exist. This experiment, in fact, was implemented by the Measurement Kit library that was integrated by thousands of OONI mobile clients.
Accordingly, development of the DASH experiment continues in the github.com/neubot/dash GitHub repository. Because the Nexa Center is not directly responsible of the DASH experiment, we also of course updated the DASH experiment's privacy policy accordingly (see neubot/dash#24).
All the other repositories in the Neubot organisation have been archived and all the corresponding software tools have been retired. The organisation is still jointly controlled by Simone Basso and (at least one) Nexa center representative.
As of October 2020, OONI continues to be the main integration of the DASH experiment.
Because the DASH experiment is still deployed in production, we are evaluating improvements aimed at making it more performant and more accurate within the original spirit of measuring streaming-like performance.