Package Scheduler
Class Appointments
java.lang.Object
Scheduler.Appointments
public class Appointments
extends java.lang.Object
Model for Appointments objects
-
Field Summary
Fields Modifier and Type Field Description private int
AppointmentID
Stores unique int value representing appointment IDprivate int
contactID
Stores int value representing the appointments contact IDprivate java.lang.String
contactName
Stores String value representing appointment contact nameprivate java.lang.String
createdBy
Stores String value representing who created the appointmentprivate java.sql.Timestamp
createdDate
Stores Timestamp value representing appointment create time and dateprivate int
customerID
Stores Int value representing the appointments customer IDprivate java.lang.String
description
Stores String value representing appointment descriptionprivate java.util.Calendar
end
Stores Calendar value representing appointment end time and dateprivate java.sql.Timestamp
lastUpdated
Stores Timestamp value representing when appointment was last updatedprivate java.lang.String
lastUpdatedBy
Stores String value representing who last updated the appointment dataprivate java.lang.String
Location
Stores String value representing appointment locationprivate java.util.Calendar
start
Stores Calendar value representing appointment start time and dateprivate java.lang.String
title
Stores String value representing appointment titleprivate java.lang.String
type
Stores String value representing appointment typeprivate int
userID
Stores int value representing the appointments user ID -
Constructor Summary
Constructors Constructor Description Appointments(int appointmentID, java.lang.String title, java.lang.String description, java.lang.String location, java.lang.String type, java.util.Calendar start, java.util.Calendar end, java.sql.Timestamp createdDate, java.lang.String createdBy, java.sql.Timestamp lastUpdated, java.lang.String lastUpdatedBy, int customerID, int userID, int contactID, java.lang.String contactName)
Constructor for Appointments -
Method Summary
Modifier and Type Method Description int
getAppointmentID()
return appt IDint
getContactID()
return appointment contact IDjava.lang.String
getContactName()
return contact namejava.lang.String
getCreatedBy()
return appointment created by namejava.sql.Timestamp
getCreatedDate()
return appointment create dateint
getCustomerID()
return appointment customer IDjava.lang.String
getDescription()
return appointment descriptionjava.util.Calendar
getEnd()
return appointment end timejava.sql.Timestamp
getLastUpdated()
return appointment last updated datejava.lang.String
getLastUpdatedBy()
return appointment last updated by namejava.lang.String
getLocation()
return appointment locationjava.util.Calendar
getStart()
return appointment start timejava.lang.String
getTitle()
return appointment titlejava.lang.String
getType()
return appointment typeint
getUserID()
return appointment user IDvoid
setAppointmentID(int appointmentID)
sets appointment IDvoid
setContactID(int contactID)
int value to set appointment contact IDvoid
setContactName(java.lang.String contactName)
sets contact namevoid
setCreatedBy(java.lang.String createdBy)
String value to set appointment created by namevoid
setCreatedDate(java.sql.Timestamp createdDate)
Timestamp value to set appointment created by datevoid
setCustomerID(int customerID)
int value to set appointment customer IDvoid
setDescription(java.lang.String description)
set appointment descriptionvoid
setEnd(java.util.Calendar end)
Calendar value to set appointment end timevoid
setLastUpdated(java.sql.Timestamp lastUpdated)
Timestamp value to set appointment last updated valuevoid
setLastUpdatedBy(java.lang.String lastUpdatedBy)
String value to set appointment last updated by namevoid
setLocation(java.lang.String location)
set appointment locationvoid
setStart(java.util.Calendar start)
set appointment start timevoid
setTitle(java.lang.String title)
set appointment titlevoid
setType(java.lang.String type)
set appointment typevoid
setUserID(int userID)
int value to set appointment user IDMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
AppointmentID
private int AppointmentIDStores unique int value representing appointment ID -
title
private java.lang.String titleStores String value representing appointment title -
description
private java.lang.String descriptionStores String value representing appointment description -
Location
private java.lang.String LocationStores String value representing appointment location -
type
private java.lang.String typeStores String value representing appointment type -
start
private java.util.Calendar startStores Calendar value representing appointment start time and date -
end
private java.util.Calendar endStores Calendar value representing appointment end time and date -
createdDate
private java.sql.Timestamp createdDateStores Timestamp value representing appointment create time and date -
createdBy
private java.lang.String createdByStores String value representing who created the appointment -
lastUpdated
private java.sql.Timestamp lastUpdatedStores Timestamp value representing when appointment was last updated -
lastUpdatedBy
private java.lang.String lastUpdatedByStores String value representing who last updated the appointment data -
customerID
private int customerIDStores Int value representing the appointments customer ID -
userID
private int userIDStores int value representing the appointments user ID -
contactID
private int contactIDStores int value representing the appointments contact ID -
contactName
private java.lang.String contactNameStores String value representing appointment contact name
-
-
Constructor Details
-
Appointments
public Appointments(int appointmentID, java.lang.String title, java.lang.String description, java.lang.String location, java.lang.String type, java.util.Calendar start, java.util.Calendar end, java.sql.Timestamp createdDate, java.lang.String createdBy, java.sql.Timestamp lastUpdated, java.lang.String lastUpdatedBy, int customerID, int userID, int contactID, java.lang.String contactName)Constructor for Appointments- Parameters:
appointmentID
- unique int value representing appointment IDtitle
- String value representing appointment titledescription
- String value representing appointment descriptionlocation
- String value representing appointment locationtype
- String value representing appointment typestart
- Calendar value representing appointment start time and dateend
- Calendar value representing appointment end time and datecreatedDate
- Timestamp value representing appointment create time and datecreatedBy
- String value representing who created the appointmentlastUpdated
- Timestamp value representing appointment last updated time and datelastUpdatedBy
- String value representing who last updated the appointmentcustomerID
- Int value representing the appointments customer IDuserID
- Int value representing the appointments user IDcontactID
- Int value representing the appointments contact IDcontactName
- String value representing appointment contact name
-
-
Method Details
-
getContactName
public java.lang.String getContactName()return contact name- Returns:
- return contact name
-
setContactName
public void setContactName(java.lang.String contactName)sets contact name- Parameters:
contactName
- sets contact name
-
getAppointmentID
public int getAppointmentID()return appt ID- Returns:
- return appt ID
-
setAppointmentID
public void setAppointmentID(int appointmentID)sets appointment ID- Parameters:
appointmentID
- sets appointment ID
-
getTitle
public java.lang.String getTitle()return appointment title- Returns:
- return appointment title
-
setTitle
public void setTitle(java.lang.String title)set appointment title- Parameters:
title
- set appointment title
-
getDescription
public java.lang.String getDescription()return appointment description- Returns:
- return appointment description
-
setDescription
public void setDescription(java.lang.String description)set appointment description- Parameters:
description
- set appointment description
-
getLocation
public java.lang.String getLocation()return appointment location- Returns:
- return appointment location
-
setLocation
public void setLocation(java.lang.String location)set appointment location- Parameters:
location
- set appointment location
-
getType
public java.lang.String getType()return appointment type- Returns:
- return appointment type
-
setType
public void setType(java.lang.String type)set appointment type- Parameters:
type
- set appointment type
-
getStart
public java.util.Calendar getStart()return appointment start time- Returns:
- return appointment start time
-
setStart
public void setStart(java.util.Calendar start)set appointment start time- Parameters:
start
- set appointment start time
-
getEnd
public java.util.Calendar getEnd()return appointment end time- Returns:
- return appointment end time
-
setEnd
public void setEnd(java.util.Calendar end)Calendar value to set appointment end time- Parameters:
end
- Calendar value to set appointment end time
-
getCreatedDate
public java.sql.Timestamp getCreatedDate()return appointment create date- Returns:
- return appointment create date
-
setCreatedDate
public void setCreatedDate(java.sql.Timestamp createdDate)Timestamp value to set appointment created by date- Parameters:
createdDate
- Timestamp value to set appointment created by date
-
getCreatedBy
public java.lang.String getCreatedBy()return appointment created by name- Returns:
- return appointment created by name
-
setCreatedBy
public void setCreatedBy(java.lang.String createdBy)String value to set appointment created by name- Parameters:
createdBy
- String value to set appointment created by name
-
getLastUpdated
public java.sql.Timestamp getLastUpdated()return appointment last updated date- Returns:
- return appointment last updated date
-
setLastUpdated
public void setLastUpdated(java.sql.Timestamp lastUpdated)Timestamp value to set appointment last updated value- Parameters:
lastUpdated
- Timestamp value to set appointment last updated value
-
getLastUpdatedBy
public java.lang.String getLastUpdatedBy()return appointment last updated by name- Returns:
- return appointment last updated by name
-
setLastUpdatedBy
public void setLastUpdatedBy(java.lang.String lastUpdatedBy)String value to set appointment last updated by name- Parameters:
lastUpdatedBy
- String value to set appointment last updated by name
-
getCustomerID
public int getCustomerID()return appointment customer ID- Returns:
- return appointment customer ID
-
setCustomerID
public void setCustomerID(int customerID)int value to set appointment customer ID- Parameters:
customerID
- int value to set appointment customer ID
-
getUserID
public int getUserID()return appointment user ID- Returns:
- return appointment user ID
-
setUserID
public void setUserID(int userID)int value to set appointment user ID- Parameters:
userID
- int value to set appointment user ID
-
getContactID
public int getContactID()return appointment contact ID- Returns:
- return appointment contact ID
-
setContactID
public void setContactID(int contactID)int value to set appointment contact ID- Parameters:
contactID
- int value to set appointment contact ID
-


Party and family split: Supriya Sule
by ANIAfter Ajit Pawar joined hands with the Bharatiya Janata Party to form a government in Maharashtra, NCP chief Sharad Pawar's daughter Supriya Sule on Saturday confirmed that the party has split.
Sule put up a story on Whatsapp which states that "party and family split". Her office has also confirmed the same.
In another Whatsapp update, she added, "Who do you trust in life. Never felt so cheated in life. Defended him, loved him. Look what I get in return."
When the media caught up with her, she declined to speak, saying, "I will speak after the official joint press conference of the three parties."
Early on Saturday, BJP leader Devendra Fadnavis took oath as chief minister of Maharashtra for the second consecutive term after a month-long uncertainty over government formation in the state. Sharad Pawar's nephew Ajit Pawar has reportedly back-stabbed his uncle by joining hands with the BJP and took oath as deputy chief minister of the state.
The development can only be termed as a big jolt to the efforts taken by Congress, Shiv Sena and NCP to forge an alliance to form government in Maharashtra.


