As an experienced Backend Engineer with expertise in Golang, I had independently designed and developed gambling games web service, which integrated with several micro-services and deployed to the AWS platform.
Participated in game development for the 15 members team, acted as the communication bridge within team groups. Designed software architecture, and implemented nearly 40% of functions.
Also, like to share the knowledge I learned, re-described the problems encountered, and published solutions in my blogs which had 200k page views from 2017 to 2018.
© 2015-2019 Si Yuan Wang. Powered by GitHub Pages. Theme Template By Blackrock Digital.
GPA: 4.32/ 4.50
GPA: 3.94/ 4.50


--- layout: archive title: Zulip Chat Archive permalink: /stream/113488-general/topic/Program.20verification.html ---
The stub for the program verification chapter in "Programming in Lean" says "Give some natural examples, for example, proving properties of functions of lists, sorting routines, properties of the extended gcd. Discuss two styles: separating functions and properties, and combining them, using subtypes."
Are any of these examples implemented, even though the chapter is incomplete? Alternatively, are there any other particularly nice examples of such proofs that someone could point me at?
list.merge_sort
is a verified sorting algorithm
list.reverse_reverse
is a classic example of proving a property of a program
they are pretty much all implemented
Thanks for the pointers!
Most of the mathlib examples use the "separate function and properties" style
Minchao Wu presented a pretty good example of the "dependent types" proof approach at lean together this week
{% endraw %}Last updated: Apr 24 2020 at 19:02 UTC


"MARCHESHVAN "the post-biblical name of the month which was the eighth of the sacred and the second of the civil year of the Jews. It began with the new moon of our November. It is once called Bul (1 Kings 6:38). Assyrian, Arah Samna, “eighth month,”
"MARCHESHVAN "the post-biblical name of the month which was the eighth of the sacred and the second of the civil year of the Jews. It began with the new moon of our November. It is once called Bul (1 Kings 6:38).
Assyrian, Arah Samna, “eighth month,”


