* Implemented backend software integrations for Amdocs Ensemble framework. (Unix/Linux shell scripting, Java)
* Developed robust software modules to analyze distributed environments and their load-balancing.
* Software and scripts to track and maintain Linux environment configurations using Git, as part of Innovation Team effort. (Java)
* Developed a Java based RCP application to implement business crawler, to procure, track and update data from online product catalogues.
* Developed a mini-search utility to allow users to search for products for brands from data that was gathered.
Responsible for grading, evaluation and consultation for projects, assignments and homeworks for the Computer Science I course for Non-majors under Dr. Karen Doore.


Templates are usually HTML elements with extra attributes, which are used by Atoms.js Template System. Apart from inline templates, scope templates gives you advantage of changing templates at runtime.
Once atom-template-name attribute is applied to any element, element is then removed from the DOM and stored as template in scope. You can bind any template of any control to $scope.templateName as shown below. In the following example, $scope[$scope.view] determines the template to be used at runtime. Toggle button bar changes the selected template name, that causes atom-item-template to be set to new value and all items are now rendered with new template. Scope Template can contain any atom controls as well, just like inline templates.


Comments are closed. If you have a question concerning the content of this page, please feel free to contact me.
{{ comments | size | append: ' ' }}Comment{% if comments.size == 0 or comments.size > 1 %}s{% endif %}


Linked Open Data Walker
Enter or select an URI to get started
Double-click on the circles to get additional data (if available), hover over the lines to see relationship type.
or
Double-click on the circles to get additional data (if available), hover over the lines to see relationship type.


I used words and minimal CSS changes to improve the experience of ORCA's 'Forgot Password' flow.
Background
This project was part of a UX Writing class that I took at School of Visual Concepts (SVC) in Seattle. ORCA (One Regional Card for All) is a card that enables people to easily pay for nearly all of the public transportation services in the Seattle area, including the bus, ferry, lightrail, and streetcar. ORCA users can load money and regional passes onto the card through ORCA's website and through vending machines located throughout the city.
Team
Brita Ness, UX Writer
Mentors
Torrey Podmajersky, UX Writer
Elly Searle, UX Writer
Skills
UX writing UI design
Timeline
5 Weeks
Tools
Paper and pencil Sketch
Identifying ORCA's Users
Before beginning to write, we defined who uses ORCA, why they use it, and how they use it. We also began to consider what types of use data would be useful to internal stakeholders.
Our Assumptions
While it would have been ideal to gather actual data on ORCA's user base, our short timeline for the project did not permit in-depth research. As a result, we came up with some assumptions to work from about who uses ORCA; and why, when, and how they use it. After identifying ORCA's user base, I would propose creating several personas to keep design decisions rooted in actual user needs.


Long Beach peeping Tom: Police ask for public's help finding man who peeks in windows
by ABC7.com staffLONG BEACH, Calif. (KABC) -- Long Beach police are asking for the public's help to track down what appears to be a serial peeping Tom.
There have been at least five incidents dating back to January from Bellflower Boulevard to Park Avenue, and from Stearns Street to Pacific Coast Highway.
In most of the incidents, a man approaches an exposed window of a home, looks inside, says something about a female victim's physical appearance, then runs away.
Most of the incidents happened late at night or early in the morning.
Police believe the same suspect or suspects may be involved.
Anyone with information is asked to call the Long Beach Police Department Sex Crimes Detail at<PHONE_NUMBER> or provide anonymous information to Crime Stoppers at 1-800-222-TIPS.


SYNOPSIS: Software security vulnerabilities have always been documented in separate websites that specialize in a particular platform or vulnerability. IBM Security X-Force Exchange is a product designed for security analysts to monitor cyber attacks in near real time, report on software security vulnerabilities, and collaborate to discover, fix, and research issues with others.
NOMAD is the word that comes to mind for all the security resource websites. A lot of resources specialize in a specific set of vulnerabilities, focusing on particular use cases on how the vulnerability could be used; this results in an inadequate context for the security analyst to grasp how the vulnerability could be applied to their organization. The job responsibilities of our users requires gathering as much information as possible regarding cyber security threats that could cause harm to their company.
A community-based, threat-intelligence system can bring many advantages to the table compared to separate resources. When working in a community, one may bring insight to each software vulnerability using collaboration as a tool itself in order to surface more attack vectors. With additional insight and information, such discussions have a possibility of surfacing additional vulnerabilities and zero-day attacks.
A pretty basic but widely used research method is expected from the users of X-Force who wish to collaborate on security issues.
THE STRUGGLE: During the design and development production phase the original designs and prototypes were followed by the development teams, however, a lot of minor details were left out in the final production code. Upon initial release some animations and specific micro interactions were left out. The design team has worked extensively with the development team (located both overseas and intrastate) to implement the correct designs in the product, by providing more specific examples and code.
At IBM it is widely known that the development team loves to use Java wherever they can. With this product team however, newer technologies like Angular, NodeJS, and NoSQL were used to create the product. The design team quickly became an advocate of using X-Force Exchange as a role model for writing new code and using new technologies.


You might be familiar with this scenario, you are browsing Facebook, have your new project plan in mind which is due Monday, and you still don’t feel ready to start.
Telling procrastinators “Be practical” or “Just do it” is like telling junk-food lovers “Don’t eat fried chips”. Based on research, I have realized that the habit is more likely a psychological problem rather than a design problem I can solve. However, taking a stop back I can help people to avoid the problems that result from procrastination, namely fear and pressure. Which could break the vicious cycle that results from procrastination.
After considering the medium which I could exploit best, the target users were narrowed down to those who work on laptops and had a general idea of what to do.
Psychologist Shawn Achor and his Ted talk — The happy secret to better work inspired me with another perspective of why people procrastinate. If a person sets a plan based on their best behavior and takes it as an unmoveable goal, no wonder they fear to start it.
People love games. Obviously, breaking work into specific steps and making it a game is a good idea, but the game desing part would consume a effort. So the solution should be a simple game system.
I chose to create a chrome extension to encourage users to get more time work. Users don’t need to be productive, they just need to do things that are related to their work, including easing their nerves about upcoming work. Users need to earn time to relax by devoting other time to work. The ratio or work time to relaxation time are set by the users themselves.
I did an early state design following the chrome extension development guide. The extension let users classify their tabs as work or relaxation by clicking an icon, which switched the tab’s color.
I did a user test with a paper prototype to figure out how frequently and under what circumstances people are comfortable to interact with the time. Based on the results, it made the most sense that the color of the icon on a new table would be the same as on the prior tab until a user changed it.
Chrome only allows one object per extension to interact with, which gave my design a challenge. At first I designed two parts for two functions, one was for classifying tables, and the other was for information about the timer.
Since the smoothness of an application is a kind of user experience, the design shouldn’t be a burden, it should be clean and light weight. I adjusted the design wile doing research on similar functions found on Stack Overflow.
I created a team for the project, with one developer helping me build the extension and three others as testers. The source code for this project can be found on GitHub. Note, that making an individual project a team project is an efficient way itself to fight procrastination!


Man dead after highway collision with refrigerated truck
The two men in the refrigerated truck were not injured but the sole occupant of the pickup, the 46-year-old driver, was transported by STARS Air Ambulance to hospital in Regina.
by Regina Leader-PostA 46-year-old man is dead after a highway collision near Yellow Grass.
Members of the Milestone RCMP, Yellow Grass Fire Department and Weyburn EMS responded to a scene on Highway 39, two kilometres northwest of Yellowgrass at 8:30 a.m. Nov. 18.
According to police, a pickup truck heading northwest collided head on with an international refrigerated truck going southeast. The two men in the refrigerated truck were not injured but the sole occupant of the pickup, the 46-year-old driver, was transported by STARS Air Ambulance to hospital in Regina. He succumbed to his injuries a few hours later.
Alcohol is not being considered as a factor in the collision.
The cause of the collision is still under investigation.
Yellow Grass is about 90 kms southeast of Regina.


---
layout: archive
title: Lean Prover Zulip Chat Archive
permalink: 113488general/64175Ilovethelinter.html
---
The archive URL format has changed. Please find this page at:
https://leanprover-community.github.io/archive/stream/113488-general/topic/I.20love.20the.20linter.html


/
schemas/com.hellobears/email_addresses_viewed/jsonschema/1-0-0
schemas/com.hellobears/email_address_submitted/jsonschema/1-0-0


