TOWUPPER
Section: Linux Programmer's Manual (3)
Updated: 2014-03-18
Index
Return to Main Contents
NAME
towupper, towupper_l - convert a wide character to uppercase
SYNOPSIS
#include <wctype.h>
wint_t towupper(wint_t wc);
wint_t towupper_l(wint_t wc, locale_t locale);
Feature Test Macro Requirements for glibc (see
feature_test_macros(7)):
towupper_l():
-
- Since glibc 2.10:
-
_XOPEN_SOURCE >= 700
- Before glibc 2.10:
-
_GNU_SOURCE
DESCRIPTION
The
towupper()
function is the wide-character equivalent of the
toupper(3)
function.
If
wc
is a lowercase wide character,
and there exists an uppercase equivalent in the current locale,
it returns the uppercase equivalent of
wc.
In all other cases,
wc
is returned unchanged.
The
towupper_l()
function performs the same task,
but performs the conversion based on the character type information in
the locale specified by
locale.
The behavior of
towupper_l()
is undefined if
locale
is the special locale object
LC_GLOBAL_LOCALE
(see
duplocale(3))
or is not a valid locale object handle.
The argument
wc
must be representable as a
wchar_t
and be a valid character in the locale or be the value
WEOF.
RETURN VALUE
If
wc
was convertible to uppercase,
towupper()
returns its uppercase equivalent;
otherwise it returns
wc.
ATTRIBUTES
Multithreading (see pthreads(7))
The
towupper()
function is thread-safe with exceptions.
It can be safely used in multithreaded applications, as long as
setlocale(3)
is not called to change the locale during its execution.
VERSIONS
The
towupper_l()
function first appeared in glibc 2.3.
CONFORMING TO
towupper():
C99, POSIX.1-2001 (XSI);
present as an XSI extension in POSIX.1-2008, but marked obsolete.
towupper_l():
POSIX.1-2008.
NOTES
The behavior of these functions depends on the
LC_CTYPE
category of the locale.
These functions are not very appropriate for dealing with Unicode characters,
because Unicode knows about three cases: upper, lower and title case.
SEE ALSO
iswupper(3),
towctrans(3),
towlower(3),
locale(7)
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- RETURN VALUE
-
- ATTRIBUTES
-
- Multithreading (see pthreads(7))
-
- VERSIONS
-
- CONFORMING TO
-
- NOTES
-
- SEE ALSO
-
This document was created by
man2html,
using the manual pages.
Time: 02:54:54 GMT, September 18, 2014


Hi Visitor,Dear {{currentUser.firstName}},
Namaste!
If you’ve reached here, I’m thinking it’s either because you have googled “GDD”
or “Global Development Delay” or “developmental delay”. Are you doing the right
thing looking for help? Yes, you are doing the right thing! You want to learn more
of what may seem different in your child as compared to children in his/her age
group, so that I feel “is a step in the right direction!.”
This website “dhvani.life” is a forum, for connecting parents of children with GDD.
I designed this website as a support system for parents especially mothers of such
innocent angels. I consider “support” a necessity and I believe a strong and “aware”
mother will help the entire family (which may include other normal siblings and
the father) to carry on as a normal family. Every mother hopes that her child is
growing according to the milestones of a normal child. But what do you do if you
notice a delay?
Being a mother of a child with a generic name for her condition called “degenerative neuroregression” I can completely empathize with this constant need to become aware, to know more and to find a way to help our bundle of joy.
We (my team and I) have tried to include resources that will benefit you and your
loved ones. In India especially, there is a lack of awareness of rare conditions such
as the one my daughter, Ishaani had been categorized under. I wish that the other mothers unlike
me do not have to struggle as much as I did with no information or direction on
how to manage such a child. My daughter is no more with us, she passed away on
June 4th, 2019 at 10 years and 2 months. She was a “fighter” and fought her way
during the years she was with us. She brought serenity, joy and love to all those
who had the chance to be with her.
I hope that this website will help some of you mothers out there, if not all, to know
that there are others just like you. You are not alone. Most of the content that you
will find here is based on my personal experience that I would like to share with
you.
Those of you, who have arrived at this website and are not parents or are casual
visitors, help us in reaching out to those who need help.
Please feel free to share your real life stories via images, videos or blogs. If you
request anonymity, we will honor that. Let’s build a community that respects and
helps one another by becoming a member!
We have also created social media outlets via Facebook, Twitter and Instagram
(links are below in the footer), I request you to share these links with your family
and friends.
Ishaani’s mother,
Poornima


Title
Amout / time (pill)
Meal
Morning
Noon
Evening
Bedtime
Time Daily
Before meal
After meal
Bedtime


Of course! We work in all weather conditions. In the cases of extreme heat or cold, we take all precautions to make sure your pet has a safe and enjoyable time while under our care.
We are happy to towel dry your doggie after any inclement weather. We simply ask that you leave a clean towel by the leash on rainy or snowy days, and we will wipe down paws and dirty underbellies as best we can.
Never! Our private walks are just that, private. And our group walks are with no more than 3 dogs to each Canine Caregiver.
Our playgroups are well-supervised (no more than 3-dogs to each canine caregiver) but because they are held at a public dog park, incidents can occur. All staff members are trained to deal with such incidents, and are certified in canine first aid and CPR. That said, if your dog is involved in a skirmish, we will contact you immediately, and follow our emergency procedure plan, as laid out in your new client contract.
Our playgroups are held at the fenced in dog park on Tudor Street in Cambridgeport, or alternatively the dog run at Danehy Park, in North Cambridge.
Our overnight pet sitting includes a daily report for owners. We are happy to email, text, or simply leave a note for you to read when you return home.
Our multimedia Walk Reports are one of our client's favorite features. You choose whether you want to be notified via text message, email, or through a hand-written note. Unless you opt out, you will be sent a walk report at the conclusion of every visit. Our reports let you know where your dog walked, what other dogs he/she walked with, as well as the particulars of any "business" done on the walk. We also frequently include photos of your dog's outing.
We meet with each pet and owner prior to any service. This serves several purposes, one of which is for our Canine Caregivers to evaluate your dog's disposition and assess whether taking part in either semi-private walks or playgroups would pose a risk. In the event that your dog is not approved for playgroups or semi-private walks, we can schedule private walks, and/or one-on-one basic obedience training. Frequently, such dogs can progress to be allowed to partake in group walks or playgroups.
Invoices are sent to your email via Square. We accept credit cards, cash, and check.


TBT: Serge Djiehoua, The Fittest Player In The PSL
by SL SocialFormer Kaizer Chiefs striker Serge Djiehoua will be remembered more for his muscular thighs than for his goal scoring prowess. The Ivorian was largely referred to as the fittest player in the league.
Djiehoua spent time at Chiefs between 2005 and 2007 where he scored five goals in 10 appearances for the Glamour Boys.
Download The Soccer Laduma Social Media App & Earn Airtime for Selfies!
Fans will remember the career-threatening injury the 36-year-old suffered at the hands of former Jomo Cosmos defender, Andrew ‘Jaws of Life’ Rabutla.
He could have easily been mistaken for a nightclub bouncer, due to his muscular frame.
Since leaving Chiefs in 2008, the striker has gone on to represent 13 different sides across obscure leagues in Europe, and currently plays for Turkish side, Sarayköyspor.
What are your memories of Djiehoua in a Chiefs jersey?