| 1 | /* | |
| 2 | * Licensed to the Apache Software Foundation (ASF) under one or more | |
| 3 | * contributor license agreements. See the NOTICE file distributed with | |
| 4 | * this work for additional information regarding copyright ownership. | |
| 5 | * The ASF licenses this file to You under the Apache License, Version 2.0 | |
| 6 | * (the "License"); you may not use this file except in compliance with | |
| 7 | * the License. You may obtain a copy of the License at | |
| 8 | * | |
| 9 | * http://www.apache.org/licenses/LICENSE-2.0 | |
| 10 | * | |
| 11 | * Unless required by applicable law or agreed to in writing, software | |
| 12 | * distributed under the License is distributed on an "AS IS" BASIS, | |
| 13 | * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. | |
| 14 | * See the License for the specific language governing permissions and | |
| 15 | * limitations under the License. | |
| 16 | */ | |
| 17 | package org.apache.commons.mail; | |
| 18 | ||
| 19 | import java.net.URL; | |
| 20 | ||
| 21 | /** | |
| 22 | * This class models an email attachment. Used by MultiPartEmail. | |
| 23 | * | |
| 24 | * @since 1.0 | |
| 25 | */ | |
| 26 | public class EmailAttachment | |
| 27 | { | |
| 28 | /** Definition of the part being an attachment. */ | |
| 29 | public static final String ATTACHMENT = javax.mail.Part.ATTACHMENT; | |
| 30 | ||
| 31 | /** Definition of the part being inline. */ | |
| 32 | public static final String INLINE = javax.mail.Part.INLINE; | |
| 33 | ||
| 34 | /** The name of this attachment. */ | |
| 35 |
1
1. |
private String name = ""; |
| 36 | ||
| 37 | /** The description of this attachment. */ | |
| 38 |
1
1. |
private String description = ""; |
| 39 | ||
| 40 | /** The path to this attachment (ie c:/path/to/file.jpg). */ | |
| 41 |
1
1. |
private String path = ""; |
| 42 | ||
| 43 | /** The HttpURI where the file can be got. */ | |
| 44 | private URL url; | |
| 45 | ||
| 46 | /** The disposition. */ | |
| 47 |
1
1. |
private String disposition = EmailAttachment.ATTACHMENT; |
| 48 | ||
| 49 | /** | |
| 50 | * Get the description. | |
| 51 | * | |
| 52 | * @return A String. | |
| 53 | * @since 1.0 | |
| 54 | */ | |
| 55 | public String getDescription() | |
| 56 | { | |
| 57 |
2
1. getDescription : replaced return value with "" for org/apache/commons/mail/EmailAttachment::getDescription → KILLED 2. getDescription : mutated return of Object value for org/apache/commons/mail/EmailAttachment::getDescription to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return description; |
| 58 | } | |
| 59 | ||
| 60 | /** | |
| 61 | * Get the name. | |
| 62 | * | |
| 63 | * @return A String. | |
| 64 | * @since 1.0 | |
| 65 | */ | |
| 66 | public String getName() | |
| 67 | { | |
| 68 |
2
1. getName : replaced return value with "" for org/apache/commons/mail/EmailAttachment::getName → KILLED 2. getName : mutated return of Object value for org/apache/commons/mail/EmailAttachment::getName to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return name; |
| 69 | } | |
| 70 | ||
| 71 | /** | |
| 72 | * Get the path. | |
| 73 | * | |
| 74 | * @return A String. | |
| 75 | * @since 1.0 | |
| 76 | */ | |
| 77 | public String getPath() | |
| 78 | { | |
| 79 |
2
1. getPath : replaced return value with "" for org/apache/commons/mail/EmailAttachment::getPath → KILLED 2. getPath : mutated return of Object value for org/apache/commons/mail/EmailAttachment::getPath to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return path; |
| 80 | } | |
| 81 | ||
| 82 | /** | |
| 83 | * Get the URL. | |
| 84 | * | |
| 85 | * @return A URL. | |
| 86 | * @since 1.0 | |
| 87 | */ | |
| 88 | public URL getURL() | |
| 89 | { | |
| 90 |
2
1. getURL : replaced return value with null for org/apache/commons/mail/EmailAttachment::getURL → KILLED 2. getURL : mutated return of Object value for org/apache/commons/mail/EmailAttachment::getURL to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return url; |
| 91 | } | |
| 92 | ||
| 93 | /** | |
| 94 | * Get the disposition. | |
| 95 | * | |
| 96 | * @return A String. | |
| 97 | * @since 1.0 | |
| 98 | */ | |
| 99 | public String getDisposition() | |
| 100 | { | |
| 101 |
2
1. getDisposition : replaced return value with "" for org/apache/commons/mail/EmailAttachment::getDisposition → KILLED 2. getDisposition : mutated return of Object value for org/apache/commons/mail/EmailAttachment::getDisposition to ( if (x != null) null else throw new RuntimeException ) → KILLED |
return disposition; |
| 102 | } | |
| 103 | ||
| 104 | /** | |
| 105 | * Set the description. | |
| 106 | * | |
| 107 | * @param desc A String. | |
| 108 | * @since 1.0 | |
| 109 | */ | |
| 110 | public void setDescription(final String desc) | |
| 111 | { | |
| 112 |
1
1. setDescription : Removed assignment to member variable description → KILLED |
this.description = desc; |
| 113 | } | |
| 114 | ||
| 115 | /** | |
| 116 | * Set the name. | |
| 117 | * | |
| 118 | * @param aName A String. | |
| 119 | * @since 1.0 | |
| 120 | */ | |
| 121 | public void setName(final String aName) | |
| 122 | { | |
| 123 |
1
1. setName : Removed assignment to member variable name → KILLED |
this.name = aName; |
| 124 | } | |
| 125 | ||
| 126 | /** | |
| 127 | * Set the path to the attachment. The path can be absolute or relative | |
| 128 | * and should include the filename. | |
| 129 | * <p> | |
| 130 | * Example: /home/user/images/image.jpg<br> | |
| 131 | * Example: images/image.jpg | |
| 132 | * | |
| 133 | * @param aPath A String. | |
| 134 | * @since 1.0 | |
| 135 | */ | |
| 136 | public void setPath(final String aPath) | |
| 137 | { | |
| 138 |
1
1. setPath : Removed assignment to member variable path → KILLED |
this.path = aPath; |
| 139 | } | |
| 140 | ||
| 141 | /** | |
| 142 | * Set the URL. | |
| 143 | * | |
| 144 | * @param aUrl A URL. | |
| 145 | * @since 1.0 | |
| 146 | */ | |
| 147 | public void setURL(final URL aUrl) | |
| 148 | { | |
| 149 |
1
1. setURL : Removed assignment to member variable url → KILLED |
this.url = aUrl; |
| 150 | } | |
| 151 | ||
| 152 | /** | |
| 153 | * Set the disposition. | |
| 154 | * | |
| 155 | * @param aDisposition A String. | |
| 156 | * @since 1.0 | |
| 157 | */ | |
| 158 | public void setDisposition(final String aDisposition) | |
| 159 | { | |
| 160 |
1
1. setDisposition : Removed assignment to member variable disposition → KILLED |
this.disposition = aDisposition; |
| 161 | } | |
| 162 | } | |
Mutations | ||
| 35 |
1.1 |
|
| 38 |
1.1 |
|
| 41 |
1.1 |
|
| 47 |
1.1 |
|
| 57 |
1.1 2.2 |
|
| 68 |
1.1 2.2 |
|
| 79 |
1.1 2.2 |
|
| 90 |
1.1 2.2 |
|
| 101 |
1.1 2.2 |
|
| 112 |
1.1 |
|
| 123 |
1.1 |
|
| 138 |
1.1 |
|
| 149 |
1.1 |
|
| 160 |
1.1 |