BREAKING Lewes 'murder': Woman's body found after lying in bin for up to a month
We'll be bringing you the very latest updates, pictures and video on this breaking news story.
by Kelly-Ann Mills, https://www.facebook.com/dailymirror/A murder enquiry has been launched after a woman's body has been found in a bin in Lewes, Sussex.
The body was discovered in a bin in undergrowth on the edge of the recreation ground off Landport Road by a dog walker.
We'll be bringing you the very latest updates, pictures and video on this breaking news story.
Please check back regularly for updates on this developing story here at Mirror.co.uk .
For the latest news and breaking news visit Mirror.co.uk/news .
Get all the big headlines, pictures, analysis, opinion and video on the stories that matter to you.
Follow us on Twitter @DailyMirror - the official Daily Mirror & Mirror Online Twitter account - real news in real time.
We're also on Facebook /dailymirror - your must-see news, features, videos and pictures throughout the day from the Daily Mirror, Sunday Mirror and Mirror Online.


Dundalk District Court
Dundalk man charged with assault causing harm at Ridley’s nightclub
Court
by Court ReporterA young man accused of hitting another man who claims he needed seven staples after he fell back and banged his head, is to have his case heard at district court level.
Jemmy Bankole with an address at Point Road, Dundalk is charged with assault causing harm at Ridley’s nightclub on December 21st last year.
The case was listed at Dundalk district court last Wednesday so Judge Eirinn McKiernan could decide on jurisdiction. The court heard that Daisyhill hospital in Newry had no record of the complainant attending, however in the witness box the man told
Judge McKiernan he had attended there and his GP had subsequently removed the staples. Judge McKiernan agreed to hear the case in the district court – rather than send it forward to the Circuit Court and adjourned the matter to the 19th of February for finalisation after the Defence solicitor said a guilty plea will be entered.


MeetMe!
Enter your MeetMe Event Token:
Get Details
Retrieving event info
Event does not exist
View this Event


Navy M3/M4 Enigma Machine Emulator
If you'd like to send messages to your friends, you all need to be using the same settings. You can generate a "daily key" (settings for each day) for a particular month using the Daily Key Generator.
If you'd like to send messages to your friends, you all need to be using the same settings. You can generate a "daily key" (settings for each day) for a particular month using the Daily Key Generator.


Joseph
Manager
ID: 12543
Email<EMAIL_ADDRESS>Office Number: 100
testengineer
Engineer
ID: 12544
Email<EMAIL_ADDRESS>GitHub: testengineer
testintern
Intern
ID: 12545
Email<EMAIL_ADDRESS>School: testintern
testengineer2
ID: 12546
Email<EMAIL_ADDRESS>GitHub: testengineer2
testengineer3
ID: 12547
Email<EMAIL_ADDRESS>GitHub: engineertest


When using Pod Security Admission in the Agents namespace
with the restricted
Pod Security Standard, the
jnlp
container cannot be scheduled without overriding its container definition with a securityContext
.
This option allows to automatically inject in the jnlp
container a securityContext
that is suitable for the use
of the restricted
Pod Security Standard.
This is the securityContext
that will be used for the jnlp
container with that option:
securityContext: allowPrivilegeEscalation: false capabilities: drop: - ALL runAsNonRoot: true seccompProfile: type: RuntimeDefault


Report Builder
A simple tool for helping your programs generate complex JSON documents. It provides a nice developer experience providing simple but powerful chainable methods.
Create complex JSON reports easily
Installation
Install via yarn
yarn add report-builder (--dev)
or npm
npm install report-builder (--save-dev)
If you don't use a package manager, you can access report-builder
via unpkg (CDN), download the source, or point your package manager to the url.
report-builder
is compiled as a collection of CommonJS modules & ES2015 modules for bundlers that support the jsnext:main
or module
field in package.json (Rollup, Webpack 2)
The report-builder
package includes precompiled production and development UMD builds in the dist
folder. They can be used directly without a bundler and are thus compatible with many popular JavaScript module loaders and environments. You can drop a UMD build as a <script>
tag on your page. The UMD builds make report-builder
available as a window.reportBuilder
global variable.
Usage
setup
import reportBuilder from 'report-builder';
Examples
See example
folder or the runkit example.
Basic usage example
You have to require the report constructor, then you instantiate a report, and then you can start using it:
const Report = require('report-builder');
const report = new Report('Super report','counting api calls');
report.section('results').section('APICalls').increment(10);
report.setTotal(100);
Each call to .section('name')
will return a section object pointing to that area of the report.
You can save this reference and use it later, for example:
const mySection = report.section('results').section('APICalls');
/* do some fancy stuff*/
mySection.increment('Failed',10);
After running all that example code, we can generate a JSON representation of our report
using JSON.stringify
. Let's output it to the console:
console.log(JSON.stringify(report, null, 2));
/** And here is our report on the console:
{
"summary": {
"total": {
"count": 100,
"label": "counting api calls"
},
"timestamp":<PHONE_NUMBER>983,
"notes": "Super report"
},
"results": {
"APICalls": {
"count": 10,
"count": 10
"Failed": {
}
}
}
}
*/
Report structure
A report in it's simpler has a summary and a results sections. Check the format below:
{
summary: {
total: {
count: 0,
label: "What does the total mean, what we are counting"
},
timestamp:<PHONE_NUMBER>152,
notes: "Why we are generating a report"
},
results: { /* This section is empty when the report is first created*/
APICalls: {
count: 10
}
}
}
License
The code is available under the MIT license.
Contributing
We are open to contributions, see CONTRIBUTING.md for more info.
API
For a more complete description of the api please check the documentation
Misc
This module was created using generator-module-boilerplate.
Disclaimer
This is a work in progress, and may be a bit oppinionated. It was build to suit my needs, so it makes sense.


Politics of America
America has one of the most advanced political systems in the whole universe. Here's how it works:
- A bunch of donkeys and elephants hoping to become president give long and exasperating lectures about all the things they promise to [kind of] do once they become president.
- On a very special day, Americans stampede to their local voting polls to seclude themselves in a claustrophobic box where they cast their votes.
- Plot twist! The people's votes don't really matter, because someone else votes for them. On one dramatic night, the votes are counted and either the donkey or the elephant becomes president.
- Half the country tries to beat up the other half because they either wanted a donkey or an elephant as president.
- The president does some of the things he/she promised but mostly slacks off. If the president is bored, he/she will go start some random war for no reason, like the Vietnam War or the Iraq War.
- Some Americans have a revelation and forget why they would even vote for this incompetent president. Sadly for them, they're stuck with this president for four years. Afterwards, the cycle repeats itself, and Americans fight over more donkeys and elephants.
One such presidential candidate was a man by the name of Donald Drumpf, known for his moving speeches about love, socioeconomic equality, pacifism and butterflies.


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/reStructured.20Text.20and.20Lean.html ---
I'm looking at the build system of https://github.com/leanprover/theorem_proving_in_lean to adapt Software Foundations and I can't find where the html and latex lean syntax highlighting is defined. Can someone give me a hint?
It's a custom fork of pygments... has it disappeared from the repo?
It is still working, I just couldn't figure out how to update the syntax (e.g. def
instead of definition
)
Oh I see that Pygment is referred to in the Makefile. That's pretty much the only place I see it
Did you recursively clone git submodules?
The submodule list seems empty
As an aside, I remember chatting briefly about SF and lean a month ago. I made some progress but I'm slow since it's a weekend thing. If you want to take it up let me know if there's some part I can take care of
Hmm, I'm not at my workstation to see how I handled pygments
Did you set everything up already?
I have a skeleton project, yes
Would you care to share it with me. It might be better than starting over :D
Sure, but I can't get to it until tomorrow, unfortunately
Feel free to remind me tomorrow if I forget :)
It might be best: it's write-o-clock right now (thesis time) so it's best if I have a reason to drop it
Very well, I will :D
Yes, the Lean 3 syntax highlight is not upstream yet. The makefile installs my fork https://bitbucket.org/gebner/pygments-main/src into a venv.
As an aside, I remember chatting briefly about SF and lean a month ago. I made some progress but I'm slow since it's a weekend thing. If you want to take it up let me know if there's some part I can take care of
My son will be taking this on in early July as part of a work experience project.
Only one week and he's learning as he goes so he probably won't do so much.
If you've set it up so he could write in rst and it looked beautiful I bet he would oblige. I will probably push him to write it in rst anyway, I've been writing my book in rst using the sphinx lean extension that I took from the TPIL repo and I'm really happy with the results.
But he'll have to start from the beginning when it comes to the Coq
I talked to Benjamin Pierce and he's pretty happy that we want to make a Lean version. If we want, we could work off of the SF sources but we'd have to donate the copyrights of our contribution. Otherwise, if we're happy to work with the html, we're free to do as we please
I'm actually on the fence about this decision. Because we use the same template as Theorem Proving in Lean, it seems sufficient to only use the html code. But at the same time, it would be great if we could synchronize the evolution of SF-lean with the evolution of the original
I feel guilty about publishing this template since it's quite unpolished, but...
@Simon Hudon https://github.com/alashworth/sf-lean
An example of what it looks like on GH-Pages: https://alashworth.github.io/sf-lean/vol1/basics.html
To compile, first set up a virtual python environment, and then issue pip install https://bitbucket.org/gebner/pygments-main/get/default.tar.gz#egg=Pygments
this is in addition to the Sphinx dependency...
This is my first time using Sphinx for documentation... actually, it's pretty nice. When Lean 4 rolls around, maybe I'll take a look at adding a Lean
domain.
I'm not fond of working with Python but once it works, it's a nice template
I suggest we setup a travis build and a status for each chapters: adapted text / adapted code / needs review
How do you want to handle exercises? Sorry them out as in the original text or have solutions?
I'm inclined to having solutions in the text, as this resource will mostly be for self-learners as opposed to a classroom with homework
That's makes sense. However, Benjamin Pierce did request that no exercise solution be posted online. I'd like to see how we can reconcile both goals. Maybe we can hand some solutions out upon request
I'll see what I can do regarding travis and others this weekend, then. I wasn't sure if you wanted to fork and work on it yourself or not
I think we could organize around a single repo. At least for now
I understand he didn't want solutions online, but 1) it's Lean, not Coq, and 2) solutions are already on Github...
2) if we're the official lean-SF version, we'd be endorsing doing the opposite of what the authors requested. That's different
1) Lean is close enough to Coq that we can translate a Coq book into Lean ...
Suppose that at some point we have a tactic that is able to solve all these exercises... does that mean that this tactic must not be published online?
No, what it would mean is let's not publish it as a solution to the SF exercises
It just personally bums me out when solutions aren't given out with a text
SF doesn't even give out solutions to odd-numbered exercises or anything like that
well, at the end of the day, there's a whole lot of work to be done before this even becomes an issue
That's true
I agree with the need for self-study
I think we should also respect the wishes of the authors
I wonder if there's a way of reconciling both
Perhaps we can come up with similar exercises that are "different enough"
honestly after having worked through some, the solutions are in the implementation sense pretty different
Lean really encourages you to use the equation compiler instead of match
lots of the lemmas regarding lists are subtly different
That could be an approach. The other thing might be, if it comes to be useful in the classroom, the instructor set might include a variation on the exercises in the book with solutions that we communicate with instructors only
We can keep that issue open. In the mean time, what do you think of it if we ask Pierce to weigh in. We can show him our exercises and solutions and ask him if they are different enough
Yep. Let's wait until everything but the exercises is done though... hah. I don't want to show this off in its current state
Fair enough :) I think if courageous users want to try it out while we work, it would be great to get bug reports.
Btw, would you mind giving me commit rights to that repo, I'll start structuring things.
sure, sent you a link. the paths definitely need cleaning up, maybe everything under /src
should go to /src/vol1
for consistency... the source file link is broken in the GH-Pages build
Thanks!
There's a program for encrypted git repos, it's called Keybase. We may want to put the solutions there
Instead of publishing solutions, we may want to dedicate a channel where it's ok to discuss solutions. It might make it easier to give help to people studying the material without broadcasting the solutions
You seem to have taken out all the links to Lean live. Don't you want that connection? That would make it easier to follow the book online, no?
It wasn't deliberate, I was just too lazy to figure out how the lean-sphinx
script worked
also on the todo list: write up a readme that uses elan for a seamless newbie experience
these things are on the bottom of my priority list though, I think translating the content is the first step
Ah good to know! I've been hacking at the scripts this week so I'll just bring my stuff over
How is this for a start?
https://github.com/alashworth/sf-lean
sounds reasonable and is what i was planning on doing
I'm going to keep working on basics.rst
and basics.lean
. I think we should checkin with the sections we work on. Conflicts seems much more likely on a project like this.
@Andrew Ashworth when you have a moment can you enable travis build for your repo.  We just need to link the account with a travis account
ugh, I tried to get it working with travis-ci.com since travis-ci.org is deprecated, but apparently I managed to set the repo up on travis-ci.org accidentally, and migrations have to be done manually by travis support
so... I'm waiting to hear back from their account management team
I wasn't aware travis-ci.org
was deprecated. Does that mean anything for their support for open source projects?
no, still free, the point is travis wants to unify their commercial and open source together on the same domain (the .com)
github has marked the legacy travis service as deprecated as well
I wonder if we'll see a difference
For the snippets, I'm thinking of loading the complete lean file of the current chapter when you click on try it
. There's so much continuity that you can't just load them in isolation
But I don't like that you'd get that much code to look at when you click try it
that's also the problem with try it
another reason i didn't spend too much time trying to get it to work
chapters 1-5 are cumulative
I wonder if we could get local files into the live Lean version and just do an import
I think those chapters are where the live version would be most profitable
I personally don't see a lot of value in lean.js, the coding experience is far below vscode or emacs
sf is sufficiently complicated, and elan so easy to use, hopefully....
I expect a programmer learning from SF to be able to set up a minimal dev environment? idk
Those things are true. I think it helps get you started quicker. If I have to set up a new environment, even when people tell me it will take only a few seconds, I expect I'll have to set aside a few hours so I don't get started until I'm ready to put those hours. If the online version is there, it acts as an argument that it is worth putting the time. Then it comes as a surprise that it actually doesn't take any time
in addition, apparently there will be a Lean dev environment available on CoCalc at some point
I'll have to see that
Btw, I really like what you did with
.. literalinclude:: ../../src/basics.lean :language: lean :start-at: inductive day : Type :end-at: saturday
It might become my favorite way of doing literate programming
i noticed you changed up conf.py
. I need to figure out how to add the source directory to the sphinx path
ahh, maybe tomorrow
Haha :) Sorry, it was pretty draconian. We can sit down together to mitigate the damage
Anyway, food is calling to me
np! enjoy dinner
Thanks!
Btw, I really like what you did with
.. literalinclude:: ../../src/basics.lean :language: lean :start-at: inductive day : Type :end-at: saturdayIt might become my favorite way of doing literate programming
I'm not a huge fan of Sphinx's ability to match strings. I don't understand how it works, and it often fails for me
so much so that when I was writing that basics.rst snippet I had a text editor on one screen and a terminal + chrome window on the other so I could do a terrible version of live preview
Do you use emacs or VS code?
Also, how do you update your gh-pages
?
the old fashioned way: cut and paste
if you want to script it, you could try using https://github.com/davisp/ghp-import, which is on my 'to-investigate' list
So if I play the elaborator, you compile the rst
files and copy all the html
files in vol1
and then commit that
at project root, issue make html
, then copy build/html
to the root dir, and commit this to the gh-pages
branch
Even better! Thanks!
this is with my version of conf.py
, I haven't checked if TPIL's conf.py
does things differently
When it comes to the web, I'm kind of an ignoramus
yeah, I'm not a web programmer either... I think I know just enough to be dangerous
Haha :D that's still more than me
can you go into more detail about the def
issue you just raised? https://alashworth.github.io/sf-lean/vol1/basics.html - def
is colored green for me
@Simon Hudon
Interesting, it doesn't get colored for me. Maybe we have inconsistent stylesheets?
so when you navigate to that page, def
isn't highlighted?
Exactly
Have a look at:
https://alashworth.github.io/sf-lean/vol1/basics.html#
(btw, feel free to criticize the end of the Numbers section. I had to take some creative freedom)
yeah, i'm looking at it
is this what it looks like for you? if not, I think something is up on your end
oh
you pushed something new
I think you should refresh. I just updated it
if it's only def, the likely reason is that you have conflicting versions of pygments installed
then when you compile, the html isn't getting styled correctly as a result
How do I fix that?
pip uninstall pygments
then reinstall from the pygments fork
It worked like a charm! Thanks :)
np
Btw: I decided to take the lazy way for publishing and I did git init
in build/html
and added gh-pages
as a remote. It doesn't seem too bad
yep, i bet that would work too
that is actually lazier than cut and paste... wish i'd done that first
I work pretty hard to be this lazy :stuck_out_tongue_closed_eyes:
It should look better now at https://alashworth.github.io/sf-lean/vol1/basics.html#
hmm, the try it hyperlink overlaps code
Which one?
all the one liner defs and examples
for example, example : next_weekday (next_weekday day...
Ah! Do you mean that it displays "try it" on top of the code? I thought somehow snippets got mixed up when sent to Lean Live
the way the try it works with snippets is not very suitable to how SF is currently laid out
for example, none of the nat playground stuff works because the namespace command isn't sent to lean.js
i would like to revert conf.py
until one of us has time to really sit down and make it work correctly.
The snippets have a lot of problems. I'd like to send the whole file over
Sure. What does your version do?
no "try it" at all
I could work on the "try it" in a branch until I get it right
to make it work correctly, we need to build lean live with our own lean source files
and we also need some way to send a scroll command
or embed a line position in the hyperlink
if we do want to have a web link
That would be good, you're right.
then we should perhaps link the whole source file at the top of the chapter
and ask people to scroll down as they read
that's the low-effort way
Maybe we can recruit @Gabriel Ebner or @Sebastian Ullrich to help us with that
Yeah, and then the link can bring up Lean Live at the right line number
yeah, i think for now it would be best to work on it in its own branch
TPIL does some trickery with selectively hiding lines
So this all looks really good -- both nice to look at, and great material. Is it really not an issue that the text is basically all lifted from someone else's work? If not then that's awesome. My son will be starting on doing the exercises on Monday 2nd July, he is a beginner but he's a decent python programmer and is hopefully smart enough to learn quickly (and I can help him of course). I was going to advise him to just read SF in the original Coq and I was going to help him translate, but if he can read the translated stuff that would be awesome. I have done many of the exercises of Part 1 in Lean myself and I will have the answers somewhere -- I did them once I knew a lot about how Lean worked so they weren't too much trouble.
Great! And please send us comments as you go if there are parts that don't quite add up.
Is it really not an issue that the text is basically all lifted from someone else's work?
Not an issue. The html version of the book is under MIT license and I talked to the author. He seems pretty happy that we're doing that and had great information on how to proceed.
(comments or even contribution to the text)
@Andrew Ashworth What was the reason for you to use to specify lean snippets in a single Lean file instead of inline in the rst
file? I'm thinking it might be easier to write this way, especially considering that the flow of the chapter pretty much follows the declaration flow.
later in the book we will want to use leanpkg to manage dependencies on cooper
and mathlib
the more involved exercises use a lot of omega
I thought we could use a make file to first generate the Lean sources and then call leanpkg
The biggest downside I see is with debugging the Lean code
i think a common way to interact with the textbook will be for people to clone the repository and step through the source files themselves
you can't work with the .rst file like a .lean file
That's true. I'd really like for there to be a literate mode to Lean
I think we can offer a similar experience though by building an archive file that people can download. And in that file, we put the Lean generate files and the rst
files, to follow along.
i can't comment on this approach since I don't know how the TPIL lean-sphinx
node parsing code works
I think that's feasible. Remains to see if it's a workflow we're comfortable with
from a gut feeling perspective, it feels backwards to me. If I had unlimited time, I would write a Lean plugin for sphinx so we could move even more comments and documentation into the .lean
files
Yeah, I'd love that
from a teaching perspective, I think it's nice if the project demonstrates how to manage a larger Lean development
I've been asking for a literate mode for a while. Maybe Lean 4 will make it easier to do ...
the inline code approach with snippets is attractive because it enables us to reuse all the scripts from TPIL, and in particular maybe make it easier to enable 'try it'
well, you already know how I feel about how useful that functionality is
Are you referring to a previous conversation ... I only have vague memories of that. You weren't too favorable to the idea, were you?
well, to recap, I think it's a big hassle for us to make it work correctly
For us the users?
for us, the authors
and also nobody is going to want to be doing the more involved exercises in lean.js
I think between elan
and a possible Lean environment being set up on co-calc, its not a good use of time to try and get it to work, when there's so much translation effort to be done
I think you misunderstood my point about literate programming. The point is to have the html and pdf generated from a Lean file, the prose is considered as comment when compiling so you don't have to maintain two separate sets of files when writing tutorials or blogs or books
if you want something similar to coqtop
a Sphinx plugin would do that
it could be written today
but that doesn't help you when you want to discuss things out of the order they are defined in the source
then i think the way sf-lean is currently structured is the best
That's something I've been arguing for as well. If lean provided a declaration like postpone my_foo your_foo their_foo
then that could allow you to make small breaks in the declaration order.
it'd be nice also if extracted Lean snippets (a la TPIL) could refer to/import each other---this is something that'll come up sooner or later in the formal abstracts project, since there'll be theorems we want to formally state that require other definitions/theorems that only exist as formal abstract snippets
I'm not too familiar with the formal abstracts project. Do you mean that you'd like in Lean Live to import
chapters of TPIL?
Currently it's organized as a Sphinx project with Gabriel's lean_sphinx extension: https://github.com/thalesant/formalabstracts
I mean that if there's a page for e.g. the continuum hypothesis, containing a code block, then i'd like to be able to import that code block when i write a new page about the independence of the continuum hypothesis
I see so if the whole project was source code would make it easier to use. I agree
It should look better now at https://alashworth.github.io/sf-lean/vol1/basics.html#
OK so my son is going to start on the exercises today. Many thanks to both Andrew and Simon for making his life less difficult!
I'm wondering if someone could possibly direct me to where the source code (the file basic.lean) is, as the link on the website doesn't work
https://github.com/alashworth/sf-lean/blob/lean-3.4.1/src/basics.lean
Thanks!
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


FOR EACH EXPLOIT (INCLUDING FAILED)
Exploit used: UPDATE
Why did you choose to attempt this exploit? UPDATE
Source: UPDATE
Modifications required: UPDATE
Steps to obtain low level shell: UPDATE
TIME: UPDATE
Did it work? If no, what error messages(s)? UPDATE


{% from "components/table.html" import mapping_table, row, text_field, edit_field, field %} {% from "components/sub-navigation.html" import sub_navigation %} {% extends "withoutnav_template.html" %} {% block per_page_title %} Roadmap {% endblock %} {% block maincolumn_content %}
The GOV.UK Notify roadmap shows the things we’re working on and when we hope to have them ready for you to use.
It’s only a guide and things might change.
You can contact us for more detail about these features, or to suggest something else you’d like Notify to offer.
We’re working on new features so that you can:
We want to offer the functionality for:


Main Dialog Operations
Toolbar Operations
The typical sequence of commands is from left to right on the toolbar.
New Project
A Project must exist somewhere. So the first step is identify two directories for the project. This is done with a dialog box that pops up when the New Project command is invoked. The root directory is used as a starting point for selecting the first object of a type in the project. The Solution Path is the path to the project.sln. This allows all other paths to be relative to the path to project.sln .
Open Project
The Open Project command brings up a open file dialog box set up to look for an "wxd" file and the initial path is to the last place it found or stored a "wxd" file. Selecting the wxd file will cause the WixApp file to be loaded.
Sometimes paths will be requested using a "specify file/path dialog box". Be sure to look at the title bar of the dialog box and/or the type of file being sought.
Save All Files
There are two files created by WixApp. The product.wxs file is used by Visual Studio Wix option to create the project.msi file. The second file created by WixApp is the WixApp data file, project.wxd. WixApp saves the old files by renaming with a 12 character numerical extension to the current files. The numerical extension is the current date and time to the nearest second organized so they sort for oldest to newest.
Save Wxd file
Sometimes the data for the installation file is not ready to create a product file. Save just the WixApp data file (i.e. "wxd" file).
Options
Brings up a dialog box that has two features:
- A check box to allow the same version number to be used during installation
- A check box and a view window to require a license dialog to be added during installation.
Allowing use of the same version number seems to allow the current version to remain. I would use this option with care.
Checking the license dialog will cause a file dialog to appear. The file dialog will request
that an "rtf" file be selected.
MakeApp adds the file LicenseFile.rtf to the
About
Displays the About Box. The about box uses text from the resource file (WixApp.rc) for the output information.
Exit
Exit the application with no reservations.
Menu Commands
File Menu
New
See New Project above.
Open
See Open Project above.
Save WXD File
See Save Wxd File above
Exit
Exit the application with no reservations.
Solution Menu
Brings up the New Project Solution Directory dialog box. See New project above.
Options Menu
See Options above.
Test Menu
Two commands that should be used in top to bottom order. May be only useful for developers.
Validate
Runs through a validation sequence that marks the directories that will be used
Display Directories
Actually writes a text file with the directories and their attributes.
Help Menu
Introduction
Starts this help description.
About
See About above.


This will process through the difficult aspect of the math related to creating addresses and keys to confirm functionality. At present it utilizes two different crypto libraries plus a third very old version of one of them. It is meant to be a proof of concept only.
Functionality Required and implemented:


I2C Slave driver's custom configuration structure. More...
#include <I2CSlave.h>
Data Fields | |
| I2CSlave_FxnTable const * | fxnTablePtr |
| void * | object |
| void const * | hwAttrs |
I2C Slave driver's custom configuration structure.
| I2CSlave_FxnTable const* I2CSlave_Config_::fxnTablePtr |
Pointer to a function pointer table with driver-specific implementations of I2CSlave APIs
| void* I2CSlave_Config_::object |
Pointer to a driver specific data object.
| void const* I2CSlave_Config_::hwAttrs |
Pointer to a driver specific hardware attributes structure.


Satechi’s gorgeous new Mac mini stand doubles as a 6-in-1 hub with USB-C
by Christian ZibregAccessory maker Satechi today launched a gorgeous new aluminum stand for Apple’s Mac mini that doubles as a practical six-in-one hub that connects to your computer’s USB-C.
The Type-C Aluminum Stand & Hub turns your Mac mini from 2018 or later into a portable workstation. As a cool perk, it brings back some of the missing ports to your computer, like older USB ports, memory card readers and more.
Here’s Satechi’s pitch:
First of its kind, the Type-C Aluminum Stand & Hub elevates and transforms your Mac mini into a powerful, surprisingly compact workstation. Equipped with a USB-C data port, three USB-A 3.0 ports, micro/SD card readers and a 3.5mm headphone jack port, to provide convenient access to your peripherals.
Watch Satechi’s cool product video embedded below.
Here’s the full list of ports you get:
- 1x USB-C port for data transfer (up to 5 Gbps, no charge support)
- 3x USB 3.0 ports (up to 5 Gbps each)
- 1x micro and SD card readers (up to 104 Mbps)
- 1x 3.5mm headphone jack port
All of these ports are conveniently placed on the front of this beautiful stand for quick hassle-free access. As we’ve come to expect from Satechi, the stand’s elegant design looks like a natural extension of your Mac mini and its footprint helps maximize your desk space.
As a bonus, this accessory features built-in air vents which were designed to help regulate temperature and encourage airflow when connecting multiple devices to your Mac mini.
This Mac mini hub features cable management for its integrated USB-C cable.
Check out the list of key features included ahead.
- Patent pending: The first of its kind to function as both a stand and USB hub for your 2018 and later Mac mini computer, all using a single USB Type-C connection.
- 6-in-1 expansion ports: Features an USB-C data port, three USB 3.0 ports, micro/SD card reader and a 3.5mm headphone jack port for convenient access to your peripherals.
- Built-in air vents: Equipped with built-in air vents to help regulate temperature and encourage air flow when connecting multiple devices to your 2018 Mac mini model.
- Sleek, elegant design: Designed to feel like a natural extension of your Mac mini with an elegant, brushed finish and matching space gray aluminum alloy.
- Compatibility: Supports Mac mini with Type-C ports (2018 and later models). The accessory does not support 2017 and older Mac mini computers.
The Type-C Aluminum Stand & Hub retails for $80 and is available form Satechi and Amazon.
Left to right: memory card readers, 3.5mm headphone jack, 3 USB-S ports and a USB-C port.
What do you think about this new accessory from Satechi?
Let us know in the comments down below.


| pause |
5000 |
|
| verifyText |
css=#form-shipping-address > div.saved-address > div.table.table-address > div.tbody > div.tr > div.td |
${shipping_firstname} ${shipping_lastname} |
| verifyText |
//form[@id='form-shipping-address']/div/div/div/div[2]/div[2] |
${shipping_street} ${shipping_number} |
| verifyText |
//form[@id='form-shipping-address']/div/div/div/div[3]/div[2] |
${shipping_postcode}, ${shipping_city} |
| verifyText |
//form[@id='form-shipping-address']/div/div/div/div[4]/div[2] |
${shipping_country} |
| verifyText |
//form[@id='form-shipping-address']/div/div/div/div[5]/div[2] |
${shipping_tel} |


ABRT\-ACTION\-LIST\-
Section: ABRT Manual (1)Updated: 06/22/2012
Index Return to Main Contents
NAME
abrt-action-list-dsos - Prints out DSO from mapped memory regions.SYNOPSIS
abrt-action-list-dsos [-o OUTFILE] -m PROC_PID_MAP_FILE
DESCRIPTION
The tool reads a file containing the mapped memory regions. Output is printed to stdout or file.
Output format:
-
%p %n %v %i
where
%p
- path to library or binary file, which is mapped in memory region
%n
- name, version, release, architecture of package, where %p belongs
%v
- vendor of package
%i
- installation time
OPTIONS
-o OUTFILE
- Output file, if not specified, it is printed to stdout
-m PROC_PID_MAP_FILE
- File containing the mapped memory regions
AUTHORS
- * ABRT team
Index
This document was created by man2html, using the manual pages.
Time: 05:29:01 GMT, December 24, 2015


Video lobby
Select a video to share:
Note: If you tab out of this window, some browsers may degrade video performance (and thus streaming as well).


Australia’s “scary” household debt problem
by Unconventional EconomistThe Australian’s James Kirby has belatedly discovered that Australians are drowning in household debt, and that this places the economy at future risk:
It must rank as one of the scariest numbers in the housing market, yet it’s rarely mentioned…
The figure is the debt servicing ratio for households [from the Bank for International Settlements] and right now, Australia’s national “number” is running way too high – it is almost twice the level of comparable “advanced” economies, such as the US, Europe and Japan.
There are 923 words left in this subscriber-only article.


Mushrooms - P. semilanciata & Cannabis
First off I have extreme anxiety and I am bipolar. About a week ago I lost my anxiety medicine, but haven’t been in any particularly anxious situations and so I was coping alright. I also want to say that in the past, I loved liberty caps. I always had fun on them before and was really looking forward to this trip as much as the past ones. I feel though that we did not take some proper preparations and that perhaps I should’ve respected my drug a bit more. Here’s the story.
My good friends had a quarter of liberty caps on hold for them, but realized that they didn’t have the money for them, and so offered them to us. My fiancé, my roommate K and I all decided that Friday would be the perfect night as our other roommate, who only smokes weed, would be there to be our sitter. We had done shrooms three times before, and would be taking a smaller dose this time than usual as our friends had only set aside a quarter and the three of us would have to split it up. We each took about 2.3 grams.
Looking back now I realize two things that caused this to be a bad trip. 1) I was worried that I would not trip since this was a smaller amount then I was used to and therefore 2) I didn’t eat anything that night, hoping that would intensify the trip. I also smoked a bowl before eating them hoping for the same thing.
After eating the shrooms we sat in the living room with the TV on, slowly feeling the effects build up. Within 45 minutes from eating them the TV became far too overwhelming and we all headed upstairs to K’s room. I crawled in his bed and asked my fiancé to lay down with me. But I felt all wrong. I was having trouble breathing, I felt light headed and nauseous, and extremely cold. As I tripped harder and harder the tapestry that K had attached to his ceiling to dim the lights started taking on the frightening shape of alien faces. As I am extremely afraid of Aliens this was the worst possible thing that could happen. Suddenly everything was made up of alien faces.
I sat bolt up right in the bed and said, “I am going to throw up I need you to come with me.” My fiancé could tell I was not having a good time and followed me. I sat shivering in the bathroom wishing I would just throw up but I couldn’t. The only thing in my stomach were the shrooms; so even when I did gag, that was all that would happen. I was determined not to go back in the alien room. And so I suggested we go down stairs. K followed us and put a pizza in the oven thinking we were all cold because of our empty stomachs. It seemed like just one second and the pizza was done and they handed me a piece. I felt afraid of everything, even this innocent piece of pizza and therefore was only able to eat a couple bites.
I continued to get colder until I was shaking and felt like I was definitely going to be sick. I kept thinking that I had stopped breathing and would try and catch my breath, but I was just having so much trouble. I got up and dashed across the room to the bathroom. I sat on the bathroom floor and shook uncontrollably. I somehow confused myself into thinking that I had eaten the wrong shrooms and had therefore poisoned myself and I was dying, a thought put I my head because of all the research I had been doing recently on amanita’s which we had just received in the mail that same day. I asked for my Searaquill hoping that I could take one and fall asleep, but then thought, because I was so terrified, “I am dying anyway, I should take all of them and just finish this now.” My fiancé did not hand me my Searaquill as he knew I would fall asleep and “miss the trip.” Looking back now I very glad he did not give me my pills.
He came to the bathroom and helped me up and hugged me. I nearly passed out in his arms twice before I was able to say “let’s go to the bedroom.” The second we were in the bedroom I took off my clothes and got under the covers. I was getting colder and colder. And I couldn’t stop shaking and wiggling. My fiancé held me for what seemed like an eternity. He said that every few seconds I would say “Baby I’m not ok, I can’t breath, I’m dying, call the hospital.” Eventually I stopped adding the “Call the hospital” and just decided that I was going to die, and if I was going to die, in my own bed being held by the man I loved was exactly where I wanted to be. So I resigned myself to never coming out of the trip and just layed down to die.
What seemed like decades later, but was merely just a few hours, I felt better. It was like all of a sudden the shrooms lifted and I was all smiles. I had lived! I couldn’t believe it. I felt on top of the world for a few hours and then went to bed. The next day I woke up feeling kind of off. And that night I got cold and I freaked out. I thought I was dying again instantly. I insisted we go to bed again and he held me while I shook for the second night in a row, only this time there were no drugs involved. I even made him take my temperature. My anxiety had taken over and I had no more anxiety medicine.
I am a pagan and have strong beliefs that always made death seem like a natural thing. For the first time in my life I am afraid of death. I feel like I know what it’s like to die and it’s scary as F***. 3 days later I am still a nervous wreck and I can’t help but think about death. I learned that shrooms may not be for me. I will now be the “permanent sitter” for our house and stick to weed and pharmaceuticals.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