|
Elektra
0.8.26
|
intensively (except for file headers).
This document provides an introduction in how the source code of libelektra is organized and how and where to add functionality.
Make sure to read DESIGN together with this document.
After you downloaded and unpacked Elektra you should see some folders. The most important are:
libelektra is the ANSI/ISO C99-Core which coordinates the interactions between the user and the plugins.
The plugins have all kinds of dependencies. It is the responsibility of the plugins to find and check them using CMake. The same guidelines apply to all code in the repository including the plugins.
libloader
is responsible for loading the backend modules. It works on various operating systems by using libltdl
. This code is optimized for static linking and win32.
kdb is the commandline-tool to access and initialize the Elektra database.
You are only allowed to break a guideline if there is a good reason to do so. When you do, document the fact as comment next to the code.
Of course, all rules of good software engineering apply: Use meaningful names and keep the software both testable and reusable.
The purpose of the guidelines is to have a consistent style, not to teach programming.
If you see code that breaks guidelines do not hesitate to fix them. At least put a TODO marker to make the places visible.
If you see inconsistency within the rules do not hesitate to talk about it with the intent to add a new rule here.
See DESIGN document too, they complement each other.
Code is not only for the computer, but it should be readable for humans, too. Up-to-date code comments are essential to make code understandable for others. Thus please use following techniques (in order of preference):
/**/
and Doxygen, see below.You should also add assertions to state what should be true at a specific position in the code. Their syntax is checked and they are automatically verified at run-time. So they are not only useful for people reading the code but also for tools. Assertions in Elektra are used by:
#include <kdbassert.h>
ELEKTRA_ASSERT (condition, "formatted text to be printed when assert fails", ...)
Note: Do not use assert for user-APIs, always handle arguments of user-APIs like untrusted input.
If the "comment" might be useful to be printed during execution, use logging:
#include <kdblogger.h>
ELEKTRA_LOG ("formatted text to be printed according to log filters", ...)
Read HERE for how to enable the logger.
//
or with /**/
for multi-line comments.Limits
Split up when those limits are reached. Rationale: Readability with split windows.
elektra
for internal usage. External API either starts with ks
, key
or kdb
.(
).*
from Pointers.,
of every function argument.The reformat script can ensure most code style rules, but it is obviously not capable of ensuring everything (e.g. naming conventions). So do not give this responsibility out of hands entirely.
const
as much as possible.static
methods if they should not be externally visible..c
, Header files .h
.Example: src/libs/elektra/kdb.c
.cpp
, Header files .hpp
.static
, but anonymous namespaces.Example: src/bindings/cpp/include/kdb.hpp
We use a similar style for CMake as we do for other code:
(
).set
instead of SET
)You can use cmake-format
to reformat code according to the guidelines given above. Since cmake-format
currently does not support tabs, please use the standard command unexpand
to fix this issue. For example, to reformat the file CMakeLists.txt
in the root folder of the repository you can use the following command:
. If you want to reformat the whole codebase you can use the script `reformat-cmake`.
Please follow Google Java Style Guide for Java and Groovy (used by Jenkins) files.
Most notably use:
.md
or integrated within Doxygen comments#
characters at the left side of headers/titlesREADME.md
and tutorials should be written exclusively with shell recorder syntax so that we know that the code in the tutorial produces output as expectedPlease use prettier
to format documentation according to the guidelines given above. If you want, you can also format all Markdown files in the repository using the script `reformat-markdown`.
Under certain exceptional circumstances you might want to prevent prettier
from formatting certain parts of a Markdown file. To do that you can
and
tags, ordoxygen
is used to document the API and to build the html and pdf output. We also support the import of Markdown pages. Doxygen 1.8.8 or later is required for this feature (Anyways you can find the API Doc online). Links between Markdown files will be converted with the Markdown Link Converter. Markdown pages are used in the pdf, therefore watch which characters you use and provide a proper encoding!
@
to start Doxygen tags\copydetails
, @copybrief
and @copydetails
intensively (except for file headers).Files should start with:
```c /**


Interface INamedNodeMap
Represents a collection of nodes that can be accessed by name or index.
Objects implementing the INamedNodeMap interface are used to represent collections of nodes that can be accessed by name.
Inherited Members
Namespace: SharpVectors.Dom
Assembly: SharpVectors.Core.dll
Syntax
public interface INamedNodeMap : IEnumerable
Remarks
Note that INamedNodeMap does not inherit from INodeList; INamedNodeMaps are not maintained in any particular order. Objects contained in an object implementing INamedNodeMap may also be accessed by an ordinal index, but this is simply to allow convenient enumeration of the contents of a INamedNodeMap, and does not imply that the DOM specifies an order to these Nodes.
INamedNodeMap objects in the DOM are live.
Properties
Count
Gets the number of nodes in the INamedNodeMap.
Declaration
int Count { get; }
Property Value
| Type | Description |
|---|---|
| Int32 | The number of nodes. |
Methods
GetNamedItem(String)
Retrieves an XmlNode specified by name.
Declaration
XmlNode GetNamedItem(string name)
Parameters
| Type | Name | Description |
|---|---|---|
| String | name | The qualified name of the node to retrieve. It is matched against the Name property of the matching node. |
Returns
| Type | Description |
|---|---|
| XmlNode | An XmlNode with the specified name or null if a matching node is not found. |
GetNamedItem(String, String)
Retrieves a node with the matching LocalName and NamespaceURI.
Declaration
XmlNode GetNamedItem(string localName, string namespaceURI)
Parameters
| Type | Name | Description |
|---|---|---|
| String | localName | The local name of the node to retrieve. |
| String | namespaceURI | The namespace Uniform Resource Identifier (URI) of the node to retrieve. |
Returns
| Type | Description |
|---|---|
| XmlNode | An XmlNode with the matching local name and namespace URI or null if a matching node was not found. |
Item(Int32)
Retrieves the node at the specified index in the INamedNodeMap.
Declaration
XmlNode Item(int index)
Parameters
| Type | Name | Description |
|---|---|---|
| Int32 | index | The index position of the node to retrieve from the INamedNodeMap. The index is zero-based; therefore, the index of the first node is 0 and the index of the last node is Count -1. |
Returns
| Type | Description |
|---|---|
| XmlNode | The XmlNode at the specified index. If index is less than 0 or greater than or equal to the Count property, null is returned. |
RemoveNamedItem(String)
Removes the node from the INamedNodeMap.
Declaration
XmlNode RemoveNamedItem(string name)
Parameters
| Type | Name | Description |
|---|---|---|
| String | name | The qualified name of the node to remove. The name is matched against the Name property of the matching node. |
Returns
| Type | Description |
|---|---|
| XmlNode | The XmlNode removed from this INamedNodeMap or null if a matching node was not found. |
RemoveNamedItem(String, String)
Removes a node with the matching LocalName and NamespaceURI.
Declaration
XmlNode RemoveNamedItem(string localName, string namespaceURI)
Parameters
| Type | Name | Description |
|---|---|---|
| String | localName | The local name of the node to remove. |
| String | namespaceURI | The namespace URI of the node to remove. |
Returns
| Type | Description |
|---|---|
| XmlNode | The XmlNode removed or null if a matching node was not found. |
SetNamedItem(XmlNode)
Declaration
XmlNode SetNamedItem(XmlNode node)
Parameters
| Type | Name | Description |
|---|---|---|
| XmlNode | node | An XmlNode to store in the INamedNodeMap. If a node with that name is already present in the map, it is replaced by the new one. |
Returns
| Type | Description |
|---|---|
| XmlNode | If the node replaces an existing node with the same name, the old node is returned; otherwise, null is returned. |
Exceptions
| Type | Condition |
|---|---|
| ArgumentException | The node was created from a different XmlDocument than the one that created the INamedNodeMap; or the INamedNodeMap is read-only. |


List of labels ; optional; nonconfigurable
The list of environments this target can be built for, instead of default-supported environments.
This is part of Bazel's constraint system. See compatible_with for details.
compatible_with


Usage¶
Production Environment File:¶
The following command will produce a production environment file for docker-compose containing a random password for postgres and random secret for JWT export DB_PASS=$(</dev/urandom tr -dc ‘A-Za-z0-9!”#%&’‘’()*+,-./:;<=>?@[]^_`{|}~’ | head -c 32 ); printf “POSTGRES_PASS=%snJWT_SECRET=%snSQLALCHEMY_URI=postgres+psycopg2://seattle_flu:%s@db” $DB_PASS $(</dev/urandom tr -dc ‘A-Za-z0-9!”#%&’‘’()*+,-./:;<=>?@[]^_`{|}~’ | head -c 256 ) $DB_PASS > production.env
- # if you have a ramdsik, add that as the job_host_path
printf “MODEL_HOST_PATH=/model_storenWORKER_JOB_HOST_PATH=/mnt/ramdisknMODEL_JOB_PATH=/jobs” >> production.env
Migrations¶
Run
Setup¶
Generate credentials for postgres
Setup an environment file containing the following
Run docker-compose -f docker-compose.production.yml service db init
Run


menu
| Home
| info
| Job list
| register
| Login
login as member
login as admin
| Home
| info
| Job list
| register
| Login
login as member
login as admin
email
login


SKF has by default a set of projects already created for you, these we call the Design pattern projects.
Also the new projects you will create will be listed over here.
Here you can create your own project and start the expert system wizard of SKF to gather the requirements
needed for your project.
Here you can click on the project to retrieve or start gathering the security requirements.
Here you can update the basic information of the project.


| # | First | Last | Handle |
|---|---|---|---|
| 1 | Mark | Otto | @mdo |
| 2 | Jacob | Thornton | @fat |
| 3 | Larry | the Bird | |
| 4 | Mark | Otto | @mdo |
| 5 | Jacob | Thornton | @fat |
| 6 | Larry | the Bird | |
| 7 | Mark | Otto | @mdo |
| 8 | Jacob | Thornton | @fat |
| 9 | Larry | the Bird | |
| 10 | Larry | the Bird | |
| 11 | Mark | Otto | @mdo |
| 12 | Jacob | Thornton | @fat |
| 13 | Larry | the Bird | |
| 14 | Larry | the Bird | |
| 15 | Mark | Otto | @mdo |
| 16 | Jacob | Thornton | @fat |
| 17 | Larry | the Bird |
| # | First | Last | Handle |
|---|---|---|---|
| 1 | Mark | Otto | @mdo |
| 2 | Jacob | Thornton | @fat |
| 3 | Larry | the Bird | |
| 4 | Mark | Otto | @mdo |
| 5 | Jacob | Thornton | @fat |
| 6 | Larry | the Bird | |
| 7 | Mark | Otto | @mdo |
| 8 | Jacob | Thornton | @fat |
| 9 | Larry | the Bird | |
| 10 | Larry | the Bird | |
| 11 | Mark | Otto | @mdo |
| 12 | Jacob | Thornton | @fat |
| 13 | Larry | the Bird | |
| 14 | Larry | the Bird | |
| 15 | Mark | Otto | @mdo |
| 16 | Jacob | Thornton | @fat |
| 17 | Larry | the Bird |