Lisk (LSK) Trading Starts November 19!
by krakenfxWe are pleased to announce that Lisk (LSK) will be listed on Kraken starting November 19.
What is Lisk (LSK)?
Lisk is an open source blockchain, powered by a native utility token called LSK, that is focused on accessibility. Lisk allows developers to program in JavaScript, one of the most robust and popular coding languages in the world, allowing those unfamiliar with blockchain technology to build applications on the network.
- Lisk employs a Delegated Proof of Stake (DPoS) consensus model – transactions are added by a revolving list of 101 delegates, who are elected by LSK token holders.
- Lisk utilizes a native utility token called LSK. The token is used to perform various functions on the platform, such as utilizing dapps or voting for delegates.
- Each new dapp is placed on a Lisk sidechain, which is connected to the main Lisk network. This structure provides throughput efficiencies and also allows developers to create native tokens for their applications.
- A new block is added to the network every 10 seconds and the default fee to send a transaction is 0.1 LSK ($.07)
- Lisk was founded in early 2016 by Max Kordek and Oliver Beddows; it is headquartered in Zug, Switzerland
- Project website: https://lisk.io/
What time will funding and trading start?
- Funding: Kraken will enable deposits and withdrawals for LSK at approximately 14:30 UTC on November 19
- Trading: The first trades will start shortly after funding is enabled as sell orders cannot be placed until deposits clear (see the required confirmation times for deposits below)
- Updates will be posted on the status page near launch time
Trading Pairs
- LSK/USD, LSK/EUR, LSK/XBT, LSK/ETH
How to deposit
- Navigate to Funding > Tick “Show all assets” or Search for LSK > Click “Deposit” next to Lisk (LSK), then generate a deposit address and send LSK to this address
- For a visual guide, see our support article on generating new deposit addresses
Confirmations Required Before Deposits Credit
- 303 confirmations
LSK Stats
Price History
- 2016 ICO: Initial distribution was 100,000,000 LSK
- All-Time High: $39.31 USD (Jan 07, 2018)
- All-Time Low: $0.095652 USD (Mar 2, 2017)
- Current: $0.752681 USD (Nov 13, 2019)
- Market Cap: $91,426,496 USD (Nov 13, 2019)
Supply
- Circulating: 121,467,801 LSK
- Total: 136,499,952 LSK
Which services will LSK be available for?
Available
Not (yet) available
Will Kraken list more assets?
Yes! But our policy is to never reveal any details until shortly before launch – not even about which assets we are considering. Our client engagement specialists cannot answer any questions about which assets we may be listing in the future.
Trade with caution
Limit orders are recommended when trading starts since the markets may be illiquid initially. Be extremely careful with market orders and orders that trigger market orders (e.g. stop loss).
Invest with caution
Listing an asset or token for trade is not a recommendation to buy, sell, or participate in the associated network.


