such crypto,
so coin
wow
Photo © 2011 J. Ronald Lee
Bonus: online tutorial
Photo © 2010 Simon Cockell
Geographic and regulatory boundaries
Photo © 2013 Ray Forster
Photo © 2014 aehdeschaine
Agency for Vehicle Standards
Buyer/Owner
Vehicle & Drivers Authority (VDA)
Insurer
Arium Logistics
Police
asset Vehicle identified by vin {
o String vin
o VehicleDetails vehicleDetails
o VehicleStatus vehicleStatus
--> Person owner optional
o String numberPlate optional
}
transaction TransferVehicle {
--> Vehicle vehicle
--> Person seller
--> Person buyer
o String specialNotes optional
}
/**
* Transfer a vehicle to another owner
* @param {org.example.TransferVehicle} transferVehicle - the TransferVehicle transaction
* @transaction
*/
function transferVehicle(transferVehicle) {
var currentParticipant = getCurrentParticipant();
var vehicle = transferVehicle.vehicle;
var seller = transferVehicle.seller;
var buyer = transferVehicle.buyer;
// ...
vehicle.owner = buyer;
return getAssetRegistry('org.example.Vehicle')
.then(function(assetRegistry) {
return assetRegistry.update(vehicle);
});
}
rule TransferVehicleRule {
description: "Owner can transfer vehicle"
participant(p): "org.example.Person"
operation: READ, CREATE, UPDATE
resource(v): "org.example.Vehicle"
transaction(tx): "org.example.TransferVehicle"
condition: (v.owner.getIdentifier() == p.getIdentifier())
action: ALLOW
}
Photo © 2011 Joe Ross


LibGeneProg
Pardon our mess, but the library and site are still in development.
For now, feel free to check out:
- Github to see current development progress
- geneticprogramming.com to learn more about genetic programming
- The C++ documentation
- The C documentation


|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IoSession
A handle which represents connection between two end-points regardless of transport types.
IoSession
provides user-defined attributes. User-defined attributes
are application-specific data which are associated with a session.
It often contains objects that represents the state of a higher-level protocol
and becomes a way to exchange data between filters and handlers.
IoSession
is thread-safe. But please note that performing
more than one write(Object)
calls at the same time will
cause the IoFilter.filterWrite(IoFilter.NextFilter,IoSession,WriteRequest)
to be executed simultaneously, and therefore you have to make sure the
IoFilter
implementations you're using are thread-safe, too.
#equals(Object)
and #hashCode()
shall not be overriden
to the default behavior that is defined in Object
.
| Method Summary | |
|---|---|
CloseFuture |
close()
Deprecated. use close(boolean) |
CloseFuture |
close(boolean immediately)
Closes this session immediately or after all queued write requests are flushed. |
boolean |
containsAttribute(Object key)
Returns true if this session contains the attribute with the specified key. |
Object |
getAttachment()
Deprecated. Use getAttribute(Object) instead. |
Object |
getAttribute(Object key)
Returns the value of the user-defined attribute of this session. |
Object |
getAttribute(Object key,
Object defaultValue)
Returns the value of user defined attribute associated with the specified key. |
Set<Object> |
getAttributeKeys()
Returns the set of keys of all user-defined attributes. |
int |
getBothIdleCount()
Returns the number of the fired continuous sessionIdle events for IdleStatus.BOTH_IDLE . |
CloseFuture |
getCloseFuture()
Returns the CloseFuture of this session. |
IoSessionConfig |
getConfig()
|
long |
getCreationTime()
|
Object |
getCurrentWriteMessage()
Returns the message which is being written by IoService . |
WriteRequest |
getCurrentWriteRequest()
Returns the WriteRequest which is being processed by
IoService . |
IoFilterChain |
getFilterChain()
|
IoHandler |
getHandler()
|
long |
getId()
|
int |
getIdleCount(IdleStatus status)
Returns the number of the fired continuous sessionIdle events for the specified IdleStatus . |
long |
getLastBothIdleTime()
Returns the time in milliseconds when the last sessionIdle event is fired for IdleStatus.BOTH_IDLE . |
long |
getLastIdleTime(IdleStatus status)
Returns the time in milliseconds when the last sessionIdle event is fired for the specified IdleStatus . |
long |
getLastIoTime()
Returns the time in millis when I/O occurred lastly. |
long |
getLastReaderIdleTime()
Returns the time in milliseconds when the last sessionIdle event is fired for IdleStatus.READER_IDLE . |
long |
getLastReadTime()
Returns the time in millis when read operation occurred lastly. |
long |
getLastWriterIdleTime()
Returns the time in milliseconds when the last sessionIdle event is fired for IdleStatus.WRITER_IDLE . |
long |
getLastWriteTime()
Returns the time in millis when write operation occurred lastly. |
SocketAddress |
getLocalAddress()
Returns the socket address of local machine which is associated with this session. |
long |
getReadBytes()
Returns the total number of bytes which were read from this session. |
double |
getReadBytesThroughput()
Returns the number of read bytes per second. |
int |
getReaderIdleCount()
Returns the number of the fired continuous sessionIdle events for IdleStatus.READER_IDLE . |
long |
getReadMessages()
Returns the total number of messages which were read and decoded from this session. |
double |
getReadMessagesThroughput()
Returns the number of read messages per second. |
SocketAddress |
getRemoteAddress()
Returns the socket address of remote peer. |
long |
getScheduledWriteBytes()
Returns the number of bytes which are scheduled to be written to this session. |
int |
getScheduledWriteMessages()
Returns the number of messages which are scheduled to be written to this session. |
IoService |
getService()
|
SocketAddress |
getServiceAddress()
Returns the socket address of the IoService listens to to manage
this session. |
TransportMetadata |
getTransportMetadata()
|
WriteRequestQueue |
getWriteRequestQueue()
TODO Add method documentation |
int |
getWriterIdleCount()
Returns the number of the fired continuous sessionIdle events for IdleStatus.WRITER_IDLE . |
long |
getWrittenBytes()
Returns the total number of bytes which were written to this session. |
double |
getWrittenBytesThroughput()
Returns the number of written bytes per second. |
long |
getWrittenMessages()
Returns the total number of messages which were written and encoded by this session. |
double |
getWrittenMessagesThroughput()
Returns the number of written messages per second. |
boolean |
isBothIdle()
Returns true if this session is IdleStatus.BOTH_IDLE . |
boolean |
isClosing()
Returns true if and only if this session is being closed
(but not disconnected yet) or is closed. |
boolean |
isConnected()
Returns true if this session is connected with remote peer. |
boolean |
isIdle(IdleStatus status)
Returns true if this session is idle for the specified
IdleStatus . |
boolean |
isReaderIdle()
Returns true if this session is IdleStatus.READER_IDLE . |
boolean |
isReadSuspended()
Is read operation is suspended for this session. |
boolean |
isWriterIdle()
Returns true if this session is IdleStatus.WRITER_IDLE . |
boolean |
isWriteSuspended()
Is write operation is suspended for this session. |
ReadFuture |
read()
TODO This javadoc is wrong. |
Object |
removeAttribute(Object key)
Removes a user-defined attribute with the specified key. |
boolean |
removeAttribute(Object key,
Object value)
Removes a user defined attribute with the specified key if the current attribute value is equal to the specified value. |
boolean |
replaceAttribute(Object key,
Object oldValue,
Object newValue)
Replaces a user defined attribute with the specified key if the value of the attribute is equals to the specified old value. |
void |
resumeRead()
Resumes read operations for this session. |
void |
resumeWrite()
Resumes write operations for this session. |
Object |
setAttachment(Object attachment)
Deprecated. Use setAttribute(Object, Object) instead. |
Object |
setAttribute(Object key)
Sets a user defined attribute without a value. |
Object |
setAttribute(Object key,
Object value)
Sets a user-defined attribute. |
Object |
setAttributeIfAbsent(Object key)
Sets a user defined attribute without a value if the attribute with the specified key is not set yet. |
Object |
setAttributeIfAbsent(Object key,
Object value)
Sets a user defined attribute if the attribute with the specified key is not set yet. |
void |
setCurrentWriteRequest(WriteRequest currentWriteRequest)
TODO setWriteRequestQueue. |
void |
suspendRead()
Suspends read operations for this session. |
void |
suspendWrite()
Suspends write operations for this session. |
void |
updateThroughput(long currentTime,
boolean force)
Update all statistical properties related with throughput assuming the specified time is the current time. |
WriteFuture |
write(Object message)
Writes the specified message to remote peer. |
WriteFuture |
write(Object message,
SocketAddress destination)
(Optional) Writes the specified message to the specified destination. |
| Method Detail |
|---|
long getId()
IoService getService()
IoService
which provides I/O service to this session.IoHandler getHandler()
IoHandler
which handles this session.IoSessionConfig getConfig()
IoFilterChain getFilterChain()
WriteRequestQueue getWriteRequestQueue()
TransportMetadata getTransportMetadata()
TransportMetadata
that this session runs on.ReadFuture read()
ReadFuture
which is notified when a new message is
received, the connection is closed or an exception is caught. This
operation is especially useful when you implement a client application.
TODO : Describe here how we enable this feature.
However, please note that this operation is disabled by default and
throw IllegalStateException
because all received events must be
queued somewhere to support this operation, possibly leading to memory
leak. This means you have to keep calling read()
once you
enabled this operation. To enable this operation, please call
IoSessionConfig.setUseReadOperation(boolean)
with true.
IllegalStateException
- if
useReadOperation
option has not been enabled.WriteFuture write(Object message)
message
to remote peer. This
operation is asynchronous; IoHandler.messageSent(IoSession,Object)
will be invoked when the message is actually sent to remote peer.
You can also wait for the returned WriteFuture
if you want
to wait for the message actually written.
WriteFuture write(Object message, SocketAddress destination)
IoHandler.messageSent(IoSession, Object)
will be invoked when the message is actually sent to remote peer. You can
also wait for the returned WriteFuture
if you want to wait for
the message actually written.
When you implement a client that receives a broadcast message from a server
such as DHCP server, the client might need to send a response message for the
broadcast message the server sent. Because the remote address of the session
is not the address of the server in case of broadcasting, there should be a
way to specify the destination when you write the response message.
This interface provides write(Object, SocketAddress)
method so you
can specify the destination.
destination
- null if you want the message sent to the
default remote address
UnsupportedOperationException
- if this operation is not supportedCloseFuture close(boolean immediately)
CloseFuture
if you want to wait for the session actually closed.
immediately
- true
to close this session immediately
(i.e. close()
). The pending write requests
will simply be discarded.
false
to close this session after all queued
write requests are flushed (i.e. #closeOnFlush()
).@Deprecated CloseFuture close()
close(boolean)
CloseFuture
if you want to wait for the session actually closed.
@Deprecated Object getAttachment()
getAttribute(Object)
instead.
@Deprecated Object setAttachment(Object attachment)
setAttribute(Object, Object)
instead.
Object getAttribute(Object key)
key
- the key of the attribute
Object getAttribute(Object key, Object defaultValue)
if (containsAttribute(key)) { return getAttribute(key); } else { setAttribute(key, defaultValue); return defaultValue; }
Object setAttribute(Object key, Object value)
key
- the key of the attributevalue
- the value of the attribute
Object setAttribute(Object key)
Boolean.TRUE
.
key
- the key of the attribute
Object setAttributeIfAbsent(Object key, Object value)
if (containsAttribute(key)) { return getAttribute(key); } else { return setAttribute(key, value); }
Object setAttributeIfAbsent(Object key)
Boolean.TRUE
.
This method is same with the following code except that the operation
is performed atomically.
if (containsAttribute(key)) { return getAttribute(key); // might not always be Boolean.TRUE. } else { return setAttribute(key); }
Object removeAttribute(Object key)
boolean removeAttribute(Object key, Object value)
if (containsAttribute(key) && getAttribute(key).equals(value)) { removeAttribute(key); return true; } else { return false; }
boolean replaceAttribute(Object key, Object oldValue, Object newValue)
if (containsAttribute(key) && getAttribute(key).equals(oldValue)) { setAttribute(key, newValue); return true; } else { return false; }
boolean containsAttribute(Object key)
Set<Object> getAttributeKeys()
boolean isConnected()
true
if this session is connected with remote peer.
boolean isClosing()
true if and only if this session is being closed
(but not disconnected yet) or is closed.
CloseFuture getCloseFuture()
CloseFuture
of this session. This method returns
the same instance whenever user calls it.
SocketAddress getRemoteAddress()
SocketAddress getLocalAddress()
SocketAddress getServiceAddress()
IoService
listens to to manage
this session. If this session is managed by IoAcceptor
, it
returns the SocketAddress
which is specified as a parameter of
IoAcceptor.bind()
. If this session is managed by
IoConnector
, this method returns the same address with
that of getRemoteAddress()
.
void setCurrentWriteRequest(WriteRequest currentWriteRequest)
writeRequestQueue
- void suspendRead()
void suspendWrite()
void resumeRead()
void resumeWrite()
boolean isReadSuspended()
true
if suspendedboolean isWriteSuspended()
true
if suspendedvoid updateThroughput(long currentTime, boolean force)
calculation interval
.
If, however, force is specified as true, this method
updates the throughput properties immediately.
currentTime
- the current time in millisecondslong getReadBytes()
long getWrittenBytes()
long getReadMessages()
long getWrittenMessages()
double getReadBytesThroughput()
double getWrittenBytesThroughput()
double getReadMessagesThroughput()
double getWrittenMessagesThroughput()
int getScheduledWriteMessages()
long getScheduledWriteBytes()
Object getCurrentWriteMessage()
IoService
.
WriteRequest getCurrentWriteRequest()
WriteRequest
which is being processed by
IoService
.
long getCreationTime()
long getLastIoTime()
long getLastReadTime()
long getLastWriteTime()
boolean isIdle(IdleStatus status)
true
if this session is idle for the specified
IdleStatus
.
boolean isReaderIdle()
true
if this session is IdleStatus.READER_IDLE
.
isIdle(IdleStatus)
boolean isWriterIdle()
true
if this session is IdleStatus.WRITER_IDLE
.
isIdle(IdleStatus)
boolean isBothIdle()
true
if this session is IdleStatus.BOTH_IDLE
.
isIdle(IdleStatus)
int getIdleCount(IdleStatus status)
IdleStatus
.
If sessionIdle event is fired first after some time after I/O,
idleCount becomes 1. idleCount resets to
0 if any I/O occurs again, otherwise it increases to
2 and so on if sessionIdle event is fired again without
any I/O between two (or more) sessionIdle events.
int getReaderIdleCount()
IdleStatus.READER_IDLE
.
getIdleCount(IdleStatus)
int getWriterIdleCount()
IdleStatus.WRITER_IDLE
.
getIdleCount(IdleStatus)
int getBothIdleCount()
IdleStatus.BOTH_IDLE
.
getIdleCount(IdleStatus)
long getLastIdleTime(IdleStatus status)
IdleStatus
.
long getLastReaderIdleTime()
IdleStatus.READER_IDLE
.
getLastIdleTime(IdleStatus)
long getLastWriterIdleTime()
IdleStatus.WRITER_IDLE
.
getLastIdleTime(IdleStatus)
long getLastBothIdleTime()
IdleStatus.BOTH_IDLE
.
getLastIdleTime(IdleStatus)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |


Oceandor is an indie fashion brand focusing on making eco-cotton and sustainable clothing to help reducing waste in the earth. Every item bought is also donated to go green organization working on mother earth harmony of plants and animals. We are vegan and cruelty-free, and we have a purpose to create the most sustainable piece of fashion that people can wear every day. Now that we are opening our offline store, we’re inviting you to join the celebration and first-day big sale for all of our products!
At Plaza Indonesia 3rd Floor
Jl. M.H. Thamrin No.Kav. 28-30, RT.9/RW.5, Gondangdia, Kec. Menteng, Kota Jakarta Pusat,Daerah Khusus Ibukota Jakarta 10350
Daft Punk are a French electronic music duo formed in Paris in 1993 by Guy-Manuel de Homem-Christo and Thomas Bangalter. They achieved popularity in the late 1990s as part of the French house movement; they also had success in the years following, combining elements of house music with funk, techno, disco, rock, and synthpop. They have worn ornate helmets and gloves to assume robot personas in most public appearances since 1999 and rarely grant interviews or appear on television. The duo was managed from 1996 to 2008 by Pedro Winter (also known as Busy P), the head of Ed Banger Records.
Daft Punk are a French electronic music duo formed in Paris in 1993 by Guy-Manuel de Homem-Christo and Thomas Bangalter. They achieved popularity in the late 1990s as part of the French house movement; they also had success in the years following, combining elements of house music with funk, techno, disco, rock, and synthpop. They have worn ornate helmets and gloves to assume robot personas in most public appearances since 1999 and rarely grant interviews or appear on television. The duo was managed from 1996 to 2008 by Pedro Winter (also known as Busy P), the head of Ed Banger Records.
Oceandor invites you to participate in our offline store opening and we hope to entertain you along with the party! Please kindly fill in the RSVP so we can save your seats!


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/Computationally.20irrelevant.20proofs.html ---
Is there any tactics for handling program containing computationally irrelevant proof?
Sometimes it's annoying that the non-trivial proof been replace by _
...
All proofs are irrelevant.
That's a design choice.
You shouldn't ever have to care about them again.
set_option pp.proofs true
@Johan Commelin Why shouldn't I have to care about them again ?
I mean what if I can proof my goal with just unfold definitions of some functions, but they're hided by _
?
@Kenny Lau Thanks this is exactly what i'm looking for !
The reason they are hidden is because it doesn't matter what is there; all proofs are definitionally equal (so if you unify with a term which has a different proof in that slot it doesn't matter), and proofs are computationally irrelevant (they do not affect control flow in any way) and they are literally thrown away by the VM.
if you can prove your goal only by unfolding definitions, then probably rfl
or similar will finish the job
Thanks for the explanation!
is there any rw tactic to deal with programs containing computationally irrelevant proofs? like, sometimes I want to rewrite a subterm in a goal, but the type of the computationally irrelevant proof depends on that subterm
and that makes it really annoying to manually rewrite that particular subterm
I would very much want a tactic to deal with this :3
like, a tactic that can rewrite the type of the proof simutaneously
(and the type of the terms of the type of the proof etc)
There is subst
, but that isn't too powerful at the moment.
simp
will do this, but probably not in the full generality you expect
the full problem is actually quite hard
but it is because of things like this that I try to avoid partial functions
there are a variety of tricks for totalizing functions so that there is no proof argument in the way
@Mario Carneiro does that include using epsilon
instead of some
?
I usually just pair some
with an if statement
There are other options too, you aren't necessarily removing the proof argument. You could push the proof into the domain, making it a subtype domain like finset
, or you could push it into the codomain producing an roption
function
This conversation is too abstract for me. Can someone post some examples of what people are saying should be avoided?
Stuff like log : Π z : ℂ, z ≠ 0 → ℂ
because then if I have log x hx
in my goal and x = y
it's hard to rewrite.
Teaser: my talk in Amsterdam will feature this discussion on some example
Oh yes, you can't rewrite because hx isn't a proof of the right thing. Thanks.
The CS guys should just fix this
It's a problem with their system. They shouldn't be working around it. We should be making maths the way mathematicians do it, not moaning about things like this. Why can't it be fixed? Can it be fixed in Lean 4?
It seems the general case is hard for good reasons. But I agree Lean should have tactics that try heuristic or special cases
I get the sense that it might be much easier to make something that works 95% of the time, and the last 5% is super hard.
"Perfect is the enemy of good" has never been more appropriate!
maybe write a tactic to do it
I don't understand what's difficult here, but I'm sure there is something difficult because I'm aware that this issue comes up now and again
It feels the same as the "replace this ring with this isomorphic ring" issue
It feels the same as the "replace this ring with this isomorphic ring" issue
I would think that "replace this ring with this isomorphic ring" would be even harder than substituting propositionally equal term
since two isomorphic rings are not necessarily propositionally equal
Right! Mathematicians have a code of honour where we only do things to rings which would work if you replaced the ring with an isomorphic one
so you mean functors
To resurrect this a bit, has there been a tactic that just introduces casts as needed? In the log example, with log : Π z : ℂ, z ≠ 0 → ℂ
, if you have the term log x h
and equalitye: x = y
, the tactic could rewrite log x h
to log y (eq.rec h e)
. I've tried this on an ad-hoc basis and sometimes run into problems later dealing with terms like (eq.rec h e)
, but perhaps a tactic could systematically rewrite through rec.
subst
already does this but only for local constants. Apparently the problem is very hard in general.
You can often get simp
to do this, or conv
, because they use congruence lemmas for rewriting
Last updated: Apr 24 2020 at 19:02 UTC


Key Beirut road reopens after rival groups clash overnight
BEIRUT (AP) - A key road has reopened in the Lebanese capital following clashes throughout the night between rival groups.
The confrontations began when protesters blocked the street and were attacked by supporters of the two main Shiite political parties, Hezbollah and Amal. Both sides threw stones at each other for hours as security forces formed a barrier separating them.
Lebanon’s massive protests against corruption and mismanagement by the country’s political elite are now in their second month, but have so far remained largely peaceful.
The confrontations on the Ring Road, which broke out late Sunday and dragged into Monday morning, were some of the worst since the nationwide demonstrations began on Oct. 17.
Iran-backed Hezbollah says the protests are being exploited by foreign powers with an agenda against the group.
Sign up for Daily Newsletters
Copyright © 2019 The Washington Times, LLC.
Please read our comment policy before commenting.


Step 4 - Fake Controller As
[shell scope] vm.title:
[customer scope] title:
vm.title: {{vm.title}}
$parent.vm.title: {{$parent.vm.title}}


| Software Version and Target Device | |||
| Product Version: | Target Family: | ||
| OS Platform: | Target Device: | ||
| Project ID (random number) | Target Package: | ||
| Registration ID | Target Speed: | ||
| Date Generated |
| Device Usage Statistics | |||
| Macro Statistics | Miscellaneous Statistics | Net Statistics | Site Usage |
|
|
|
|
| Configuration Data | |||
|
|
|
| Pin Data | ||||
|
|
|
|
| Tool Usage |
Command Line History
|
| Software Quality | |||||||
| Run Statistics | |||||||
| Project Statistics | |
| Partitions count= |
|
| Project duration(days)= |


public abstract class TokenFilter extends TokenStream
This is an abstract class; subclasses must override
TokenStream.incrementToken()
.
TokenStream
AttributeSource.AttributeFactory
,
AttributeSource.State
| Modifier and Type | Field and Description |
|---|---|
protected
TokenStream
|
input
The source of tokens for this filter.
|
| Modifier | Constructor and Description |
|---|---|
protected
|
TokenFilter
(
TokenStream
input)
Construct a token stream filtering the given input.
|
| Modifier and Type | Method and Description |
|---|---|
void
|
close
()
Close the input TokenStream.
|
void
|
end
()
Performs end-of-stream operations, if any, and calls then
end()
on the
input TokenStream.
NOTE: Be sure to call
super.end()
first when overriding this method.
|
void
|
reset
()
Reset the filter as well as the input TokenStream.
|
incrementToken
addAttribute
,
addAttributeImpl
,
captureState
,
clearAttributes
,
cloneAttributes
,
copyTo
,
equals
,
getAttribute
,
getAttributeClassesIterator
,
getAttributeFactory
,
getAttributeImplsIterator
,
hasAttribute
,
hasAttributes
,
hashCode
,
reflectAsString
,
reflectWith
,
restoreState
,
toString
protected final TokenStream input
protected TokenFilter( TokenStream input)
public void end() throws IOException
end()
on the
input TokenStream.
NOTE: Be sure to call
super.end()
first when overriding this method.
end
in class
TokenStream
IOException
public void close() throws IOException
close
in interface
Closeable
close
in class
TokenStream
IOException
public void reset() throws IOException
reset
in class
TokenStream
IOException


--- layout: page title: About Utopia Dispatch description: background: '/img/bg-index.png' ---
Ever get the feeling that the world could be a little bit better? Fed up with war, poverty, inequality, climate doom, and more? So are we.
Utopia Dispatch is your antidote, taking on the small task of radically reimagining the future of human society, while somehow managing to keep our spirits up at the same time.
We talk to thinkers with ideas that break the mould, and to citizens taking radical action for a better future, to bring you closer to a vision of the future we actually all want, and we might even have a few laughs along the way.
The show is produced and co-hosted by Sarah Holliday, Ollie Levers and George Richardson.
Our logo was kindly designed by Liam Smale. This website was built using Jekyll, an open source site generator, with the Start Bootstrap - Clean Blog theme.


There is no generally accepted definition of data journalism. The one that resonates the best description would be Lowrey and Hou (2018, 7), which defines it as “informational, graphical accounts of current public affairs for which data sets offering quantitative comparison are central to the information provided.” It’s the one that best describes the current system of application of data to journalism in Serbia.
Despite the digitalisation of the media, data journalism in Serbia and the broader region is still not prevalent. The majority of large local publishing organisations with the resources to take advantage of data applications are still failing to embrace its potential. Despite the data related journalistic practices of top tier publications such as the Financial Times, Guardian, Washington Post and others being open to reference, Serbian outlets broadly remain rooted in antiquated practices.
Learning to use relevant technologies and software is a relatively simple process; however engaging journalists with the huge potential offered by data analysis can be tricky. Overcoming the perception that data science is for ‘other techie’ people is a somewhat outmoded, but customary attitude. One of our core aims is to counter this perception.
The RToolbox is a web-platform with pertinent resources that when complemented with ‘hands-on’ approach to training facilitates development of the problem-solving skills that are bedrock analysis requirements for any data journalist.
In a relatively brief period of time, despite the interruption in training caused by the covid-19 pandemic, the project has produced a spectrum of positive results. At the beginning of the pandemic crises in Serbia, a group of the RToolbox trainees journalist produced a significant article that proved to be a game changer in the adopted government policy.
For patients critically ill with COVID-19, access to a ventilator could be a matter of life or death. A week ago the #Serbiangovernment was not disclosing the information about the available number of ventilators to its citizens. CINS’ journalists took the initiative to obtain this information and to make it available to the public in an article concerning respiratory equipment in the current crisis. Shortly after, the government took more serious action towards protecting its citizens against the virus. CINS’s journalist’s created interactive maps informing readers of their findings. This is data democracy in action, a means of holding governments to account and nudging them into action.
Incorporating interactive visualisation into their text with clearly presented facts, helped to empower readers by informing them in an effective manner. This approach to journalism enables readers to cut through the fog of misinformation and to acquire a deeper understanding of the problem at hand. With such a ‘hot’ topic at stake and innovative way of communicating their findings, it was no surprise to find out that this article was clicked on more than 1 million times.

— CINS (@CINSerbia) April 1, 2020
🥇Najviše puta na istraživanje o broju respiratora ➡https://t.co/P7EwjYuAq9
💪Nastavljamo da vas informišemo istinito, provereno i pravovremeno.
❤Hvala što nam verujete, vašhttps://t.co/vQKWwpohQo
CINS continue to apply data journalism practice and recently published article relating to donations to local political parties for the period between 2012-2018. They have incorporated an interactive thematic map, choropleth, shading the development group of the town and adding two more layers of information, i.e. attributes: the total amount of money donated (size and the colour of the bubble) and the amount of money received by each of the political party (popup menu). This is an excellent example of effective data journalism, employed as a direct result of CINS embracing the capacity of the RToolbox.
🔎Pogledajte odakle dolaze donatori @sns_srbija @socijalisti i @demokrate i ko je prikupio najviše para od donacija u periodu od sedam godina 💸👇https://t.co/2HHXrSLSLC
— CINS (@CINSerbia) May 25, 2020
Presentation for eRum2020.
© 2020 Sister Analyst


§482-28 Cancellation. The director shall cancel the registration of a mark if the director receives a request for cancellation from the registrant or assignee of record or when a court of competent jurisdiction orders cancellation of a registration. [L 2001, c 15, pt of §1; am L 2003, c 124, §97]


| session_info {xfun} | R Documentation |
This function tweaks the output of sessionInfo()
: (1) It adds
the RStudio version information if running in the RStudio IDE; (2) It removes
the information about matrix products, BLAS, and LAPACK; (3) It removes the
names of base R packages; (4) It prints out package versions in a single
group, and does not differentiate between loaded and attached packages.
session_info(packages = NULL, dependencies = TRUE)
packages |
A character vector of package names, of which the versions will be printed. If not specified, it means all loaded and attached packages in the current R session. |
dependencies |
Whether to print out the versions of the recursive dependencies of packages. |
It also allows you to only print out the versions of specified packages (via
the packages
argument) and optionally their recursive dependencies.
For these specified packages (if provided), if a function
xfun_session_info()
exists in a package, it will be called and
expected to return a character vector to be appended to the output of
session_info()
. This provides a mechanism for other packages to inject
more information into the session_info
output. For example,
rmarkdown (>= 1.20.2) has a function xfun_session_info()
that
returns the version of Pandoc, which can be very useful information for
diagnostics.
A character vector of the session information marked as
raw_string()
.
xfun::session_info() if (loadable("MASS")) xfun::session_info("MASS")


{{ define "main" }}
{{- partial "banner.html" . }}
{{- partial "features.html" . }}
{{- partial "promo.html" . }}
{{- partial "about-product.html" . }}
{{- partial "products.html" . }}
{{- partial "subscription.html" . }}
{{- partial "testimonials.html" . }}
{{ end }}


The SQLite adapter works with both the 2.x and 3.x series of SQLite with the sqlite-ruby drivers (available both as gems and from rubyforge.org/projects/sqlite-ruby/).
Options:
- :database - Path to the database file.
Methods
- catch_schema_changes
- change_column_null
- default_primary_key_type
- disconnect!
- empty_insert_statement
- new
- rename_table
- requires_reloading?
- select_rows
- sqlite_version
- supports_add_column?
- supports_ddl_transactions?
- table_structure
- valid_alter_table_options
Classes and Modules
Class ActiveRecord::ConnectionAdapters::SQLiteAdapter::VersionPublic Class methods
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 90 90: def initialize(connection, logger, config) 91: super(connection, logger) 92: @config = config 93: end
Public Instance methods
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 275 275: def change_column_null(table_name, column_name, null, default = nil) 276: unless null || default.nil? 277: execute("UPDATE #{quote_table_name(table_name)} SET #{quote_column_name(column_name)}=#{quote(default)} WHERE #{quote_column_name(column_name)} IS NULL") 278: end 279: alter_table(table_name) do |definition| 280: definition[column_name].null = null 281: end 282: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 115 115: def disconnect! 116: super 117: @connection.close rescue nil 118: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 303 303: def empty_insert_statement(table_name) 304: "INSERT INTO #{table_name} VALUES(NULL)" 305: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 240 240: def rename_table(name, new_name) 241: execute "ALTER TABLE #{name} RENAME TO #{new_name}" 242: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 107 107: def requires_reloading? 108: true 109: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 177 177: def select_rows(sql, name = nil) 178: execute(sql, name).map do |row| 179: (0...(row.size / 2)).map { |i| row[i] } 180: end 181: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 111 111: def supports_add_column? 112: sqlite_version >= '3.1.6' 113: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 99 99: def supports_ddl_transactions? 100: sqlite_version >= '2.0.0' 101: end
See: www.sqlite.org/lang_altertable.html SQLite has an additional restriction on the ALTER TABLE statement
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 246 246: def valid_alter_table_options( type, options) 247: type.to_sym != :primary_key 248: end
Protected Instance methods
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 405 405: def catch_schema_changes 406: return yield 407: rescue ActiveRecord::StatementInvalid => exception 408: if exception.message =~ /database schema has changed/ 409: reconnect! 410: retry 411: else 412: raise 413: end 414: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 420 420: def default_primary_key_type 421: if supports_autoincrement? 422: 'INTEGER PRIMARY KEY AUTOINCREMENT NOT NULL'.freeze 423: else 424: 'INTEGER PRIMARY KEY NOT NULL'.freeze 425: end 426: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 416 416: def sqlite_version 417: @sqlite_version ||= SQLiteAdapter::Version.new(select_value('select sqlite_version(*)')) 418: end
[ show source ]
# File vendor/rails/activerecord/lib/active_record/connection_adapters/sqlite_adapter.rb, line 320 320: def table_structure(table_name) 321: returning structure = execute("PRAGMA table_info(#{quote_table_name(table_name)})") do 322: raise(ActiveRecord::StatementInvalid, "Could not find table '#{table_name}'") if structure.empty? 323: end 324: end


Gujarat Elections 2017
For 22 years, Gujarat has been a BJP stronghold.
But it wasn’t always this way.
By Harry Stevens 26 October, 2017
When the animation is paused, you can drag the slider to adjust the year.
Party-wise seats
1962
Indian National Congress
Congress faction
Bharatiya Janata Party
BJP predecessor
Other / Independent
Ever since the Bharatiya Janata Party won the Gujarat assembly election in 1995, the state has remained in saffron hands. In that time, the Gujarat assembly has incubated some of the BJP’s most successful politicans, including Prime Minister Narendra Modi and Amit Shah, the party’s president and chief electoral strategist.
But before the BJP’s dominance, Gujarat was a Congress bastion. The Congress won more seats and received more votes than every other party in each Gujarat assembly election from 1962 to 1985.
Party-wise seat share, 1962 - 2012
Seat share
Vote share
Indian National Congress
Congress faction
Bharatiya Janata Party
BJP predecessor
Other / Independent
Source: Election Commission of India, Trivedi Centre for Political Data - Ashoka University


Epic Elf Fighter build -- need help Author ..Gallamar
Joined: 22 Sep 2004 Profile: Wednesday, 29 September 2004 06:21PM
Can anyone suggest a build for an elf fighter with a level 30 cap? All fighter or mixture of other classes would be appreciated.
Many thanks!
Edited By griphook on 09/29/04 18:40
How about a Ranger 25/Fighter 4/SD 1?
You would have to make sure to take your 4th lvl of Fighter on a level on which you would normally get a feat in order to get Epic Weapon Spec. Since you need Epic Weapon Focus first, pick that up at lvl 21, and then take your 4th lvl of Fighter at lvl 24 and pick up Weapon Spec as the regular feat and Epic Weapon Spec as the Fighter bonus feat.
Alternatively, you could do a Fighter 4/Cleric 18/CoT 8 if you wanted a more powerful caster, but then you lose the Uber-l33t ability to Shadowdance your opponents (ya gotta have HIPS).
As for weapons, I'd probably either wield a Scimmy and a Shield, or dual-wield Kukris, whichever you prefer. Note that if you choose the dual-wield route you will want a decent amount of Dex, because you will lose the Ranger's dual-wield feats if you wear anything other than robes or light armor.
Try this:
Ranger 23/Fighter 6/SD 1 (pre-epic Ranger 20)
Race: Elf
Stats:
Str 16 Dex 14 Con 12 Int 12 Wis 14 Cha 8
Ending:
Str 25 Dex 14 Con 12 Int 12 Wis 14 Cha 8
Feats:
1 Power Attack 3 Cleave 6 Exotic Weapon Prof. 9 WF: Kukri 12 Toughness 15 Improved Crit. 18 Great Cleave 21 Great Str I, Epic Weapon Focus * 22 Armor Skin * 24 Great Str II, Weapon Spec * 27 Epic Weapon Spec 28 Bane of Enemies ** 30 Overwhelming Critical, Devastating Critical *


Scoring
In older adventure games it used to be conventional to keep a tally of the player's score. This is far from so universal in modern IF, much of which can get on perfectly well without a score, especially when the emphasis is more on the story than the game. Some works of IF do still tally the player's score, however, if only as a rough indicator of progress through the game. While the Airport Game doesn't actually need a score, and would work perfectly well without, it is the sort of game where keeping score would not be inappropriate, so in this section we'll briefly discuss how to go about it.
The various methods of keeping score are discussed in the section on Scoring in the adv3Lite Library Manual. Here we'll look at just one of them, which is probably the best to use unless there is a specific reason for not doing so (such as the presence of multiple possible routes through the game). This method consists of defining a number of Achievement objects and calling their awardPointsOnce() method when the player does something that merits a points increase. You can also use the awardPoints() method, but the advantage of awardPointsOnce() is that it ensures that players are not awarded the same points again for repeating the same action. Using Achievement objects in this way has a couple of other advantages:
- It makes it easy to keep track of what the player has been awarded points for, and to inform the player of this;
- It enables the game to calculate the maximum possible score automatically.
Perhaps the best place to start in devising a scoring system for the Airport game is to list what we might want to award points for, which comes down to listing the key tasks the player needs to achieve in order to win the game. The principal ones would seem to be:
- Finding the plane ticket
- Showing the ticket to Angela to board the plane
- Getting safely off the plane again (past Pablo Cortez)
- Turning off the power to the metal detector
- Opening the door to the Security Area
- Opening the suitcase
- Wearing the Pilot's Uniform
- Entering the cockpit
- Taking off safely (thus winning the game)
To make this come out at a round total of 100 possible points, let's say we'll award ten points for each of these achievements apart from opening the suitcase and flying the plane, for which we'll award 15 points each.
To define an Achievement object we need to specify the number of points it's worth and the text describing the achievement. This can be done very simply using the Achievement template, so that, for example, our achievement objects might look like this:
ticketAchievement: Achievement +10 "finding the plane ticket"; boardingAchievement: Achievement +10 "boarding the plane"; escapeAchievement: Achievement +10 "escaping Pablo Cortez"; powerAchievement: Achievement +10 "cutting the power to the metal detector"; securityAchievement: Achievement +10 "opening the security door"; suitcaseAchievement: Achievement +15 "opening the suitcase"; uniformAchievement: Achievement +10 "putting on the pilot's uniform"; cockpitAchievement: Achievement +10 "entering the cockpit"; flyingAchievement: Achievement +15 "flying the plane";
All we have to do now is to ensure that carrying out the appropriate action calls awardPointsOnce() on the appropriate Achievement object. For example, for the first achievement:
ticket: Thing 'ticket' "It's a ticket for flight TI 179 to Buenos Aires. " readDesc = (desc) specialDesc = "A ticket lies on the ground. " useSpecialDesc = (location == getOutermostRoom) bulk = 1 dobjFor(Take) { action() { inherited; ticketAchievement.awardPointsOnce(); } } ;
If you compile and run the game and try this, you'll find that the points are awarded only the first time you pick up the ticket; the awardPointsOnce() method makes sure the points are awarded only once.
The second achievement is awarded when the player character shows Angela the ticket:
++ GiveShowTopic @ticket topicResponse() { "<q>Here you are,</q> you say, holding out the ticket for {the angela} to see.\b She glances down at the ticket in your hand, and temporarily takes it off you to check. <q>That's fine, sir,</q> she assures you as she returns it to you. <q>Please move to the rear of the plane to find a seat.</q> "; angelaGreetingState.ticketSeen = true; boardingAchievement.awardPointsOnce(); } ;
The next achievement needs just a little more thought. The points are awarded when the player reaches the Jetway from the plane, but only when Pablo Cortez is threatening people at the front of the plane. There's more than one way we could test for this, but one that's as good as any other is to test for whether the takeover Scene is happening. If it is, we can then award the points in the travelerEntering() method of the jetway Room:
jetway: Room 'Jetway' 'jetway;short enclosed; walkway' "This is little more than a short enclosed walkway leading west-east from the gate to the plane. <<if takeover.isHappening>> Right now it's thronging with a stream of disgruntled passengers who have just been forced to disembark from their flight. <<else unless takeover.hasHappened>>You seem to be the only person here, as if everyone else has already boarded.<<end>> " west = gate3 east: TravelConnector { destination = planeFront canTravelerPass(traveler) { return !takeover.isHappening; } explainTravelBarrier(traveler) { "You dare not go back aboard the plane until you've found a rather more effective disguise than a handful of cleaning items. "; } } travelerEntering(traveler, origin) { if(traveler == me && takeover.isHappening) escapeAchievement.awardPointsOnce(); } ;
Now that we've established the principle, implementing the scoring for most of the other achievements can be left as an exercise for the interested reader. There's one additional point to consider when we come to award the final points for flying the plane, however, namely that in addition to awarding the points we'll want to display the final score and give the player the option of requesting a full breakdown of the score. We'll probably want to offer the same option too even if the player character kills himself with a botched take-off attempt, so we'll want to tweak the eachTurn() method of the takeOff Scene thus:
takeoff: Scene ... eachTurn() { local oldSpeed = asi.airspeed; if(controlColumn.position < 0) { if(asi.airspeed >= 115) { "The aircraft leaves the ground and continues up into the sky, climbing rapidly above the city. Once you've gained enough height you turn the plane --- not south towards Bogota but north towards Miami. Hopefully those hoodlums back in passenger cabin won't notice, though, at least, not until it's far too late. You reach for the radio to call ahead and arrange a suitable reception committee, and then settle back in your seat, content with a job well done. "; flyingAchievement.awardPointsOnce(); finishGameMsg(ftVictory, [finishOptionUndo, finishOptionFullScore]); } else if(asi.airspeed > 90) { "The aircraft leaves the ground for a moment and then stalls, rapidly losing speed and bumping back down onto the runway. "; asi.airspeed -= 30; } else "The aircraft judders slightly but nothing else happens; it isn't traveling nearly fast enough to take off. "; } local thrust = toInteger(thrustLever.curSetting) * 400 - asi.airspeed; asi.airspeed += (thrust/100); if(asi.airspeed < 0) asi.airspeed = 0; distanceTraveled += ((asi.airspeed + oldSpeed)/2); /* If we go too far, we run off the end of the runway */ if(distanceTraveled > 500) { "The plane reaches the end of the runway, ploughs through the fences and crashes into some buildings. What happens after that you never know, but it seems a terribly destructive way to displose of a plane-load of hoodlums. "; finishGameMsg(ftDeath, [finishOptionUndo, finishOptionFullScore]); } /* * If we turn the wheel while the plane is moving along the runway, * the results are likely to be catastrophic. */ if(wheel.angle != 0 && asi.airspeed > 0) { "The plane lurches off the <<if wheel.angle < 0>> port <<else>> starboard<<end>> side of the runway <<one of>>into the path of a taxying airliner <<or>> and smashes into a hangar <<or>> and collides with a stationary airliner <<or>> and runs into a group of sheds <<purely at random>> with predictably disastrous consequences. Fortunately, you won't be around to answer for your incompetence. "; finishGameMsg(ftDeath, [finishOptionUndo, finishOptionFullScore]); } /* * If nothing else dramatic has intervened, report what's happening to * the speed. */ if(asi.airspeed > oldSpeed && oldSpeed == 0) "The plane starts moving forward. "; else if (asi.airspeed > oldSpeed) "The plane continues to pick up speed. "; if(asi.airspeed < oldSpeed && asi.airspeed == 0) "The plane comes to a halt. "; else if(asi.airspeed < oldSpeed) "The plane is losing speed. "; } ;
The same option should probably be added when the player character manages to get himself killed in other ways (notably by provoking Cortez into shooting him), but this, too, can be left as an exercise for the reader.


CAPTAIN WILLIAM WARNER TO JOHN LEWIS WARNER
In the fall of 1675 Captain William Warner and family
crossed the Atlantic Ocean on the
|
|
king for a location in
Other settlers from |
Captain William and his sons dug, chopped and cut a home out
of the wilderness. There were no rules, no authority, and no king to say what
they could or could not do. Their survival depended on the use of their own
energy and decisions. They knew they were the subjects of the king back in
Then in 1681 Charles II issued a Charter to William Penn for
the area of
Captain William and his son John received a letter, as did the other residents, from William Penn which said in part:
For you are
now fixed at the mercy of no governor that comes to make his
fortune
great; you shall be governed by laws of your own making and live
a free, and
if you will, a sober and industrious life. I shall not usurp the right
of any, or
oppress his person. God has furnished me with a better resolution
and has
given me his grace to keep it.
In his negotiations with William Penn, William Warner secured a survey for his
plantation, which he named Blockley for his home parish back in
Captain William served twice on the governing body known as
the First Provincial Congress. The
minutes of a session in 1677 approved some of the first laws and the location
of new roads. William was one of four assigned to establish a road from the
Schuylkill ferry crossing to
Captain William was appointed to the Council of Nine 1681,
and served on the Second Provincial Congress 1684. He was also commissioned as
a justice in
The pioneer life required many activities for survival. Besides the activities related to hunting and fishing, there was the care of domestic animals, garden, orchard, and field crops. Inside activities included churning, candle making, spinning, sewing, and quilt making. Laundry was done outside in an iron kettle over an open fire. For recreation they had board games, checkers and card games. Winter activities included skating, sledding, tobogganing, and occasionally the making of homemade crutches.
The first farmers market in
There are several indicators that the Warners continued with
the manufacturing and mill work they had done in
The story has been passed down telling about the boat
landing that was located near the present
CHILDREN OF CAPTAIN WILLIAM (7) AND ANNE (DIDE) WARNER
*1. John, b 1649, m Anne Campden, d 1717
2. William, m Christian, dau of Swen Schute, a Swede who helped in the settlement of
New Sweden in America. William and Christian Warner had four children, namely,
Swen, Isaac, Hannah and Jacob. William lived in Glouster Co., N. J., he died in 1714.
3. Mary, m James Kite about 1680, d 1686. She had four chi1dren, namely James,
Abraham, Grizze1 and John.
4.
Robert (if he ever came to
5.
Isaac, m Anne Cravens in 1692, d
William, ("The Baron"), John, Isaac, Mary, Esther, Hannah and Anne.
In his Will, Captain William (7) attempted to equally
distribute his land, meadows, woods, cows, sheep, mares and colts and included
various amounts of corn, rye, and wheat for his three sons (8) John, William,
Isaac, and James Kite husband of deceased daughter, Mary (Warner) Kite. Son
Robert received the two properties in
The oldest son of Captain William and Anne, John (8), was a member of the Pennsylvania
Assembly in 1713-1715. He and his wife Anne Campden had four boys and four
daughters (9) while living on Blockley land. By his Will dated
his plantation to be divided equally between his sons William (9) and Isaac
Warner (9); to his oldest son John Warner (9) he left the 100 acres of "Backland
where he now lives, with all the meadow and Wood belonging to it (the land
which John Warner, (8), inherited from his father Captain William Warner (7)
John paying 10 pounds to the testator's daughter, Margaret Roades; to his
daughters (9), Mary Warner, Esther Warner, Sarah Warner and Jane Warner,
and his son Joseph Warner, all stocks on the plantation, household goods, etc.;
the executors were his "son Swen Warner, John Warner and Mary Warner.
The "son Swen Warner" was not John Warner's eldest
son. He was not a son but a son-in-law, and also a nephew, having been the
husband of John Warner's daughter Esther, and the son of John Warner's brother,
William Warner, of
It is Captain Warner s son, John (8) and wife Anne (Campden)
Warner that are next in our direct line. They had ten children. When John died
in 1717, his sons John (9), William (9),
and Isaac (9), continued to build houses and to live on the Blockley
Plantation as the city continued expand. Fifty years after Captain William
stepped on American soil there were 10,000 people in
CHILDREN OF JOHN (8) AND ANNE (CAMPDEN) WARNER
1. Edward, b
2. Margaret, b
3. Mary, b
4. Esther, b
and had three children.
5. Sarah, b 1688 and unmarried in 1716.
6. John, b
7. William, b 1694 (No further record).
8. Isaac, b 1696,
m
with whom he had ten children. He died in 1748.
9. Jane, b 1698, unmarried in 1716.
*10. Joseph, b
(Chapman) Croasdale.
John s son, Joseph Warner (9), was born at Blockley,
CHILDREN OF JOSEPH (9) AND AGNES (CROASDALE) WARNER
1. John, b
2. Mary, b
*3. Joseph, b
Cuthbert and Mary (Harker) Hayhurst
4. Croasda1e, b
5. Ruth, b
6. Abraham, b
7. Sarah, b
8. Isaac, b
9. Thomas, b
|
The Warner wives, Anne, Agnes, and Ruth, did most all of their cooking in an open fireplace. These large fireplaces contained hot fires, most of the heat passed up the chimney, and the parts of the room most removed from the fire would be far from comfortable on a cold winter s day. The cast-iron kettle was used to boil meats and vegetables and to heat water for the needs of the household. Food was also cooked on the hearth in front of the fire or by skewering it to spits resting on brackets attached to the backs of the andirons. |
Fireplace cast iron kettle
|
|
Baking was done in a cast-iron Dutch Oven that could
also be hung on the crane or set directly in the hot coals. Hot coals were
also placed on top of the cast-iron lid. The first departure in |
Dutch oven
There was an event just northwest of
It was during this time that Benjamin Franklin moved from
a natural pacing sorrel Horse Colt, about a Year old, with a flaxen Mane
and Tail, a Blaze down his Face, has neither Brand nor Ear Mark, and is
cut. Whoever brings the said Colt to the Subscriber, shall have Ten
Shillings Reward, paid by Isaac Warner
ALMANACK, for the Year 1743: Printed and sold by Isaiah Warner,
almost opposite
to Charles Brockden's in
SPIRITUAL SONGS: Or, Songs of Praise, with Penitential Cries to
Almighty God, upon several Occasions. Together with the Song of Songs,
which is Solomon's, first turn'd, then paraphras'd in English Verse; With
an Addition of a sacred Poem on Dives and Lazarus. The Fourteenth
Edition.
price 2 s. Where may be had, lately publish'd, the Moravian Catechism;
also all Sorts of Blanks.
John Marshall, near
Darby, intends to take in Cloth at the House of John
Warner, at the Sign of the Horse and Groom, in Strawberry Alley, near
Market Street,
every Week: I have followed that Employment above Twenty Years; and
any Person may depend on my good Performance, having nothing but that
to recommend me. JOHN ATKINS. N. B. I scower and dye Silks, and wet
and dry-scower Cloaths, and take out Limejuice or other Stains to the
greatest Perfection.
the sheriff of
July inst. at 4 a clock in the afternoon, at the house of Joseph Scull, will
be exposed to sale, by publick vendue, a messuage, plantation, and tract
of land, situate
in Blockley township, on the river
from
Warner seized and taken in execution at the suit of Rebecca Edgell.
RICHARD SEWELL, sheriff.
instant December, at the late Dwelling house of Isaac Warner, deceased,
in Blockley, good working and riding Horses, Milch Cows, Cows with
Calf, and young Cattle, Sheep, fat and other Swines, Cart, Implements of
Husbandry, a large Quantity of choice Hay, corn in the Ground, Indian
Corn and Buckwheat by the Bushel, Flax unbroke, several Casks of Cyder,
and empty Casks, good Feather Beds and Bedding, two good Fowling
pieces, and sundry other Things; being the personal Estate of the said
Decedent. The Vendue to begin at Ten a Clock on said Day, and to
continue from Day to Day until the whole be sold, where due Attendance,
and six Months Credit will be given, by ISAAC Warner, and JAMES
JONES, Executors.
House, on Monday
the 8th of September next, at
Afternoon, Three Lots of Land, situate on the West Side of Schuylkill,
in
situated on the South Side of Conestogoe Road, containing 24 Acres and
153 Perches,
seven whereof are
Brick House, with a Kitchen adjoining the same, with good Chambers,
and a Well of choice Water near the Door, a handsome Garden, well
fenced with Cedar Boards, a good Barn, and young orchard, with the best
Kind of Fruits, such as Apples, Peaches, Pears, Cherries and Plumbs. No. 2.
fronting the same, on the North Side of said Road, contains 30 Acres and
a Quarter of cleared Land. No. 3 is pleasantly situated on the River
deceased, containing 49 Acres and a Quarter, with a Dwelling house, Barn,
Spring house, and
good bearing Orchard; a Road leads thro'this
Falls, the whole under good Cedar and Chestnut Post and Rail Fence, and
very suitable for Gentlemans Country Seats.
The Warners and their families were very much caught up in
the many Quaker discussions concerning their faith and the faith of others.
Their great-great-grandfather, Captain William Warner,
was said to be
.
The Quakers placed their emphasis on human responsibility, or every man following the inner light for salvation. They were true lovers of God, men of integrity in the community and showed a practical concern for the poor and needy.
Many of the Captain s children and grandchildren married into the Quaker Faith. They were the Warners that lived during the religious movement later called The Great Awakening, as it was spreading through the colonies. This movement contributed to changing attitudes about people of other faiths, liberty, slavery, and loyalty to the king. Many people were becoming more aware of being in control of their own thoughts and actions and the need for mutual community responsibility.
Attitudes were also changed by the writings of Thomas Paine.
In 1776, he published Common Sense, a strong defense of American
Independence from
William (The Baron, 9), son of Isaac and Anne Cravens,
grandson of Captain William, made the decision in his Will that he had not made
while he was living. He died in 1776. He
had long believed the Bible sanctioned slavery but became convinced that it was
wrong. In his Will he gave his nine slaves their freedom. His land he left to
his wife and then it was to pass to his son William (10). His daughters
Barbara, Catherine, Ann, and Lucy received parcels of land in
Joseph (10), son of Joseph (9) was born 1727 or 1728,
continued to be active with the Middletown Friends where a very sweet Ruth
Hayhurst caught his eye. They were married in 1752, and after several moves
settled in Deer Creek near
CHILDREN OF JOSEPH (10) AND RUTH (HAYHURST) WARNER
1. Cuthbert, b
Smith. Children: Rachel, Thomas, Ralph, (died young), Joseph,
Elizabeth, Andrew Ellicott, William, John, and Julia (died young of TB)
2. Joseph, b
*3. Aseph, b Aug 14, 1757, m 1781 Ruth Ellicott, d 1849.
4. Ezekial, b
5. Mordecai, b
6. Silas, b
Isaac (10), son of Joseph and Agnes, made the decision for
independence. He was promptly disowned by the Friends MM
When the British Army was approaching Philadelphia Colonel
Isaac Warner was included in the following action as recorded in the minutes of
the Supreme Executive Council for
The two Armies now engaged, & the event doubtful,
Ordered. That all Shops & Stores be immediately Shut up, except those
only where workman are employed in making or repairing the Public arms,
& that every Man capable of bearing arms, or repairing Arms repair to his
Captains Quarters at Two O Clock this Afternoon.
The Commissioned Officers are hereby Commanded to exert themselves
in the execution of this Order. & order that the Drums beat the Arms
immediately.
Ordered, Colo. Heister, Colo. Corsey, Colo. Antis, & Colo. Dean s
respective Battalions, do immediately rendevous at the Sweed s Ford,
& the Colo. McVeaugh, rendezvous at the Falls of Schuylkill Falls, &
As the enemy is near at hand & this minute engaging our Army
under the Command of his Excell y Gen s George Washington,
Ordered that the issueing Commissary supply Provisions to the Militia
at the Sweed s
Ford,
Ordered,
That every able bodied man in the
out with his Arms, accoutrements & blankets, & that those who cannot
furnish themselves with Arms to take axes, spades, & every other kind
of entrenching Tool
The British occupied
Before we leave Blockley there is more to the story. The Warners were leaving the area as it was going down. The name Blockley would become a synonym for misery, sordidness and suffering. The streams and meadows that had attracted Captain Warner and been home for several generations of Warners were now considered to be of little value and became a slum area.
In 1772 the Blockley Almshouse was built to help the poor in the area and in 1829, 187 acres of Blockley Township was purchased for $51,000 to build the Philadelphia General Hospital In 1864 the city consolidated the area, and Blockley Township became defunct, but the name lived on and became associated with the care of the unfortunate.
The first building of the
The third child of Joseph (10) and Ruth continues our direct
line. He was named Aseph (11), born 1757. He moved with his father s family
about 1770 to Deer Creek,
Aseph and Ruth had ten children. Mordecai (12) was born
1788, the year before George Washington was inaugurated as the first president
and the year after the Constitution was signed in
CHILDREN OF ASEPH (11) AND RUTH (ELLICOTT) WARNER
1 Aseph, died in infancy
2 Letitia, b
*3 Mordecai, b
James and Rachel (Fox) Lewis
4 Pamelia, b Sep
39, 1790 d
5 Ruth Ann, b
6 Thomas,
7 Joseph,
8
9 Silas, b
10 Matilda, d
infant
Mordecai learned the trades of millwright, silversmith and
coppersmith. He and Jane Lewis developed a mutual affinity and were married in
1815. Jane was the daughter of John and Rachel (Fox) Lewis. For a wedding gift
John Lewis gave his daughter and new son-in-law a tract of land with a small
house located in
Here Jane Lewis Warner is seated in her garden with her daughters Letitia, Elizabeth and
|
grandson, AT Warner. The house in the background was built
by Mordecai. It was known as the Warner Homestead of
Harold Warner Osler wrote about Mordecai s wife, Jane was a very |
|
estimable and loving woman and under Jane Lewis Warner 1793-1884
her care her nine children grew up to be good and honest citizens. She has been spoken of as the grand old lady of the family. She was a God-fearing woman of Quaker faith. She lived to be quite old.
|
Mordecai was described as a moderately large man with red
hair, red complexion and blue eyes. He was especially noted for his extreme
intelligence. He made his own tools and many utensils for the house. He
helped in the construction of water wheels at various places along the |
CHILDREN OF MORDECAI (12) AND JANE (LEWIS) WARNER
*1. John Lewis,
2. Aseph b
3. Ruth
4. Letitia b
5.
always lived
at the
6. Joseph Cuthbert
7. Thomas Silas
8. Sarah Jane b
9. Pamelia Charity b
Mordecai s son, John Lewis Warner (13), born 1815, learned the trade of millwright from his father and also taught school in the East. He taught from The New England Primer, which began with the Calvinistic theology In Adam s Fall, we sinned all. The New England Primer was the book from which most of the children of Colonial America learned to read. It has been estimated that as many as two million were sold in the 1700s.
|
The lessons frequently contained moral texts based on the Old Testament. The letters of the alphabet were illustrated by rhymed couplets: F "The idle Fool/Is whipt at School" J JOB feels the Rod, Yet blesses GOD. P PETER deny'd His Lord and cry'd. Perhaps the worst couplet was for Q. This one extended unchristian like hatred for many generations to come. Q Queen ESTHER sues And saves the Jews.
|
In 1836 at the age of 21, John Lewis Warner (13) decided to
go west . He got as far as the
|
|
Six children were born to them here in
In April of 1851 they arrived in the vicinity of |
John and Charity Warner They first settled
in
ship about five miles west of Batesville just below the
John Lewis Warner was considered a kind and honest neighbor.
He was a staunch Republican and voted for Abraham Lincoln. He adhered to the
Quaker Faith though he did not join a meeting after leaving
The children of John and Charity were never all at home at
one time, the two older ones being married and away before the younger two were
born. On
The children of John Lewis and Charity (Wells) Warner 1904.
Front: Margaret Matilda Dickey 1848-1930; Mary Jane Reed 1845-1919; Thomas Burton 1843-1924; Mordecai John 1841-1907; James Wells 1838-1918; Back row: Ulysses S. Grant 1864-1943; Aseph Ellsworth 1861-1922; Samuel Silas 1859-1943; George Washington 1856-1936; William Stotler 1853-1931; Joseph Cuthbert 1850-1908
The famous prayer of the New England Primer:
Now I lay me down to sleep,
I pray thee, Lord, my soul to keep;
If I should die before I wake,
I pray thee, Lord, my soul to take.
Go to Chapter:
1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11,
12, 13,
14, 15,
16, 17


CREATE_MODULE
Section: Linux Programmer's Manual (2)
Updated: 2014-05-10
Index
Return to Main Contents
NAME
create_module - create a loadable module entry
SYNOPSIS
#include <linux/module.h>
caddr_t create_module(const char *name, size_t size);
Note:
No declaration of this function is provided in glibc headers; see NOTES.
DESCRIPTION
Note:
This system call is present only in kernels before Linux 2.6.
create_module()
attempts to create a loadable module entry and reserve the kernel memory
that will be needed to hold the module.
This system call requires privilege.
RETURN VALUE
On success, returns the kernel address at which the module will reside.
On error, -1 is returned and
errno
is set appropriately.
ERRORS
- EEXIST
-
A module by that name already exists.
- EFAULT
-
name
is outside the program's accessible address space.
- EINVAL
-
The requested size is too small even for the module header information.
- ENOMEM
-
The kernel could not allocate a contiguous block of memory large
enough for the module.
- ENOSYS
-
create_module()
is not supported in this version of the kernel
(e.g., the kernel is version 2.6 or later).
- EPERM
-
The caller was not privileged
(did not have the
CAP_SYS_MODULE
capability).
VERSIONS
This system call is present on Linux only up until kernel 2.4;
it was removed in Linux 2.6.
CONFORMING TO
create_module()
is Linux-specific.
NOTES
The
create_module()
system call is not supported by glibc.
No declaration is provided in glibc headers, but,
through a quirk of history, glibc does export an ABI for this system call.
Therefore, in order to employ this system call,
it is sufficient to manually declare the interface in your code;
alternatively, you can invoke the system call using
syscall(2).
SEE ALSO
delete_module(2),
init_module(2),
query_module(2)
Index
- NAME
-
- SYNOPSIS
-
- DESCRIPTION
-
- RETURN VALUE
-
- ERRORS
-
- VERSIONS
-
- CONFORMING TO
-
- NOTES
-
- SEE ALSO
-
This document was created by
man2html,
using the manual pages.
Time: 02:54:50 GMT, September 18, 2014


I also enjoy music, videogames and dogs
This link doesn't actually work oh no
It says "cannot get" when I click on it


ORCID.js Modified
Enter ORCID ID
From Year
To Year
Load Publications
Publications
Funding
Peer Review


BENJAMIN HANSEN
PHOTOGRAPHY
MUSIC
GAMES
CONTACT
BENJAMIN HANSEN
Goal Score: 0
Your Score: 0
Clear
Restart


𓆙
Offworld Serpent Devices
𓆙
Musical electronic experiments by
Connor Holm𓆙
.
The projects below may not necessarily be in a "finished" state. They are presented as is with the hope that you'll find them helpful for your own projects!
Pedals:
Malice Striker (RAT-styled distortion) - Fafnir (overdrive)
Other:
bit0wulf (chiptune synthesizer)


Create new turbocharger
Ready to Leave?
×
Select "Logout" below if you are ready to end your current session.


Connected Cloud Control: OpenFlow in MirageOS
Due to continuing development, some of the details in this blog post are now out-of-date. It is archived here.
Something we’ve been working on for a little while now that we’re pretty excited about is an OpenFlow implementation for MirageOS. For those who’re not networking types, in short, OpenFlow is a protocol and framework for devolving network control to software running on platforms other than the network elements themselves. It consists of three main parts:
- a controller, responsible for exercising control over the network;
- switches, consisting of switching hardware, with flow tables that apply forwarding behaviours to matching packets; and
- the protocol, by which controllers and switches communicate.
For more – and far clearer! – explanations, see any of the many online OpenFlow resources such as OpenFlowHub.
Within MirageOS we have an OpenFlow implementation in two parts: individual libraries that provide controller and switch functionality. Linking the switch library enables your application to become a software-based OpenFlow switch. Linking in the controller library enables your application to exercise direct control over OpenFlow network elements.
The controller is modelled after the NOX open-source controller and currently provides only relatively low-level access to the OpenFlow primitives: a very cool thing to build on top of it would be a higher-level abstraction such as that provided by Nettle or Frenetic.
The switch is primarily intended as an experimental platform – it is hopefully easier to extend than some of the existing software switches while still being sufficiently high performance to be interesting!
By way of a sample of how it fits together, here’s a skeleton for a simple controller application:
type mac_switch = {
addr: OP.eaddr;
switch: OP.datapath_id;
}
type switch_state = {
mutable mac_cache:
(mac_switch, OP.Port.t) Hashtbl.t;
mutable dpid: OP.datapath_id list
}
let switch_data = {
mac_cache = Hashtbl.create 7;
dpid = [];
}
let join_cb controller dpid evt =
let dp = match evt with
| OE.Datapath_join c -> c
| _ -> invalid_arg "bogus datapath_join"
in
switch_data.dpid <- switch_data.dpid @ [dp]
let packet_in_cb controller dpid evt =
(* algorithm details omitted for space *)
let init ctrl =
OC.register_cb ctrl OE.DATAPATH_JOIN join_cb;
OC.register_cb ctrl OE.PACKET_IN packet_in_cb
let main () =
Net.Manager.create (fun mgr interface id ->
let port = 6633 in
OC.listen mgr (None, port) init
)
We’ve written up some of the gory details of the design, implementation and performance in a short paper to the ICC Software Defined Networking workshop. Thanks to some sterling work by Haris and Balraj, the headline numbers are pretty good though: the unoptimised Mirage controller implementation is only 30–40% lower performance than the highly optimised NOX destiny-fast branch, which drops most of the programmability and flexibility of NOX; but is about six times higher performance than the fully flexible current NOX release. The switch’s performance running as a domU virtual machine is indistinguishable from the current Open vSwitch release.
For more details see the paper or contact Mort, Haris or Anil. Please do get in touch if you’ve any comments or questions, or you do anything interesting with it!
- Irmin 0.12 with portable filesystem watching released
- MirageOS Summer 2016 Hackathon roundup
- MirageOS Summer 2016 Hackathon announcement, and talk roundup
- MirageOS Spring 2016 Hackathon!
- MirageOS security advisory 00: mirage-net-xen
- Introducing Functoria
- Run Mirage Unikernels on KVM/QEMU with Solo5
- MirageOS hackathon
- Introducing Charrua — a DHCP implementation
- Unikernel.org


Contact Information:
Address:55,Bridge Steet,South Main Street,Bandon,Co.Cork
Phone:0864885959
<EMAIL_ADDRESS>Opening Hours:Mon-Fri 9am-5pm
Here at JC Consulting Services our aim is to help organisations to work smarter and in turn grow quicker. We help businesses and companies to be more competitive in the markets in which they compete by delivering strategies and implementations from a business and technology view. We help businesses and organisations achieve their objectives, grow and reduce unnecessary costs.
Address:55,Bridge Steet,South Main Street,Bandon,Co.Cork
Phone:0864885959
<EMAIL_ADDRESS>Opening Hours:Mon-Fri 9am-5pm


[Interrogator] Officer K D 6 - 3 . 7. Let’s begin. Ready?
[Officer K] Yes, sir
[Interrogator] Recite your baseline.
[Officer K] And blood-black nothingness began to spin
[Officer K] A system of cells interlinked within cells,
[Officer K] interlinked within cells, interlinked within one stem.

[Officer K] And dreadfully distinct against the dark, a tall white fountain played...
[Interrogator] Cells.
[Officer K] Cells.
[Interrogator] Have you ever been in an institution?
[Interrogator] Cells.
[Officer K] Cells.
[Interrogator] Do they keep you in a cell?
[Interrogator] Cells.
[Officer K] Cells.
[Interrogator] When you're not performing your duties, do they keep you in a little box?
[Interrogator] Cells.
[Officer K] Cells.
[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] What's it like to hold the hand of someone you love?
[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] Did they teach you how to feel, finger to finger?
[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] Do you long for having your heart interlinked?
[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] Do you dream about being interlinked?
[Officer K] Interlinked.

[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] Do you feel that there's a part of you that's missing?
[Interrogator] Interlinked.
[Officer K] Interlinked.
[Interrogator] Within cells interlinked.
[Officer K] Within cells interlinked.
[Interrogator] Why don't you say that three times: "within cells interlinked"
[Officer K] Within cells interlinked.
[Officer K] Within cells interlinked.
[Officer K] Within cells interlinked.
[Interrogator] We're done.
[Interrogator] Constant K.
[Interrogator] You can pick up your bonus.
[Officer K] Thank you, sir.
[Interrogator] Cells
[K] -Cells
[Interrogator] Have you ever been in an institution. Cells
[K] -Cells
[Interrogator] When you're not performing your duties, do they keep you in a little box? Cells.
[K] -Cells
[Interrogator] Interlinked. What’s it like to hold the hand of someone you love?
 Dreadfully
[K] -Dreadfully
[Interrogator] Do you like being separated from other people?


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/determinant.20of.20groups.html ---
Interesting paper by Keith A. Kearnes: https://math.colorado.edu/~kearnes/Teaching/Courses/F17/rn7.pdf
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


This example shows how to post an image to the Cognitive Services Computer Vision API (thumbnails) using a binary file
Must be JPEG/PNG/GIF/BMP, up to 4mb and greater than 50x50px
How wide you want your thumbnail (in px)
How high you want your thumbnail (in px)
Crop based on the region of interest within the source image


0%
Loading...
^ Keyboard Controls
Remappable from the ingame menu
Options > Keyboard Controls
MayFlash 2-Port
Native
✔
✔
?
?
Windows
✔
Mac
?
Linux
?
MayFlash 4-Port
Native (PC Mode)
✔
✔
?
?
Windows
✔
Mac
?
Linux
?
Raphnet
Native
✔
✔
?
?
Windows
✔
Mac
?
Linux
?
Xbox 360 Controller
Native
✔
✔
?
?
Windows
✔
Mac
?
Linux
?
You may need to refresh the page or restart your browser. Close the browser from the system tray to be thorough
Share this code
Finish
A
Rendering: avg: 0ms | high: 0ms | low :0ms | PeakCount: 0
GameLogic: avg: 0ms | high: 0ms | low :0ms | PeakCount: 0
Framerate: cur: 0fps | high : 0fps | low : 0fps
Player 1
Lstick
X: 0
Y: 0
Cstick
X: 0
Y: 0
Shoulders
L: 0
R: 0
?? ? 1
CharVel
X: 0
Y: 0
KBVel
X: 0
Y: 0
Position
X: 0
Y: 0
Player 2
Lstick
X: 0
Y: 0
Cstick
X: 0
Y: 0
Shoulders
L: 0
R: 0
?? ? 1
CharVel
X: 0
Y: 0
KBVel
X: 0
Y: 0
Position
X: 0
Y: 0
Player 3
Lstick
X: 0
Y: 0
Cstick
X: 0
Y: 0
Shoulders
L: 0
R: 0
?? ? 1
CharVel
X: 0
Y: 0
KBVel
X: 0
Y: 0
Position
X: 0
Y: 0
Player 4
Lstick
X: 0
Y: 0
Cstick
X: 0
Y: 0
Shoulders
L: 0
R: 0
?? ? 1
CharVel
X: 0
Y: 0
KBVel
X: 0
Y: 0
Position
X: 0
Y: 0


| Path::Class::Entity - Base class for files and directories |
Path::Class::Entity - Base class for files and directories
version 0.35
This class is the base class for Path::Class::File
and
Path::Class::Dir
, it is not used directly by callers.
Ken Williams<EMAIL_ADDRESS>Path::Class
| Path::Class::Entity - Base class for files and directories |


Handling Microsoft Windows NTP sync
This post should raise some eyebrows around, as I'm advocating Linux since ages and I'm not at all into Microsoft stuff for the 99.99% of my time. This story comes out of that (usually negligible) 0.01%.
Why bother with NTP on MS Windows?
The Alfresco implementation I'm working on has to integrate with a fully MS-powered environment, with a Domain Controller pulling the strings of network entities such as users and hosts. As the customer has strict security requirements, no remote access can be granted to their intranet, and since their offices are a bit far away from mine, we decided to replicate their environment locally, providing the minimum set of components such as
- a domain controller (WinServer 2k8)
- a domain host (WinXP Pro SP2)
- the Alfresco server (RHELv5.4)
I was able to build up the whole replicated environment, with a relative limited effort, using virtual machines to host all the different operating system on my laptop. I was so happy that everything worked almost at the first shot that I almost died when it all went wrong after the first reboot of the VMs: I couldn't log anymore on the WinXP box!
It turned out that all clocks drifted away, making Kerberos auth checks fail because of replication attacks protection. Looked like it was time to strengthen my Win-fu and configure NTP in a proper way. This is what I learned.
WinServer2k8 and clock management
If there's one thing I enjoyed out of all the time spent on these tasks, the prize goes definitely to w32tm: I had to deal with Windows, and there were no windows involved! As usual, whenever I'm typing into a command line, I feel at home. I'm actually writing this whole blog post to take note of the tricks I learned around w32tm and NTP clock sync. Here we go:
- Configure NTP servers
w32tm /config /manualpeerlist:europe.pool.ntp.org \ /syncfromflags:manual /reliable:no /update
- Query NTP servers
w32tm /stripchart /computer:europe.pool.ntp.org \ /samples:5 /dataonly
- Resync clock
w32tm /resync /rediscover
- Allow resync in case of huge drifts
If your clock drifted too far away Windows will refuse to sync. In order to disable such check you have to import the following changes (write them in a reg-keys.reg file and double click it):
Windows Registry Editor Version 5.00 [HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\W32Time\Config] "MaxNegPhaseCorrection"=dword:ffffffff "MaxPosPhaseCorrection"=dword:ffffffff
That's it for now. I hope this will come in handy to somebody else, since I'll try to avoid any more contact with the Microsoft stacks as long as possible, since without grep, find, awk, sed, vim I feel as uncomfortable as this.
blog comments powered by Disqus


The first major piece of the web is actually three pieces: you and your computer and the browser.
The Internet is made up of different types of documents, but the main type is HTML, or HyperText Markup Language documents. The links between the 30 Billion html and other documents are what make the web "web-like".
Other major pieces of the web are http protocol and the servers.
HTML
We are going to look closer at one of these major pieces. HTML is made up of: text content, markup, tags that are both block and in-line, references to documents and links to other pages.
Text content, or plain text, pretty much looks just like plain text in HTML. But if you type a space in HTML, weather you type two spaces or fifty, they will render on the page as one space.
So we must use markup to control what our text will look like.
Opening and closing tags will surround text content. The whole statement from tag to tag is an element.
b is a simple markup tag, created by putting a b in <> brackets. If I type it in here like this you won't see it, because my page is reading the html and using the markup to make my text bold. You indicate what text should become bold by putting the opening or b tag in brackets, before the word "like", and you complete the tag by putting a /b in <> brackets after the word "this".
If you don't close a tag everything after it will be in that style, until the page ends. This is a good example of how literal computers are - our mistakes as programmers won't be forgiven by the computer as it reads our markup and renders it on the page. In fact our mistake will be there, perhaps in bold, for all to see.
In this lesson, I finally learned why italics is 'em'. Because it stands for emphasis, not italics.
HTML is reasonably straightforward
Other HTML attributes include
The 'a' anchor tag. The anchor tag is used when you want to link text to a url - something you're going to do over and over again while making web pages. To create a link that will allow a user to go to cnn.com when they click the text CNN, put a href=www.cnn.com in brackets in front of "CNN", then close the anchor tag with /a in <> brackets. It will look like this: This is CNN.
The image tag looks something like this 'img src="url" alt= "text" with <> brackets. There are no closing tags for images because it is a 'void' tag with no content.
Another example of a void tag is br in <> brackets, also known as an inline break. /n is also an inline tag, called newline. As we noted before, two spaces or sixty spaces will show up as one space in HTML. In order to break a line, you will have to use br or /n
like this: Let's put a nice line break in there.
Alternately, you can use a p in <> brackets. The p tag is a block element, not inline It creates 'invisible boxes'. It is NOT a void tag, so you will need to close it with a /p in <> brackets. And using it looks like this.


The most clear path to a negation, which in this case is the creation of a true statement, is to use the set diagram to generate a statement. In this case it will take the form of a statement about all people that support abortion. The statement, “All abortion supporters deserve a vacation.” would be a negation of the original statement, "No abortion supporter deserves a vacation."
in-context