Trimble Palisade and Thunderbolt Receivers
Synopsis
|
Address:
|
127.127.29.u |
|
Reference ID:
|
GPS |
|
Driver ID:
|
GPS_PALISADE |
|
Serial Port:
|
/dev/palisadeu |
|
Serial I/O:
|
9600 baud, 8-bits, 1-stop, odd parity |
|
Serial I/O (Thunderbolt):
|
9600 baud, 8-bits, 1-stop, no parity |
Description
The refclock_palisade driver supports Trimble Navigation's Palisade Smart Antenna GPS receiver.
Additional software and information about the Palisade GPS is available from: http://www.trimble.com/oem/ntp.
Latest NTP driver source, executables and documentation is maintained at: ftp://ftp.trimble.com/pub/ntp
This documentation describes version 7.12 of the GPS Firmware and version 2.46 (July 15, 1999) and later, of the driver source.
This documentation describes version 1 of the Thunderbolt Receiver Firmware, no tests have been made on further firmwares, please read "Notes on the Thunderbolt Receiver's Firmware" at the end of this documentation for more information.
Operating System Compatibility
The Palisade driver has been tested on the following software and hardware platforms:
Attention: Thunderbolt Receiver has not being tested on the previous software and hardware plataforms.
GPS Receiver
The Palisade GPS receiver is an 8-channel smart antenna, housing the GPS receiver, antenna and interface in a single unit, and is designed for rooftop deployment in static timing applications.
Palisade generates a PPS synchronized to UTC within +/- 100 ns. The Palisade's external event input with 40 nanosecond resolution is utilized by the Palisade NTP driver for asynchronous precision time transfer.
No user initialization of the receiver is required. This driver is compatible with the following versions of Palisade:
|
Version
|
Event Input
|
Trimble Part Number
|
|
7.02
|
No
|
26664-00
|
|
7.02E
|
Yes
|
26664-10
|
|
7.12
|
Yes
|
38158-00
|
Note: When using Palisade 26664-00, you must set fudge flag2 to 1 in ntp.conf. See configuration.
GPS Installation
A location with unobstructed view of the horizon is recommended. Palisade is designed to be securely mounted atop standard 3/4 inch threaded pipe.
The 12 conductor (dia. 10 mm) power and I/O cable must be routed from the rooftop site to the NTP server and properly strain relieved.
GPS Connection
The Palisade is equipped with dual (A & B) RS-422 serial interfaces and a differential TTL PPS output. An RS-232 / RS-422 Interface Module is supplied with the Palisade NTP Synchronization Kit. Palisade port A must be connected to the NTP host server. Maximum antenna cable length is 500 meters. See the pinouts table for detailed connection Information.
Palisade's port B provides a TSIP (Trimble Standard Interface Protocol) interface for diagnostics, configuration, and monitoring. Port B and the PPS output are not currently used by the Palisade NTP reference clock driver.
O/S Serial Port Configuration
The driver attempts to open the device /dev/palisadeu where u is the NTP refclock unit number as defined by the LSB of the refclock address. Valid refclock unit numbers are 0 - 3.
The user is expected to provide a symbolic link to an available serial port device. This is typically performed by a command such as:
ln -s /dev/ttyS0 /dev/palisade0
Windows NT does not support symbolic links to device files. COMx: is used by the driver, based on the refclock unit number, where unit 1 corresponds to COM1: and unit 3 corresponds to COM3:
NTP Configuration
Palisade NTP configuration file "ntp.conf" with event polling:
#------------------------------------------------------------------------------
# The Primary reference
server <IP_ADDRESS> # Trimble Palisade GPS Refclock Unit #0
peer terrapin.csc.ncsu.edu # internet server
# Drift file for expedient re-synchronization after downtime or reboot.
driftfile /etc/ntp.drift
#------------------------------------------------------------------------------
Configuration without event polling:
#------------------------------------------------------------------------------
# The Primary reference
server <IP_ADDRESS> # Trimble Palisade GPS (Stratum 1).
# Set packet delay
fudge <IP_ADDRESS> time1 0.020
# and set flag2 to turn off event polling.
fudge <IP_ADDRESS> flag2 1
#------------------------------------------------------------------------------
Thunderbolt NTP Configuration file
#------------------------------------------------------------------------------
Configuration without event polling:
#------------------------------------------------------------------------------
# The Primary reference
server <IP_ADDRESS> mode 2 # Trimble Thunderbolt GPS (Stratum 1).
# Set packet delay
fudge <IP_ADDRESS> time1 0.020
# and set flag2 to turn off event polling.
fudge <IP_ADDRESS> flag2 1
#------------------------------------------------------------------------------
Currently the Thunderbolt mode doesn't support event polling, the reasons are explained on the "Notes on the Thunderbolt Receiver's Firmware" section at the end of this documentation.
Time Transfer and Polling
Time transfer to the NTP host is performed via the Palisade's comprehensive time packet output. The time packets are output once per second, and whenever an event timestamp is requested.
The driver requests an event time stamp at the end of each polling interval, by pulsing the RTS (request to send) line on the serial port. The Palisade GPS responds with a time stamped event packet.
Time stamps are reported by the Palisade with respect to UTC time. The GPS receiver must download UTC offset information from GPS satellites. After an initial UTC download, the receiver will always start with correct UTC offset information.
Run NTP in Debugging Mode
The following procedure is recommended for installing and testing a Palisade NTP driver:
- Perform initial checkout procedures. Place the GPS receiver outdoors; with clear view of the sky. Allow the receiver to obtain an UTC almanac.
- Verify presence of timing packets by observing the 1 Hz (PPS) led on the interface module. It should flash once per second.
- Connect Palisade's port A to the NTP host.
- Configure NTP and the serial I/O port on the host system.
- Initially use fudge flag2 in ntp.conf, to disable event polling (see configuration).
- Run NTP in debug mode (-d -d), to observe Palisade_receive events.
- The driver reports the tracking status of the receiver. Make sure it is tracking several satellites.
- Remove fudge flag2 and restart ntpd in debug mode to observe palisade_receive events.
- If event polling fails, verify the connections and that the host hardware supports RTS control.
Event Logging
System and Event log entries are generated by NTP to report significant system events. Administrators should monitor the system log to observe NTP error messages. Log entries generated by the Palisade NTP reference clock driver will be of the form:
Nov 14 16:16:21 terrapin ntpd[1127]: Palisade #0: message
Fudge Factors
- time1 time
- Specifies the time offset calibration factor, in seconds and fraction, with default 0.0. If event capture is not used, time1 should be set to 20 milliseconds to correct serial line and operating system delays incurred in capturing time stamps from the synchronous packets.
- stratum number
- Specifies the driver stratum, in decimal from 0 to 15, with default 0.
- refid string
- Specifies the driver reference identifier, GPS.
- flag2 0 | 1
- When set to 1, driver does not use hardware event capture. The synchronous packet output by the receiver at the beginning of each second is time stamped by the driver. If triggering the event pulse fails, the driver falls back to this mode automatically.
Mode Parameter
- mode number
- The mode parameter to the server command specifies the specific hardware this driver is for. The default is 0 for a normal Trimble Palisade. The other options are 1 for an Endrun Praecis in Trimble emulation mode, and 2 for the Trimble Thunderbolt GPS Disciplined Clock Receiver.
DEFINEs
The following constants are defined in the driver source code. These defines may be modified to improve performance or adapt to new operating systems.
| Label |
Definition |
Default Value |
| DEVICE |
The serial port device to be used by the driver |
/dev/palisadeu |
| PRECISION |
Accuracy of time transfer |
1 microsecond |
| CURRENT_UTC |
Valid GPS - UTC offset |
13 |
| SPEED232 |
Host RS-232 baud rate |
B9600 |
| TRMB_MINPOLL |
Minimum polling interval |
5 (32 seconds) |
| TRMB_MAXPOLL |
Maximum interval between polls |
7 (128 seconds) |
Data Format
Palisade port A can output two synchronous time packets. The NTP driver can use either packet for synchronization. Packets are formatted as follows:
Packet 8F-AD (Primary NTP Packet)
| Byte |
Item |
Type |
Meaning |
| 0 |
Sub-Packet ID |
BYTE |
Subcode 0xAD |
| 1 - 2 |
Event Count |
INTEGER |
External event count recorded (0 = PPS) |
| 3 - 10 |
Fractional Second |
DOUBLE |
Time elapsed in current second (s) |
| 11 |
Hour |
BYTE |
Hour (0 - 23) |
| 12 |
Minute |
BYTE |
Minute (0 - 59) |
| 13 |
Second |
BYTE |
Second (0 - 59; 60 = leap) |
| 14 |
Day |
BYTE |
Date (1 - 31) |
| 15 |
Month |
BYTE |
Month (1 - 12) |
| 16 - 17 |
Year |
INTEGER |
Year (4 digit) |
| 18 |
Receiver Status |
BYTE |
Tracking Status |
| 19 |
UTC Flags |
BYTE |
Leap Second Flags |
| 20 |
Reserved |
BYTE |
Contains 0xFF |
| 21 |
Reserved |
BYTE |
Contains 0xFF |
Leap Second Flag Definition:
Bit 0: (1) UTC Time is available
Bits 1 - 3: Undefined
Bit 4: (1) Leap Scheduled: Leap second pending asserted by GPS control segment.
Bit 5: (1) Leap Pending: set 24 hours before, until beginning of leap second.
Bit 6: (1) GPS Leap Warning: 6 hours before until 6 hours after leap event
Bit 7: (1) Leap In Progress. Only set during the leap second.
Tracking Status Flag Definitions:
| Code |
Meaning |
Accuracy |
Receiver Mode |
| 0 |
Receiver is Navigating |
+/- 1 us |
Self Survey |
| 1 |
Static 1 Sat. Timing Mode |
+/- 1 us |
1-D Timing |
| 2 |
Approximate Time |
20 - 50 ms |
Acquisition |
| 3 |
Startup |
N/A |
Initialization |
| 4 |
Startup |
N/A |
Initialization |
| 5 |
Dilution of Position too High |
5 ppm |
Self Survey |
| 6 |
Static 1 Sat. Timing: Sat. not usable |
5 ppm |
1-D Timing |
| 7 |
No Satellites Usable |
N/A |
Self Survey |
| 8 |
Only 1 Satellite Usable |
20 - 50 ms |
Self Survey |
| 9 |
Only 2 Satellite Usable |
20 - 50 ms |
Self Survey |
| 10 |
Only 3 Satellites Usable |
20 - 50 ms |
Self Survey |
| 11 |
Invalid Solution |
N/A |
Error |
| 12 |
Differential Corrections |
N/A |
N/A |
| 13 |
Overdetermined Fixes |
+/- 100 ns |
Timing Steady State |
Packet 8F-0B (Comprehensive Timing Packet)
| Byte |
Item |
Type |
Meaning |
| 0 |
Sub-Packet ID |
BYTE |
Subcode 0x0B |
| 1 - 2 |
Event Count |
INTEGER |
External event count recorded (0 = PPS) |
| 3 - 10 |
UTC / GPS TOW |
DOUBLE |
UTC / GPS time of week (seconds) |
| 11 |
Date |
BYTE |
Day of Month |
| 12 |
Month |
BYTE |
Month of Event |
| 13 - 14 |
Year |
INT |
Year of event |
| 15 |
Receiver Mode |
BYTE |
Receiver operating dimensions: 0: Horizontal (2D) 1: Full Position (3D) 2: Single Satellite (0D) 3: Automatic (2D / 3D) 4: DGPS reference 5: Clock hold (2D)
6: Over determined Clock |
| 15 - 17 |
UTC Offset |
INTEGER |
UTC Offset value (seconds) |
| 18 - 25 |
Oscillator Bias |
DOUBLE |
Oscillator BIAS (meters) |
| 26 - 33 |
Oscillator Drift Rate |
DOUBLE |
Oscillator Drift (meters / second) |
| 34 - 37 |
Bias Uncertainty |
SINGLE |
Oscillator bias uncertainty (meters) |
| 38 - 41 |
Drift Uncertainty |
SINGLE |
Oscillator bias rate uncertainty (m / sec) |
| 42 - 49 |
Latitude |
DOUBLE |
Latitude in radians |
| 50 - 57 |
Longitude |
DOUBLE |
Longitude in radians |
| 58 - 65 |
Altitude |
DOUBLE |
Altitude above mean sea level, in meters |
| 66 - 73 |
Satellite ID |
BYTE |
SV Id No. of tracked satellites |
Thunderbolt Timing packets Data Format
Thunderbolt can output 2 synchronous packets.
Primary Timing Packet - 0x8FAB
| Byte |
Bit |
Item |
Type |
Value |
Description |
| 0 |
|
Subcode |
UINT8 |
|
0xAB |
| 1-4 |
|
Time of Week |
UINT32 |
|
GPS seconds of week |
| 5-6 |
|
Week Number |
UINT16 |
|
GPS Week Number |
| 7-8 |
|
UTC Offset |
SINT16 |
|
UTC Offset (seconds) |
| 9 |
|
Timing Flag |
Bit field |
| 0 or 1 | | 0 or 1 | | 0 or 1 | | 0 or 1 | | 0 or 1 |
|
| GPS Time or UTC Time | | GPS PPS or UTC PPS | | time is set or time is not set | | have UTC info or no UTC info | | Time from GPS or time from user |
|
| 10 |
|
Seconds |
UINT8 |
0-59 |
(60 for UTC leap second event) |
| 11 |
|
Minutes |
UINT8 |
0-59 |
Minutes of Hour |
| 12 |
|
Hours |
UINT8 |
0-23 |
Hour of Day |
| 13 |
|
Day of Month |
UINT8 |
1-31 |
Day of Month |
| 14 |
|
Month |
UINT8 |
1-12 |
Month of Year |
| 15-16 |
|
Year |
UINT16 |
|
Four digits of Year (e.g. 1998) |
Supplemental Timing Packet - 0x8FAC
| Byte |
Bit |
Item |
Type |
Value |
Description |
| 0 |
|
Subcode |
UINT8 |
|
0xAC |
| 1 |
|
Receiver Mode |
UINT8 |
|
| Automatic (2D/3D) | | Single Satellite (Time) | | Horizontal (2D) | | Full Position (3D) | | DGPS Reference | | Clock Hold (2D) | | Overdetermined Clock |
|
| 2 |
|
Disciplining Mode |
UINT8 |
|
Normal | | Power-Up | | Auto Holdover | | Manual Holdover | | Recovery | | Not Used | | Disciplining disabled |
|
| 3 |
|
Self-Survey Progress |
UINT 8 |
0-100% |
|
| 4-7 |
|
Holdover Duration |
UINT 32 |
|
seconds |
| 8-9 |
|
Critical Alarms |
UINT16 |
Bit field |
| ROM checksum error | | RAM check has failed | | Power supply failure | | FPGA check has failed | | Oscillator control voltage at rail |
|
| 10-11 |
|
Minor Alarms |
UINT16 |
Bit field |
| Normal | | Power-Up | | Auto Holdover | | Manual Holdover | | Recovery | | Not Used | | Disciplining disabled |
|
| 12 |
|
GPS Decoding Status |
UINT8 |
|
| Doing fixes | | Don t have GPS time | | PDOP is too high | | No usable sats | | Only 1 usable sat | | Only 2 usable sats | | Only 3 usable sats | | The chosen sat is unusable | | TRAIM rejected the fix |
|
| 13 |
|
Disciplining Activity |
UINT8 |
|
| Phase locking | | Oscillator warming up | | Frequency locking | | Placing PPS | | Initializing loop filter | | Compensating OCXO | | Inactive | | Not used | | Recovery mode |
|
| 14 |
|
Spare Status 1 |
UINT8 |
0 |
|
| 15 |
|
Spare Status 2 |
UINT8 |
0 |
|
| 16-19 |
|
PPS Offset |
Single |
|
Estimate of UTC/GPS offset (ns) |
| 20-23 |
|
10 MHz Offset |
Single |
|
Estimate of UTC/GPS offset (ns) |
| 24-27 |
|
DAC Value |
UINT32 |
|
Offset binary (0x00 - 0xFFFFF) |
| 28-31 |
|
DAC Voltage |
Single |
|
Volts |
| 32-35 |
|
Temperature |
Single |
|
degrees C |
| 36-43 |
|
Latitude |
Double |
|
radians |
| 44-51 |
|
Longitude |
Double |
|
radians |
| 52-59 |
|
Altitude |
Double |
|
Meters |
| 60-67 |
|
Spare |
|
|
For Future Expantion |
Pinouts
The following connections are required when connecting Palisade with a host:
| Description |
Host |
|
|
Palisade |
|
|
| Port A |
DB-9 |
DB-25 |
|
RS-232 |
RS-422 |
Palisade Pin |
| Receive Data |
2 |
3 |
<--> |
Green |
Green / Blue |
8 (T-) & 10 (T+) |
| Request to Send |
7 |
4 |
<--> |
Gray |
Gray / White |
6 (R-) & 7 (R+) |
| Signal Ground |
5 |
7 |
<--> |
Black |
Black |
9 (GND) |
|
|
|
|
|
|
|
| Port B |
|
|
|
|
|
|
| Receive Data |
2 |
3 |
<--> |
Brown |
Brown / Yellow |
4 (T-) & 5 (T+) |
| Transmit Data |
3 |
2 |
<--> |
Violet |
Orange/ Violet |
2 (R-) & 3 (R+) |
| Signal Ground |
5 |
7 |
<--> |
Black |
Black |
9 (GND) |
Note: If driving the RS-422 inputs on the Palisade single ended, i.e. using the Green and Gray connections only, does not work on all serial ports. Use of the Palisade NTP Synchronization Interface Module is recommended.
The 12 pin connector pinout definition:
Face the round 12 pin connector at the end of the cable, with the notch turned upwards.
Pin 1 is to the left of the notch. Pins 2 - 8 wrap around the bottom, counterclockwise to pin 9 on the right of the notch. Pin 10 is just below the notch. Pins 10 (top), 11 (bottom left) and 12 (bottom right) form a triangle in the center of the connector.
Pinouts for the Palisade NTP host adapter (Trimble PN 37070) DB-25 M connector are as follows:
| DB-25M |
Conductor |
Palisade |
Description |
| 1 |
Red |
1 |
Power |
| 7 |
Black |
9 |
Ground |
| 9 |
Black/White |
12 |
PPS - |
| 10 |
Green |
8 |
Transmit Port A (T-) |
| 11 |
Brown |
4 |
Transmit Port B (T-) |
| 12 |
Gray |
7 |
Receive Port A (R+) |
| 13 |
Orange |
3 |
Receive Port B (R+) |
| 21 |
Orange/White |
11 |
PPS + |
| 22 |
Blue |
10 |
Transmit Port A (T+) |
| 23 |
Yellow |
5 |
Transmit Port B (T+) |
| 24 |
White |
6 |
Receive Port A (R-) |
| 25 |
Violet |
2 |
Receive Port B (R-) |
Notes on the Thunderbolt Receiver's Firmware
The support for Thunderbolt Receiver in the palisade driver doesn't support (for now) event-polling, the reason is that the Thunderbolt receiver the patch is written for doesn't support time-on-request, so you just have to sit there and wait for the time to arrive with the PPS. We tried to contact Trimble because there's presumably a firmware update that support it, but we didn't have much luck.
Here is a link explaining the situation:
https://lists.ntp.isc.org/pipermail/hackers/2006-April/002216.html
Questions or Comments:
Sven Dietrich
Trimble Navigation Ltd.
Fernando P. Hauscarriaga
(last updated January 15, 2007)
;