Going to a Doctor in France Tweet
Some practical lesson
Before coming to France, I was warned that that the French are snippy if you can’t speak French with the proper accent. So I did duolingo every day and was able to survive Charles de Gaulle Paris and my first trip to the doctor without encountering “meanies”. In fact they were all sooo nice! (But maybe because I have a broken leg.) Nevertheless, my priors on the French people are updated.
Although I could not really speak in complete sentences, I could answer administrative questions with phrases or words but there was one thing I forgot.
Woman on Desk (WOD): Gibberish… Gibberish avez-vous une (something insurance?)
Me: Non.
WOD: Gibberish Gibberish
Me: Uggh.. lentement, s’il vous plait..
WOD: Gibberish de Naissance
Me: (Belatedly realizes she said Date de Naissance?). Ahhh!!! Birthday!
WOD: (Visibly irritated)
Me: Uhm… Juin… How do you say 25? Cinq Vinqt (In my head, how do you say the year).
WOD: (Lady slaps the table with a piece of paper and a pen!)
I thought I was super ready with the conversation with the doctor! But I totally forgot about the administrative stuff. Please learn from my mistake!
I talk about some of the things that I’d been preparing for the past month. All in English. And I’ll write in a separate post all the phrases/sentences I learned. I haven’t been super consistent with my French language studies so I decided to write about this today.
Rendes-vous - Scheduling an appointment
When scheduling an appointment you can call their offices or better yet use an online scheduling application. You can quickly find a doctor within minutes! I found an orthopedic surgeon and a rheumatologist using doctolib.fr and it’s free. I wonder why the US doesn’t have anything similar! I totally don’t miss calling the Clinic for Rheumatic Diseases for an appointment. It mostly takes an hour or sometimes few hours to get through. Anyway, doctolib is super cool!
At the counter
You’ll be asked to check-in when you arrive. You have to show an ID, give your address, insurance information (if you are using one) and your phone number. At least you have to recognize what the words and phrases are when asked. Then, you’d be asked to go to the waiting room (salle d’attente).
Speaking with the Doctor (Depends on what kind)
Since I go to specialists multiple times, I’ve noticed that visits or consultations have a standard and predictable conversation patterns. They will ask you, common questions, like describe the difficulty when it comes to coming out of bed, tying your shoelaces, or opening a door knob. That’s for rheumatology. For the orthopedic surgeon, they just ask you for an xray mostly, ask you describe the sensations you feel in your leg and they’ll physically examine the range of motion that you have on your foot. Totally depends on what you have. You would be able to prepare for it. Luckily though, the orthopedic surgeon in Saint Genis could speak English. The rheumatologist I found lives on another side of France. I’m going to prepare for the worse that she speaks absolutely zero English and is intolerant of non-Francophones!
For the psychiatrist/psychotherapist, I do not think that I can afford to not find an English-speaking one. I need to be able to express my thoughts and feelings. Even at my level of English, there are still some things that I could not explain well to my previous counselor. So, I might have to look for one in Geneva. Fortunately, my insurances said they’d be willing to schedule an appointment for me and there’s a chance I do not have to pay the total upfront cost.
Paying the bill
For paying the bill, I thought it would be good to learn how to count in french. You can find many websites on how to count in French but I’ll point out a few things that you should remember.
Counting in French
The basics: Counting from 1 to 10. Un, deux, trois, quatre, cinq, six, sept, huit, neuf, dix.
Next level, 10-16. They have special words to memorize too. onze, douze, treize, quatorze, quinze, seize. And then for 17, “10 and 7” so dix-sept. And you can guess for 18 and 19 they are dix-huit and dix-neuf.
For 20, 30, 40, 50, 60. They have special words too.
20 - vingt
30 - trente
40 - quatre
50 - cinquante
60 - soixante
And in between you just append the numbers from 1-9.
21 - vingt et un
32 - trente-deux
43- quarante-trois
55 - cinquante-cinq
69 - soixante-neuf
For 70, 80 and 90, they’re a bit odd and long. For 70 it’s 60 plus 10 so it’s soixante-dix. And then you append the base numbers again when you want to count 75, 78, etc. For 80, it is 4 times 20 so quatre-vingt. That’s how I remember it. Then for 90, it’s 80 plus 10 so quatre-vingt-dix.
It’s now easy for 100 - it’s cent. One thousand is mille. I have no incentive and reason to learn how to count beyond a million so I’ll leave that out. But it shouldn’t be hard to learn.
When you go to fast food chains you’ll probably get these numbers:
587 - cinq cent quatre-vingt sept
499 - quatre cent quatre-vingt-dix neuf although I hear them say quatre cent neuneu neuf something like that. I should check what it is exactly but I am lazy now.
384 - trois cent quatre-ving quatre
It’s good listening practice in there.
When everything else fails
When everything else fails, download Google translate. It could do “speech recognition” and uses computer vision to translate texts to english. And you can even use it offline if you download the whole database for “French”. (Thank you Bayesians and machine learning technologists!). It’s just very bad at handwriting recognition.


Pressure Mounts For Coach At Relegation-Threatened Chippa
by Soccer LadumaThe pressure is mounting for Norman Mapeza in his role as the head coach of relegation-threated Chippa United.
Chippa remain the only team without a win in the Absa Premiership so far this season, with their most recent loss to Kaizer Chiefs on Wednesday evening.
Read: 3 Players Shine As Golden Boot Race Heats Up
Going into the weekend’s away match to AmaZulu, Chippa are currently having their camp resembling a hospital ward, with a number of the team's regulars sidelined by injuries.
Elvis Moyo, Boikanyo Komane and Frederic Nsabiyumva are the latest players to have picked injuries at the Port Elizabeth club.
Furthermore, the Chilli Boys will be without Tercious Malepe, who will sit out the second of his two-match suspension.
Despite having lauded his team for improvement after the 2-0 loss to Chiefs, Mapeza has come under pressure as the gap in points between bottom-placed Chippa and other teams widens.
Read: Pirates’ Big Decision To Stop Billiat, Nurkovic & Co
As reported by the Siya crew, before Mapeza’s appointment as Chippa coach, there had been deliberations between the Zimbabwean mentor’s representatives and the club on the clause that the Eastern Cape outfit wanted to include in the contract to review his performance after three games.
However, the proposal was dismissed by the coach’s camp saying that it was unreasonable, as Mapeza was joining a team he didn’t assemble and was not part of the side's pre-season preparations.