Execution of EPC contract for E&M repair workshop on turnkey basis.
Project : Field workshop for khadia OCP.
Ownner : Northern Coalfields Limited,Singrauli.
Execution of EPC Contract for Field Workshop on turnkey basis.
Project : Manufacturing, supplying and laying of New Pipeline and Rehabilitation of Old Pipelines for IWSS of NCL
Ownner : Northern Coalfields Limited,Singrauli.
Manufacturing,supplying and laying of 1000 mm dia new pipeline.
Project : Water conveying and water treatment packages
Ownner : Northern Coalfields Limited,Mahanadi.
Execution of nine number water conveying and treatment packages of 100 km length (approx).
Project : Water treatment plant for Lakhanpur Group of Mines
Ownner : Mahanadi Coalfields Limited, Sambalpur.
Construction of Water Treatment Plant of 7.26 MLD capacity for IWSS Lakhanpur Group of Mines.
Project : Construction of JNV School Complex for Durgapur
Ownner : Jawahar Navodaya Vidyalaya Samiti, Ministry of HRD,Govt. of India.
Construction of JNV School Complex including Hostel, Residential Quarters.


emnlp emnlp2013 emnlp2013-142 emnlp2013-142-reference knowledge-graph by maker-knowledge-mining
Source: pdf
Author: Marius Pasca
Abstract: This paper introduces a method for extracting fine-grained class labels ( “countries with double taxation agreements with india ”) from Web search queries. The class labels are more numerous and more diverse than those produced by current extraction methods. Also extracted are representative sets of instances (singapore, united kingdom) for the class labels.


{% extends "static_section.html" %} {% block content %}
Made for the beginner, this DVD teaches safe and effective massage for home health. Follow along with Kathy Gruver, a Certified Medical Massage Therapist, to learn a comprehensive back and neck massage in the comfort of your own home.
Already massage your loved ones? Hone your technique and protect your hands.
Always wanted to learn massage?
Either way, this DVD is for you!
Continue your education by adding one of Kathy's great books,
Body-Mind Therapies for the Bodyworker and other health practitioners
or The Alternative Medicine Cabinet
To order by phone, please call<PHONE_NUMBER>.
Credit cards accepted over the phone.
The instruction was easy to understand and detailed without being monotonous; diction was clear, distinct and expressive; music was original and soothing; and the organization was good, I particularly liked the 'with' and 'without' instruction sections. I can't wait to get home and try it.
~ Steven B, ND
I LOVE this DVD!
~ Marla, Life Coach
{{testimonial.description}}
~ {{testimonial.source}}


Remember, a Jedi can feel the Force flowing through him. You mean it controls your actions? Partially. But it also obeys your commands. Hokey religions and ancient weapons are no match for a good blaster at your side, kid. You don't believe in the Force, do you? Kid, I've flown from one side of this galaxy to the other. I've seen a lot of strange stuff, but I've never seen anything to make me believe there's one all-powerful force controlling everything. There's no mystical energy field that controls my destiny. It's all a lot of simple tricks and nonsense. I suggest you try it again, Luke.  With the blast shield down, I can't even see. How am I supposed to fight?  Don't trust them.
That malfunctioning little twerp. This is all his fault! He tricked me into going this way, but he'll do no better. Wait, what's that? A transport! I'm saved! Over here! Help! Please, help! Artoo-Detoo! It's you! It's you!
Hello there! Come here my little friend. Don't be afraid. Don't worry, he'll be all right. What happened? Rest easy, son, you've had a busy day.  Ben? Ben Kenobi! Boy, am I glad to see you! The Jundland wastes are not to be traveled lightly. Tell me young Luke, what brings you out this far? Oh, this little droid! I think he's searching for his former master...I've never seen such devotion in a droid before...there seems to be no stopping him. He claims to be the property of an Obi-Wan Kenobi. Is he a relative of yours? Do you know who he's talking about?
Orbiting the planet at maximum velocity. The moon with the Rebel base will be in range in thirty minutes. This will be a day long remembered. It has seen the end of Kenobi and it will soon see the end of the Rebellion.
Run, Luke! Run!


A close friend of mine is getting ready to leave for a 6 month trip to Bolivia. This being his last weekend here, we decided to throw a party for
him. He and another friend had both expressed some interest in trying
methylone after I had discussed it with them, and this seemed like the
perfect opportunity. Although I'd done it the past weekend, I decided to
join them, so I measured out three doses of 150mg each and brought them to
the party. I had considered bringing higher doses, but I figured it would
be better to start them low and see how they respond. The setting of the
party was at a friends house, with at most 20 people present, a DJ playing
music, party decorations, snacks, etc. A typical social gathering.
At around 9 PM, I told my two friends that I'd brought the
methylone and asked if they were still interested. They mentioned some
mixed feelings, worried that this would be another 'shitty internet drug'
that would leave them feeling poisoned (as some tryptamines and 2C-T-7
had), but they decided to give it a shot after I reassured them this
wasn't another pukefest trip. We all dosed together at around 9:15. The
first friend is a male, age 22. I don't know his weight, but he's kind of
large. The second friend is female, also 22, weighing probably around 110
pounds. Both are very experienced psychedelics users, having used LSD,
psilocybin, MDMA, mescaline, DPT, 5-MeO-DMT, DMT (ayahuasca), 5-MeO-DIPT,
2C-T-7, and perhaps a few others. While both like psychedelics in general,
the nausea of ayahuasca and 2C-T-7 and the hideous experience of snorting
DPT has left them somewhat skeptical about many of the currently available
analogues. I can certainly understand this position.
At around 9:45, we all began to feel initial effects. The girl said 'I
feel good 'several times, sounding almost surprised. The guy said it felt
like the initial phase of a psychedelic. By 10 PM, we were all more or
less at peak effects. They both described the effects as being similar to
the initial phase of MDMA, but toned down and subtly different. We went
for a short walk outside under the full Purim moon, which was brightly
illuminating the large yard. It was pretty cold, but this didn't seem to
bother anyone.
Socializing was definately enhanced, but there was none of the
emotional outpouring of MDMA. It was a nice friendly evening. All of us
felt that it was a very relaxed and happy state of mind. By around 11:30,
we were all coming down. Smoking some cannabis seemed to diminish most of
the remaining effects, though it seemed to enhance some aspects. By 12:30
AM, the guy was feeling a little tired and decided to go home. I stayed
until around 2 AM before I felt comfortable driving home.
Both my friends expressed a willingness to do it again, but at a
higher dose.
Personally, I found no noticable difference between this 150mg
experience and the 120mg experience of the past weekend (less than a week
elapsed - Sunday afternoon to Friday night). I wonder if tolerance played
a role? Probably. Were it not for the fact that my friend was going to
Bolivia, I would not have taken it again so soon. I think taking this drug
more than once a month would be a waste... not to mention an unnecessary
risk, considering the highly experimental nature of this chemical. Taking
this drug in a social setting was much more rewarding than taking it by
myself - the exact opposite of MDMA. I would like to try it in a situation
such as a nature hike with 2 or 3 friends... I suspect that would be the
optimal use for this material.
Experience Reports are the writings and opinions of the individual authors who submit them.
Some of the activities described are dangerous and/or illegal and none are recommended by Erowid.


WITNESS LIST State Affairs Committee February 24, 2003 - 1:30P SB 202 FOR: Thompson, Jay (GPM Life/TALHI), Austin, TX SB 319 FOR: Gerstenschlager, Merry Lynn (Texas Eagle Forum), Dallas, TX Lanier, Mark (Lanier Law Firm), Houston, TX Lewis, Bill (Mothers Against Drunk Driving), Austin, TX Love, Dr. Mikeal (Self), Austin, TX Pojman, Joseph (Texas Alliance for Life, Inc.), Austin, TX Salinas, Norma Jean (Self), San Antonio, TX AGAINST: Hull, Mike (Texas Medical Association, Texas Association of Obstetrics & Gynecologists, and others), Austin, TX Registering, but not testifying: For: Daly, Richard (Texas Catholic Conference), Austin, TX Kral, Joe (Texas Right to Life), Houston, TX Nuckols, Dr. Beverly B. (Texas Physicians Resource Council), New Braunfels, TX Stike, Davida (Self), Pflugerville, TX Against: Boucher, Terry (Texas Osteopathic Medical Association), Austin, TX Forbes, Tom (Texas Society of Anesthesiologists), Austin, TX Forde, Katherine (Self), Spring, TX Milford, Michelle (Self), Garden Ridge, TX Ramsey, Lesley (Texas Campaign for Women's Health), Austin, TX Romberg, Peggy (Women's Health & Family Planning Association of Texas), Austin, TX Strauss, Shelly (Self), Austin, TX Tierney, Danielle (Planned Parenthood of the Texas Capital Region), Austin, TX SB 319 Against SB319 but for CS left pending AGAINST: McLaughlin, Kae (Texas Abortion & Reproductive Rights Action League (TARAL)), Austin, TX Registering, but not testifying: Against: Bilbrey, Jennifer (Planned Parenthood of San Antonio-So. Ctrl TX), San Antonio, TX Haverlah, Sandra (Planned Parenthood of North Texas), Austin, TX Noble, Shannon (Women's Issues Network), Dallas, TX Paffe, Heather (Texas Association of Planned Parenthood Affiliates), Austin, TX SB 319 Registering for CS left pending FOR: Riddering, Hannah (Texas National Organization for Women), Austin, TX Registering, but not testifying: For: Wilt, Michael (American Civil Liberties Union), Austin, TX SB 321 AGAINST: Bosse, Portia (County Judges and County Commissioners Association of Texas), Austin, TX ON: Winn, Elizabeth H. (Secretary of State), Austin, TX SB 360 FOR: Meek, Michael (Texas Chamber of Commerce Executives), Austin, TX Roberts, Art (Texas Chamber of Commerce Executives), Austin, TX Wieneke, Robert (Rockwall County Chamber of Commerce), Rockwall, TX Registering, but not testifying: For: Christian, George (Texas Civil Justice League), Austin, TX Against: Johnson Hebert, Nancy (Texas Trial Lawyers Association), Houston, TX


Realtime Streams,
the horizontal framework, makes management, monitoring,
real-time analytics and visualization of live streaming data a
cinch and provides a visual code free interface, allowing the
user to create pipelines of real time streams at ease and also
depict their visualizations as a presentation layer.


GET https://apis.wso2.com/api/am/store/v0.16/applications/{applicationId}/keys/{keyType}
This operation can be used to retrieve key details of an individual application specifying the key type in the URI.
Not required
| Type | Name | Description | Schema | Default |
|---|---|---|---|---|
| Path |
applicationId required |
Application Identifier consisting of the UUID of the Application. |
String | |
| Path |
keyType required |
**Application Key Type** standing for the type of the keys (i.e. Production or Sandbox). Accepted values: PRODUCTION
SANDBOX
|
String | |
| Query |
groupId optional |
Application Group Id |
String | |
| Header |
Accept optional |
Media types acceptable for the response. Default is application/json. |
String |
application/json |
| HTTP Code | Description | Schema |
|---|---|---|
200 |
OK. Application key details returned. |
ApplicationKey |
404 |
Not Found. Requested application does not exist. |
Error |
406 |
Not Acceptable. The requested media type is not supported |
Error |
PUT https://apis.wso2.com/api/am/store/v0.16/applications/{applicationId}/keys/{keyType}
This operation can be used to update grant types and callback url of an application. (Consumer Key and Consumer Secret are ignored) Upon succesfull you will retrieve the updated key details as the response.
Not required
| Type | Name | Description | Schema | Default |
|---|---|---|---|---|
| Path |
applicationId required |
Application Identifier consisting of the UUID of the Application. |
String | |
| Path |
keyType required |
**Application Key Type** standing for the type of the keys (i.e. Production or Sandbox). Accepted values: PRODUCTION
SANDBOX
|
String | |
| Body |
body required |
Grant types/Callback URL update request object |
ApplicationKey (ApplicationKey) |
| HTTP Code | Description | Schema |
|---|---|---|
200 |
Ok. Grant types or/and callback url is/are updated. |
ApplicationKey |
400 |
Bad Request. Invalid request or validation error |
Error |
404 |
Not Found. The resource to be updated does not exist. |
Error |
412 |
Precondition Failed. The request has not been performed because one of the preconditions is not met. |
Error |


{% extends "base.html" %} {% block title %}Vortext | Your Twitter links{% endblock %} {% block description %}Vortext | List, filter, and organize all the links you've posted to Twitter{% endblock %} {% block content %}
Sign in to view, filter, and organize all the links you've posted to Twitter. Search by hashtag, keyword, site, @-mention, or author.
(View an example of the results.)