<% include include/header.html %>
<% include include/index-top.html %>
<% include include/index-hot.html %>
<% include include/index-recommend.html %>
<% include include/index-male.html %>
<% include include/index-female.html %>
<% include include/index-free.html %>
<% include include/index-bottom.html %>
<% include include/index-shelf.html %>


{{ page.title }} You can contact us via any or all of the following channels<EMAIL_ADDRESS>919-605-6529 2932 Tram Road, Fuquay Varina, NC 27526-9362 Skype - ceociwise You can also send us an email from here: Name: Email: Message:


 In (1), we have dual\(\le\)primal: \[
\min_{f_i\le 0, Ax=b} f \ge \max_{\la \ge 0,\nu} \ub{\min_x \ub{f+\la^T\vec{f} + \nu^T (Ax-b)}{\cal L(x,\la,\nu)}}{g(\la,\nu)}
\] Note: \(f^*(y)=\sup_x y^Tx - f(x)\) is the conjugate or Legendre transform. It is convex, and for convex functions, the double conjugate is the original function.
Slater’s constraints: Equality holds if the problem is strictly feasible: there exists \(x\) such that \(f_i(x)<0, Ax=b\). Linear inequalities are allowed to be non-strict, \(f_i(x)\le 0\).
KKT conditions
The KKT conditions are (here \(h=Ax-b\))
- (derivative 0) \(\nb f+\sum \la_i \nb f_i + \nu^TA=0\).
- (constraints satisfied) \(\la \ge 0, f_i\le 0, h_i=0\).
- (complementary slackness) \(\la f_i=0\).
Interpretation:
- If \(x,\la,\nu\) satisfy the conditions, then \(x\) and \((\la,\nu)\) are primal and dual optimal (and \(x\) is a minimizer of \(\cL(x,\la,\nu)\)) and the optimal values are equal.
- Conversely, if \(x\) is any primal optimum, \((\la, \nu)\) is any dual optimum, and the optimal values are equal, then KKT holds. (Proof: \(f(x) = g(\la,\nu) \le f(x)\).)
- If Slater’s condition is satisfied, \(x\) is optimal if and only if there exist, \(\la,\nu\) that satisfy KKT conditions.
Examples
- Linear programming (equality when there exists a feasible solution)
\[\begin{align}
\min_{Ax=b,x\ge 0} c^Tx &= \max_{\la\ge 0, A^T\nu\ge -c} -b^T\nu\\
\min_{Ax\le b} c^Tx &= \max_{\la\ge 0, A^T\nu=-c} -b^T\nu.
\end{align}\]
Dual functions
(Check this.)
| \(u\ln u\) |
\(e^{v-1}\) |
| \(\ve{x}\) |
\(\begin{cases}0,&\ve{y}_*\le 1\\ \iy,&\text{else}\end{cases}\) |
| \(\ln \det(X^{-1})\) |
\(\ln \det(-Y)^{-1}-n\) |
Proofs and intuition
Weak duality
Given a dual feasible \(\la,\nu\), choose \(x=x^*\). Then \[
g(\la,\nu) \le f(x^*) + \sum \la_i \ub{f_i(x^*)}{\le 0} + \nu^T \ub{(Ax^*-b)}{=0}\le f(x^*).
\]
(Convexity not needed here.)
Strong duality
- Express in terms of graphs. Let
\[\begin{align}
\mathcal G &= \{(\vec f, \vec h, f)\}\\
\mathcal A &= \mathcal G = (\R_+^m \times \{0\} \times \R_+).
\end{align}\]
Then
\[\begin{align}
p^* &= \inf_{(u,v,t)\in \mathcal G, u\le 0, v=0} = \inf_{(0,0,t)\in \mathcal A} t\\
g(\la,\nu) &= \inf_{(u,v,t)\in \mathcal G\text{ (or }\mathcal A)} \an{(\la,\nu, 1),(u,v,t)}.
\end{align}\]
Each value of \(g(\la,\nu)\) gives the \(t\)-intercept of a nonverticl supporting hyperplane \(\an{(\la,\nu,1), (u,v,t)}\ge g(\la,\nu)\).
- Weak duality (again). Set \((\la,\nu)=(0,0)\) to get \(g(0,0) = \inf_{(u,v,t)\in \mathcal A} t \le \inf_{(0,0,t)\in \mathcal A} = p^*\).
-
The idea is that there exists a supporting hyperplane tangent at \((0,0,p^*)\). To make this precise we separate \(\mathcal A\) from a ray \[ \mathcal B = \set{(0,0,s)}{s<p^*}.\] Note \(\mathcal A,\mathcal B\) are disjoint. There is a separating hyperplane \[ (u,v,t)\in \begin{cases}\mathcal A\\\mathcal B\end{cases} \implies \wt \la^T u + \wt \nu^T v + \mu t \begin{cases}\ge \\ \le \end{cases} \al.\] By definition of \(\mathcal A\), \(\wt \la \ge 0, \mu\ge 0\). The second part in the equation gives \(\mu p^*\le \al\).
- Case \(\mu>0\): Going back to the definition of \(\mathcal A\), we get \(L(x,\wt \la/\mu, \wt \nu/\mu)\ge p^*\). Then \(g(\wt \la/\mu, \wt \nu/\mu) \ge p^*\).
- Case \(\mu=0\): Applying the hyperplane inequality to the point \(\wt x\) satisfying Slater, \(\sumo im \wt \la_i f_i(\wt x)\ge 0\). Get \(\wt \la=0\), \(\wt \nu\ne 0\). Assume \(\rank A=p\) (what if this is not true?) Then there are points with \(\wt \nu^T (Ax-b)<0\), contradiction. (Slater shows the hyperplane cannot be vertical.)
(I don’t have intuition for this proof.)
Intuition
Think of the dual as (1) relaxing the strict conditions that \(f_i\le 0\) and (2) being a game. If you fail to meet the constraint \(f_i\le 0\), you are penalized by cost \(\la_if_i\) (and you gain money from constraints that are met). The adversary first sets “shadow prices” \(\la_i,\nu_i\), the cost for violating the constraints, and then you choose \(x^*\). Duality says you can’t do better in this game. (You can do just as well by choosing your original \(x^*\); this is weak duality.)
Let
\(p^*(u,v)\) be the optima under constraints
\(f_i\le u_i,h_i=v_i\). The sensitivity to the constraints are given by the dual optima. We have the following (the derivative equations hold if
\(p^*\) is differentiable).
\[\begin{align}
p^*(u,v) &\ge p^*(0,0)-\la^{*T} u - \nu^{*T} v\\
\pd{p^*}{v_i} &= -\nu_i\\
\pd{p^*}{u_i} &= -\la_i.
\end{align}\]
Applications
von Neumann minimax theorem. \[
\min_{1^T p = 1,p\ge 0} \max_{1^T q =1,q\ge 0} p^TAq = \max_q\min_p...
\] Proof: Write the LHS as \(\min_{p\ge 0, 1^Tp=1, P^Tp \le t\one}t\) and use strong duality.
Review
- Give the dual problems for \(\min_{f_i\le 0, Ax=b}f\). Ditto for \(f_i\ge 0\).
- What is weak duality? Prove it.
- Give Slater’s conditions for equality (strong duality).
- Give the KKT conditions.
- What is duality for linear programming?
- Give intuition for duality. Explain what “shadow prices” are. What quantities represent sensitivity to constraints?
Questions
If \(x\) is a primal optimal, is there necessarily a \((\la,\nu)\) that satisfies the equations? I think if \(x\) is primal optimal and \((\la,\nu)\) is dual optimal, \((x,\la,\nu)\) does not necessarily satisfy. Check this.


The option to support JavaScript may be disabled in your browser. Enable JavaScript and reload this page.


Sprite Animation
Transform Animation
Transition Animation
Contact Me
Transform
Animation
Click on the ball!


Fabric.js is a framework that makes it easy to work with HTML5 canvas element.
Using Fabric.js, you can create and populate objects on canvas; objects like simple geometrical shapes — rectangles, circles, ellipses, polygons, or more complex shapes consisting of hundreds or thousands of simple paths.笔记：可以添加几何图形 You can then scale, move, and rotate these objects with the mouse;笔记：可以进行缩放、移动、旋转操作 modify their properties — color, transparency, z-index, etc.笔记：可以修改属性 You can also manipulate these objects altogether — grouping them with a simple mouse selection.笔记：可以同时选中多个对象
Download Fabric.js


The Everything Party
We
Believe
Everything
You know what's cool? Everything.
Thing 1
Omnicient!
Thing 2
All encompassing!
Thing 3
Ooh! Aaah!
Me looking at this thing
Starting a blog here randomly
Posted now
Everything is awesome. I love everything. Yay yay yay.
And more things
Picture 1
Soooo cooooool
Picture 2
Eeeeeeven cooooler
Picture 3
Toooooo muchh coooool


Launch Project
Setup Calendar
Review & Invite
Record Attendance
Pay & Close
step 1
step 2
step 3
step 4
step 5
Views
{{vm.project.views}}
Target
{{vm.project.target}}
Scheduled
{{vm.project.scheduled}}
Attended
{{vm.project.attended}}
Project Detail
Name:
{{vm.project.name}}
Respondent Pitch:
{{vm.project.respondent}}
Remote Details:
gotomeeting.james.123
Incentive:
${{vm.project.incentive}}
payments
Payment Summary
Feature not included in this integration
Deposit Balance
Total Recruitment Fee
$0.00
Total Incentive
$0
Total
$0.00
View / Edit
Feature not included in this integration
responses
Feature not included in this integration
calendars
Feature not included in this integration
bookings
Feature not included in this integration


Welcome!
change
reset
This is for fju web fundamental class.
zhou junli,study in fju,computer science.


Contact: {{ user1.email }} Phone: {{user1.phone}}
Address: : {{user1.address.street}},{{user1.address.suite}},{{user1.address.city}},{{user1.address.zipcode}} Website: {{ user1.website }}


Log In
Name
Password
Submit
Admin Panel
Drag 2-4 Player Names Into The Relevant Slots And Click Submit To Begin A Game
Player 1
Player 2
Player 3
Player 4
Clear
Submit


module BatOrd:{
..}
Traditional OCaml code, under the influence of C comparison
functions, has used int-returning comparisons (< 0, 0 or >
0). Using an algebraic datatype instead is actually nicer, both
for comparison producers (no arbitrary choice of a positive and
negative value) and consumers (nice pattern-matching elimination).
type order
=
| |
Lt |
|||
| |
Eq |
|||
| |
Gt |
(* |
An algebraic datatype for ordering.
Traditional OCaml code, under the influence of C comparison
functions, has used int-returning comparisons (< 0, 0 or >
0). Using an algebraic datatype instead is actually nicer, both
for comparison producers (no arbitrary choice of a positive and
negative value) and consumers (nice pattern-matching elimination). | *) |
type ord'a
='a => 'a => order
order
variant.type comp'a
='a => 'a => int
module type Comp ={
..}
compare
as member name instead of comp
, so that the
Comp modules can be used as the legacy OrderedType interface.
module type Ord ={
..}
let ord0 : int => order
let ord : comp 'a => ord 'a
module Ord:
let comp0 : order => int
let comp : ord 'a => comp 'a
module Comp:
let poly_comp : comp 'a
let poly_ord : ord 'a
let poly : ord 'a
Pervasives.compare
function from inria's stdlib, have
polymorphic types: they claim to be able to compare values of any
type. In practice, they work for only some types, may fail on
function types and may not terminate on cyclic values.
They work by runtime magic, inspecting the values in an untyped
way. While being an useful hack for base types and simple
composite types (say (int * float) list
, they do not play well
with functions, type abstractions, and structures that would need
a finer notion of equality/comparison. For example, if one
represent sets as balanced binary tree, one may want set with
equal elements but different balancings to be equal, which would
not be the case using the polymorphic equality function.
When possible, you should therefore avoid relying on these
polymorphic comparison functions. You should be especially careful
if your data structure may later evolve to allow cyclic data
structures or functions.
let rev_ord0 : order => order
let rev_comp0 : int => int
let rev_ord : ord 'a => ord 'a
let rev_comp : comp 'a => comp 'a
let rev : ord 'a => ord 'a
Int.ord
sorts integer by increasing
order, rev Int.ord
will sort them by decreasing order.module RevOrd:
module RevComp:
module Rev:
type eq'a
='a => 'a => bool
All ordered types also support equality, as equality can be
derived from ordering. However, there are also cases where
elements may be compared for equality, but have no natural
ordering. It is therefore useful to provide equality as an
independent notion.
let eq_ord0 : order => bool
let eq_comp0 : int => bool
let eq_ord : ord 'a => eq 'a
let eq_comp : comp 'a => eq 'a
let eq : ord 'a => eq 'a
module type Eq ={
..}
module EqOrd:
module EqComp:
module Eq:
type choice'a
='a => 'a => 'a
min
and max
.let min_ord : ord 'a => choice 'a
let max_ord : ord 'a => choice 'a
let min_comp : comp 'a => choice 'a
let max_comp : comp 'a => choice 'a
let min : ord 'a => choice 'a
min ord
will choose the smallest element, according to ord
.
For example, min Int.ord 1 2
will return 1
.
(* the minimum element of a list *)
let list_min ord = List.reduce (min ord)
let max : ord 'a => choice 'a
max ord
will choose the biggest element according to ord
.let bin_comp : comp 'a => 'a => 'a => comp 'b => 'b => 'b => int
let bin_ord : ord 'a => 'a => 'a => ord 'b => 'b => 'b => order
bin_ord ord1 v1 v1' ord2 v2 v2'
is ord2 v2 v2'
if ord1 v1 v1' = Eq
,
and ord1 v1 v1'
otherwhise.let bin_eq : eq 'a => 'a => 'a => eq 'b => 'b => 'b => bool
let map_eq : ('a => 'b) => eq 'b => eq 'a
let map_comp : ('a => 'b) => comp 'b => comp 'a
let map_ord : ('a => 'b) => ord 'b => ord 'a
map_ord Set.cardinal Int.ord
.
The input of the mapping function is the type you want to compare,
so this is the reverse of List.map
.module Incubator:{
..}


| Top |
| void | next-match | Action |
| void | previous-match | Action |
| void | search-changed | Run Last |
| void | stop-search | Action |
GtkSearchEntry implements AtkImplementorIface, GtkBuildable, GtkEditable and GtkCellEditable.
GtkSearchEntry is a subclass of GtkEntry that has been tailored for use as a search entry.
It will show an inactive symbolic “find” icon when the search entry is empty, and a symbolic “clear” icon when there is text. Clicking on the “clear” icon will empty the search entry.
Note that the search/clear icon is shown using a secondary icon, and thus does not work if you are using the secondary icon position for some other purpose.
To make filtering appear more reactive, it is a good idea to not react to every change in the entry text immediately, but only after a short delay. To support this, GtkSearchEntry emits the “search-changed” signal which can be used instead of the “changed” signal.
The “previous-match”, “next-match” and “stop-search” signals can be used to implement moving between search results and ending the search.
Often, GtkSearchEntry will be fed events by means of being
placed inside a GtkSearchBar. If that is not the case,
you can use gtk_search_entry_handle_event()
to pass events.
GtkWidget *
gtk_search_entry_new (void
);
Creates a GtkSearchEntry, with a find icon when the search field is empty, and a clear icon when it isn't.
Since: 3.6
gboolean gtk_search_entry_handle_event (GtkSearchEntry *entry
,GdkEvent *event
);
This function should be called when the top-level window
which contains the search entry received a key event. If
the entry is part of a GtkSearchBar, it is preferable
to call gtk_search_bar_handle_event()
instead, which will
reveal the entry in addition to passing the event to this
function.
If the key event is handled by the search entry and starts
or continues a search, GDK_EVENT_STOP
will be returned.
The caller should ensure that the entry is shown in this
case, and not propagate the event further.
GDK_EVENT_STOP
if the key press event resulted
in a search beginning or continuing, GDK_EVENT_PROPAGATE
otherwise.
Since: 3.16
“next-match”
signalvoid user_function (GtkSearchEntry *entry, gpointer user_data)
The ::next-match signal is a keybinding signal which gets emitted when the user initiates a move to the next match for the current search string.
Applications should connect to it, to implement moving between matches.
The default bindings for this signal is Ctrl-g.
entry |
the entry on which the signal was emitted |
|
user_data |
user data set when the signal handler was connected. |
Flags: Action
Since: 3.16
“previous-match”
signalvoid user_function (GtkSearchEntry *entry, gpointer user_data)
The ::previous-match signal is a keybinding signal which gets emitted when the user initiates a move to the previous match for the current search string.
Applications should connect to it, to implement moving between matches.
The default bindings for this signal is Ctrl-Shift-g.
entry |
the entry on which the signal was emitted |
|
user_data |
user data set when the signal handler was connected. |
Flags: Action
Since: 3.16
“search-changed”
signalvoid user_function (GtkSearchEntry *entry, gpointer user_data)
The “search-changed” signal is emitted with a short delay of 150 milliseconds after the last change to the entry text.
entry |
the entry on which the signal was emitted |
|
user_data |
user data set when the signal handler was connected. |
Flags: Run Last
Since: 3.10
“stop-search”
signalvoid user_function (GtkSearchEntry *entry, gpointer user_data)
The ::stop-search signal is a keybinding signal which gets emitted when the user stops a search via keyboard input.
Applications should connect to it, to implement hiding the search entry in this case.
The default bindings for this signal is Escape.
entry |
the entry on which the signal was emitted |
|
user_data |
user data set when the signal handler was connected. |
Flags: Action
Since: 3.16


Data¶
The BipData
objects inherit from BipElt
and are used for
representing data which means everything which is not code.
BipData
object can be created by calling the constructor with the
data address but in a more generic way it is possible to use the
GetElt()
or GetEltByName()
for recuperating them.
BipData
will be create by GetElt()
if IDA considered the
address as data or unknown. As they are inheriting from BipRefElt
it
is possible to use the xref API through them (for access to and from them).
The most basic usage will be to recuperate or set a value using the property
value()
. This property depends of the type
which can be access and modify through the type()
property,
this property return and expect a BipType
object. It is also possible
to access directly the BipElt.bytes()
of the object.
BipData
provides some static methods for accessing and
modifying data of the IDB without creating an object, in particular the
get_cstring()
which allow to get a C string from an address.
Finally it is possible to iterate on all defined BipData
using the
class method BipData.iter_heads
.
BipData API¶
-
class
bip.base.
BipData
(ea=None)¶ Class for representing and manipulating data in IDA. The object of this class represent defined and unknown data, those objects can have values or not, those objects inherit from
BipElt
.This class contains also static method for directly accessing and modifying the data from their address without passing by an object. This include the recuperation of string.
-
__init__
(ea=None)¶ Constructor for
BipData
, take the address of the data in IDA in parameter. In general it is expected to get one of those object through theGetElt()
function.Parameters: ea (int) – The address of the element in IDA. If None
the screen address is taken.Raises: BipError – If address do not correspond to data
-
original_value
¶ Property which allow to get the original value of data. This is the same as
value()
getter property but for the original bytes before they were patch.
-
value
¶ Property which return the value corresponding to the data of a numberable elements. This property works only if the
is_numerable()
andhas_data()
properties returned True. For getting value of an element which is not numerable use thebytes()
property.This property is link to the type defined or guessed by IDA and it is a good idea to assure you have the proper type before using it.
Returns: An integer representing the value of the data or None
if the data element is not numerable or do not have data.
-
__str__
() <==> str(x)¶
-
is_byte
¶ Property which allow to test if this object represent a byte (1 byte).
Returns: True if this data object represent a byte, False otherwise.
-
is_word
¶ Property which allow to test if this object represent a word (2 bytes).
Returns: True if this data object represent a word, False otherwise.
-
is_dword
¶ Property which allow to test if this object represent a dword (4 bytes).
Returns: True if this data object represent a dword, False otherwise.
-
is_qword
¶ Property which allow to test if this object represent a qword (8 bytes).
Returns: True if this data object represent a qword, False otherwise.
-
is_numerable
¶ Property which allow to test if this data element can be considered as a number for the
value()
property.Returns: True if the data is a byte, word, dword, qword or unknwon, False otherwise.
-
type
¶ Property which allow to get the type of an element. This is a wrapper for
BipType.get_at()
.Returns: An object which inherit from BipType
orNone
if it was not able to guess a type.
-
classmethod
_is_this_elt
(ea)¶ Class method which allow the function
GetElt()
to know if this the correct type for an address. Only subclasses of an element which return True will be tested byGetElt()
,BipBaseElt
return always True except ifidelt
is not of the correct type.Parameters: idelt (int) – An id representing the element, typically an address. Returns: True if this is a valid class for constructing this element.
-
static
get_byte
(ea=None, original=False)¶ Static method allowing to get the value of one byte at an address.
Parameters: - ea – The address at which recuperating the value. If
None
the screen address is used. - original – If True the value recuperated will be the original one (before a patch). Default: False.
Returns: An integer corresponding to the value at the address.
- ea – The address at which recuperating the value. If
-
static
set_byte
(ea, value)¶ Static method allowing to set the value of one byte at an address.
Parameters: - ea – The address at which changing the value.
- value – The value to set at the address.
Raises: RuntimeError – If it was not possible to change the value.
-
static
get_bytes
(ea, size, original=False)¶ Static method allowing to get the value of several bytes at an address.
Parameters: - ea – The address where to get the buffer. If
None
the screen address is used. - size – The number of bytes to get.
- original – If True the value recuperated will be the original one (before a patch). Default: False.
Returns: A byte string corresponding to the bytes at the address.
- ea – The address where to get the buffer. If
-
static
set_bytes
(ea, byt)¶ Static method allowing to set the value of one byte at an address.
Parameters: - ea (int) – The address at which changing the value.
- byt (bytes) – The buffer of bytes to set at the address. If a
string is provided in python3 it will be decoded as
latin-1
.
Raises: RuntimeError – If it was not possible to change one of the value.
-
static
get_word
(ea=None, original=False)¶ Static method allowing to get the value of one word at an address.
Parameters: - ea – The address at which recuperating the value. If
None
the screen address is used. - original – If True the value recuperated will be the original one (before a patch). Default: False.
Returns: An integer corresponding to the value at the address.
- ea – The address at which recuperating the value. If
-
static
set_word
(ea, value)¶ Static method allowing to set the value of one wordat an address.
Parameters: - ea – The address at which changing the value.
- value – The value to set at the address.
Raises: RuntimeError – If it was not possible to change the value.
-
static
get_dword
(ea=None, original=False)¶ Static method allowing to get the value of one dword at an address.
Parameters: - ea – The address at which recuperating the value. If
None
the screen address is used. - original – If True the value recuperated will be the original one (before a patch). Default: False.
Returns: An integer corresponding to the value at the address.
- ea – The address at which recuperating the value. If
-
static
set_dword
(ea, value)¶ Static method allowing to set the value of one dwordat an address.
Parameters: - ea – The address at which changing the value.
- value – The value to set at the address.
Raises: RuntimeError – If it was not possible to change the value.
-
static
get_qword
(ea=None, original=False)¶ Static method allowing to get the value of one qword at an address.
Parameters: - ea – The address at which recuperating the value. If
None
the screen address is used. - original – If True the value recuperated will be the original one (before a patch). Default: False.
Returns: An integer corresponding to the value at the address.
- ea – The address at which recuperating the value. If
-
static
set_qword
(ea, value)¶ Static method allowing to set the value of one qwordat an address.
Parameters: - ea – The address at which changing the value.
- value – The value to set at the address.
Raises: RuntimeError – If it was not possible to change the value.
-
static
get_cstring
(ea=None, size=-1)¶ Static method for getting a C string from an address.
Parameters: - ea – The address of the string. If
None
the screen address is used. - size – The size of the string. If
-1
(default), until a\
is found.
Returns: Bytes representing the string
- ea – The address of the string. If
-
static
get_ptr
(ea=None)¶ Recuperate the value of a pointer at an address. This will handle automatically the correct size of the pointer.
Parameters: ea (int) – the address at which get the pointer value. If None
the screen address is used.Returns: the pointer value
-


Component: CollectionIdP
generic module CollectionIdP(collection_id_t collectid)
Interface for fetching the collection ID associated with a collection sender instance.
Author:
Kyle Jamieson
Date:
$Date: 2006-12-12 18:23:28 $
Provides
interface
CollectionId


Andy Phung
Developer, Teacher, Basketball Enthusiast
Studying Computer Science @ San Jose State University. Born and
raised in San Francisco.
Connect with me on
LinkedIn
or message me at
<EMAIL_ADDRESS>Please take a look at my projects below and on
Github.


Criado por Rafael Gomes / @gomex
Para baixar: tinyurl.com/docker-devel
tasks:
- name: Create an empty bucket
s3:
bucket: cloudformation-workshop-gomex
mode: create
permission: public-read
- name: Upload the cf to s3 bucket
s3:
bucket: cloudformation-workshop-gomex
object: Docker.tmpl
src: Docker.tmpl
mode: put
- name: launch ansible cloudformation example
cloudformation:
stack_name: "ansible-workshop"
state: "present"
region: "us-east-2"
disable_rollback: true
template_url: https://s3.amazonaws.com/cloudformation-crossover-gomex/Docker.tmpl
template_parameters:
EnableCloudStorEfs: "yes"
KeyName: "crossover"
ManagerInstanceType: "t2.medium"
InstanceType: "t2.medium"
tags:
Stack: "ansible-cloudformation"
- user:
name: james
shell: /bin/bash
groups: admins,developers
append: yes
- user:
name: jsmith
generate_ssh_key: yes
ssh_key_bits: 2048
ssh_key_file: .ssh/id_rsa
- group:
name: somegroup
state: present
- name: install the latest version of ntpdate
package:
name: ntpdate
state: latest
- name: remove the ntpdate package
package:
name: ntpdate
state: absent
- newrelic_deployment:
token: AAAAAA
app_name: myapp
user: ansible deployment
revision: '1.0'
- name: Create a new host or update an existing host's info
local_action:
module: zabbix_host
server_url: http://monitor.example.com
login_user: username
login_password: password
host_name: ExampleHost
visible_name: ExampleName
host_groups:
- Example group1
- Example group2
link_templates:
- Example template1
status: enabled
state: present
FROM alpine:3.1
# Update
RUN apk add --update python py-pip
# Install app dependencies
RUN pip install Flask
# Bundle app source
COPY simpleapp.py /src/simpleapp.py
EXPOSE 8000
CMD ["python", "/src/simpleapp.py", "-p 8000"]
FROM golang:1.7.3
WORKDIR /go/src/github.com/alexellis/href-counter/
RUN go get -d -v golang.org/x/net/html
COPY app.go .
RUN CGO_ENABLED=0 GOOS=linux go build -a -installsuffix cgo -o app .
FROM alpine:latest
RUN apk --no-cache add ca-certificates
WORKDIR /root/
COPY --from=0 /go/src/github.com/alexellis/href-counter/app .
CMD ["./app"]
image: ruby:2.1
services:
- postgres
before_script:
- bundle install
after_script:
- rm secrets
job1:
stage: build
script:
- execute-script-for-job1


UNTAMED HEART A film review by James Berardinelli Copyright 1993 James Berardinelli
Running Length: 1:43 Rated: PG-13 (Sexual situations, language)
Starring: Christian Slater, Marisa Tomei, Rosie Perez, Kyle Secor Director: Tony Bill Producers: Tony Bill and Helen Buck Bartlett Screenplay: Tom Sierchio Music: Cliff Eidelman Released by MGM
Caroline (Marisa Tomei) is a waitress at a diner who lives with her parents and constantly gets dumped by her boyfriends. Adam (Christian Slater) is a loner who works as a busboy at the same place. As a child, he was an orphan with a bad heart, a condition which has not improved with time. The two are brought together when Adam saves Caroline from a pair of rapists. Together, they form a bond and must fight to keep their love alive despite overwhelming pressure from almost every direction.
Get out the Kleenexes and violins. If there's a method of audience manipulation that UNTAMED HEART misses, it would surprise me. This is melodrama of the worst kind. It goes straight for the heart without bothering to consider that the people watching it might actually have brains. The best single word to describe this movie is schmaltz.
It wouldn't be so bad if the manipulation was skillful. After all, that's what most tear-jerkers are - films that play upon the emotions. Unfortunately, UNTAMED HEART is saddled with heavy-handed direction and a script that should have been thrown into the garbage. Its moments of "great emotional power" are more likely to have audience members grimacing than getting misty-eyed.
The dialogue is embarrassing too. The people in this movie say some of the dumbest things. If I met someone who was spewing this kind of nonsense, it would be difficult for me to keep from breaking into fits of uncontrolled laughter. Sometimes, I think screenwriters should sit back and think about lines before they commit them to paper. If the intent had been to parody bad melodramas, the dialogue in UNTAMED HEART would have been brilliant. However, this is supposed to be a serious film.
The casting is curious. Christian Slater may be one of the more versatile actors in his age bracket, but he is horribly miscast here. For whatever reason, he never gets a handle on Adam. Most of the time, his performance is rigid - there are moments when it seems that rigor mortis has set in. On those rare occasions when he relaxes and does a little bit of acting, it becomes jarringly apparent how poor he is in the rest of the movie. For someone who has made his reputation playing cocky, somewhat obnoxious characters, a role requiring subtlety is clearly beyond his grasp.
Discussing Marisa Tomei's performance is more difficult. She's an actress with an abundance of energy and spunk, and it shines through even in this dreary little film. She possesses a tremendous ability to use facial expressions to convey emotions - a pout, a smile, a widening of the eyes. Despite those physical tools, however, she's not particularly good here. The reason is simple: she can't do dialogue, at least not in a serious or believable manner. Admittedly, most of her lines are trite or silly, but that's not a valid excuse. Her whiny voice is only occasionally capable of saying things that sound heartfelt. After viewing Ms. Tomei's standout performance in MY COUSIN VINNY, I had high hopes for her in this movie. Now I think she would do better to stick to comedy, where she seems better suited.
Then there's the issue of chemistry. In romances, this is a critical element, and it's completely absent here. Of course, it doesn't help that both of the main characters are flat, but the actors don't connect either. This is another example of where more appropriate casting might have produced a marginally better film, although the performances of Slater and Tomei are clearly not the fundamental problem with UNTAMED HEART.
At the outset, I thought this film was going to be a FRANKIE AND JOHNNY for a younger crowd. While the Pacino/Pfeiffer outing isn't my favorite film, it has a few things to recommend it. Too bad the same can't be said for UNTAMED HEART. Unless you're a fan of Slater or Tomei, or hopelessly addicted to sappy, ineptly-handled love stories, I would be hard pressed to come up with any reason to see this movie.
Rating: 5.4 (D+, *1/2)
- James Berardinelli<EMAIL_ADDRESS>.
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


overview
This is a sample of the studio art I have made.
Fox's Den - Frame - 2017 - acrylic, plastic. On the right, a close-up.
No! - 2016 - acrylic.
Bloom - 2014 - acrylic.
On the left, Extraction - 2014 - acrylic. On the right, Arboreal - Self Portrait 2013 - acrylic.
Concrete Swamp - 2013 - charcoal, colored pencil.


Toggle navigation
Storage Меринджей
Materials
Deliveries
Vendors
(current)
Submit
Link
Need to purchase
Add here the materials that are low in stock and need to be purchased.
Top Vendors
Add here the vendors with lowest prices.


SDM English Medium School
Class 10: Central Board of Secondary Education
2004 - 2014
Technology Enthusiast. Born and brought up in Mangalore area. Currently residing in Namma Bengaluru. Like to travel and play Counter Strike.
Yes, The guy in this picture is me.
CGPA: 10.00
Class 10: Central Board of Secondary Education
2004 - 2014
Agg: 96.67 %
II PUC: Karnataka Pre University Board
2014 - 2016
CGPA: 9.47
B. Tech in Computer Science
2016 - Present
Mindstix Software Labs.
Pune, Maharashtra, India
Role: Intern - Data Scientist
June 2018 to July 2018 ( 2 Months)
Center for Pattern Recognition and Machine Intelligence.
Bengaluru, Karnataka, India
Role: Student Researcher
January 2018 to Present
Microsoft Innovation Lab.
Bengaluru, Karnataka, India
Role: Student Intern
June 2017 to July 2017 ( 2 Months )
A.Vinay, Vinayaka R Kamath, Varun M, K N Balasubramanya Murthy, S Natarajan, "Sparse Locally Adaptive Regression Kernel For Face Verification", Procedia Computer Science, Volume 132, 2018, Pages 890-899, published by Elseiver.
Python. Pygame. MongoDB.
Arcade game collection. User gets to choose from three mini games namely snake mania, bounce and alien invasion. DB was used to store the high scores of users.
Android Studio. Firebase. Maps API.
Application built to help farmers and fishermen monitor the weather in their locality. The application provides temperature, humidity, wind speed using open weather api.
Google Assistant SDK. Adafruit.io. Raspberry Pi.
Built to control and monitor various appliances in and around the house. All appliances can be controlled by google assistant on your phone. Raspberry Pi was used to accomplish the task on the physical layer.
Arduino. Android Studio.
A semi automated shopping trolley aimed to improve shopping experience of customers. Arduino and android application formed the base architecture. Bluetooth module was the bridge between components. Barcode scanner on the trolley automatically adds products to the bill.
Arduino. Cryptography. Networking.
A self aware wireless sensor network which dynamically sets itself up. The nodes comprises of NRF24L01 single chip transceiver module and arduino. They are capable of identifying their neighbour and forming a network. The real-time visualization of the network is done using a tool built using Unity3D.
OpenCV. Dlib. Python.
Tool built to apply foundation, lipstick and eye shadow on the image of the subject. The model used pretrained neural networks from dlib to identify the facial features and opencv to manipulate the image pixels to apply natural looking makeup on the face of the users.
Recommender System. Flask. Machine Learning.
An adaptive quiz which understands the skill set level of the user and accordingly recommends questions. The system understands that the user has mastered the questions and displays harder questions. If the user fails to give correct answer the system reduces the difficulty level for him.
OpenCV. Color Correction. Dlib. Flask.
Tool to detect the skin tone of an individual. The face is detected from the image using dlib and color on the images are convereted to its true colors by applying colour correction algorithms like retinex, von kries on the images. The skin pixels are then extracted by thresholding. Skin tone is detected based on these pixels. A visualization tool using Flask was around this.
RasaNLU. RestAPI. Elasticsearch.
Bot built to deliver information about cosmetic products for an US based MNC. The bot used RasaNLU to understand the intents and entites and the model around it fetched the data from the elasticsearch database. RestAPI was built around it to both fetch the data from the database and deliver the message to the application. The UI was built on swift for IOS and android studio for android.
We rise by lifting others. We make a living by what we get, but we make a life by what we give. I know what it's like to loose. To feel so desperately that you're right, yet to fail nonetheless. Dread it. Run from it. Destiny still arrives.


|
SVG plot
|
Simple plot of measurements with uncertainty and other information of 1D data. More...
#include <boost/quan/unc.hpp>
#include <boost/quan/meas.hpp>
#include <boost/svg_plot/detail/functors.hpp>
#include <boost/svg_plot/svg_1d_plot.hpp>
#include <boost/svg_plot/show_1d_settings.hpp>
#include <iostream>
#include <vector>
#include <iterator>
#include <algorithm>
Functions | |
| int | main () |
Simple plot of measurements with uncertainty and other information of 1D data.
An example to demonstrate simple 1D plot using two vectors, including showing values with uncertainty information as 'plus minus' and degrees of freedom estimates as well as date and time stamp, order and ID.
| int main | ( | ) |


Exodus 30:32
Upon man's flesh shall it not be poured, neither shall ye make any other like it, after the composition of it: it is holy, and it shall be holy unto you.


We buy users!
- reintermediate scalable ROI
- grow sticky interfaces
- iterate end-to-end users
- productize user-centric niches
- target B2C channels
- repurpose strategic eyeballs
- architect transparent models
- incentivize revolutionary synergies
- reintermediate plug-and-play infomediaries
- expedite B2B web services
- e-enable holistic relationships
- brand open-source bandwidth
- empower ubiquitous infomediaries
- recontextualize integrated platforms
- strategize interactive architectures


--- layout: post title: "In the News (On the Airwaves): Community Conversations" date: 2022-01-31 15:00:00 +0000 tags: image: https://s3.amazonaws.com/audreywatters/2017-11-03-news.jpg imagecredits: https://www.flickr.com/photos/62693815@N03/6277209256 ---
I talked with EDUCAUSE's president John O'Brien about Teaching Machines (and stuff) as part of his "Community Conversations" series. You can watch the video here.


Toggle navigation
Home
Menu
Feedback
Profile
Change Password
Logout
shop cart
2
Red Tape Shoes
1 x $ 34.00
cancel
Brave Sweater
1 x $ 32.00
cancel
Subtotal:
$73.00
view cart
Checkout
Menu
Very tasteful & hygienically healthiest meals
Home
Menu
All
Salads
Breakfast
Lunch
Starters
drinks
Add To Cart
Tea
$24.95
Add To Cart
Coffee
$38.95
Add To Cart
Pasta
$34.95
Add To Cart
Chicken Biryani
$29.95
Add To Cart
Spring Roll
$13.95
Add To Cart
Club Sandwitch
$13.95
Add To Cart
Samosa (Chicken)
$24.95
Add To Cart
Samosa (Potato)
$23.95
Add To Cart
Grilled Seafood Paella
$34.95
Add To Cart
Cannoli Cream Cheese
$34.95
Add To Cart
Grilled American Fillet
$54.95
Add To Cart
Roasted Steak Roulade
$14.95


class MusicComponent : Component, Poolable
Component for music/streamed audio
MusicComponent(music: Music)
MusicComponent()
var music: Music?
fun reset(): Unit


Physical recreation through games and sports has been an important part of the Institute since its inception.Today, the Institute has some of the best facilities in a number of games and sports and awards proficiencies in 14 games.In order to motivate the students and to get them interested in sports, a special scheme of NSO (National Sports Organisation) has been started from the session 2007-08.


Customers
$325
2 estimates
$375
10 unbilled items
$1390
10 open invoices
$1312
5 overdue
$570
14 paid last 30 days
| customer | pending invoices | balance | action | |
|---|---|---|---|---|
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 | ||
|
AS
Ankur Singhal
Amy's Bird Sanctuary
(650)333-5111
|
1 Open Invoices | $ 54.00 |


Nsvg for vibeOS
Nsvg for vibeOS is a port of Nsvg by cojmar (GitHub). Nsvg for vibeOS was ported by ctaetcsh.
Continue


[§128D-14] Public participation. Public participation activities may be implemented by the department and required of responsible parties, in accordance with the state contingency plan, or any other state rule. [L 1990, c 298, pt of §17]


Package for optimizing regular numeric problems in optically stimulated luminescence dating, such as: equivalent dose calculation, dose rate determination, growth curve fitting, decay curve decomposition, statistical age model optimization, and statistical plot visualization.
| Version: | 2.6 |
| Depends: | R (≥ 2.15.3) |
| Imports: | graphics, stats, utils, grDevices |
| Published: | 2018-07-26 |
| Author: | Jun Peng [aut, cre], Bo Li [aut], Jorge More [ctb], Burton Garbow [ctb], Kenneth Hillstrom [ctb], John Burkardt [ctb], Paul Gilbert [ctb], Ravi Varadhan [ctb] |
| Maintainer: | Jun Peng <pengjun10 at mails.ucas.ac.cn> |
| License: | GPL-3 |
| URL: | https://CRAN.R-project.org/package=numOSL |
| NeedsCompilation: | yes |
| Citation: | numOSL citation info |
| CRAN checks: | numOSL results |
| Reference manual: | numOSL.pdf |
| Package source: | numOSL_2.6.tar.gz |
| Windows binaries: | r-devel: numOSL_2.6.zip, r-release: numOSL_2.6.zip, r-oldrel: numOSL_2.6.zip |
| OS X binaries: | r-release: numOSL_2.6.tgz, r-oldrel: numOSL_2.6.tgz |
| Old sources: | numOSL archive |
Please use the canonical form https://CRAN.R-project.org/package=numOSL to link to this page.


Rsuty Steele
Hi, I'm dog. Woof!
Some of my favorite place
The beach
The dog park
The fire hydrant
Make sure to follow me on
Instagram


Build onto your own driver card by adding a new car.
Not a Member of the Crew? Sign Up Here
Already a Member of the Crew? Sign In Here


Sensors
Overview
the dsd6 contains several sensors.
The heart rate sensor is the pah8001 from Pixart.
I used the Max44009 as a template to setup the pah8001 as a lightsensor.
Settings
the lightsensor is on the I2C bus, but it needs to be powered (pin 26), otherwise the I2C crashes. I modified the board definitionfile so as if it contains an external powerregulator which gets powered first.


GO BACK
: maps, sets, key, value, duplicates, weak maps, weak sets
Definitions
- are similar to in that they can map a
to a
- are similar to except that duplicates are not
allowed
Maps
- Prior to ES6, when you needed to map to , you would
turn to but this has many drawbacks:
- The of objects means there could be unintended
mappings
- No easy way to know how many mappings there are in an object
- must be or ,
preventing you from mapping objects to values
- do not guarantee the order of their properties
- The object address these deficiencies:
const myMap = new
Map();
Map Methods and Properties
- You can assign using the method:
myMap.set(key,
value);
- The method retrieves the value for a :
myMap.get(key);
- The property returns the number of mappings:
myMap.size;
- The method returns if a map has a key:
myMap.has(key);
- Use to the keys, to get the values, and
to get an array of the
Weak Maps
- A is identical to a except: its keys must be
objects, keys can be garbage collected, and it cannot be iterated or cleared
Sets and Weak Sets
- A is a collection of data where duplicates are not allowed:
const
mySet = new Set();
- Use to add elements, to retrieve
the size , and to delete an element.
- A can only contain objects, can be garbage collected, but cannot be
iterated (making them very rare)
- can be used to determine if an object is or is not in a set:
myWeakSet.has(object);
Code


Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the last
Scroll to the third
Disable
Enable


What's cooking at DBC?
A Reflection on Kitchen vs. Table
February 8, 2015
So here we are, at the end of Week 1 of Phase 1 at Dev Bootcamp. I am so happy to have decided to apply, and then enroll with DBC. The whole culture really speaks to me.
I love that DBC seems to care about their students as people. This is evident in the way that they kind of filter the kind of students they want. Passionate, Humble, Confident, Commited, Inspired, Hungry, Empathetic... these are just a few of the traits DBC is lookng for in its students.
Why is this so important? Does it really matter? Isn't it just enough to learn what you have to learn? No, it's not. DBC likes to ensure their students are working in a comfortable environment. In the Fireside Chat, Shereef made an excellent point. The students need to possess these qualities, because these are people you are going to be spending hours on top of hours with. No one wants to work with an arrogrant or obnoxious person, no matter how good they are at their job.
In addition to caring about a comfortable and pleasant work environment, DBC also cares about the physical and mental well-being of their students. Yoga! This is so that we get that much needed mental break and don't crash.
I am all about creativity, I'm all about health and well-being, and I'm all about tech. DBC and me? I think we'll get along just fine :) So far at the end of Week 1, I feel 110% sure that DBC was the right choice for me. I am really looking forward to meeting others with similar goals; those looking to grow as individuals and as developers.
For those of you who are considering Dev Bootcamp, it's definitely a great experience so far! The networking and social aspect alone are great. The prep work is so clear. There's just nothing negative to say so far. I'm beyond excited.
What about my fellow Pocket Gophers? How are you guys feeling? Looking forward to reading your blogs. Will check them out via Twitter. Good luck on Week 2!
- Geovanna
-
Click here for more posts, or select a title below:
- Git It? Got It? Good!
- Are You In or Out?


Food suggestions is our game and we are committed to bring you the best.
Adding your foodviews and ratings on Bananaa is open to all and everyone is invited to do so. However, before we add a restaurant on Bananaa, our team does a pretty decent job of conducting a small research for it.
We go over all the possible social media platforms (you name it), collect suggestions from people, conduct personal interviews and come up with a list of most recommended food at a restaurant, before we open it to the community to refine the results.
That way, we do our homework before enlisting a restaurant on Bananaa and make sure you never go wrong with your order.
And what happens after that ?
Well, after that its you and your friend's foodviews and ratings, that keep changing the shape of it.
So go ahead, be a part of the community and recommend the food you love and help us in making this world a better place to eat.
Eat all the good food - BANANAA!


Important to note that ::slotted can only select top-level children, it can't do descendant selectors.
The ::slotted selector has low specificity, any root level defined selector has a higher specificity.
I am a paragraph in the root.


Welcome, {{ username }}
Sensors:
{% for item in sensors %}
{% endfor %}
Triggers
{% for trigger in triggers %}
[!] {{ trigger.sensor.name }} triggered on {{ trigger.time_triggered }} by the following intruder
{% endfor %}
Live stream
{% endblock content %}


This is an example styleguide built with the Hologram Github Theme.
Put any content for the index page here.


Refresh Instanews page
Choose a section:
Home
Arts
Business
Sports
Technology
Fashion
Loading...
Please choose another section.


Ismail ibn Musa Menk, also known as Mufti Menk, He is the head of the fatwa department of the Zimbabwe.
Here's a timeline of Mufti Ismail Menk
Biography-Menk was born in Harare, where he undertook his initial studies with his father, memorizing the Quran and learning Arabic, Urdu and Hanafi fiqh. He went to St. John's College (Harare) for senior school. He later specialised in Hanbali fiqh at the Islamic University of Madinah.
Work-Menk is a Muslim cleric from Zimbabwe. He is the head of the fatwa department of the Zimbabwe and he's known especially in eastern Africa and teaches internationally.
View-Menk opposes terrorism and has pledged his aid in curbing religious extremism in the Maldives. On 31 March 2018, he urged Liberian Muslims to avoid Muslim-Christian violence, arguing that Muslims and Christians are brothers and sisters from one father, the prophet Adam. He blames western media for misleading the world that Muslims are generally terrorists. According to Gulf News, Menk said that everyone on this earth is a part of a family and has one maker, therefore, no one has the right to force any belief or faith on another.
Controversy concerning views on homosetuality- The Huffington Post has described Menk as an "openly homophobic Islamic preacher" who has denounced gay people as "filthy". In 2013, he was due to visit six British universities – Oxford, Leeds, Leicester, Liverpool, Cardiff and Glasgow – but the speaking tour was cancelled after student unions and university officials expressed concern about his views. Menk's controversial statement included these words: "How can you engage in acts of immorality with the same sex?... The Qur'an clearly says it is wrong what you are doing... Allah speaks about how filthy this is... With all due respect to the animals, [homosexuals] are worse than animals."
Ban from Singapore- On 31 October 2017, Singapore banned Menk from its borders because it believes he expresses views incompatible with its multicultural laws and policies. According to the Straits Times, he has asserted that "it is blasphemous for Muslims to greet believers of other faiths during festivals such as Christmas or Deepavali". Singapore's Ministry of Home Affairs said in a statement that its decision to reject Menk's application for a short-term work pass stemmed from his "segregationist and divisive teachings".
The Majlisul Ulama Zimbabwe, Menk's own institution, released a statement to express "regret and dismay" regarding the ban. It said that Menk was an "asset to multi‐cultural, multi‐religious Zimbabwe" and that viewers should "listen to his sermons in full" and not "edited clips of a few minutes" to see the moderate path he has chosen.
Being generous is not confined to material wealth. Be generous with your good character and expressions too. It costs nothing and make a world of difference.
-- Mufti Ismail Menk
If you have time, you should read more about this incredible human being on his