A
Airhorn
B
wow
C
are you winning?


@* * Copyright 2010-2017 Artima, Inc. * * Licensed under the Apache License, Version 2.0 (the "License"); * you may not use this file 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. *@ @import controllers.Application.scaladocsPageUrl @plusPage("ScalaTest + Mockito Versions") {
This page contains a table showing which versions of ScalaTest and Mockito each version of ScalaTest + Mockito works with. We'll release a new version of ScalaTest + Mockito for each release of ScalaTest and each non-binary-compatible release of Mockito. Click on the ScalaTest + Mockito to visit the Scaladoc for that release.
| ScalaTest + Mockito Version | ScalaTest Version | Mockito Versions |
|---|---|---|
| <IP_ADDRESS> | 3.2.16 | 4.11 |
| <IP_ADDRESS> | 3.2.15 | 4.6 |
| <IP_ADDRESS> | 3.2.14 | 4.6 |
| <IP_ADDRESS> | 3.2.13 | 4.6 |
| <IP_ADDRESS> | 3.2.12 | 4.5 |
| <IP_ADDRESS> | 3.2.11 | 4.2 |
| <IP_ADDRESS> | 3.2.10 | 3.4 |
| <IP_ADDRESS> | 3.2.9 | 3.4 |
| <IP_ADDRESS> | 3.2.8 | 3.4 |
| <IP_ADDRESS> | 3.2.7 | 3.4 |
| <IP_ADDRESS> | 3.2.6 | 3.4 |
| <IP_ADDRESS> | 3.2.5 | 3.4 |
| <IP_ADDRESS> | 3.2.4 | 3.4 |
| <IP_ADDRESS> | 3.2.3 | 3.4 |
| <IP_ADDRESS> | 3.2.2 | 3.4 |
| <IP_ADDRESS> | 3.2.1 | 3.4 |
| <IP_ADDRESS> | 3.2.2 | 3.3 |
| <IP_ADDRESS> | 3.2.1 | 3.3 |
| <IP_ADDRESS> | 3.2.0 | 3.3 |
| <IP_ADDRESS> | 3.1.2 | 3.3 |
| <IP_ADDRESS> | 3.1.2 | 3.2 |
| <IP_ADDRESS> | 3.1.1 | 3.2 |
| <IP_ADDRESS> | 3.1.0 | 3.2 |
| <IP_ADDRESS> | 3.1.0 | 1.10 |


‘We love you but God knows best’ — Funke Akindele mourns father
by James OjoFunke Akindele, Nollywood actress better known as ‘Jenifa’, has grieved the death of her father, a school principal.
The actress took to her social media page on Monday to break the tragic news, accompanied with a picture she took with her late dad.
“Dad!!! May your soul Rest In Peace!! I tried Dad! I did!! We love you but God knows best!!! #iwishicanturnbackthehandsoftime,” she wrote on her Instagram page.
In the post, the movie producer, however, did not mention when he died or the circumstances that led to his death.
The actress is the second of her father’s three children, two girls and one boy.
Her mother is a medical doctor. Born on August 24, 1977, the actress has become a sensation in the country’s movie industry.
She has also won numerous awards over the course of her acting career.
Funke played the lead role in the TV show ‘Jenifa’s Diary‘, alongside Fisayo Ajisola, Falz, Juliana Olayode, and Aderounmu Adejumoke, for which she was named the ‘best actress’ at the 2016 Africa Magic Viewers Choice Awards.
The actress, who welcomed a set of twins with her husband last year, made her directorial debut in ‘Your Excellency’, a recently premiered movie by Mo Abudu, prominent film producer.
In 2016, she also married JJC Skillz in London, having parted ways with Kehinde Oloyede, her ex-husband, citing irreconcilable differences.
Copyright 2019 TheCable. All rights reserved. This material, and other digital content on this website, may not be reproduced, published, broadcast, rewritten or redistributed in whole or in part without prior express written permission from TheCable.
Follow us on twitter @Thecablestyle


@(page: String, isLoggedIn: Boolean, userInfo: UserInfo, isAdmin: Boolean) @Main(page, isLoggedIn, userInfo, isAdmin) {
This application contains a MySQL 5.6 backend for persistence. If the server is restarted at any time, the user data should be kept in tact.
This application supports user logins. Different users have different levels of power, for example, only the administrator is allowed to create and delete users. Only registered users are allowed to see the 'Current Users' page.
This application makes use Twitter Bootstrap to give web site a responsive design that will adjust the layout based on the window size.


Goals:
The knowledge of “command line” opens a whole new world of opportunities, as the number of interface-less programs and applications is significantly larger; command line also offers a more robust and direct controls over a computer. The main goal is to learn the basics of this indispensable tool.
Software:
- [Mac] Terminal (installed)
- [Win] Powershell (should be installed)
- [optional]
python
(install from: https://www.python.org/) - [optional]
r
(install from: https://www.r-project.org/)
Class: Files, programs, and the command line
This is a primer to get you started on a few concepts:
- What a filesystem is
- How to run a program from the command line
- What it means to run a program
- How the computer knows what program to run
- How to refer to a file from the command line
The filesystem
All the files and programs on your computer are organized into folders; all these folders are in some other folders all the way down to your hard drive, which we call the root of your filesystem. Every hard drive, USB drive, DVD, and CD-ROM has its own filesystem.
You normally look at the contents of your filesystem via the Finder (on Mac) or the Explorer (on Windows). Open a window there now.
The Finder / Explorer window opens in some folder, which might be different depending on what computer operating system you’re using. But you’ll usually have a navigation bar to the left, that will let you go to different places. You see folders, also known as directories, and you might see files too.
One thing that computer OSes like to hide from you is the fact that you have a home directory, where all your personal files and folders should live. This makes it easier for multiple users to use a single computer. You can find your home directory like this:
- On Mac, select
Go
>Home
in the menu.
- On Windows, click on
Local Drive (C:)
, then click onUsers
, then click on your login name.
You’ll see that your home directory has several folders in it already, that were created automatically for you when you first made a user account.
Now how can you tell where you are, with respect to the root of your drive?
- On Mac, select
View
>Show Path Bar
in the menu.
On Windows, look:
The Finder / Explorer will also show you where in your computer’s filesystem you are. This is called the path—it shows you the path you have to take from the root of your filesystem to the folder you are in.
Now if you are on Windows, click on that bar and you’ll see something surprising.
This is your real path. The C:\
is how Windows refers to the root of your filesystem. Also note that, even if your OS is not in English, the path may very well be!
Getting started with the command line
Now that you have a hint of what is going on behind the scenes on your computer, let’s dive into the command line. Here is how you get there:
- On Mac, look for a program called
Terminal.app
- On Windows, look for a program called
Powershell
By default, these shells open in your home directory. On Windows this is easy to see, but on Mac it is less clear—that is, until you know that this ~
thing is an alias for your home directory.
Components of the command line
The command line consists of a prompt where you type your commands, the commands and arguments that you type, and the output that results from those commands.
The prompt is the thing that looks like (where user
is your username):
MacBook-Pro:~ user$
or
PS C:\Users\user>
You will never need to type the prompt. That means that, if you are noting down what we do in class for future reference, you should not copy this part!
The prompt actually gives you a little bit of information.
- On Mac, it has the name of the computer, followed by a
:
, followed by the directory where you are, followed by your username, with$
at the end. - On Windows, it has
PS
forPowerShell
, followed by the name of the drive (C
for most of you), followed by a:
, followed by the full path to where you are, with>
at the end.
When you type a command, nothing happens until you press the Return/Enter
key. Some commands have output (more text that appears after you press Return/Enter
) and others don’t. You cannot run another command until the prompt is given again.
NOTE: From this point on, you will be running the commands that are run here!
Let’s first make sure we are in our home directory by typing cd ~
. For most of you this should change nothing, but now you know your first shell command. The cd
stands for change directory
, and what follows is the directory you want to go to.
cd ~
Now let’s have a look around. The command to show what is in any particular directory is called ls, which stands for list. Try running it.
ls
If you are on Windows, what you get will look more like this:
PS C:\Users\user> ls
You should then see something like:
Verzeichnis: C:\Users\user
Mode LastWriteTime Length Name
---- ------------- ------ ----
d---- 23.02.2016 21:18 .oracle_jre_usage
d-r-- 23.02.2016 20:40 Contacts
d-r-- 23.02.2016 20:40 Desktop
d-r-- 23.02.2016 21:11 Documents
d-r-- 23.02.2016 21:16 Downloads
d---- 23.02.2016 21:24 exist
d-r-- 23.02.2016 20:40 Favorites
d-r-- 23.02.2016 20:40 Links
d-r-- 23.02.2016 20:40 Music
d-r-- 23.02.2016 20:40 Pictures
d-r-- 23.02.2016 20:40 Saved Games
d-r-- 23.02.2016 20:40 Searches
d-r-- 23.02.2016 20:40 Videos
PS C:\Users\user>
Now go into your documents folder and look around.
cd Documents
ls
How does this compare to what you see in the Finder / Explorer window, if you click on the Documents folder?
Another important command, which tells you where you are at any given time, is pwd
. This means print working directory. Try it now and see what you get.
pwd
If ever you get lost on the command line, pwd
will always help you find your way.
File paths and path notations
By now you will have noticed that I’ve mentioned the path a few times, and that it seems to have something to do with this thing that pwd prints out. (And, most annoyingly, that it looks different on Mac
and Windows
) The bit of text that you get from pwd
is what is called path notation, and it is very important that you learn it if you want to do anything with your own digital data. Here are some rules:
- The
/
(or\\
on Windows) separates folder names. SoDesktop/Video
means “the thing called Video inside the Desktop folder”. - The
/
all by itself refers to the base of your hard drive (usuallyMacintosh HD
orC:\
.) - The
~
refers to your home folder. - These things can be combined;
~/Documents
means “the Documents folder in my home folder.” - The
.
means “the current working directory”, i.e. what you would get if you ran the commandpwd
. - The
..
means “one directory back”—ifpwd
gives you/Users/user
, then..
means/Users
. - If the path does not start with a
.
or a/
or a~
, then it will be assumed to start with a./
, that is, “start from the current working directory.”
Let’s wander around a bit. Before that download the zip file with the materials of the course: https://univie-tnt-2019.github.io/files/02/tnt_practice_materials_01.zip. Unzip it somewhere and go to that folder in your Terminal
or Powershell
.
cd /path/to/the/folder/tnt_practice_materials_01
pwd
cd ./cd 02_CommandLine/
pwd
ls
Try the following if you are on Mac
ls -lh
cd ..
pwd
NB: you can use TAB
to autocomplete the path: type ls
to see what folders are in Documents
, then go to any one of them by typing cd
(space) and then the first two letters > after that use TAB
and the name will be complete automatically.
cd 03[TAB]
pwd
cd ../01[TAB]
pwd
ls McCarty_Modeling.pdf
cd ..
Command line arguments
So far we have learned three commands: cd
, ls
, and pwd
. These are useful for navigation, but we can run a lot more commands once we learn them, and have a need for them!
What are we doing, exactly?
- First word is the
command
- All other words are the
arguments
- Words must be separated by
spaces
cd
is a command that expects an argument: the name of the directory you want to go to. But what if the name has a space in it?
NB: You may think of most commands as sentences with subject, predicate, and object (or multiple objects).
cd ./01_Zotero_Word/Green Eggs and Ham
What happened there?
Well, we have a folder called Green Eggs and Ham in our example, and we tried to go there. But since the command line works with arguments, and since arguments are separated by space, the machine interpreted this as if we were saying “Change to the ./01_Zotero_Word/Green
folder, and then Eggs
, and
, Ham
, whatever that means.” And it gave us an error, because we don’t have a folder called Green
in our example.
You can get around this. How you get around it depends on whether you’re on Windows or not. One way to get around it that should work both places is like this:
On Windows:
cd './01_Zotero_Word/Green Eggs and Ham'
On Mac (you need to escape spaces by adding a backslash
in front of them):
cd ./01_Zotero_Word/Green\ Eggs\ and\ Ham/
NB: The easiest solution is to use TAB
for autocomplete!
More stuff
With command line you can do everything that you became accustomed to be doing in a graphical interface of your favorite file manager. For example, you can copy
, move
, and delete
files and folders
You can use:
mv
to move filesrm
(on Windows also:del
) to delete filescp
to copy files
In all cases you need to state which files you want to mv
, rm
, or cp
. In some cases you also need to point where you want to mv
or cp
your files.
NB: Syntax on Mac
and Windows
will vary slightly, but if you keep using [TAB]
for autocompletion, there will be no different in the process of typing the command, so let’s try to do it this way.
To start, let’s go to the root directory of our course materials (/tnt_wien_spring2018/
). From there, let’s do the following:
cd 01[TAB]
ls
cp Mc[TAB] Green[TAB]
cd Green[TAB]
ls
NB: when you hit [TAB]
after Mc
you are not going to get the full autocomplete, because there are two files that start with McCarty_Modeling
—one is pdf
and another—txt
. You will need to type one more letter p
and then hit [TAB]
again to get the file name that you need. Thus, the command can be transcribed as: M[TAB]p[TAB]
Now let’s rm
(delete) the McCarty_Modeling.pdf
from this folder, then go to the folder where we copied it, and then mv
(move) it back to where it was in the first place.
rm M[TAB]p[TAB]
ls
cd G[TAB]
mv Mc[TAB] ../
cd ..
ls
Tada! The McCarty_Modeling.pdf
should now be back where it was.
Learning more
If you want to learn about new commands, try to Google
that.  You will most likely find your answers on https://stackoverflow.com/, which will become your most frequented resource, if you embark on the DH path.
Homework
- Work through a reference material on command line which is relevant to your operating system.
- Register at Codecademy.com (https://www.codecademy.com), if you haven not already.
- Complete Codecademy’s Learn the Command Line, Units 1-4 (free sections)
- Email the screenshot with confirmation of completion. (Please, include the name of the course into the subject of the message).


{{equation.name}} {{equation.area}} {{equation.discoveredBy}} {{equation.firstCreated | momentTimeAgo}} {{equation.submittedBy}}


Trust your mentors
Your mentors think so. Mentors are people that see potential in you that you don’t see for yourself. Trust them. If they are giving you an opportunity to do something, it’s because they have faith in you and know you can succeed in doing it. I cannot stress this enough. And you really need to have the same confidence in yourself. We frequently don’t. Rise to the occasion. That’s the only way you get better.
Do things that are scary
Don't be afraid to say yes to things. Public speaking is scary, new projects are scary, learning is scary. But the only way to get better is to do scary things until they aren't scary anymore (or are less scary).
Collaboration
not
competition
Seriously, there is nothing more boring than people who are still worried about other people. What a waste of time. It will bring you down. Cling to your peers because you are all in this together, now and far into the future.
Learn to code (maybe)
Not a requirement, but all archivists are digital archivists so even basic programming skills will go a long way. Also, developers never have to look for work, even if they aren't that great. I have more work available to me than there are hours in the week (and I'm not that great).
Don't give up
This is an undervalued, underpaid field and there are more people that want to be in it than are in it. The job hunt takes time.  You might have to take two part-time jobs. You might have to take a job that isn't in the field. You'll probably be a grant-funded employee. Stick with it and you'll get there. But remember Queen Bae's words of wisdom: "You can do everything right and still lose." Just get up and try again.


UD for Balochi
Balochi is a dialect continuum and until recently, the language was rarely written, so there does not seem to be a written standard with enough prestige to prevail on the vast territory where Balochi is spoken. One standard was proposed by Jahani (2019); note however that the texts in our data follow a different orthography. Unless specified otherwise, our data represent southeastern (Pakistani) Balochi.
Tokenization and Word Segmentation
- Punctuation is written adjacent to a neighboring word like in English and many other languages. In the annotation, punctuation symbols are separate tokens; that is, words are delimited by spaces or punctuation.
Morphology
Some morphemes that are treated as bound morphemes in the literature are in fact written as separate words under the orthography employed in our data. This applies both to the case suffixes of nouns and to the conjugation suffixes of verbs.
Nominal Features
There is no grammatically relevant gender.
According to Jahani and Korn (2009) p. 652, Balochi nouns have five cases, termed direct, oblique, object, genitive, and vocative. We map the first three cases to other names in the UD terminology. Under the orthography used in our data, case suffixes are written as separate words, they are thus analyzed as postpositions (ADP). The Case feature is annotated on the postposition that contributes the case, not on the noun itself.
The direct case roughly corresponds to the nominative in UD. It is used for the subject of all intransitive
verbs and of transitive verbs in the present and future. Balochi has split ergativity like Indian languages,
hence transitive verbs in the past tense have the ergative alignment, meaning that the object rather than
the subject has this case form there. It is the simple uninflected noun. In our orthography it means that
there is no postposition, hence Case=Nom
is not annotated anywhere.
The oblique case is marked by the postposition ءَ ‘a. It is used as the accusative in the present and
future, and as the ergative subject in the past tense. It is also placed between the noun and some more
specific postpositions. We annotate it Case=Erg
.
In ditransitive clauses, the object case marks the recipient, i.e., it corresponds to the
dative (Case=Dat
). Its morpheme is را rā and it may be combined with the oblique morpheme ءَ ‘a.
The genitive morpheme is ءِ ‘i and it is also written separately. We annotate it Case=Gen
.
Vocative is unmarked in singular.
Nominal words can appear in two Number forms, singular (Sing
) and plural (Plur
). However, the
number inflection is fused with the case inflection, that is, plural marking would be part of the
case postposition, and there is no number distinction in the direct (nominative) case.
Pronouns
Personal pronouns exist in the first and the second person. Distal demonstratives are used instead of personal pronouns in the third person. The reflexive pronoun is wat.
| من | man | I | Number=Sing|Person=1|PronType=Prs |
| تو | tō | you | Number=Sing|Person=2|PronType=Prs |
| ما | mā | we | Number=Plur|Person=1|PronType=Prs |
| شُما | šumā | you | Number=Plur|Person=2|PronType=Prs |
| آ | ā | he/she/it/they/that/those | Deixis=Remt|PronType=Dem |
| اے | ē | this/these | Deixis=Prox|PronType=Dem |
| وت | wat | oneself | PronType=Prs|Reflex=Yes |
Possessive pronouns are generally the personal pronouns with the genitive suffix -ī; but unlike nouns,
they are written together with the suffix as one word. We treat them as distinct lexemes with their own
lemma and with the Poss=Yes
feature, not as genitive forms of the non-possessive personal pronouns.
The forms ending in -ī are used attributively; there are also predicative forms with an additional -g.
TODO: Is there a feature we can use to distinguish the predicative form?
At least for the distal demonstrative, the genitive/possessive form is also used before the oblique case marker. For example, آئی ءَ ā’ī ‘a (áiá) is the oblique/accusative/ergative case; آئی ءَ را ā’ī ‘a rā (áiárá) is the object/dative case of “that”.
| منی | manī | my | Number=Sing|Person=1|Poss=Yes|PronType=Prs |
| منیگ | manīg | mine | Number=Sing|Person=1|Poss=Yes|PronType=Prs |
| تئی | ta'ī | your | Number=Sing|Person=2|Poss=Yes|PronType=Prs |
| تئیگ | ta'īg | yours | Number=Sing|Person=2|Poss=Yes|PronType=Prs |
| آئی | ā'ī | his/her/its/their/of that/of those | Deixis=Remt|Poss=Yes|PronType=Dem |
| وتی | watī | one's own | Poss=Yes|PronType=Prs|Reflex=Yes |
Like in English, the reciprocal pronoun is composed of two words. TODO: What to do with it? Do the words occur also independently?
| یکے دومی | yakē dōmī | each other | PronType=Rcp |
Interrogative pronouns.
| کئیا | ka'iyā | who | PronType=Int |
| چے | čē | what | PronType=Int |
Indefinite article??? (At least that was the gloss assigned by the Balochi teacher.) It would apply to the preceding nominal. یے yē
Verbal Features
The conjugation suffixes of Balochi verbs come out as auxiliaries that follow the main verb. Example:
| کندگ | kandag | to laugh / laughing | VerbForm=Inf |
| من کندگا آں | man kandagā āñ | I am laughing | The auxiliary is Number=Sing|Person=1. The main verb should probably be some non-finite form, maybe a participle. And maybe a progressive participle (I saw a similar form glossed as "progressive aspect of verb".) |
| تو کندگا ئے | tō kandagā ay | you (Sing) are laughing | |
| آ کندگا اِنت | ā kandagā int | he is laughing | |
| ما کندگا اِن | mā kandagā in | we are laughing | |
| شُما کندگا اِت | šumā kandagā it | you (Plur) are laughing | |
| آ کندگا اَنت | ā kandagā ant | they are laughing | |
| تو کند اِت | tō kand it | you (Sing) laughed | |
| تو کند اِتگ | tō kand itag | you (Sing) have laughed |
The infinitive can be used and inflected as a verbal noun.
The auxiliary forms are similar or identical to the copula which would be used with non-verbal predicates.
Present-tense auxiliaries from the data: اِنت int (3rd person Sing; this form is also the copula “is”) اَنت ant (3rd person Plur; but the context could have been also past rather than present)
Past-tense auxiliaries from the data: اِت it (3rd person Sing) کت kt (3rd person Sing) کُت kut (is it the same as kt or not?) جت jt (perhaps this is not auxiliary? It was in the causative sentence.)
Adpositions
Besides the three case morphemes that were mentioned above (and that are considered mere suffixes by some authors), there are also “ordinary” adpositions.
| چہ | čh | from (Case=Abl)? |
Coordinating Conjunctions
| ءُ | 'u | and |
| یا | yā | or |
| بلے | balē | but |
Particles
The negative particle نہ nah.
Particle at the end of the sentence: ئے ē (perhaps a question particle? or is it in fact the auxiliary ay, 2nd person singular, see above?) ئِے yie (the same or not?)
Tags
*
Instruction: Specify any unused tags. Explain what words are tagged as PART. Describe how the AUX-VERB and DET-PRON distinctions are drawn, and specify whether there are (de)verbal forms tagged as ADJ, ADV or NOUN. Include links to language-specific tag definitions if any.
Features
*
Instruction: Describe inherent and inflectional features for major word classes (at least NOUN and VERB). Describe other noteworthy features. Include links to language-specific feature definitions if any.
Syntax
*
Instruction: Give criteria for identifying core arguments (subjects and objects), and describe the range of copula constructions in nonverbal clauses. List all subtype relations used. Include links to language-specific relations definitions if any.
Treebanks
There are N Balochi UD treebanks:
Instruction: Treebank-specific pages are generated automatically from the README file in the treebank repository and
from the data in the latest release. Link to the respective *-index.html
page in the treebanks
folder, using the language code
and the treebank code in the file name.
References
- Carina Jahani, Agnes Korn (2009). Balochi. In: Gernot Windfuhr (ed.) The Iranian Languages, pp. 634–692. Routledge, Oxon, UK. ISBN 978-0-415-62235-6.
- Carina Jahani (2019). A Grammar of Modern Standard Balochi. In: Acta Universitatis Upsaliensis. Studia Iranica Upsaliensia 36. 292 pp. Uppsala, Sweden. ISSN 1100-326X. ISBN 978-91-513-0820-3.


Deleting a Module Control
How to delete a module control using the Extensions module.
- Navigate to Host > Extensions.
- Select the Installed Extensions tab.
- Expand the Modules section.
- Click the Edit button beside the required module.
- Expand the Module Definitions section.
- In the Module Controls list, click the Delete button beside the control to be deleted. This displays the message "Are You Sure You Wish To Delete This Item?"
-


Welcome to the blog!
January 7, 2016
It’s a new year, so it’s time to recommit to overcommiting onself! In the spirit of the season, I plan to begin blogging as an exercise in working through ideas enough to be able to see whether they are silly or worth more thought. I look forward to hearing what others think.
My first stint of writing was taken up by reacquainting myself with github, jekyll, and the hoary workarounds necessary to have fun plugins, such as those that make this page look all Tufte.Thanks to Clay Harmon for the styling. This seems like a good idea in part because I have a bunch of thoughts that I am extremely unlikely to turn into full blown papers, but I think are worthy of fleshing just enough to hear what others think.
Plausible topics for reference:
- My policy/thoughts on order of authors
- Why we should cite prior literature, especially across discipilinary boundaries (and what happens when we don’t)
- Machine teaching: What might this be?
- Machine teaching: Hard problems of the computer science and psychological varieties
- Why is this data science?
- Statisticians have missed the boat. Example N+1: A good algorithm for learning is no good without an effective way to communicate it.
- Type 1 query machine


What can I help you with?
Looking for a software freelancer? I can help. Set up a free consultation.
You could check out my blog, Systems Thinking.
Browse my portfolio to see some projects I've worked on in the past.
Or check out my resume, if you're into that sort of thing.
I'm a bestselling author! Check it out: Better Business Book, Volume 2.
Click here if you'd like to be in the next book.


{% extends "base.html" %}
{% block content %}
{{ render_text("Hi " + name) }}
{% call text() %}
We have detected that your mailbox {{ mailbox.email }} cannot receive emails as it's a SimpleLogin alias.
{% endcall %}
{% call text() %}
A mailbox needs to be a "final" email address and cannot be an email alias.
{% endcall %}
{% call text() %}
Please update this mailbox to a non-alias email address on
{{ mailbox.email }} setting.
{% endcall %}
{% call text() %}
Feel free reply to this email if you have any question.
Best,
SimpleLogin team.
{% endcall %}
{% endblock %}


Sinogram Synthesis using Deep leanring for Sparse CT Reconstruction
Swapnil Vekhande Fall 2018 ECE 5554/4984 Computer Vision: Class Project Virginia Tech
Please see this for an example of how to lay out the various details of your project. You may need to provide more details than this, beause you will not be submitting an associated paper to accompany the webpage. So the page should be self-contained
Abstract
Computed tomography (CT) is a widely used medical imaging modality for showing anatomical structures such as lung and bones. But, the radiation dose could pose dangers of cancer to the patient.
However, reducing radiation dose is inevitably leads to increased Signal-to-Noise ratio(SNR) causing misdiagnosis in CT images.
In this project I propose Deep Learning to process Sparse CT projection data while preserving adequate image quality is crucial in reducing radiation dose in CT imaging.
Teaser figure
A figure that conveys the main idea behind the project or the main application being addressed.
Introduction
Concerns about radiation dose with CT examination has also been increasing due to potential risk of cancers. Researchers are trying to preserve the quality of images with low dose. Analytical interpolation methods used for this have inherent limitation. On the other hand, neural networks are known for learning the distribution of grey scale intensities in image. Therefore, Effective interpolation of Sparse CT projection data while preserving adequate image quality could be achieve for CT imaging using UNET.
Approach
Analytical interpolation currently used in Medical Imaging but it is prone to errors. Recently Deep Learning based methods have shown lot of promise in interpolating the missing data [1]. In this project, we are applying state-of-the-art Convolutional Neural Network models to reconstruct full-view Sinogram from limited projection data. This is classical ill-posed inverse problem in imaging. We will be using FBP for final image reconstruction. We will be using Titan X GPU for accelerated processing of Tensorflow or Keras libraries.
Experiments and results
We have this facility in the X-ray Systems lab of Biomedical Engineering and Applied Mechanics Department. We have the data gathered using the Xradia for various body parts.
There are 1500 projections at various resolutions from -90 degrees to +90 degree. The projection data is first normalized and sinograms are created. The normalized data will be used for training the neural network. We plan to minimize loss functions like root mean square error. Once the model is trained we will test the model on sparse data which has missing projection data. The network is supposed to accurately predict the missing data. The final results will be compared with analytical interpolation methods as well as with the ground truth
Qualitative results
RMSE for output Sinogram is 0.3261437607563291.
Images are noise free so Correlation coefficient is same as SNR.
[■8(1&"0.84917601" @"0.84917601" &1)]


BY EDWIN JAHIEL
TRAVELLER (1997) *** Directed and photographed by Jack Green. Written by Jim McGlynn. Produced by Bill Paxton, Brian Swardstrom, Mickey Liddell and David Blocker.Editing, Michael Ruscio. Production design, Michael Helmy. Music, Andy Paley. Cast: Bill Paxton (Bokky), Mark Wahlberg (Pat), Julianna Margulies (Jean), James Gammon (Double D), Luke Askew (Boss Jack), et al. An October Films release. 100 minutes. Rated R (violence).
One of the most exclusive private clubs in London is The Travellers. At the opposite social pole, Travellers are what Irish Tinkers call themselves. They are like clans who for ages have had a single vocation and avocation: scams, frauds, confidence games.
Like gypsies, they're always on the move --hence their name, -- live together, marry exclusively within the clan, feel and keep apart from the outside world. In the mid-19th Century, the Great Potato Famine brought huge numbers of Irish to America, including Travellers who kept exercising their scams (mostly horse trading) almost as a birthright, generally in the rural South.
In the film, a tribe of such Irish-Americans live (temporarily?) in their own trailer park in the woods of North Carolina. Twentyish Pat (Mark Wahlberg) shows up for his father's funeral. As the deceased was persona non grata (he had committed the sin of marrying an outsider) Pat's request to join the clan is rebuffed until Bokky (Bill Paxton), the star scam artist, takes him on as an apprentice.
With implausible rapidity Pat becomes skilled at the tricks of the trade. The frauds shown are the purchase of run-down trailers resold as good, and the sealing of roofs and driveways with what is crankcase oil that runs with the first rain.  The victim is pretty waitress-in-the-sticks Jean (Julianna Margulies), a divorced mother.
Before you can say "I'll Love You a Thousand Ways" (heard on the soundtrack) Bokky gets second thoughts about, and first feelings for, Jean. He makes restitution. Before you can say "Searching For Someone Like You," Jean and Bokky are in bed and in love. Later, when he finds out that Jean's daughter needs expensive ear surgery, Bokky embarks on most ambitious plan to get money.
This is perhaps a cliche situation, but it is nicely papered over by Paxton's solid, likable presence. The deja vu is also mitigated by Ms. Margulies being simpatica in a Sandra Bullock way and doing for her lover a wickedly sexy striptease, strong on tease yet merely PG-rated on strip.
Colorful Double D, a grizzled, canny old-timer, becomes the duo's partner in a mega-scam operation that takes them to Louisville. They go to work, with and on, a sinister operator. The mechanics of this plot are too complex to be related without spoiling the surprises. These lead both to success and to the only violence in the film.
Traveller is the directorial debut of Jack Green, the cinematographer for many Clint Eastwood movies. Recently he shot director Jan De Bont's Twister, a vehicle for special effects. It starred Bill Paxton.
Here Mr. Green does double duty as cinematographer too. He gives the movie the right realistic look, keeps photography and sets appropriately simple, functional and un-gimmicky. He avoids excessive Hollywood sentimentality or grunginess.
The script has some unclarities and holes but good touches predominate. Among them, the casting. Irish-faced Luke Askew is Boss Jack, the center and anchor of operations. He gets his cut each time. Askew reminded me of Limerick-born actor Richard Harris in his youthful years.
The Boss has a ravishingly Irish young daughter. Her quick-starting romance with Pat is not elaborated. This is not a case of story underdevelopment but rather a move to keep the main subject (the companions' modus operandi) on track with minimal distractions.
The dialogue is credibly simple. One of the best bits has Jean asking Bokky, back with his loot: "How did you do it?" His reply is a formula of Method Acting for crooks: " You look someone right in the eyes, You lie to yourself.
That the players have no Southern accents might raise eyebrows, but I see it as stressing that those Irish-Americans live their own, separate tribal life in a society that comes into contact with outsiders only when necessary.
The film has two novel aspects: our introduction to an unfamiliar subculture within our homogenized nation; and the rather movie-neglected subject of fraud.
Frauds are all around us, from boiler-room telephone operations to official looking mail : "you have won this or that-- just verify by sending us $30." " There's cheap land in Florida" (for sure, but in the swamps).
People all over the world get pleasure from films and books about con-men and their clever ways. The majority of scam-movies allow us to enjoy them not because we approve of dishonesty but because many scams are victimless crimes (cf. "Paper Moon") or at the expense of other cheats: "The Sting" stings a gangster. Hustler movies hustle hustlers. "The Grifters" shows dishonor among thieves.
Better yet, most con-jobs are comedies: the screwball classic "The Lady Eve," "The Flim-Flam Man," "Trading Places," "Dirty Rotten Scoundrels."
True, in Traveller we cannot feel sympathy for the cheats of little people. But things change with the Big Plan which is both at the expense of a dislikable character and fraught with danger for the protagonists.
The movie has an unusually good and rich (29) selection of songs, some heard in toto, including the opener, King of the Road (sung by Randy Travis) and the closer, "Young Love."
The review above was posted to the
rec.arts.movies.reviews newsgroup (de.rec.film.kritiken for German reviews).
The Internet Movie Database accepts no responsibility for the contents of the
review and has no editorial control. Unless stated otherwise, the copyright
belongs to the author.
Please direct comments/criticisms of the review to relevant newsgroups.
Broken URLs inthe reviews are the responsibility of the author.
The formatting of the review is likely to differ from the original due
to ASCII to HTML conversion.
Related links: index of all rec.arts.movies.reviews reviews


Dominion
This is a game of building a deck of cards. The deck is your Dominion. It contains your resources, victory points, and the things you can do. It starts out as a small sad collection of Estates and Coppers, but you hope by the end of the game it will be brimming with Gold, Provinces, and the inhabitants and structures of your castle and kingdom. The player with the most victory points in his deck at game end (when all Provinces have been purchased) wins the game.
- The game is turn-based
- Each turn, a player draws a hand of 5 cards from their deck
- The first phase of your turn is the Action phase--if you have an action card in your hand you can play it to get more money, actions, or buys
- The second phase of your turn is the Buy phase--you can use the money in your hand to buy a card from the store. The purchased card will go into your discard pile
- When you end your turn, all cards from your hand are moved into the discard pile and the next player draws their hand
- The game ends when all Province cards have been purchased (there are 12 in a deck)--at that point, players add up their total number of victory points--whoever has the most wins the game!


nips nips2001 nips2001-133 nips2001-133-reference knowledge-graph by maker-knowledge-mining
Source: pdf
Author: Andrew Y. Ng, Michael I. Jordan
Abstract: We compare discriminative and generative learning as typified by logistic regression and naive Bayes. We show, contrary to a widelyheld belief that discriminative classifiers are almost always to be preferred, that there can often be two distinct regimes of performance as the training set size is increased, one in which each algorithm does better. This stems from the observation- which is borne out in repeated experiments- that while discriminative learning has lower asymptotic error, a generative classifier may also approach its (higher) asymptotic error much faster. 1
[1] M. Anthony and P. Bartlett. Neural Network Learning: Th eoretical Foundations. Cambridge University Press, 1999.
[2] B. Efron. The efficiency of logistic regression compared to Normal Discriminant Analysis. Journ. of the Amer. Statist. Assoc., 70:892- 898 , 1975.
[3] P. Goldberg and M. Jerrum. Bounding the VC dimension of concept classes parameterized by real numbers. Machine Learning, 18:131-148, 1995.
[4] G.J. McLachlan. Discriminant Analysis and Statistical Pattern Recognition. Wiley, New York, 1992.
[5] Y. D. Rubinstein and T. Hastie. Discriminative vs. informative learning. In Proceedings of th e Third International Conference on Knowledge Discovery and Data Mining, pages 49- 53. AAAI Press, 1997.
[6] V. N. Vapnik. Statistical Learning Theory. John Wiley & Sons, 1998.