cfboom.http.HttpMessage cfboom.http.HttpResponse cfboom.http.client.ClientHttpResponse
Represents a client-side HTTP response. Obtained via an calling of the {@link ClientHttpRequest#execute()}.
A {@code ClientHttpResponse} must be {@linkplain #close() closed}, typically in a {@code finally} block.
| Method Summary | |
|---|---|
void
|
close()
Close this response, freeing any resources created. |
any
|
getBody()
Return the body of the message as an input stream. |
numeric
|
getRawStatusCode()
Return the HTTP status code of the response as integer. |
HttpStatus
|
getStatusCode()
Return the HTTP status code of the response. |
string
|
getStatusText()
Return the HTTP status text of the response. |
| Methods inherited from class cfboom.http.HttpResponse |
|---|
| getCode, getReasonPhrase, getRequest, isClientError, isInformational, isRedirection, isServerError, isSuccess, setRequest |
| Methods inherited from class cfboom.http.HttpMessage |
|---|
| addHeader, containsHeader, getAllHeaders, getContentEncoding, getContentLength, getContentType, getFirstHeader, getHeaders, getLastHeader, removeHeaders, setHeader, setHeaders |
| Method Detail |
|---|
Close this response, freeing any resources created.
Return the body of the message as an input stream.
Return the HTTP status code of the response as integer
Return the HTTP status code of the response.
Return the HTTP status text of the response.


If SVSU had a video explaining why you should study CSIS at SVSU this is where it would be included. Instead, I found a well made video from a different university on YouTube to put here as an example. The video was published on YouTube as "Creative Commons Attribution license (reuse allowed)" as opposed to the "Standard YouTube License". The video was titled Why Computer Science at UoM? and uploaded by The UoMCompSci YouTube Chanel.


Practice Manager - Coda Studio
Insert Quote Here
Owner / Director - Chamberlain Architects
Owner / Director - Tandem Studio


Congrats, the site works!
This is a temporary webpage. Sooner or later, a simulator will be installed.
Version 0.0.1, Programmed by Kendrick Lee


public class TurbolinksSession
extends java.lang.Object
The main concrete class to use Turbolinks 5 in your app.
| Modifier and Type | Method and Description |
|---|---|
TurbolinksSession |
activity(android.app.Activity activity)
REQUIRED Turbolinks requires a context for a variety of uses, and for maximum clarity
we ask for an Activity context instead of a generic one.
|
TurbolinksSession |
adapter(TurbolinksAdapter turbolinksAdapter)
REQUIRED A
TurbolinksAdapter implementation is required so that callbacks
during the Turbolinks event lifecycle can be passed back to your app. |
void |
addJavascriptInterface(java.lang.Object object,
java.lang.String name)
Provides the ability to add an arbitrary number of custom Javascript Interfaces to the built-in
Turbolinks webView.
|
boolean |
canChildScrollUp()
Determines if the user can scroll up, or if the WebView is at the top
|
android.app.Activity |
getActivity()
Returns the activity attached to the Turbolinks call.
|
static TurbolinksSession |
getDefault(android.content.Context context)
Convenience method that returns a default TurbolinksSession.
|
static TurbolinksSession |
getNew(android.content.Context context)
Creates a brand new TurbolinksSession that the calling application will be responsible for
managing.
|
android.webkit.WebView |
getWebView()
Returns the internal WebView used by Turbolinks.
|
void |
hideProgressView(java.lang.String visitIdentifier)
JavascriptInterface only Hides the progress view when the page is fully rendered.
|
void |
pageInvalidated()
JavascriptInterface only Called when Turbolinks detects that the page being visited
has been invalidated, typically by new resources in the the page HEAD.
|
TurbolinksSession |
progressView(android.view.View progressView,
int progressIndicatorResId,
int progressIndicatorDelay)
Optional This will override the default progress view/progress indicator that's provided
out of the box.
|
static void |
resetDefault()
Resets the default TurbolinksSession instance to null in case you want a fresh session.
|
void |
resetToColdBoot()
Resets the TurbolinksSession to go through the full cold booting sequence (full page load)
on the next Turbolinks visit.
|
TurbolinksSession |
restoreWithCachedSnapshot(boolean restoreWithCachedSnapshot)
Optional By default Turbolinks will "advance" to the next page and scroll position
will not be restored.
|
void |
runJavascript(java.lang.String functionName,
java.lang.Object... params)
Runs a Javascript function with any number of arbitrary params in the Turbolinks webView.
|
void |
runJavascriptRaw(java.lang.String rawJavascript)
Runs raw Javascript in webView.
|
static void |
setDebugLoggingEnabled(boolean enabled)
Tells the logger whether to allow logging in debug mode.
|
void |
setPullToRefreshEnabled(boolean enabled)
Determines whether WebViews can be refreshed by pulling/swiping from the top
of the WebView.
|
void |
setScreenshotsEnabled(boolean enabled)
Determines whether screenshots are displayed (instead of a progress view) when resuming
an activity.
|
void |
setTurbolinksIsReady(boolean turbolinksIsReady)
JavascriptInterface only Sets internal flags that indicate whether Turbolinks in
the webView is ready for use.
|
void |
turbolinksDoesNotExist()
JavascriptInterface only Handles the error condition when reaching a page without
Turbolinks.
|
boolean |
turbolinksIsReady()
Provides the status of whether Turbolinks is initialized and ready for use.
|
TurbolinksSession |
view(TurbolinksView turbolinksView)
REQUIRED A
TurbolinksView object that's been inflated in a custom layout is
required so the library can manage various view-related tasks: attaching/detaching the
internal webView, showing/hiding a progress loading view, etc. |
void |
visit(java.lang.String location)
REQUIRED Executes a Turbolinks visit.
|
void |
visitCompleted(java.lang.String visitIdentifier,
java.lang.String restorationIdentifier)
JavascriptInterface only Called by Turbolinks when the visit is fully completed --
request successful and page rendered.
|
void |
visitLocationWithAction(java.lang.String location,
java.lang.String action)
A convenience method to fire a Turbolinks visit manually.
|
void |
visitProposedToLocationWithAction(java.lang.String location,
java.lang.String action)
JavascriptInterface only Called by Turbolinks when a new visit is initiated from a
webView link.
|
void |
visitRendered(java.lang.String visitIdentifier)
JavascriptInterface only Called by Turbolinks once the page has been fully rendered
in the webView.
|
void |
visitRequestCompleted(java.lang.String visitIdentifier)
JavascriptInterface only Called by Turbolinks when the HTTP request has been
completed.
|
void |
visitRequestFailedWithStatusCode(java.lang.String visitIdentifier,
int statusCode)
JavascriptInterface only Called by Turbolinks when the HTTP request has failed.
|
void |
visitStarted(java.lang.String visitIdentifier,
boolean visitHasCachedSnapshot)
JavascriptInterface only Called by Turbolinks when a new visit has just started.
|
public static TurbolinksSession getNew(android.content.Context context)
context
- Any Android context.public static TurbolinksSession getDefault(android.content.Context context)
context
- Any Android context.public static void resetDefault()
public static void setDebugLoggingEnabled(boolean enabled)
Tells the logger whether to allow logging in debug mode.
enabled
- If true debug logging is enabled.public TurbolinksSession activity(android.app.Activity activity)
REQUIRED Turbolinks requires a context for a variety of uses, and for maximum clarity we ask for an Activity context instead of a generic one. (On occassion, we've run into WebView bugs where an Activity is the only fix).
It's best to pass a new activity to Turbolinks for each new visit for clarity. This ensures there is a one-to-one relationship maintained between internal activity IDs and visit IDs.
activity
- An Android Activity, one per visit.public TurbolinksSession adapter(TurbolinksAdapter turbolinksAdapter)
REQUIRED A TurbolinksAdapter
implementation is required so that callbacks
during the Turbolinks event lifecycle can be passed back to your app.
turbolinksAdapter
- Any class that implements TurbolinksAdapter
.public TurbolinksSession view(TurbolinksView turbolinksView)
REQUIRED A TurbolinksView
object that's been inflated in a custom layout is
required so the library can manage various view-related tasks: attaching/detaching the
internal webView, showing/hiding a progress loading view, etc.
turbolinksView
- An inflated TurbolinksView from your custom layout.public void visit(java.lang.String location)
REQUIRED Executes a Turbolinks visit. Must be called at the end of the chain -- all required parameters will first be validated before firing.
location
- The URL to visit.public TurbolinksSession progressView(android.view.View progressView, int progressIndicatorResId, int progressIndicatorDelay)
Optional This will override the default progress view/progress indicator that's provided out of the box. This allows you to customize how you want the progress view to look while pages are loading.
progressView
- A custom progressView object.progressIndicatorResId
- The resource ID of a progressIndicator object inside the progressView.progressIndicatorDelay
- The delay, in milliseconds, before the progress indicator should be displayed
inside the progress view (default is 500 ms).public TurbolinksSession restoreWithCachedSnapshot(boolean restoreWithCachedSnapshot)
Optional By default Turbolinks will "advance" to the next page and scroll position will not be restored. Optionally calling this method allows you to set the behavior on a per-visitbasis. This will be reset to "false" after each visit.
restoreWithCachedSnapshot
- If true, will restore scroll position. If false, will not restore
scroll position.public void visitProposedToLocationWithAction(java.lang.String location, java.lang.String action)
JavascriptInterface only Called by Turbolinks when a new visit is initiated from a webView link.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
location
- URL to be visited.action
- Whether to treat the request as an advance (navigating forward) or a replace (back).public void visitStarted(java.lang.String visitIdentifier, boolean visitHasCachedSnapshot)
JavascriptInterface only Called by Turbolinks when a new visit has just started.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
visitIdentifier
- A unique identifier for the visit.visitHasCachedSnapshot
- Whether the visit has a cached snapshot available.public void visitRequestCompleted(java.lang.String visitIdentifier)
JavascriptInterface only Called by Turbolinks when the HTTP request has been completed.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
visitIdentifier
- A unique identifier for the visit.public void visitRequestFailedWithStatusCode(java.lang.String visitIdentifier, int statusCode)
JavascriptInterface only Called by Turbolinks when the HTTP request has failed.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
visitIdentifier
- A unique identifier for the visit.statusCode
- The HTTP status code that caused the failure.public void visitRendered(java.lang.String visitIdentifier)
JavascriptInterface only Called by Turbolinks once the page has been fully rendered in the webView.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
visitIdentifier
- A unique identifier for the visit.public void visitCompleted(java.lang.String visitIdentifier, java.lang.String restorationIdentifier)
JavascriptInterface only Called by Turbolinks when the visit is fully completed -- request successful and page rendered.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
visitIdentifier
- A unique identifier for the visit.restorationIdentifier
- A unique identifier for restoring the page and scroll position
from cache.public void pageInvalidated()
JavascriptInterface only Called when Turbolinks detects that the page being visited has been invalidated, typically by new resources in the the page HEAD.
Warning: This method is public so it can be used as a Javascript Interface. you should never call this directly as it could lead to unintended behavior.
public void hideProgressView(java.lang.String visitIdentifier)
JavascriptInterface only Hides the progress view when the page is fully rendered.
Note: This method is public so it can be used as a Javascript Interface. For all practical purposes, you should never call this directly.
visitIdentifier
- A unique identifier for the visit.public void setTurbolinksIsReady(boolean turbolinksIsReady)
JavascriptInterface only Sets internal flags that indicate whether Turbolinks in the webView is ready for use.
Note: This method is public so it can be used as a Javascript Interface. For all practical purposes, you should never call this directly.
turbolinksIsReady
- The Javascript bridge checks the current page for Turbolinks, and
sends the results of that check here.public void turbolinksDoesNotExist()
JavascriptInterface only Handles the error condition when reaching a page without Turbolinks.
Note: This method is public so it can be used as a Javascript Interface. For all practical purposes, you should never call this directly.
public void addJavascriptInterface(java.lang.Object object, java.lang.String name)
Provides the ability to add an arbitrary number of custom Javascript Interfaces to the built-in Turbolinks webView.
object
- The object with annotated JavascriptInterface methodsname
- The unique name for the interface (must not use the reserved name "TurbolinksNative")public android.app.Activity getActivity()
Returns the activity attached to the Turbolinks call.
public android.webkit.WebView getWebView()
Returns the internal WebView used by Turbolinks.
public void resetToColdBoot()
Resets the TurbolinksSession to go through the full cold booting sequence (full page load) on the next Turbolinks visit.
public void runJavascript(java.lang.String functionName, java.lang.Object... params)
Runs a Javascript function with any number of arbitrary params in the Turbolinks webView.
functionName
- The name of the function, without any parenthesis or paramsparams
- A comma delimited list of params. Params will be automatically JSONified.public void runJavascriptRaw(java.lang.String rawJavascript)
Runs raw Javascript in webView. Simply wraps the loadUrl("javascript: methodName()") call.
rawJavascript
- The full Javascript string that will be executed by the WebView.public void setScreenshotsEnabled(boolean enabled)
Determines whether screenshots are displayed (instead of a progress view) when resuming an activity. Default is true.
enabled
- If true automatic screenshotting is enabled.public void setPullToRefreshEnabled(boolean enabled)
Determines whether WebViews can be refreshed by pulling/swiping from the top of the WebView. Default is true.
enabled
- If true pulling to refresh the WebView is enabledpublic boolean turbolinksIsReady()
Provides the status of whether Turbolinks is initialized and ready for use.
public void visitLocationWithAction(java.lang.String location, java.lang.String action)
A convenience method to fire a Turbolinks visit manually.
location
- URL to visit.action
- Whether to treat the request as an advance (navigating forward) or a replace (back).public boolean canChildScrollUp()
Determines if the user can scroll up, or if the WebView is at the top


JavaScript statements can be grouped together in code blocks, inside curly brackets {...}.
The purpose of code blocks is to define statements to be executed together.
One place you will find statements grouped together in blocks, is in JavaScript functions:
JavaScript statements often start with a keyword to identify the JavaScript action to be performed.
| Keyword | Description |
|---|---|
| break | Terminates a switch or a loop |
| continue | Jumps out of a loop and starts at the top |
| debugger | Stops the execution of JavaScript, and calls (if available) the debugging function |
| do ... while | Executes a block of statements, and repeats the block, while a condition is true |
| for | Marks a block of statements to be executed, as long as a condition is true |
| function | Declares a function |
| if ... else | Marks a block of statements to be executed, depending on a condition |
| return | Exits a function |
| switch | Marks a block of statements to be executed, depending on different cases |
| try ... catch | Implements error handling to a block of statements |
| var | Declares a variable |
Note: JavaScript keywords are reserved words. Reserved words cannot be used as names for variables.


I am a
full stack developer 👨🏻💻
home cook 👨🏻🍳
basketball fan ⛹🏻
snowboarder 🏂
—
Currently
Software Enginneer at Facebook
Location
San Francisco, CA
Contact


logor
Begg's funnel plot with pseudo 95% confidence limits
° ° & °
° OQ O r T T 0 5 1.5
8.e. of: logor


Andrea Corr confirms The Corrs are talking about a reunion tour
by Ciara WalshLeave me breathless.
The Corrs might go on and leave us breathless again if they reunite in the New Year as Andrea revealed the siblings are talking about touring again.
Dundalk natives Andrea, Sharon, Caroline and their brother Jim made up the band that delivered 90s classics like Summer Sunshine and Only When I Sleep.
The band split in 2006 but Andrea announced they were making music again in 2015 and in 2017 The Corrs released their seventh studio album in, Jupiter Calling.
So, could 2020 be the year The Corrs go back on tour?
Speaking to Evoke.ie at the An Post Irish Book Awards Andrea said: "We are talking about it, there are no definitive dates as yet.
"It takes quite a while for us to get organised," she joked.
When asked whether or not her return to music might lead Andrea to make a wider return to media she didn't fancy it.
The Irish beauty also said she wouldn't appear on Dancing with the Stars.
Andrea added: "No, I think they are great to watch but I would not like to do that."


Hi, my name is Jay and I am a postgraduate student at The University Of Leeds, UK. I am currently studying an MSc in GIS (Geographical Information Systems). I completed my undergraduate degree in Environmental Science from UWE (Bristol) and I hope to advance my GIS techniques in order to produce high quality digital evelation models using GIS software.
As part of a modular assessment at university, we have been asked to produce a code which involves creating and moving some agents around a given environment, as well as a website which hosts our code, and a link to our GitHub profile. More information on the code and assessment can be found in the "My Project" tab at the top of the webpage, whereas a link to my GitHub profile can be found below.


Web Front-End and multi-platform C# developer
Hello! My name is Peter and I'm a young programming enthusiast.
I'm learning .NET C#, front-end and back-end in ASP.NET.
I care about every detail and I'm a well organized person. I have huge motivation to expand my knowledge about modern technologies.
Simple, yet beautifully designed messenger.
Technologies used:
Offline accounts manager encrypted with AES-256.
Technologies used:
Modern and powerful project manager software.
Technologies used:


Values
Affirmation & Stereotype threat
My ambition to succeed makes me strive through any obstacle and I think people see the enthusiasm that I project in my work. When I do most of my work I try to give excellence and to be ahead even by a bit of the curve. Excellence is important to me because there is a big gap in between what is low quality and what is high quality and the most successful are those that are above the high quality.
I am always up for the challenge and with DBC I believe that doing all the work that they put in front of me will make me a stronger person all around.When it comes to excellence. When it comes to giving advice I always go the extra mile to give excellent advice to friends. The last advice I had was about how to give feedback on the feedbackinator and morally how should one give good and bad feedback to someone.
I think values are important to live by them and for someone to go through a list of them and throughly think what their stance is in every situation. Values in part mediate stereotype threat because they are structured way of life of a person, but there will always be stereotype for those that have not had the experience and fall under fear/stress of the outcome of a situation. I am understanding and allow every person to do as they please until I have witness someone being harmed by their action and in this moment I intervene and find reason for the situation.
-Richard Santin


For examples, see the google sheet: DataSpaceResearchDataSubmissions_2020-11-01_2020-08-05
I have introduced some improvements into a gist for the documentation: https://gist.github.com/jrgriffiniii/d1e3deaf946caa0005d58023d2daf8d6
https://github.com/pulibrary/dspace-python/commit/290e3c57d6e7112e53d95f9e4b2a2314c246a9f1 introduces some of the needed updates, however I am still encountering the following error for some Proquest exports:
UnicodeDecodeError: 'utf-8' codec can't decode byte 0xe0 in position 416: invalid continuation byte
Related to #3300 — reworking this to only be about restoring files.
Closing this issue because preserved files do show the "reinstate" button — only items deleted before preservation don't show it.
labeled
by Esmé Cowles at 2020-11-19 16:12:55.renamed
by Esmé Cowles at 2020-11-19 16:34:15.closed
by Esmé Cowles at 2020-11-19 16:58:32.The deploy key specified for the CircleCI was removed (please see https://github.com/pulibrary/orangetheses/settings/keys)
labeled
by James R. Griffin III at 2020-11-19 18:02:52.assigned
by James R. Griffin III at 2020-11-19 18:02:52.referenced
by None at 2020-11-18 22:32:25.closed
by Kevin Reiss at 2020-11-19 01:25:43.referenced
by Kevin Reiss at 2020-11-19 01:25:44.head_ref_force_pushed
by None at 2020-11-18 22:32:25.referenced
by Kevin Reiss at 2020-11-19 01:25:42.merged
by Kevin Reiss at 2020-11-19 01:25:42.closed
by Kevin Reiss at 2020-11-19 01:25:43.head_ref_deleted
by Kevin Reiss at 2020-11-19 01:25:44.referenced
by Kevin Reiss at 2020-11-19 02:28:27.merged
by Kevin Reiss at 2020-11-19 02:28:27.closed
by Kevin Reiss at 2020-11-19 02:28:27.head_ref_deleted
by Kevin Reiss at 2020-11-19 02:28:28.referenced
by Francis Kayiwa at 2020-11-19 13:20:35.merged
by Francis Kayiwa at 2020-11-19 13:20:35.closed
by Francis Kayiwa at 2020-11-19 13:20:35.head_ref_deleted
by Francis Kayiwa at 2020-11-19 13:20:36.closed
by Kevin McElwee at 2020-11-19 14:41:21.labeled
by Shaun Ellis at 2020-11-18 22:18:04.closed
by None at 2020-11-19 14:00:04.head_ref_force_pushed
by Eliot Jordan at 2020-11-18 23:12:06.referenced
by None at 2020-11-19 14:00:03.merged
by None at 2020-11-19 14:00:03.closed
by None at 2020-11-19 14:00:04.head_ref_deleted
by None at 2020-11-19 14:00:05.unassigned
by Eliot Jordan at 2020-11-19 14:10:01.unassigned
by None at 2020-11-19 14:10:01.@kelynch and @tpendragon I would be happy to update LUX, and I'll make a ticket there unless @axamei has objections.
@kelynch One question: Why would we follow the main library website branding? The catalog branding is much closer to the PULFALIGHT look and feel, and it's much newer than the main website header. I'd be happy to change the bg color of the LUX header to black, but I'd rather not fuss with this too much unless it's a real priority.
fwiw the header color is also an open ticket for dpul https://github.com/pulibrary/pomegranate/issues/827
mentioned
by Trey Pendragon at 2020-11-18 22:10:26.subscribed
by Trey Pendragon at 2020-11-18 22:10:26.mentioned
by Kate Lynch at 2020-11-18 22:10:26.subscribed
by Kate Lynch at 2020-11-18 22:10:26.mentioned
by Axa Mei Liauw at 2020-11-18 22:10:26.subscribed
by Axa Mei Liauw at 2020-11-18 22:10:26.renamed
by Shaun Ellis at 2020-11-18 22:11:05.mentioned
by Kate Lynch at 2020-11-19 14:42:42.subscribed
by Kate Lynch at 2020-11-19 14:42:42.labeled
by Shaun Ellis at 2020-11-19 15:15:15.labeled
by Shaun Ellis at 2020-11-19 15:18:34.assigned
by None at 2020-11-19 16:29:10.assigned
by Eliot Jordan at 2020-11-19 16:15:47.closed
by Trey Pendragon at 2020-11-19 21:19:29.referenced
by Trey Pendragon at 2020-11-19 21:19:29.merged
by Trey Pendragon at 2020-11-19 21:19:29.closed
by Trey Pendragon at 2020-11-19 21:19:29.head_ref_deleted
by Trey Pendragon at 2020-11-19 21:19:30.labeled
by Trey Pendragon at 2020-11-19 21:18:33.renamed
by Trey Pendragon at 2020-11-19 21:24:00.Requests are implemented. Follow on tickets will get created as we find issues.
closed
by Trey Pendragon at 2020-11-19 21:37:45.Met with product owners. Once a request goes into Aeon, fulfillment staff never leave Aeon. They print a call slip which is used from that point forward to find the material. We think we've got this nailed down, just have to have the appropriate departments test the features when we have more data in.
closed
by Trey Pendragon at 2020-11-19 21:40:24.We wrote https://github.com/pulibrary/princeton_ead_exporter to solve this problem.
closed
by Trey Pendragon at 2020-11-19 21:41:13.Our entire indexing strategy is customized now, with our own tests. Closing this.
closed
by Trey Pendragon at 2020-11-19 21:44:16.closed
by Eliot Jordan at 2020-11-19 21:45:41.review_requested
by Eliot Jordan at 2020-11-19 21:20:41.referenced
by Eliot Jordan at 2020-11-19 21:45:41.merged
by Eliot Jordan at 2020-11-19 21:45:41.closed
by Eliot Jordan at 2020-11-19 21:45:41.head_ref_deleted
by Eliot Jordan at 2020-11-19 21:45:42.@faithc @ccleeton @jrgriffiniii I'm reading this ticket as "Collections should show up before components in a search across all items." Is that true, even though collection-grouped search is the first result now? If not, can we close this? Blocking this pending feedback.
mentioned
by James R. Griffin III at 2020-11-19 21:46:22.subscribed
by James R. Griffin III at 2020-11-19 21:46:22.mentioned
by None at 2020-11-19 21:46:22.subscribed
by None at 2020-11-19 21:46:22.mentioned
by Christa Cleeton at 2020-11-19 21:46:22.subscribed
by Christa Cleeton at 2020-11-19 21:46:23.labeled
by Trey Pendragon at 2020-11-19 21:46:27.It's kept forever (or until the user manually clears it). We can control anything. Is there an actionable thing we can do here to close this ticket?
@ccleeton @faithc Pinging you for feedback. Do we just remove the search history feature? Do we auto-clear it? Do we just need a note on the home page somewhere, if so where?
mentioned
by None at 2020-11-19 21:48:48.subscribed
by None at 2020-11-19 21:48:48.mentioned
by Christa Cleeton at 2020-11-19 21:48:48.subscribed
by Christa Cleeton at 2020-11-19 21:48:48.labeled
by Trey Pendragon at 2020-11-19 21:48:53.@jrgriffiniii What are the "prepopulated search results"?
mentioned
by James R. Griffin III at 2020-11-19 21:52:11.subscribed
by James R. Griffin III at 2020-11-19 21:52:11.Closed as duplicate (or rather going to be handled by) #389
closed
by Trey Pendragon at 2020-11-19 21:55:05.https://github.com/pulibrary/pulfalight/pull/435/commits/59ff113557183ebde1fd87dda4717177b41a78d7 introduces the metadata for components with scope note
and arrangement
, as well as an expand
and collapse
button:
https://github.com/pulibrary/pulfalight/pull/435/commits/9f766d2b47b2841b75bd4157b001ade966ca4bda ensures that component titles are links and improves the styling for the extent badges:
https://github.com/pulibrary/pulfalight/pull/435/commits/cbe210e9f31b57a09ca56e18c883eeb40534727f ensures that the Table of Contents component is collapsed for the expanded Collection View.
@ccleeton @faithc Can you answer this question? And if so, does it need to be there for the MVP?
I think we should have a facet for this, and yes, it would be preferable if it could be part of the MVP. Since numerous materials are undated, or do not have structured/normalized dates, they could be missed if a user is only able to select or only sees results with structured dates.
mentioned
by None at 2020-11-19 21:49:56.subscribed
by None at 2020-11-19 21:49:56.mentioned
by Christa Cleeton at 2020-11-19 21:49:56.subscribed
by Christa Cleeton at 2020-11-19 21:49:56.labeled
by Trey Pendragon at 2020-11-19 21:50:01.This works.
closed
by Trey Pendragon at 2020-11-19 22:04:13.Solr's much more stable since we made this ticket, and it would be pretty difficult and be in direct confrontation with features like showing recently added items. Can we not? What do you think @hackartisan @jrgriffiniii ?
mentioned
by None at 2020-11-19 22:05:50.subscribed
by None at 2020-11-19 22:05:50.mentioned
by James R. Griffin III at 2020-11-19 22:05:50.subscribed
by James R. Griffin III at 2020-11-19 22:05:50.assigned
by Eliot Jordan at 2020-11-19 21:18:44.milestoned
by Trey Pendragon at 2020-11-19 22:06:56.Closed as duplicate of #490
closed
by Trey Pendragon at 2020-11-19 22:07:25.Indexing and source data are different, aspace containers are more reliable. Closing.
closed
by Trey Pendragon at 2020-11-19 22:07:58.Renaming this "Add Topic Facet", since we already have subjects as a facet.
Not sure we want display the local topics as a facet (yet) as staff need to review these. The idea was to maintain them as a separate, browsable page for now, mimicking the current site. https://findingaids.princeton.edu/topics
@faithc I think that's https://github.com/pulibrary/pulfalight/issues/120. Should the "Topics" part in "find related materials" (https://pulfalight-staging.princeton.edu/catalog/aspace_C1491_c5078) still link to other items that have that local topic?
Oh yes, sorry, you're right. And yes, please!
We've determined this is just making the "Find related materials" Topics link work, rather than having a facet for topic. Thus, closing this as a duplicate of #509
renamed
by Trey Pendragon at 2020-11-19 21:53:08.mentioned
by None at 2020-11-19 22:02:24.subscribed
by None at 2020-11-19 22:02:24.closed
by Trey Pendragon at 2020-11-19 22:08:56.This is vastly different after wireframe work and implementation. The wireframe was agreed on, so I'm closing this.
closed
by Trey Pendragon at 2020-11-19 22:11:22.That's just what the title is, and it's displaying fine. Closing.
closed
by Trey Pendragon at 2020-11-19 22:12:59.Closing as container handling is different now with aspace. We can open another ticket if, once all our data is indexed, we find discovery concerns.
closed
by Trey Pendragon at 2020-11-19 22:14:21.This is really complicated and would require a new faceting search UI that implies "OR" instead of "AND," I think. What are the chances we can push this post-MVP @ccleeton @faithc?
I think this could be pushed to version 1.x. @ccleeton?
mentioned
by None at 2020-11-19 22:00:55.subscribed
by None at 2020-11-19 22:00:55.mentioned
by Christa Cleeton at 2020-11-19 22:00:55.subscribed
by Christa Cleeton at 2020-11-19 22:00:55.mentioned
by Christa Cleeton at 2020-11-19 22:14:31.subscribed
by Christa Cleeton at 2020-11-19 22:14:31.closed
by Trey Pendragon at 2020-11-19 22:18:28.Closed as duplicate of #294
closed
by Trey Pendragon at 2020-11-19 22:19:10.@faithc @ccleeton See https://pulfalight-staging.princeton.edu/catalog/aspace_C1491_c4623, is this still a concern?
mentioned
by None at 2020-11-19 22:20:17.subscribed
by None at 2020-11-19 22:20:17.mentioned
by Christa Cleeton at 2020-11-19 22:20:17.subscribed
by Christa Cleeton at 2020-11-19 22:20:17.renamed
by Trey Pendragon at 2020-11-19 22:20:53.renamed
by Trey Pendragon at 2020-11-19 22:20:59.@jrgriffiniii Is this actionable? I'm very confused.
mentioned
by James R. Griffin III at 2020-11-19 22:21:53.subscribed
by James R. Griffin III at 2020-11-19 22:21:53.@ccleeton @faithc @sdellis This is marked as for MVP, but I don't see how to close this or work towards it even. Unless one of you have an idea of what this means for the user interface of Pulfalight, can we just close this?
@tpendragon I agree. The use case is to request an item for a class or event, correct? The only way I could see this working is if we had a static list of known Activities that PULFALight could present to the user when they are ready to submit the request.
Would a static list serve Public Services' needs? What will Public Services do with the Activity information when they get it? Perhaps we could list examples that would make the need more clear?
labeled
by Trey Pendragon at 2020-11-19 21:38:58.mentioned
by Shaun Ellis at 2020-11-19 21:39:24.subscribed
by Shaun Ellis at 2020-11-19 21:39:24.mentioned
by None at 2020-11-19 21:39:24.subscribed
by None at 2020-11-19 21:39:25.mentioned
by Christa Cleeton at 2020-11-19 21:39:25.subscribed
by Christa Cleeton at 2020-11-19 21:39:25.mentioned
by Trey Pendragon at 2020-11-19 22:22:24.subscribed
by Trey Pendragon at 2020-11-19 22:22:24.Closed by #508
closed
by Trey Pendragon at 2020-11-19 22:22:32.closed
by Trey Pendragon at 2020-11-19 22:23:08.@faithc @ccleeton @regineheberlein There's a full-sized HTML view of the content and staff are using ASpace. Also, there's no button for this in the wireframes. Do we need to provide the EAD data? It's not nearly as readily available when we're indexing out of aspace. If we do, can it be post-MVP?
I’ll let others chime in, but my feeling is that it’s a core functionality, especially because more and more researchers do data mining on our finding aids.
Regine Heberlein Library IT Data Analyst<PHONE_NUMBER><EMAIL_ADDRESS>From: Trey Pendragon<EMAIL_ADDRESS>Reply-To: pulibrary/pulfalight<EMAIL_ADDRESS>Date: Thursday, November 19, 2020 at 5:16 PM To: pulibrary/pulfalight<EMAIL_ADDRESS>Cc: "Regine I. Heberlein"<EMAIL_ADDRESS>Mention<EMAIL_ADDRESS>Subject: Re: [pulibrary/pulfalight] Ensure that content negotiation exposes XML encoded finding aids (#107)
@faithchttps://github.com/faithc @ccleetonhttps://github.com/ccleeton @regineheberleinhttps://github.com/regineheberlein There's a full-sized HTML view of the content and staff are using ASpace. Do we need to provide the EAD data? It's not nearly as readily available when we're indexing out of aspace. If we do, can it be post-MVP?
— You are receiving this because you were mentioned. Reply to this email directly, view it on GitHubhttps://github.com/pulibrary/pulfalight/issues/107#issuecomment-730671216, or unsubscribehttps://github.com/notifications/unsubscribe-auth/ABNKKUZND4532W63PLULIRLSQWKLPANCNFSM4KNQUDKQ.
+1 to the reason Regine mentioned. Staff also regularly refer to data here rather than accessing the record for quick reference. This behavior may change with the switchover to ASpace, but difficult to know now.
mentioned
by None at 2020-11-19 22:16:09.subscribed
by None at 2020-11-19 22:16:09.mentioned
by None at 2020-11-19 22:16:09.subscribed
by None at 2020-11-19 22:16:09.mentioned
by Christa Cleeton at 2020-11-19 22:16:09.subscribed
by Christa Cleeton at 2020-11-19 22:16:09.mentioned
by None at 2020-11-19 22:18:26.subscribed
by None at 2020-11-19 22:18:26.mentioned
by None at 2020-11-19 22:18:26.subscribed
by None at 2020-11-19 22:18:26.mentioned
by Christa Cleeton at 2020-11-19 22:18:26.subscribed
by Christa Cleeton at 2020-11-19 22:18:26.We have a bunch of these in rake pulfalight:aspace:index_test_eads
now. Closing.
closed
by Trey Pendragon at 2020-11-19 22:28:05.Leaving this open because I'm not convinced we're avoiding this right now.
@regineheberlein @faithc Where are the ARKs? I'm not seeing them in aspace exports atm.
@tpendragon They're in eadid/@url, e.g.
<eadid url="http://arks.princeton.edu/ark:/88435/z029p473t">C0841</eadid>
Thanks!
mentioned
by None at 2020-11-19 22:31:44.subscribed
by None at 2020-11-19 22:31:44.mentioned
by None at 2020-11-19 22:31:44.subscribed
by None at 2020-11-19 22:31:44.mentioned
by Uros at 2020-11-19 22:34:42.subscribed
by Uros at 2020-11-19 22:34:42.mentioned
by Trey Pendragon at 2020-11-19 22:34:42.subscribed
by Trey Pendragon at 2020-11-19 22:34:42.demilestoned
by Trey Pendragon at 2020-11-19 22:37:23.Needs to be rebased once the main branch is green.
convert_to_draft
by Eliot Jordan at 2020-11-19 22:56:15.ready_for_review
by Eliot Jordan at 2020-11-19 22:56:43.renamed
by Trey Pendragon at 2020-11-19 21:57:45.assigned
by Eliot Jordan at 2020-11-19 23:00:03.assigned
by Christina Chortaria at 2020-11-19 23:20:23.renamed
by Christina Chortaria at 2020-11-19 23:22:07.convert_to_draft
by Christina Chortaria at 2020-11-19 13:16:03.head_ref_force_pushed
by Christina Chortaria at 2020-11-19 23:31:57.head_ref_force_pushed
by Christina Chortaria at 2020-11-19 23:38:28.head_ref_force_pushed
by Eliot Jordan at 2020-11-19 23:42:32.


One of the classics of early live electronic music, Cartridge Music asks the performers to amplify household objects with contact microphones (phonograph cartridges, originally). The score is created by the performers ahead of time; transparencies with intersecting line drawings are overlaid to calculate when sounds will occur.
Ghost Line (2016)
Jeff Snyder
This piece came out of two ideas. The first idea was to create a work where any motion a performer made, even minor motions like blinking an eye, would create a sonic result. The second idea was to try to do a very literal translation between image and sound – scanning through an array of image pixels and treating the brightness values as points to build an audio waveform. My experiments with putting these concepts into practice led down a very curvy path, but eventually to the piece you’ll hear tonight.
Ice Blocks
Jeff Snyder
Ice Blocks was initially developed as part of a workshop teaching middle and high school musicians in NYC about creating graphic notation, scores that use symbolism outside of the Western notational conventions. A notation example that I made for the workshop proved inspiring to use in performance, and PLOrk played a piece based on it this past fall for a performance at Grounds for Sculpture in Hamilton, NJ.
Blågeten (after Hans Dalfors)
arranged by PLOrk
Noah Fishman, a longtime PLOrk member, took a trip to Sweden last summer to study the folk music there. He returned with a repertoire of great tunes, and PLOrk decided to work up an arrangement of one of them.
Devil's Music (1985)
Nicolas Collins
Nicolas Collins, an American musician who has been a pioneer in the use of hardware hacking for musical purposes, created Devil’s Music in 1985. He began performing with a rig that included an input from live radio, passed through several delay effects pedals. The result was a site-specific piece, which could take on the local color of the city or country in which it was performed through the serendipitous selections of sounds coming over the radio. We’ll be performing an updated version which instead uses our own iTunes collections as material for the system, making the piece more personal and performer-specific than site-specific.
Credo in Us (1942)
John Cage
Before he made Cartridge Music, Cage experimented with very early electronic music by incorporating the sounds of live radio into an acoustic composition, Credo in Us. In this performance, Sō Percussion will join us for the acoustic parts, and PLOrk’s Devil’s Music performance will become the “radio” for the Cage.
Human Modular (2016)
Chris Douthitt and PLOrk
This piece grew out of the meeting at the beginning of the semester about what kinds of crazy ideas people had. Josh Becker brought up the idea of a Human Modular Synthesizer, where PLOrk members send signals to each other as though each member is a single “module” that can process the audio in a particular way. Through experimentation, we wound up with a system that has more in common with the old game of “telephone”, where a message gets passed down the line, corrupted and transformed along the way. Chris Douthitt created the arrangement to organize the various ideas of how this system might become a full performance piece. It’s really fun to play; it’s very satisfying to all be a link in this strange musical chain.


Html
Change case
of text to title case or lower or upper.
Left or
right, randomly
|
More Coming soon


bbq-compiler
This module contains the compilers to create single source files for JavaScript, CSS and Language files.
How it works
Your JavaScript source file will look something like this:
include(org.my.project.JSClass);
include(org.my.project.AnotherJSClass);
include(org.some.other.project.YetAnotherJSClass);
org.my.namespace.MyClass = Class.create({
...
});
The include functions called above are parsed out by the JavaScript compiler - each included class is located in the filesystem or on the classpath and the contents of the included file compiled in the same way, then inserted into the output document.
JavaScript Compiler
The JavaScript compiler takes a JavaScript file, resolves files included using the include statements and writes the result into an output stream.
// The input file is the page file.
URL inputFile = new URL("file:///path/to/file.js");
// This is the package that holds the page files for my application
String pagePackage = "myapp.page";
// This is where the compiled JavaScript will get written to
OutputStream outputStream = new FileOutputStream(File.createTempFile("foo", "js"));
// These are any libraries that my application needs
String[] libraries = new String[] {
"src/main/javascript/jquery.js",
"src/main/javascript/other-library.js"
};
// This is where the compiler should search for source files in addition to the classpath
String[] sourceRoots = new String[] {
"src/main/javascript"
};
Compiler compiler = new JavaScriptCompiler(libraries);
compiler.compile(inputFile, pagePackage, outputStream, sourceRoots);
CSS Compiler
CSS files are stored in a directory structure that mirrors the JavaScript class packages:
+- src/
+- main/
+- css/
+- com/
+- myapp/
+- MyClass/
|
+- MyClass.css
+- icon.png
+- arrow.png
Pass the CSS compiler a JavaScript file to compile and instead of writing out the contents of the various included JavaScript files, it looks on the filesystem and classpath for CSS files instead.
// If you have a theme, tell the compiler
String theme = null;
// The input file is the page file.
URL inputFile = new URL("file:///path/to/file.js");
// This is the package that holds the page files for my application
String pagePackage = "myapp.page";
// This is where the compiled JavaScript will get written to
OutputStream outputStream = new FileOutputStream(File.createTempFile("foo", "css"));
// These are any base styles that my application needs
String[] includes = new String[] {
"src/main/webapp/css/reset.css",
"src/main/webapp/css/common.css"
};
// This is where the compiler should search for source files in addition to the classpath
String[] sourceRoots = new String[] {
"src/main/javascript"
};
Compiler compiler = new CSSCompiler(theme, includes);
compiler.compile(url, pagePackage, outputStream, sourceRoots);
Language Compiler
Language files are stored next to the JavaScript class files in the following directory structure:
+- src/
+- main/
+- javascript/
+- com/
+- myapp/
|
+- MyClass.js
+- MyClass.lang.en_GB.xml
+- AnotherClass.js
+- AnotherClass.lang.en_GB.xml
The locale the file corresponds to is specified as part of the file name - in the above example there are translations for the en_GB locale.
Similar to the CSS compiler, the language compiler looks for language translation files to turn into an XML Java Properties file. The XML version of the properties format is used to ensure UTF encoding is used so non-ASCII characters are not corrupted.
// This is the compile target locale
Locale locale = Locale.UK;
// If any translations files are not available for the target locale, this is the fallback locale
Locale defaultLocale = Locale.US;
// These are any properties files that should be included in the output file
String[] includes = new String[] {
"src/main/resources/constants.properties"
};
// The input file is the page file.
URL inputFile = new URL("file:///path/to/file.js");
// This is the package that holds the page files for my application
String pagePackage = "myapp.page";
// This is where the compiled JavaScript will get written to
OutputStream outputStream = new FileOutputStream(File.createTempFile("foo", "properties"));
// This is where the compiler should search for source files in addition to the classpath
String[] sourceRoots = new String[] {
"src/main/javascript"
};
Compiler compiler = new LanguageCompiler(locale, defaultLocale, includes);
compiler.compile(inputFile, pagePackage, outputStream, sourceRoots);


Voting Relationships in the US Senate
Congress (years):
113th (2013–2014)
112th (2011–2012)
111th (2009–2010)
110th (2007–2008)
109th (2005–2006)
108th (2003–2004)
107th (2001–2002)
106th (1999–2000)
105th (1997–1998)
104th (1995–1996)
103th (1993–1994)
102th (1991–1992)
101th (1989–1990)
Loading…


|
GLAC
1.0
|
Observable for calculating the plaquette, energy and euclidean time topological charge. More...
#include <mastersamplertopcxyz.h>
Additional Inherited Members | |
| Protected Attributes inherited from Correlator | |
| std::vector< unsigned int > | m_N |
| double | m_latticeSize |
| double | m_a |
| const int | m_headerWidth = 20 |
| const std::string | m_observableName = "Correlator" |
| const std::string | m_observableNameCompact = "correlator" |
| ObservableStorer * | m_observable = nullptr |
| bool | m_storeFlowObservable = false |
Observable for calculating the plaquette, energy and euclidean time topological charge.
Plaqeutte definition:
\[ P = \frac{1}{16|\Lambda|} \sum_{n\in\Lambda} \sum_{\mu < \nu} \Re \mathrm{tr} P_{\mu\nu}. \]
where
\[ P_{\mu\nu}=U_\mu(n) U_{\nu}(n+\hat{\mu}) U_{\mu}(n+\hat{\nu})^\dagger U_{\nu} (n)^\dagger \]
is the plquette. Energy definition:
\[ E = -\frac{1}{64|\Lambda|} \sum_{n\in\Lambda} \sum_{\mu<\nu} \left(\tilde{C}_{\mu\nu}(n)\right)^2. \]
Topological charge definition:
\[ q(n_e) = \frac{1}{32\pi^2} \sum_{n\in N^3} \epsilon_{\mu\nu\rho\sigma} \mathrm{tr}\left[F_{\mu\nu}(n)F_{\rho\sigma}(n)\right], \]
where \(n_e\) is the position in the lattice in Euclidean time. \(F_{\nu\mu}\) is the clover.
| MasterSamplerTopcXYZ::MasterSamplerTopcXYZ | ( | bool | flow | ) |
| MasterSamplerTopcXYZ::~MasterSamplerTopcXYZ | ( | ) |
Correlator::calculate calculates a observable.
| lattice | pointer to lattice of SU3 matrices |
| iObs | number of the observable |
Reimplemented from Correlator.
|
virtual |
Correlator::copyObservable copies the observable if has already been calculated at zero flow time.
| iObs | observable number. |
| obs | vector containing observable information. Is a vector in case it consists of multiple values(e.g. topc in Euclidean time). |
Reimplemented from Correlator.
|
virtual |
Correlator::getObservablesVector.
| iObs |
Reimplemented from Correlator.
|
virtual |
Correlator::initializeObservableStorer initializes ObservableStorer.
| storeFlowObservable |
Reimplemented from Correlator.
|
virtual |
Correlator::printHeader prints a the observable name for output in header.
Reimplemented from Correlator.
|
virtual |
Correlator::printObservable prints the observable for the output.
| iObs |
Reimplemented from Correlator.
|
virtual |
Correlator::printStatistics prints statistics from ObservableStorer.
Reimplemented from Correlator.
|
virtual |
Correlator::reset resets ObservableStorer.
Reimplemented from Correlator.
|
virtual |
Gathers results and performs statistics in the ObservableStorer object.
Reimplemented from Correlator.
|
virtual |
Correlator::writeFlowObservablesToFile.
| iFlow | Gathers results and performs statistics in the ObservableStorer object. |
Reimplemented from Correlator.
|
virtual |
Correlator::writeObservableToFile calls the ObservableStorer for writing observable to file.
| acceptanceRatio |
Reimplemented from Correlator.


Languages: C++, Java, HTML, CSS, Javascript
Frameworks: Bootstrap
Tools: Microsoft Visual Studio
Platforms: Windows, Linux(Ubuntu)
Building websites and working with neuronal networks is fun! Check out my work, available on GitHub.


--- layout: post title: Lifetime Roadtax in Karnataka - rates - 2012 date: 2012-01-07 16:41:07.000000000 +01:00 categories: [] tags: [] status: publish type: post published: true meta: _edit_last: '1' author: ---
So I recentlty bought (or rather booked) my most expensive acquisition so far. A Volkswagen Polo 1.6L. Every dealer in bangalore was quoting a road tax of 15.4%. But no one was able to substantiate it on paper or from the official RTO site. In addition, there was a team-BHP thread where people talked about it being 13% + 10% cess on tax = 14.3% tax total. I also read the same initially, but then found out that the tax is rather 14% (as mentioned in the addendum) and cess 11% (not updated on site but checked with RTO official on phone).
So, if you are here to find out the road tax in karnataka, hit here:
http://rto.kar.nic.in/KMVTA%202010.pdf
I would ve updated the team BHP thread rather than putting a blog post here but team BHP wont accept my "registration". Your loss team BHP-ians.


default_pager_backing_store_info
Server Interface - Return information about a backing storage object.
SYNOPSIS
#include< default_pager/mach/default_pager_types.h> kern_return_t default_pager_backing_store_info (mach_port_t backing_store, backing_store_flavor_t flavor, backing_store_info_t info, mach_msg_type_number_t size);
PARAMETERS
- backing_store
-
[in backing store (receive) right] The backing store port for which
information is desired.
- flavor
-
[in scalar] The type of information to be returned. Valid values are:
- BACKING_STORE_BASIC_INFO
-
Statistical and space used/available information. It includes
the priority and cluster size that was provided in the
default_pager_backing_store_create call.
- info
-
[pointer to in structure] The data structure that will be filled in with the
information provided for the requested flavor.
- size
- [pointer to in/out scalar] On input, the maximum size of the info data structure; on output, the actual size of the returned data.
DESCRIPTION
The default_pager_backing_store_info function is called to obtain information about a backing storage object created by default_pager_backing_store_create. The kernel does not make this call itself (which is why it can be a synchronous call); this request is only issued by tasks holding the backing store port, created with default_pager_backing_store_create, for a default memory manager.
RETURN VALUES
- KERN_FAILURE
-
The default pager does not support this operation.
- KERN_INVALID_ARGUMENT
-
The backing_store port does not represent a valid backing store, flavor
is not valid, or size is not the size for the requested flavor.
- KERN_SUCCESS
- The operation was successful.
RELATED INFORMATION
Functions: default_pager_backing_store_create, default_pager_backing_store_delete.
Data Structures: backing_store_basic_info.


Index
This project aims at rendering the same scene on these different layers : WebGL, Three.JS, AFrame, and AFrame-React
Pure WebGL
Three.JS
AFrame
AFrame-React
And for a sexier experience in VR
AFrame Experience


whispeer
Easy to use solutions for your business
Streamlined App gives you functions where you expect them
Easy to use and self-explaining
Forget about training your employees to use another software. Use whispeer!


This is the blog of Matthew Mawson. Where blog updates go to die.
On a rainy day in the summer holidays, I thought I would work on my maze program, a project I had been working on that would draw a maze from a file and then would calculate the best route. However, this route finding algorithm seemed a little boring so I set about creating a pseudo 3D maze engine that you could walk around in.
For this foray into “3D” graphics I wanted to do it without the aid of Google, testing out my knowledge of the C# graphics class. While developing the solution, I was so pleased about how routines I had made previously for searching through the maze were very useful in the 3D part.
When drawing the maze, I took the direction the player was facing and then changed that into one of the cardinal directions that could be used to look at the array holding the maze data. By checking if a specific square had a wall or not, I could display the view to the user, also I used the same routine to check the collision detection of the player. This means the player can just use a keyboard with up to go forward, left and right to turn and the down arrow to backtrack.
While this sort of project would be more at home on the IBM PC, I felt a great sense of accomplishment that the whole project went together so well providing me a good base to work on future additions...
To generate some smooth looking terrain I have created a simple algorithm to randomly generate a set of points. The higher point is on the screen, the higher the chance of the next point being lower, ensuring there are hills but they don't continue all the way up to the top.
I recently got back into Minecraft, playing on a server. Here are the results after a month.
Updates and fixes to the wedsite include;


Lightning Wallet is autonomous but is does not usually work alone since a special server called Olympus helps it with maintenance tasks.
Note: wallet nethier depends on nor ever shares any personally identifying information with Olympus and is designed to work perfectly fine even when server goes offline for an indeterminate periods of time.
Here is what Olympus server does:
It provides an aggregate fiat prices collected by periodially polling a number of well known exchanges as well as current Bitcoin transaction fee rates which are taken directly from a local full Bitcoin node. Note: wallet caches this data locally so in case of Olympus going offline fiat prices will likely stay relevant for hours and Bitcoin fees never completely lose their relevance at all.
Maintains a list of public Lightning nodes which a wallet uses to open payment channels. Note: Olympus only provides node search results while payment channel opening and management is done by Lightning Wallet in a completely autonomous manner.
Provides partial payment routes by traversing a graph of available payment channels. This relieves wallet of the burden of maintaining such a graph locally which may quickly become computationally infeasible for a phone app but this also introduces privacy implications which need clarifications:
Wallet always asks for a partial route which starts at your peer’s node. This provides a plausible deniability since your peer may have many different wallets connected to it so there is no way for Olympus to tell for sure which exact wallet asks for a route.
Wallet knows when a payment is being sent directly to your peer and does not ask Olympus for a payment route in this special case.
Recipient may insert an assisted route right into it’s payment request and wallet is smart enough to detect and use it. Here is an example: suppose a complete route is A (you) → B (peer) → C → D → E (payee)
, in case when payee adds an assisted D → E
route into it’s payment request an Olympus will be asked to provide only B (peer) → C → D
part so it would know neither who is a sender nor who is a receiver here.
Stores an encrypted payment channel backups which can be used to reimburse your locked channel balance if you lose an access to your phone. Note: saving one backup requires one storage token.
Schedules delayed refund Bitcoin transactions which spend funds from a payment channel to your Bitcoin wallet in a case of a forced channel closing. Note: your wallet is capable of spending these transactions all by itself but it’s possible that you lose your phone before a refund time lock is cleared so Olympus acts as a safety belt here. This service also requires one storage token.
There is a default instance of Olympus server which requires storage tokens to store wallet data but it is always possible to set up your own Olympus. Server code and installation manual is available at GitHub repository.
It is possible to configure an Olympus server instance such that it would use your wallet’s Olympus Public Key instead of storage tokens for authentication. A testnet instance of such a server is accessible at
App Menu → Wallet settings → Set Olympus server


--- layout: archive title: Zulip Chat Archive permalink: /stream/113489-new-members/topic/noob.20question.3A.20vscode.20and.20LEAN_PATH.html ---
Hi ! I'm trying lean for the first time and I'm a bit lost in the std. So I'd like to use #find
which requires a import tactic.find
if I am correct.
I'm using vscode and I set up the lean path in vscode settings. I can confirm this works. But the import raises file 'tactic/find' not found in the LEAN_PATH
. I'm not sure where to set this path, and to which destination.
The find tactic is part of mathlib, did you also set up that?
For the record: you might also be interested in library_search
. It is complementary to #find
.
No, I did not. I was just trying to search for some definitions/lemmas in general (like the SearchAbout
or SearchPattern
in Coq).
Aah, you'll need mathlib for both of them
It's a bit unfortunate... but you need mathlib for almost anything beyond the bare minimum
ok I'll look into how to install mathlib then. Thank you
And nowadays it's not so hard to set up, with pre-compiled binaries etc
There are good instructions on Github
#find
and library_search
seem to only search for lemmas. Can I use them to search for definitions too or is there another way ?
I think library_search
will also find defs
There's no good reason to restrict #find
to theorems, is there? It's a trivial change to let it match defs too.
#find bool -> _ -> _
doesn't show the and or or function. Maybe I'm not using it correctly
No, you're right, it doesn't do that right now. It only looks for theorems. But I don't know why it's implemented with that restriction.
https://github.com/leanprover-community/mathlib/pull/1512
library_search
will find defs, but often it's not useful, but it finds "the boring ones" rather than the ones you want. A student here @Lucas Allen has some work he'll PR soon that shows a list of applicable lemmas/defs. I think he's busy with non-Lean stuff right now.
good to know, thank you
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


Refresh Lists
iOS App to create and review re-usable checklists with reminders.
Usage
Video Guide
Requirements
- iOS 13.2 Device or Emulator
- Permission to access to iOS Reminders
Features
- Create, Rename, & Delete Multiple Checklists
- Mark Items as Completed/Uncompleted
- Add, Edit, Remove and Re-order List Items
- Reset the state of the list with the “Refresh” button
- Create Multiple Recurring reminders to review list in iOS Reminders App that sync through iCloud
- All Data Stored Locally - Works Offline
- Customize Checklists with Colors
- Light & Dark Theme Available
Building
- Clone/Download the Source Code
- Open
Refresh Lists.xcodeproj
in Xcode 11 or higher
- Build/Run in iOS 13.2 or higher device or emulator


Academic System |
|
|
Main Menu Logged in as {{ user.name }} | Logout Add/Delete User Add/Float Course Add/Edit Department Personal Information Add/Modify Resources {{ current_sem }} |
{% block maincontent %}
CSL740 Academic SystemTry it out by registering here. {% endblock %} |


◆ TranscodeFromStr() [1/2]
Converts from the specified encoding to the internal XMLCh* encoding.
- Parameters
-
| data | the source buffer to be transcoded |
| length | the length of the source buffer |
| encoding | the name of the encoding to transcode to |
| manager | the memory manager to use |
◆ TranscodeFromStr() [2/2]
Converts from the specified encoding to the internal XMLCh* encoding.
- Parameters
-
| data | the source buffer to be transcoded |
| length | the length of the source buffer |
| trans | the transcoder to use |
| manager | the memory manager to use |
◆ ~TranscodeFromStr()
| TranscodeFromStr::~TranscodeFromStr |
( |
| ) |
|
◆ adopt()
| XMLCh * TranscodeFromStr::adopt |
( |
| ) |
|
Returns the transcoded, null terminated string - adopting the memory allocated to it from the TranscodeFromStr object.
- Returns
- the transcoded string
◆ length()
Returns the length of the transcoded string in characters.
The length does not include the null terminator.
- Returns
- the length of the transcoded string in characters
References XERCES_CPP_NAMESPACE_END.
◆ str()
| const XMLCh * TranscodeFromStr::str |
( |
| ) |
const |
Returns the transcoded, null terminated string.
- Returns
- the transcoded string
The documentation for this class was generated from the following file:


FAst ConTrollEr SynThesis
Papers that are associated with FACTEST:
This paper is accepted to the International Conference on Computer-Aided Verification (CAV) 2020. In this paper, we use Lyapunov functions of the tracking error between the actual trajectory and the reference to bound the value of such tracking error. For reference controllers, we use SMT-encoding and SMT solvers to find the piece-wise linear reference trajectories.
This paper is submitted to Conference on Decision and Control (CDC) 2020 and is currently under review. The major differences between this submission with the CAV 2020 version are 1) we use reachability analysis to find a much less conservative bound for the tracking error, and 2) we use MILP encoding and MILP solvers to find the piece-wise linear reference trajectories. When we submitted this paper to CDC 2020, the CAV version was still under review. Therefore, we did not explicitly compare the two versions in the paper. We plan to include more comparison results on this webpage.


JavaScript automatically converts an array to a comma separated string when a simple value is expected: